Mobile
Log In Sign Up
Home > chinese-english > "pi-calculus" in English

English translation for "pi-calculus"

微积分

Related Translations:
pi:  短语和例子pi1n.1.希腊字母表的第十六字母 〔Ⅱ π,和英语的 p 相当〕。2.【数学】圆周率。adj.〔英学俚〕虔诚的,有道德的,宗教性的 〔pious之略〕。n.,vt.〔英国〕=pie3.
kongo pi:  缩颅式舞
pi day:  圆周率日周率日
pi dun:  皮盾
pi theorem:  定理
pi codes:  程式指示器编码程序指示器编码
pi regulator:  比例积分调节器调节器
pi pa:  枇杷
hu pi:  虎皮
pi he:  淠河
Example Sentences:
1.Aoc calculus is asynchronous pi - calculus which is enriched with actor mechanisim and reinterpreted
Aoc演算是扩充了actor机制并且被重新解释了的异步pi演算。
2.Our task is to develop the first interactive proof assistant for the - calculus . we call it pim ( the pi - calculus manipulator )
我们的工作就是为-演算设计并实现第一个交互式的验证工具pim ( thepi - calculusmanipulator ) 。
3.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
4.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
应用演算对编队成员的任务角色的指派、维持、更改和角色冲突协调等编队组织动态演化问题进行了研究,使编队成员任务角色可根据空战态势、空战任务和编队成员的生存力等进行及时调整,确保编队有效的实施对目标的协同攻击。
Similar Words:
"pi xue" English translation, "pi yang xu spleen yang vacuity" English translation, "pi yin xu spleen yin vacuiry" English translation, "pi,isoelectric point" English translation, "pi- bi" English translation, "pi-character" English translation, "pi-chu lin" English translation, "pi-clash" English translation, "pi-convoluted absorption curve" English translation, "pi-dog" English translation