1) Spatial rule formal description
空间规则形式化描述
2) multi-resolution model specification
形式化描述规范
3) regularized logic description
规则化描述
1.
Research on regularized logic description in discrete event control systems;
离散事件控制系统规则化描述方法的研究
4) Rule description method
规则化描述方法
1.
So modeling of CTPN derived from rule description method, which takes advantages of two modeling methods, is presented.
依据多范式建模理论,本文提出了基于规则化描述方法的CTPN建模方法,同时发挥两种建模方法的优势,有利于全面准确地反映系统的设计内容,并以汽车车身控制系统为例为其建立模型,为复杂系统建模和模拟验证提供一定的借鉴。
5) formal specification
形式化描述
1.
The formal specification of railway crossing system based on Real-Time Object-Z
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
2.
Based on physicality and design,a new agent model is put forward,whose formal specification is given.
基于物理和设计立场,提出一种新的Agent结构模型,并作了形式化描述。
3.
The formal specification of architecture is on the assumption of static system interaction and configuration.
体系结构的形式化描述大都基于系统的静态的交互和配置。
6) formal description
形式化描述
1.
Network fault management formal description based on Communication Sequential Processes(CSP);
基于通信顺序进程的网络故障管理形式化描述
2.
XML-Based Formal Description and Its Application in Exam.System;
基于XML的形式化描述及其在考试系统中的应用
3.
Research of protocol formal description based on RSL;
RSL在协议形式化描述中的应用研究
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条