形式化建模,formal modeling
1)formal modeling形式化建模
1.Product structureformal modeling in product development;面向开发过程的产品结构形式化建模
2.Theformal 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 itsformal modeling.本论文以研究和建立满足下一代网络发展需求的新一代网络体系结构为研究出发点,重点展开了关于面向服务的新一代网络体系结构及其形式化建模的相关研究。
英文短句/例句
1.The Formal Modelling Method for Real-time Concurrent System实时并发系统的形式化建模方法研究
2.Research of Policy-based Information Security Model and Formal Modeling;基于策略的信息安全模型及形式化建模的研究
3.Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus ProtocolAvalon片上总线协议的形式化建模与模型检验分析
4.A Research on Formalized Modeling Method for Personalized Distance Learning;个性化远程学习的形式化建模方法研究
5.Research on Formal Software Modeling and Design of Intelligent Distributed Supervisory and Control Systems;智能分布监控系统软件形式化建模和设计研究
6.Formal Modeling and Compatibility Analysis of Web Service Composition;Web服务组合的形式化建模与相容性分析
7.Formal Modeling and Verification of Real-time Systems Based on Time Automation;基于时间自动机的实时系统形式化建模与验证
8.Formalized Model and Analysis for the Life Cycle of the Lambda Phage;λ噬菌体生活周期的形式化建模与分析
9.Research on Formal Modeling of Message Passing Based on Coloured Petri Nets;基于有色Petri网理论的消息通信形式化建模研究
10.Modeling and existence of enterprise synergy mechanisms;企业群体协同机制的形式化建模及存在性研究
11.Formal Modeling and Analyzing Multi-agent Systems in Electronic Commerce;电子商务中多Agent系统形式化建模与分析
12.Review and Comment on Learning System Modeling Chen Pinde;学习系统的形式化建模研究现状与评析
13.Research on the Formal Verification of ASIP Architecture Level DesignASIP体系结构形式化建模与验证方法研究
14.Formal Modeling and Analysis of Mission-Critical Systems for Survivability任务关键系统生存性形式化建模与分析
15.Formal Modeling of Course of Action in Operation Planning作战计划拟制中行动方案的形式化建模
16.Formal Modeling and Evolution of Design Pattern Based on Role基于角色的设计模式形式建模及演化
17.The Format System Mode of Constructing Enterprises Safety Culture;论企业安全文化建设的形式系统模式
18.The Formation and the Rationalized Construction of Regional Pattern in China;我国区域模式的形成及其合理化建设
相关短句/例句
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 ofgraphic modeling simulation support software based on the simulation integrated support platform is introduced in this article.介绍了在实时仿真支撑平台上轮机系统图形化建模仿真支撑软件的开发过程以及一个应用实例。
3.Thegraphic 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 architecturegraphical modeling;面向服务体系结构的图形化建模研究
2.Graphical Modeling and Simulation for Fluid Network;流体网络的图形化建模与仿真
3.Adopting method ofgraphical modeling and with help of object - oriented design thought.采用图形化建模方法,借助面向对象的设计思想,使用C#。
延伸阅读
公理化方法(见公理化和形式化)公理化方法(见公理化和形式化)axiomatical methodgongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
