绑的日文

• （２）ＯＳ間連携機能ＯＳ間で共有メモリ，メッセージ通信，セマフォが使用できる．
  （２）ＯＳ之间在绑定功能在ＯＳ之间，可使用共享存储器、消息通信、信号量。
• （２）⊥番地を除くＤｏｍ（Ｐ）のすべての命令アドレスに対する制約ＣＵＢの論理積．
  （２）绑定ＣＵＢ对除了⊥地址的Ｄｏｍ（Ｐ）的所有命令地址的“与”逻辑。
• 部分関数ＵＢを変数の使用の束縛時と呼び，部分関数ＤＢを変数の定義の束縛時と呼ぶ．
  称部分函数ＵＢ为变量的使用绑定时间，称部分函数ＤＢ为变量的定义绑定时间。
• 部分関数ＵＢを変数の使用の束縛時と呼び，部分関数ＤＢを変数の定義の束縛時と呼ぶ．
  称部分函数ＵＢ为变量的使用绑定时间，称部分函数ＤＢ为变量的定义绑定时间。
• また，アークａの重みＷ（ａ）は，トークンとバインディング変数の多重集合として定義される．
  另外，圆弧ａ的权重Ｗ（ａ）作为令牌和绑定变量的多重集合加以定义。
• 本章では，本稿の束縛時解析に必要なフローグラフに基づいた制御フロー解析について説明する．
  本章对本文的绑定时间分析所需要的、基于流程图的控制流分析进行说明。
• （２）０と⊥番地を除くＤｏｍ（Ｐ）のすべての命令アドレスに対する制約ＣＤＢの論理積．
  （２）绑定ＣＤＢ对除去０和⊥地址的Ｄｏｍ（Ｐ）所有命令地址的“与”逻辑。
• 下線が付いていない変数は，静的な束縛時値を，下線が付いていない命令は，Ｅｖ行動値を持つ．
  未加下划线的变量拥有静态绑定时间值，未加下划线的命令拥有Ｅｖ行为值。
• 下線が付けられた変数は，動的な束縛時値を持つ．
  加了下划线的变量拥有动态绑定时间值。
• 試作にあたって，エージェントが連携して合意形成を行う機構が重要であることから，次の機能を実現する．
  试制时代理人绑定建立共识的机构是很重要的，因此实现以下功能。