共查询到20条相似文献,搜索用时 246 毫秒
1.
2.
3.
4.
防空导弹C3I系统谓词/变迁赋色Petri网建模与仿真 总被引:5,自引:0,他引:5
龙光正 《系统工程与电子技术》2002,24(12):47-48
介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋色Petri网基础上 ,建立了基于谓词 /变迁的赋色Petri网模型 ,给出了具体的前置谓词公式。最后对仿真流程进行了描述 ,对战术级指挥控制过程的评估研究有极其重要的意义。 相似文献
5.
基于Petri网的双重数字签名的描述与验证 总被引:4,自引:0,他引:4
双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。 相似文献
6.
Petri网是一种模拟和分析的系统工具,能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理,并以水下航行器制导仿真系统为例,将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务,在建立和分析时间Petri网模型的基础上,给出资源的束双处理器条件下的最佳调度方案。仿真结果表明,通过该方法完成的多任务调度,能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行,满足水下航行器制导仿真系统分析研究的需求。 相似文献
7.
8.
基于高级对象Petri网的工作流过程建模研究 总被引:9,自引:0,他引:9
通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性. 相似文献
9.
应用广义随机Petri网建立Boeing777非相似余度飞控计算机系统可靠性模型,描述了系统的静态结构及动态过程;针对系统模型过于复杂而难以用现有的算法来计算的问题,提出将该系统分成支路级、通道级和系统级三级进行处理;并利用GSPN与马尔可夫链同构的性质,计算系统的可靠性指标。 相似文献
10.
针对装备保障任务的优化调度问题,首先进行静态建模,提出了一个新的数学规划模型,能够有效描述保障单元的力量配置及与保障对象的指派关系等复杂约束条件;随后实施动态建模,利用混合Petri网把数学模型转换为流程模型,不仅构建了变迁激发规则以表达静态数学模型的约束条件,而且设计了新的子网结构模拟突发事件及协同保障的动态过程。为了求解该规划模型,提出了一个基于退火进化的优化调度算法,该算法首先计算保障单元的分配问题,随后搜索资源分配的优先级列表生成保障任务的工作顺序,算法中利用Petri网过程模型计算不确定条件下的目标函数值。仿真实验表明算法能在较快的收敛速度下提高保障单元的利用率。 相似文献
11.
《系统工程理论与实践》2014,(5)
正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 相似文献
12.
13.
14.
《系统科学与系统工程学报(英文版)》2014,(2)
正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 相似文献
15.
16.
17.
《系统科学与系统工程学报(英文版)》2014,(4)
正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs: 相似文献
18.
19.
20.
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. 相似文献