1) formal modeling
形式化建模
1.
Product structure formal modeling in product development;
面向开发过程的产品结构形式化建模
2.
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
3.
Focusing on the challenge of studying and establishing the new generation network architecture which fits the development requirements of next generation network, this dissertation mainly addresses the research on service-oriented new generation network architecture and its formal modeling.
本论文以研究和建立满足下一代网络发展需求的新一代网络体系结构为研究出发点,重点展开了关于面向服务的新一代网络体系结构及其形式化建模的相关研究。
2) Logical formalism modeling
逻辑化形式建模
3) formal framework
形式化建模框架
1.
Based on the research of grid architecture and main agent-oriented software modeling methods, this thesis proposes a new modeling method for agent-oriented analysis and design based on OGSA architecture, FFAOG (formal framework for Agent-Oriented design based on Grid), aiming to establish a new distributed system based on Grid.
首先,由于OGSA以服务为中心,所有的网格服务都基于一组统一的核心接口实现,有利于灵活、一致、动态的共享机制实现,所以文章提出以OGSA为应用背景,面向Agent抽象机制的分布式软件系统结构;其次,在传统Agent定义的基础上,结合网格软件形态的一些特征和OGSA结构的以服务为核心的基本思想,本文对Agent概念重新定义,并引入网格Agent(GridAgent)和Agent服务等新的抽象概念,为网格环境下软件的分析和设计建模提供概念抽象机制;然后,基于网格环境,扩展i*木框架,UML和Object-Z,提出了面向Agent的形式化建模框架,为建模方法中各种概念和元模型提供了精确无二义性的定义。
4) formal and intelligent modeling
形式化智能化建模
5) graphic modeling
图形化建模
1.
The Development of Graphic Modeling Software for Thermal Power System;
热力系统图形化建模软件的开发
2.
In order to improve the efficiency of developing simulation software and reduce the cost,the development of graphic modeling simulation support software based on the simulation integrated support platform is introduced in this article.
介绍了在实时仿真支撑平台上轮机系统图形化建模仿真支撑软件的开发过程以及一个应用实例。
3.
The graphic modeling technology,as an efficient way to improve the quality of software development,is becoming the focus in the field of the simulation system.
随着仿真系统的日益复杂,作为一种提高开发效率有效途径,图形化建模技术成为仿真领域研究的焦点。
6) graphical modeling
图形化建模
1.
Research on service-oriented architecture graphical modeling;
面向服务体系结构的图形化建模研究
2.
Graphical Modeling and Simulation for Fluid Network;
流体网络的图形化建模与仿真
3.
Adopting method of graphical modeling and with help of object - oriented design thought.
采用图形化建模方法,借助面向对象的设计思想,使用C#。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条