1) process interpretation
进程解释
2) Simple PROMELA Interpreter(SPIN)
简单进程元语言解释器
1.
Model Checking is an efficient automatic technique for the improvement of system s reliability,and this paper is a research into how to check UML model through the Simple PROMELA Interpreter(SPIN)model-checker.
研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。
3) evolutionary explanation
进化解释
1.
Whenever evolutionary theory be understood as description of phenomenon system, evolutionary explanation for human behavior will be impossible.
人类行为进化解释的恰当性,就在于人类行为系统与进化论定义系统在经验上的适合达到了期望的程度。
5) interpreter
[英][ɪn'tɜ:prɪtə(r)] [美][ɪn'tɝprɪtɚ]
解释程序
1.
Quantum assembler and interpreter of NDQJava processing system;
NDQJava语言处理系统量子汇编及解释程序
2.
This paper represents a inflenible transformation from DS to Interpreter.
本文给出了DS到解释程序(INTERPETER)的机械转换方法,从而将语言的形式化定义与机器实现有机地结合起来,本文的工作是在面向语义的软件自动生成领域的进一步探索。
3.
In this paper, the interpreter system of the Soft-PLC is researched and discussed.
主要研究讨论了软PLC的运行解释系统,在结合三菱PLC指令的基础上,分析解释了一个软PLC指令表解释程序实现过程。
6) explanation program
解释程序
1.
The object to be monitored is discussed briefly,the philosophy and structure of expert system for fractionating tower monitoring are investigated and analysed,the construction of knowledge base is expounded in detail,inference engine and explanation program are introduced too.
简述了监控对象,研究和分析了监控专家系统的思想和结构,重点阐述了分馏塔监控系统的核心之一知识库的构建,给出了专家系统开发工具CLIPS的推理机,简介了解释程序的作用过程。
补充资料：Asraam先进进程空空导弹
北大西洋公约组织中的若干国家为了在全天候中、近程空战中保持制空权，在1980年由美、英、联邦德国三国政府签订了一份谅解备忘录。备忘录中提出由美国负责研制“先进中程空空导弹”，由英国、联邦德国牵头负责研制“先进近程空空导弹”。“先进近程空空导弹”的英文缩写为 asraam，编号为aim一132。后来加拿大、挪威都参予研制该导弹，但在1989年联邦德国、1990年加拿大和挪威都退出了研制组织。使原来称为欧洲或北约的“先进近程空空导弹”成为英国的导弹了.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条