1) formal definition
形式化定义
1.
This paper worked out some formal definition of basic concepts such as component relation, component constraint, and component configuration.
文中给出部件关系、部件约束、以及部件配置等基本概念的形式化定义 ,并在此基础上给出 BOM的一种柔性的定义 。
2.
The paper gives the formal definitions of closed-world assumption and open-world assumption in LP,ILP and some logical systems,by which we are able to investigate their uniform properties in different subjects in the study of economic logic.
本文给出了封闭世界假设和开放世界假设的形式化定义。
3) definition form
定义形式
1.
The definition form for curve and curved surface in general space and The guestion of measure and some discovery in recent time are introduced in this pepar, and with these contents some views and methods of modern mathematics are introduced too.
本文介绍了曲线和曲面在一般空间的定义形式 ,度量问题和近代的一些发现 ,结合这些内容介绍了一些近代数学方法和观点 ,以期对近代数学领域的一些学科作出普及性工作的尝
4) formal semantic definition
形式语义定义
5) formal semantics
形式化语义
1.
It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.
本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.
However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.
但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条