【摘 要】
：
已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准
论文部分内容阅读
已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰
其他文献
电子商务的发展,促进了经济贸易的全球化、自由化,加剧了市场的竞争与波动,使得经济模型的适应性受到极大的限制。而经济模型是分析和预测经济发展的基础,为了改善这种限制,我们结合XML与知识技术,建立了一个可配置的智能模型仿真框架。我们也把随机数据库融入该框架中,从而实现了可配置的蒙特卡洛仿真。这样,我们极大地提高了经济模型的适应性、扩展性以及智能性。这种框架可以适用于任何能够运行完全参数化模型的仿真引
导弹飞行尾焰和尾迹的模拟效果极大地影响飞行类视景仿真的真实感和用户的沉浸感。基于粒子系统的原理,首先,分析了导弹尾焰和尾迹的运动模型;其次,采用了一种新的三元十字交叉粒子系统模型并简化了数学计算模型;另外,还结合纹理映射、公告板技术和其它计算机图形技术,对导弹尾焰和尾迹进行了同时模拟。仿真效果逼真且满足系统实时性的要求。
随机鲁棒设计是一种基于蒙特卡洛仿真的优化设计方法。通常情况下,对于复杂仿真模型的随机鲁棒设计时间开销很大。为减小随机鲁棒设计过程中的时间开销,使用参数最优的最小二乘支持向量机替代仿真模型进行随机鲁棒设计。使用标准粒子群优化算法搜索支持向量机参数和控制器参数的寻优。通过一个基准测试问题证明了该方法的可行性。
针对标准化显控台模拟器的研制,分析了模拟器研制中的共性,提出解决方案,设计了标准化显控台模拟器开发框架。框架的核心是组件管理模块,它管理元件组件、服务组件和模型组件,负责消息响应和内部通讯并控制组件行为。为使开发更加便利和标准化,开发框架还包括标准信息元数据库及管理系统、基础功能类库、标准化对象模型开发工具以及标准组件框架生成向导。另外,辅助以图形方式描述了开发框架各部分的基本结构关系、组件接口以
复杂产品往往由多个子系统通过复杂的耦合方式组成。针对复杂产品的多学科鲁棒设计优化技术已得到广泛应用。为了使用仿真模型进行多学科鲁棒设计优化,提出了SUA-RCO和DRS-RCO两种方法。在SUA-RCO方法中,仿真模型首先被拟合为近似的数学模型,然后利用近似数学模型进行RCO计算。系统的不确定性由SUA方法进行计算。为了解决大参数方差问题,DRS-RCO方法将仿真模型近似拟合为双响应面形式,分别使
提出一种扩展了价格信息的时间Petri网——代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型。在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证。
针对侧重产品设计各阶段宏观布局原则制定、忽略布局合理性及其进化分析技术研究的现状,提出了一种基于细粒度约束关联网络模型的模块化设计方法。从布局规划及其协同进化的角度,给出了此方法的技术框架和闭环流程框架。研究了基于细粒度约束关联网络模型建立产品族模型的方法。探讨了基于细粒度、多视图产品族模型实现模块划分的分析技术和算法。研究了其设计过程调度方法,并提出了基于过程冲突定位和优化细粒度产品族模型的技术
多主体系统是分布人工智能和分布计算的交叉研究领域,也是普遍公认的研究和解决复杂自适应系统问题的一种有效途径,而武器装备体系对抗就是一类典型的复杂自适应系统问题。从分析实体模型层次和类型入手,利用作战主体刻画具有复杂作战行为的实体,提出一个作战主体模型框架,阐述作战单元、作战平台和装备的(装配或指挥控制)关联关系。
粒子群算法收敛速度快,规则简单,但易陷入局部极值。在粒子群算法中引入混沌序列,提出一种优化策略,以分阶段的思想进行寻优,使其在搜索初期更具遍历性,在搜索中后期,通过人为改变个别粒子的速度和位置,使算法具有更快的收敛速度与更好的全局搜索能力。在此基础上,提出一种改进Tent映射的策略,并将优化策略分别应用于基于Logistic映射的粒子群和改进的Tent映射的粒子群,同标准粒子群算法在寻优速度、精度
敏捷兵力行为建模急需要有效的行为分析、建模方法提供支持。根据NCW(Network Centric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现。