Petri网系统合成操作的活性保持性研究

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.     

Petri网共享子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了共享子网合成网的性质,提出了共享子网合成网保持有界性和活性的充分条件或充要条件;目前存在的合成方法大多对状态机、标识图或非对称选择网(AC)等进行合成,用于解决资源共享问题,而本文的方法可对一般的Petri网进行合成,解决子系统共享问题.本文的结果可为Petri网系统合成性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段.     

合成Petri网P不变量的性质分析

针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。     

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

Petri网共享P型子网合成及其在系统设计中的应用

针对柔性制造系统的设计问题。提出了经由Petri网共享P-型子网构成合成网的解决方案；研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件；主要动机是对[7]的P-组合网系统的有关结果进行推广，将共享库所合成直接椎广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

一种Petri网合成方法及其在系统建模中的应用

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。     

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。     

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

可靠性增长管理的综合公式

本文对可靠性增长管理的关键参数间的关系进行了总结,提出了单台及多台系统的可靠性增长管理的综合公式。     

两类形状特征的语义差及其操作互换性

形状特征技术是产品信息集成的重要手段，但由此而产生的操作灵活性问题则是不容忽视的。对回转体零件中的圆柱体和槽进行语义分析，针对几何相似性，给出设计中的互换操作；阐述了基于知识的综合理解方法，为工艺求解提供计算依据，对解决切削体积规划问题，具有一定的应用意义。     

数字逻辑电路的描述及模块化综合方法

随着电子设计自动化技术的进步 ,大多数现代数字电路或系统的设计工程都离不开计算机辅助设计(CAD)工具的帮助 ,尤其是出现了高级语言描述、系统仿真和综合技术为特征的第三代EDA技术。因此掌握好数字逻辑电路或系统的描述 (建模 )方法和综合步骤是至关重要的。介绍了高级描述语言VHDL的行为描述和结构描述的若干种模型 ,并通过一个设计实例阐述了数字逻辑电路的设计循环从定义到实现的综合过程     

飞行载体上低副瓣共形天线阵的综合

本文给出了在考虑飞行载体对天线阵性能影响的情况下,低副瓣共形天线阵的综合方法,并针对给定的载体形式,对某一共形阵进行了综合。结果表明,载体的影响可以通过适当的激励加以补偿,使天线在实际工作环境中具有良好的性能。     

飞行仿真器综合显示系统关键技术研究

介绍了综合显示系统的概念,以及国内外发展的现状;提出了在飞行仿真器平台上综合显示系统的框架结构,并研究了其中的关键技术。采用模糊逻辑推理算法实现多传感器/多数据源、多分辨率信息的数据融合;图像融合方面主要处理了二维显示与三维显示并存的问题;在系统的设计和实现上,运用了组件化的思想和技术。最后,概述了综合显示系统的发展趋势。     

人才资源管理危机预警系统研究

探讨人才资源管理危机预警系统涉及的预警分析和预控对策两大主要内容，结合当前评价国际人才高地的主要标准，归纳人才资源管理危机预警的评价指标体系，并运用多级模糊综合评判模型进行评判。以期借助本预警系统对当前人才资源管理现状有较为科学的评价。     

战争分析仿真实验综合分析系统研究

战争分析仿真实验是一种运用战争分析与仿真实验结合的面向高层的分析方法.针对战争分析仿真实验对仿真实验数据进行综合分析的需求,在分析系统功能特征的基础上,提出了仿真实验综合分析系统的体系结构,对内部组成和功能进行了分析,并针对探索性数据分析中存在的问题和解决方案进行了讨论,最后结合实例,对系统应用进行了介绍.     

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

正~~