【摘 要】
：
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件。然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件。另外[3]指出,对于活的加权T-系统,这一点也成立。下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分
【基金项目】
：
国家自然科学基金(60173053)
论文部分内容阅读
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件。然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件。另外[3]指出,对于活的加权T-系统,这一点也成立。下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分必要条件。特别地,第2部分提出另一种Petri网子类(可以是不活的),并证明其状态方程可满足性也是其可达
其他文献
利用有限状态机模型设计了一种适于分布式交换的信令方案,在一个无中心交换设备的共享媒质上同时开通多路话音通信,实现点到点通话和群呼功能,并且允许高权限用户优先满足通话请求。并在TI公司的CCS集成开发环境中仿真了整个信令工作流程,可以进一步嵌入数字信号处理器中实际运行。
外部型硬件进化(Extrinsic EHW)是将硬件描述语言(HDL)与进化算法(EA)结合起来的硬件进化(EHW)方法。在简要介绍了EHW的基本概念和工作原理的基础上,针对外部型硬件进化的基本方法,通过实验分析指出了这类方法存在的问题,阐述了在电子设计自动化(EDA)平台上实现Extrinsic EHW方法必须解决的核心问题。
为了实现虚拟样机仿真运行过程中可视化仿真资源的共享,将可视化技术与Web技术相结合,采用B/S架构和浏览器端显示技术,开发通用的可视化仿真功能模块以及相应的实时数据接口,实现了虚拟样机可视化仿真服务,使远程仿真用户能根据可视化仿真需求配置和请求可视化资源,定制二维地理信息显示/三维视景显示服务,从而在浏览器上快速创建虚拟样机二维/三维可视化仿真任务并实时运行,对可视化仿真服务的框架结构、关键技术及
研究了带有纯延迟的欠阻尼对象最优PID控制器的参数整定及性能鲁棒性评价问题。首先依据频域判据,确定保证闭环系统稳定的PID控制器参数域,然后采用全局寻优的遗传算法,获得ITAE指标最优的PID控制器参数。采用蒙特卡罗随机实验方法,对模型参数在有界范围内摄动时的性能鲁棒性进行了定量的比较和评价。仿真结果表明,本文方法具有良好的动态性能,在对象参数摄动时与极点配置方法和幅值相位裕量方法相比具有较好的性
敦煌舞作为我国独具特色的舞蹈派别,因其别样的艺术特色、深厚的文化内涵、丰富的审美特色而深受舞蹈表演者及教学者的热爱。敦煌舞作为一种特殊的再生性舞蹈,它的形成和发展
研究定位系统GPS抗干扰问题,针对定位信号传输过程受到干扰影响,无法完成导航功能。传统的CAB(Constrained Adaptive-Beamforming)算法在弱信号强干扰的条件下抑制干扰能力差,且对运动干扰的稳健性较差。为解决上述问题,提出利用正交加权约束对C-CAB算法进行修正,使在强干扰的情况下形成深零陷,提高输出信号的信干比,并引入干扰位置变化统计模型对算法进行改进,在GPS系统干
针对ZigBee无线传感器网络存在能量受限、低速率的问题，深入分析了ZigBee路由协议对网络能耗的影响，并利用网络仿真器NS-2对其性能进行仿真验证。仿真结果验证，采用ClusterTree＋A
提出了一种新型结构的发酵过程混合神经网络模型。该模型由非线性神经网络和线性神经网络两部分组成。由于非线性神经网络采用结构具有线性形式的Flat网络,两个网络能够合并为同一表达式,并具有线性形式,可采用线性最小二乘法求解网络权值。与串联结构及串并联结构混合神经网络模型相比,该模型训练方式简单,并可方便地使用在线辨识算法。
在大规模分布式应用中,可靠的多播协议是非常重要的。这些应用需要通信协议支持:广泛的数据分布、及时的报文丢失检测和恢复、低延迟的报文传输、最小的报文标头以及细粒度的多播分组。迄今为止,很少有协议能完全支持以上特性。本文介绍了分布式可靠多播协议,论述并评估了使用该协议支持高性能仿真程序的优化方法,最后讨论了如何把该协议移植到更广泛的网络应用。
合成环境(Synthetic Environment)是虚拟战场环境的至关重要的组成部分。该文首先对合成环境的现状进行了分析;然后在对合成环境数据描述和交换规范(SEDRIS)介绍的基础上,指出合成环境应由基本环境层、描述环境层和特殊环境层等部分组成。据此,提出了一种基于分布式虚拟战场环境需求的合成环境生成技术概念框架,并给出了基于此概念框架的一个初步实现。