その節中文是什么意思

• 以下では簡単のため，すべての全称限量子を省略し，型付き変数はその節中の最初の出現位置に明記する．
  以下为了简洁，省略了所有的全称计量器，定型参数明确标记在该节中最开始的出现位置。
• 文書が他の多くの文書と共に引用する（される）ほど，より強い負の重みがその節点の自己ループに付与される．
  与其他文章共同（被）引用的文献越多，在那个节点上就会赋予自身回路更多的强负加权函数
• また，ｎ　＝　０，つまり，節の頭部が空であるとき，その節を＠ｅｑｕａｔｉｏｎ＿０＠で表し，負節という．
  另外，ｎ＝０，即子句的头部为空时，用＠ｅｑｕａｔｉｏｎ＿０＠表示其子句，称为负子句。
• ある節点の証明数が大きいということは，その節点の評価値を更新するためにより多くの他節点を評価する必要が生じるということである．
  某个节点的证明数大，说明要更新该节点的评价值就需要评价更多的其他节点。
• ．ｋ＋１サイクル目でプログラムから節を削除したときには，その節を使ってできるプランは最新プランゴールから削除される．
  在第ｋ＋１循环中，从程序中删除节时，利用该节形成的方案也被从最新的方案目标中删除。
• 領域限定節の最大の特徴は，節の本体が基礎アトムによって充足されれば，その節の頭部アトムが必ず基礎アトムになることである．
  限定域节的最大特征在于，基础原子补充节的本体的话，该节的头部原子则必然成为基础原子。
• また，前向き推論に用いられる違反節が証明に必要とされるのは，その節のすべての頭部アトムが有用なときに限られる。
  而且，先前推论中使用的违反节在证明中成为必要的部分的是，仅限于其节内的所有头部原子是有效的时候。
• また，前向き推論に用いられる違反節が証明に必要とされるのはその節のすべての頭部アトムが有用であるときに限られる．
  另外，被用于正向推理的违反子句对于证明是必需的情况，仅限于该子句所有的头部原子为有用的前提下。
• その節点の値，節点の存在そのもの，あるいは節点ベクタ中での新たな節点の（順序）位置，などを使って情報を符号化し埋め込みむ．
  利用其节点值、节点本身或节点矢量中新节点（顺序）位置等，对信息进行符号化，并进行埋入。
• 廃水処理工場に関する価値工学的研究から実行されたエネルギー節約と，その節約額評価のために使用されたライフサイクルコスト技法
  根据有关废水处理厂的价值工程性研究实行的能源节约与评估其节约数额所使用的生命周期成本技巧