自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于带禁止弧的CTPN的维修资源管理模型研究

根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资源管理模型,结合CPN Tools进行了仿真,仿真结果表明带禁止弧的时间有色Petri网能得到更好模拟实际的资源管理过程,并能得到维修过程的总体情况,资源的利用率等参数.     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

库所组合有色网-一种新型的有色网

为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没有增加描述能力,但在描述具有组合效果的系统时具有强大的先天优势.本文通过为电梯控制系统建模示例了这四种弧为简化模型带来的便捷之处.     

基于Petri网共享合成的网格计算资源调度方案

网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

Petri网进程的描述方法研究综述

综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.     

基于有色Petri网的复杂武器系统任务可靠性建模及估计

针对复杂武器系统的任务可靠性提出一种具有记忆标识的有色Petri网分层建模方法。首先用具有记忆标识的有色Petri网建立系统所有任务、每个任务具有的可重构数和所需资源,然后根据资源的状态和累积工作时间即可确定相应的任务能否完成,从而获得任务的可靠性指标。以某野战防空C^3I系统中旅指挥站为例说明该方法是可行的。该方法适合于多任务可重构系统的任务可靠性建模及其估计。     

有色Petri网在系统分析中的应用

Coloured Petri网(简称CP-nets或CPN)是一种用于设计、详细说明、仿真和检验的面向 图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯协 议、分布式系统、嵌入式系统、自动化生产系统、工作流分析和超大规模集成电路芯片。     

Designing Uniform Computer Sequential Experiments with Mixture Levels Using Lee Discrepancy

Computer experiments are constructed to simulate the behavior of complex physical systems. Uniform designs have good performance in computer experiments from several aspects. In practical use, the experimenter needs to choose a small size uniform design at the beginning of an experiment due to a limit of time, budget, resources, and so on, and later conduct a follow up experiment to obtain precious information about the system, that is, a sequential experiment. The Lee distance has been widely used in coding theory and its corresponding discrepancy is an important measure for constructing uniform designs. This paper proves that all the follow up designs of a uniform design are uniform and at least two of them can be used as optimal follow up experimental designs. Thus, it is not necessary that the union of any two uniform designs yields a uniform sequential design. Therefore, this article presents a theoretical justification for choosing the best follow up design of a uniform design to construct a uniform sequential design that involves a mixture of ω≥ 1 factors with β_k ≥ 2, 1 ≤ k ≤ωlevels. For illustration of the usage of the proposed results, a closer look is given at using these results for the most extensively used six particular cases, three symmetric and three asymmetric designs, which are often met in practice.     

机载机电系统综合管理分布式仿真平台设计

通过对以往机载机电管理系统的研究，设计了机载机电设备综合管理分布式仿真平台系统结构，该变了原有系统“散、乱、杂”的局面，展现了新一代飞机机载机电设备综合管理系统的布局与体系结构；采用基于windows实时扩展模块RTX和1553B双冗余总线技术，提出了仿真平台的软、硬件体系，保证了系统的实时性和容错性。仿真平台提供仿真中需要的通用模型库，利用该平台可进行多型号机载机电系统综合管理仿真。系统软件采用模块化设计，具有可扩展性和一定程度的开放性。     

基于系统论的农业科技资源共享研究

农业科技资源共享是一项复杂的系统工程,构建农业科技资源共享的支撑体系是这一系统工程的关键。从系统论的角度对农业科技资源进行了界定,构建农业科技资源共享的支撑体系框架,并对支撑体系所具有的整体性、层次性、目的性和开放性系统特征进行分析,以便为实现农业科技资源的共享与高效利用提供参考。     

Robust output-feedback stabilization of a class of nonlinear systems with the nonlinearities of varied form

1 .INTRODUCTIONThe problem of global stabilization of nonlinearsystems by output feedback has received much at-tention. Unlike in the case of linear systems ,theseparation principle generally does not hold fornonlinear systems . This is one of the reasons whythe problemis more difficult . As investigated byRef .[1] ,some extra growth conditions onthe un-measurable states of the systemare usually neces-sary for the global stabilization of nonlinear sys-tems via output feedback. For exampl…     

城市污水管网系统设计的系统工程方法及应用

本文提出一套适于城市污水管网系统设计的系统工程方法,它包括:污水厂群选址和排水域划分的方法、污水管网系统布局的确定方法、污水管道参数的选择方法.该套方法用于江苏省无锡市污水管网系统的设计中,取得了良好的经济效益和社会效益.     

用PLD构成高速RS—485同步总线接口

在复杂的主从多点系统中，以微机为核心的各站之间的高速数据交换是必不可少的重要环节。本文介绍了用可编程逻辑阵列芯片实现ＲＳ－４８５高速串行同步通信的一种设计方法。所设计的接口电路克服了用标准接口芯片实现的接口电路中存在的一些问题，如死机、丢帧、传输数据率低及收发占用机时过长等问题。通过在实际系统中的大量检验，证明本文的设计思想具有较高的实用价值。     

广州市职业教育信息管理与预决策系统

从广州市职业教育的实际出发，开发了面向对象的信息管理与预决策系统，并建立了职业教育的模型体系，为制定广州市职业教育的发展规划起到了很大作用。     

基于遗传编程(GP)与键合图的机电系统自动设计

提出一种基地遗传编程与功率键合图的机电一体化等多领域系统的自动设计方法，本方法的优点在于其开放式的结构搜索，以及同时进行的参数优化搜索，这种基于进化计算和系统仿真的自动设计方法给传统的机电系统的创新设计提供了新的思路，同时对改进各种现有设计方案也具有广泛的应用潜力。     

Systemic Evaluation of a Comprehensive Community Initiative Based on Boundary Critique in Mhakwe Ward in Zimbabwe

Comprehensive Community Initiatives (CCIs) are designed as purposeful systems to empower communities for self development. There is a dearth on the number of empirical evaluative studies that interrogate the design of such systems; rather, focus has been on evaluating programmatic impacts. Understanding and enhancing the design of such systems is fundamental in enhancing their empowerment and emancipatory objectives. This study addresses three questions; firstly, what are the critical design factors for CCIs? Secondly, what are the potential distributive, ethical and social consequences of CCI designs? And thirdly what are the fundamental components of a framework for evaluating CCI designs? The Mhakwe CCI in Zimbabwe is used as a case study. The paper identified the critical design factors to include; enhancing interconnectivity of institutions, development actors and community; incorporating mechanisms for capacity development; enhancing collective purpose; developing measures for community empowerment; addressing power imbalances and incorporating perceived risks. Social consequences of the design impinged on the willingness to share knowledge and participation in dialogue by the affected. The paper recommends key components of a framework for evaluating CCI design to; incorporate perceptions of both the affected and the involved; view CCIs as purposeful systems; be based on boundary critique and apply multi methodological approaches. The paper ends by suggesting important factors in ensuring sustainability of CCIs and recommends the integration of sustainability factors in designing CCIs.