At the time , only operating systems running on large and expensive machines had the ability to run multiple processes , and the number of concurrent processes usually was controlled tightly by a system administrator 在那个时候,只有运行在巨大的而且昂贵的机器上的操作系统才有运行多个进程的能力,并且并发进程的数量通常由一个系统管理员紧紧地控制着。
This system supported the trade of concurrence multiple server works . the number of concurrent process can be disposed according to the portfolio ( concurrent several 30 - 200 , depending on portfolio and configuration of machine ) 系统支持并发交易,最大并发进程数可根据业务量动态配置(并发数30 ? 200 ,视业务量和机器配置而定) ,支持多台服务器并行工作。
Based on the analysis on the concurrent processing performance requirements of monitoring system , a priority queuing algorithm is proposed to realize the concurrent scheduling of vehicle monitoring system with the algorithm implementation scheme given 在对监控中心并发处理的性能要求进行分析的基础上,提出了优先数事件队列算法来实现车辆监控中心的并发调度机制,并给出了算法实现。
E - manufacturing , a kind of manufacturing pattern which can organize the mutually supplementary manufacturing resources to meet customized market demands rapidly and provide high quality service , is featured with digital , agility and flexibility . these features of e - manufacturing behave with rapid re - engineering in structure , rapid response in performance , concurrent processing and distributed decision - making and enterprise application integration 网络化制造是在全球范围内,充分利用优势互补的制造资源,灵活快速响应个性化的市场需求,提供优质服务的有效模式,其以数字化、柔性化、敏捷化等为基本特征,表现为结构上的快速重组、性能上的快速响应、过程中的并行性与分布式决策以及企业应用系统间的集成。
A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm 解决这个问题的一个方案是:使用带赋值符号迁移图( stga )作为并发传值进程的模型,使用谓词演算作为刻画性质的逻辑,并采用动态实例化的算法对传值并发进程直接进行模型检测。
1 research on the ipd methodology and its architecture the necessity to apply ipd method for integrated environment has been analyzed . ipd based on cax / dfx and integrating sequential process and concurrent process has become the leading way of complex product development . the principle of concurrent and integrated product development has been analyzed , which is a staged and helical evolutive process 1集成产品开发的方法论与体系结构研究分析了集成环境下实现集成产品开发的必要性,指出以cax dfx集成为基础、集串行与并行过程于一体的集成产品开发已经成为目前复杂产品开发的主要方式,分析了并行集成产品开发的基本原理,即集成产品开发是一个阶段化、螺旋上升、信息逐步完善的过程。
It demonstrates the feasibility of incorporating orb with mom , designs and implements rtps , a orb - based mom , which focuses on decentralized real - time publish - subscribe , removes the bottleneck by simplifing the responsibility of one node , and adopts the collocated client / server to set up a peer - to - peer ( p2p ) communication style . 2 . it points out the importance of asynchronous concurrent processing to dynamic responsive system , carries out a in - depth research on object - oriented multi - threaded architecture , designs and implements rtps _ thread _ manager , studies the active object pattern in detail and implements its core , that is rtpstask , as well as gives its varieties 论文主要的技术贡献有:论证了orb与mom两种技术相结合构建实时消息中间件rtps的可行性;设计实现rtps的体系结构:该结构以分布式实时发布-订阅为核心,通过职责精简消除了系统瓶颈,采用客户服务器并置( collocation )实现了对等模式通信;指出异步并发处理对于动态响应系统的重要性,深入研究了用以提高发布-订阅并发程度的面向对象多线程架构、设计实现了对象化线程管理器rtps thread manager ,详细论述了将对象的方法执行与方法调用分离在不同线程内的设计模式,即主动对象( activeobiect )的原理及核心实现rtps task ,并结合rtps设计实现指出了主动对象的几个变种。