pi-calculus 中文意思是什麼

pi-calculus 解釋
微積分
  • pi : n. 1. 希臘字母表的第十六字母 〈Ⅱ π，和英語的 p 相當〉。2. 【數學】圓周率。adj. 〈英學俚〉虔誠的，有道德的，宗教性的 〈pious之略〉。n. ,vt. 〈英國〉＝pie3.
  • calculus : n. （pl. calculuses, -li ）1. 【醫學】結石，石；積石；牙垢。2. 【數學】運算，演算；微積分（學）。
  1. Aoc calculus is asynchronous pi - calculus which is enriched with actor mechanisim and reinterpreted

    Aoc演算是擴充了actor機制並且被重新解釋了的異步pi演算。
  2. Because many existing architectural description languages lack specification of dynamic interaction on architectural level, which makes modeling the adaptive software system insufficient, i use the pi calculus to formalize the adaptive software architecture

    針對適應性軟體系統的體系結構採用已有的體系結構描述語言存在的不足，本文中採用pi演算描述適應性軟體體系結構。
  3. Our task is to develop the first interactive proof assistant for the - calculus. we call it pim ( the pi - calculus manipulator )

    我們的工作就是為-演算設計並實現第一個互動式的驗證工具pim （ thepi - calculusmanipulator ） 。
  4. Howard smith. business process management - the third wave : business process modelling language ( bpml ) and its pi - calculus foundations. information and software technology 45 ( 2003 ) 1065 ? 1069

    譚偉，范玉順.業務流程管理框架與關鍵技術研究.計算機集成製造系統，第10卷第7期， 2004年， 2 - 6
  5. A method of the dynamic evolvement of the team organization based on pi - calculus was developed, which includes the mission role assignment, role maintaining, role change, and role conflict coordination etc. by this way, the organization of the team and the mission role of each fighter in the combat team can be adjusted according to combat situation, combat mission and the survival capability of the each fighter etc., so that the fighter in the team can attack enemy targets in cooperation with others effectively

    應用演算對編隊成員的任務角色的指派、維持、更改和角色沖突協調等編隊組織動態演化問題進行了研究，使編隊成員任務角色可根據空戰態勢、空戰任務和編隊成員的生存力等進行及時調整，確保編隊有效的實施對目標的協同攻擊。
  6. In order to study the mechanism of concurrent object - oriented language, firstly, several models of object - oriented language are investigated in the thesis. and then two kinds of concurrent model, pi calculus and actor model, are expounded

    為了研究並發面向對象語言機制，本文首先討論了幾種面向對象語言模型，然後闡述了pi演算和actor模型兩種並發模型。
  7. Ann model based on pi calculus

    基於泛函連接神經網路的概念設計優化
分享友人
分享到 Line

分享到臉書