刈り込み造句
- この場合，後ほど，リレーションＡと統合しても刈り込みが難しい．
这种情况下，之后即使和关系Ａ进行统合，也很难进行缩减。 - また，この刈り込み能力が，ＮＨＭ法による刈り込み能力と異なることも示した．
此外，也显示了这种删减能力与使用ＮＨＭ法的删减能力不同。 - また，この刈り込み能力が，ＮＨＭ法による刈り込み能力と異なることも示した．
此外，也显示了这种删减能力与使用ＮＨＭ法的删减能力不同。 - 最後に，刈り込み効果の定量的評価を与える．
最后，对删减效果进行定量的评估。 - ケースＡは，現在では，週に１回の刈り込み作業に加え，週に３回の植物に水を与える作業を始めている。
例子Ａ的情况是，从现在开始每周对植物进行１次修剪，同时每周给植物浇水３次。 - 遊休年のせん定においては，春に電動式ヘッジングトリマーを用いて１?２枝の刈り込みを行う交互結実区を設けた。
闲置年剪枝时，在春天使用电动式剪枝机进行１－２枝的修剪，设置交互结实区。 - この欠点を補うため，モデル候補Ｍが極小性検査により棄却されるとき，Ｍより右の部分証明木の刈り込みを試行する．
为了弥补这个缺点，候补模型Ｍ在最小性检查中被排除时，就会试着对Ｍ右边的证明树进行剪枝。 - 発達の背景には，大まかに，神経線維の髄鞘化、樹状突起の分岐伸展、シナプス形成とその刈り込み，などがある。
关于大脑神经的发育背景，大致分为神经纤维的髓鞘化、树突的分支伸展、神经键形成以及其修剪等。 - 普段は，植物は，食堂の窓際に設置されているが，園芸療法の際には，食堂のテーブルに植物を移動し，刈り込みを行うように指導した。
平时植物放在食堂的窗台，在进行园艺疗法时，将植物移动到食堂的桌子上，进行修剪指导。 - そして，この変換手続きが，証明木の簡約と証明の探索空間の刈り込みに応用できることを示し，刈り込み効果が大きいことを実証した．
然后，实际证明了这个转换步骤可以适用于证明树简化以及证明的搜索空间的删减，且删减效果很大。 - 用刈り込み造句挺难的，這是一个万能造句的方法
- そして，この変換手続きが，証明木の簡約と証明の探索空間の刈り込みに応用できることを示し，刈り込み効果が大きいことを実証した．
然后，实际证明了这个转换步骤可以适用于证明树简化以及证明的搜索空间的删减，且删减效果很大。 - このように，本刈り込み手法は，モデル拡張によりｍ分岐した証明のうち，ｉ個の分枝の証明を行った後，残りの枝を刈り込む．
如此这般，本删减方法，在使用模型扩张的ｍ分支的证明之中，进行了ｉ个分枝的证明之后，对剩下的枝进行删减。 - ケースＡは，過去に園芸を楽しみの活動として行っていたというので，週に一回，園芸療法として，施設内の食堂にある植物の刈り込みを行う指導をした。
病例Ａ过去将园艺作为娱乐活动，因此指导每周进行一次园艺疗法，修剪设施内食堂的植物。 - 次いで，本手続きにより，証明木の簡約化が行えることと，本手続きを上昇型証明手続きに埋め込むことにより探索空間の刈り込みが行えることを示す．
然后，根据本步骤，进行证明树简化、以及通过把本步骤放入上升型证明步骤，显示可以进行搜索空间的删减。 - 下降型証明によってゴールと関連するアトム（関連アトム）を計算し，関連アトムのみに上昇型証明（モデル拡張）を限定することにより，探索空間の刈り込みを行う．
根据下降型证明计算与目的有关的原子（相关的原子），仅仅在相关的原子中限定上升型证明（模型扩张），进行搜索空间的删减。 - そして，あるモデル拡張がゴールに関連していないことが判明すると，そのモデル拡張に関わる未完了の（部分）証明を行わないことによって，探索空間の刈り込みを行う．
然后，如果判断出某个模型扩张与目的无关的话、通过不能证明与此模型扩张有关的未完成的（部分）证明，进行搜索空间的删减。 - ｃｈａｎｎｅｌ一階述語論理で記述したチャネルルーティング問題［Ｚｈｏｕ ９５］で，負リテラルによる制約伝搬が搜索空間の刈り込みに本質的に働く例題である．
ｃｈａｎｎｅｌ在一阶谓语理论中叙述的信道线路问题［Ｚｈｏｕ ９５］中，是一个借助负常量扩散制约性，从根本上缩小搜索空间的例题。 - さらに，ここで述べた方法を，ｆｏｌｄｉｎｇ―ｕｐ［Ｌｅｔｚ９４］や制限なしの完全因子化のような刈り込み技法と組み合わせたり，安定モデル生成に応用することも有望と考える．
在此叙述的方法，有可能与ｆｏｌｄｉｎｇ―ｕｐ［Ｌｅｔｚ９４］或者与没有限制的完全因子化的剪枝方法相组合，应用到安定模型产生中。 - しかし，前述のＭＭ―ＭＧＴＰ証明手続きやＮｉｅｍｅｌ¨ａの方法では，確定したモデルに対して極小性検査を行なうので，このような非極小モデルの刈り込みは事後の処理となる．
但是，在上述ＭＭ―ＭＧＴＰ证明步骤以及Ｎｉｅｍｅｌ¨ａ方法中，对确定的模型进行最小性检查，因此这种非最小模型的删除是属于事后处理。 - 証明探索の刈り込みとしては，他に畳込み（ｆｏｌｄｉｎｇｕｐ）法６）や補題照合（ｌｅｍｍａ ｍａｔｃｈｉｎｇ）４）といった，完了した部分証明から補題を抽出するものが提案されている．
作为证明搜索的删减，更提出了重叠（ｆｏｌｄｉｎｇｕｐ）法６）或是辅题核对（ｌｅｍｍａ ｍａｔｃｈｉｎｇ）４），从完成的部分证明中提取辅题的方法。
手机版