To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型,带赋值的符号迁移图是一种广为使用的抽象模型。
A system load analysis model for user concurrent accessing is established.
构建了用户并发访问过程的系统负载分析模型。
The ship design process model is basic for developing the concurrent a nd cooperative ship design system.
船舶设计过程模型是在网络环境下开展船舶并行和协同设计系统的基础。
The system composition, frame model, running model and system reality of the network-based and concurrent engineering-oriented spiral bevel gear cooperative design system are discussed in this paper.
论文讨论了基于网络面向并行工程的螺旋锥齿轮协同设计系统的体系结构、框架模型、运行模式和系统实现,并就其中涉及到的主要关键技术进行了分析。
In this thesis, the system architecture of product concurrent design is provided in order to realize product concurrent design based on integrated product model.
本文提出基于集成产品信息模型,实现产品并行设计的体系结构。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
在分布式并发系统构造过程中,基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
Ensuring the quality of CAD model data exchanged among different CAD system can promote the development of new products in concurrent engineering and collaborate engineering environments.
在并行工程和协同设计环境下,为了提升产品开发的效率,必须保证CAD模型数据在不同应用软件之间的交换质量。
The design system which is based on geometric model and the above assembly model can support the Top down, decomposition process and the concurrent design process.
基于产品几何模型和装配模型的设计系统,能够支持产品自上而下、逐步求精的设计过程和并行产品设计过程。
The conception of concurrent engineering is introduced into the conceptual design of the mechatronic servo-system, and the process model of conceptual design of mechatronic servo-system is given.
将并行工程思想引入机电伺服系统的概念设计,给出了机电伺服系统概念设计过程模型。
This article introduces the concepts of DDE technology, and specifically analyzes how to use Sever Application CCDDE to realize data communication in Model 540 Concurrent Control System.
本文介绍了有关DDE技术的基本概念,并具体分析Model 540并发控制系统如何使用服务器应用程序CCDDE实现数据通信。
This article introduces the concepts of DDE technology, and specifically analyzes how to use Sever Application CCDDE to realize data communication in Model 540 Concurrent Control System.
本文介绍了有关DDE技术的基本概念,并具体分析Model 540并发控制系统如何使用服务器应用程序CCDDE实现数据通信。
应用推荐