1) timed refinement calculus
实时精化演算
2) real-time calculus
实时演算
3) Refinement calculus
精化演算
1.
The advantage of COOZ (complete object oriented Z) is to specify large scale software, but it does not support refinement calculus.
COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 。
2.
The refinement calculus neatly formalizes the stepwise refinement ideas using the weakest precondition formalism of Dijkstra.
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 。
4) real-time and accurate
实时精确化
1.
Only on multidimensional and stereoscopic can the real-time and accurate comprehensive supporting system really create a favorable battlefield environment for non-contact and unsymmetrical battlefield in integral operation.
根据一体化联合作战的特点及对综合保障提出的要求,建立对保障力量优化配置模型和多传感器多目标跟踪保障模型,并探讨数据关联航迹跟踪法实现实时精确化保障的方法。
5) time evolution operator
时间演化算符
1.
The time evolution operators have been used to investigate the coherence of time-dependent optical field.
本文利用时间演化算符讨论了含时耦合光场的相干性。
2.
The method of constructing the time evolution operators of the system is given also.
同时也给出了系统时间演化算符的构造方
6) refinement Calculus of Object Systems(rCOS)
对象精化演算系统
1.
This paper proposes refinement Calculus of Object Systems(rCOS)based on Unifying Theories of Programming(UTP)to specify the formal semantic of UML state-chart,which overcomes the limitation in the semantic research.
针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条