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

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

交换机过载控制机理Petri网模型的仿真求解方法

通过建立数字交换机过载控制机理的广义随机Petri网模型并基于马氏理论求解,可以有效地分析系统的控制特性,但这种方法对于变迁时延为非负指数分布就比较困难.鉴于此,本文提出用仿真方法求解,利用GPSS仿真对两种常用过载控制机理的广义随机Petri网模型进行了分析,找出了GPSS框图与Petri网模型之间的对应关系,得出了系统性能的仿真分析结果,与理论分析结果相对照,结论是一致的.     

无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.     

基于SPN模型的分布式动漫渲染系统架构分析

对分布式动漫渲染系统的建模技术进行了研究,首先,分析了分布式动漫渲染系统中的两种典型架构--集中式架构和分布式架构的渲染过程,并在此基础上分别建立了集中式架构和分布式架构的sPN(Stochastic Petri Nets,随机Petri网)模型,然后进一步采用SPNP(Stochastic Petrt Nets Package)6.0软件对两种架构的平均时延进行了模型仿真分析,最后,得出了2种架构的性能优劣比较结论,为渲染系统在构建和设计阶段提供重要的理论依据.     

一种C3I系统仿真模型生成方法

C3 I系统是一类复杂的大系统 ,借助模型和仿真手段对其进行研究是最有效的途径 ,但直接建立仿真模型往往极其困难。分析了活动模型和对象Petri网模型在C3 I系统中的应用 ,提出了一种间接生成对象Petri网仿真模型的方法 ,即首先建立活动模型 ,在此基础上生成可执行对象Petri网模型 ,然后对C3 I系统进行仿真。     

基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于分层着色Petri网的装备战场抢修系统建模

讨论了一种基于分层着色Petri网理论建立装备战场抢修系统模型的方法。这种方法是通过引入复杂库所和Petri子网来对原有的装备战场抢修系统模型进行改造，克服了以往用普通Petri网建模的不足之处，使模型变得直观、简单，并有利于模型分析和仿真实现。     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

分布交互仿真技术综述

介绍了ＤＩＳ的技术特点,综述了ＤＩＳ中关键技术和相关技术,并对目前ＤＩＳ发展过程中遇到的问题进行了深入的分析与论证。     

Innovation Versus Environmental Protection Presumptions

The paper is about negotiating with issues that discourage innovation. The subject is environmental deterioration, with concern directed at the impediments that keep it from being innovatively resolved. The paper is organized around three issues. (1) The dominant model of environmental concern, called environmental protection, is managed predominantly via command and control approaches. (2) Command and control, by relying on analytical segmentation to subdivide the problem into digestible bits and using formal legislation to direct it, are not up to emerging challenges in the area. (3) More robust models are available but difficult to experiment with due to impediments that discourage change. These impediments are seen in ideals associated with protection, prevention, recycling, and sustainability that tend to do more to sustain harmful practices than to seek beneficial alternatives. Being able to appreciate the underlying restrictions of entropy could help stimulate a more innovative agenda. These issues are tested via a project funded by the EPA entitled ENERGY STAR Homes.     

Knowing Wuli,Sensing Shili,Caring for Renli: Methodology of the WSR Approach

This paper presents an outline of an Oriental systems methodology: the Wuli Shili Renli approach (WSR). The basic theme of WSR contends that wuli (regularities in objective existence), shili (ways of seeing and doing), and renli (patterns underlying human relations) constitute a differentiated whole that conditions systems projects. WSR suggests that we should design and employ appropriate methods to address and tackle wuli shili and renli elements in a theoretically informed and systemic way. The background, philosophy, process, principles, and some practical applications of the methodology are preliminarily outlined.     

多Agent仿真中Agent行为的形式化描述方法

提出了一种从状态、动作、动作序列到活动,逐步地建立对Agent行为的形式化描述方法。该方法能有效地用于多Agent仿真系统的设计中Agent行为特征的分析、定义和描述。     

电子设计自动化中的模块生成技术研究

模块生成技术是随EDA设计技术的应用而发展起来的一种新技术。它对EDA软件的广泛使用，设计产品的性能、质量，降低产品开发成本等有重要影响。根据当前EDA设计中所遇到的问题和EDA软件的不足，结合作者多年从事这方面的研究、设计，提出了应用于EDA设计中的模块生成技术的方法。较好地解决了EDA设计、仿真过程的新问题。