论文部分内容阅读
本文介绍了Ｐｅｔｒｉ网的有关概念，着重讨论了在计算机上实现Ｐｅｔｒｉ网仿真所遵循的原则，采取的策略、数据结构，以及推理机的仿真推理。
基于Petri网仿真的推理算法设计
【摘 要】
：
本文介绍了Ｐｅｔｒｉ网的有关概念，着重讨论了在计算机上实现Ｐｅｔｒｉ网仿真所遵循的原则，采取的策略、数据结构，以及推理机的仿真推理。
【机 构】
：
国防科技大学
【出 处】
：
国防科技参考
【发表日期】
：
1997年1期
其他文献
中国有一句话叫做“百发百中”，而现代的战争正在离这个目标越来越近了。精确制导武器就是这样一种百发百中的武器。在军事历史卜，第一次大规模使用精确制导武器的是1982年的英
为维护农村集体经济组织和农民群众的合法权益,促进农村集体经济发展和农村社会稳定,必须加强街道办事处范围内农村集体经济组织所有的农村集体＂三资＂管理,做好运营处置、公开
2018年10月9日，江西省审计厅组织厅志愿者以“共享生命的感动”为主题的公益献血活动。厅机关党委高度重视本次活动，对活动的内容精心部署，一切准备工作高效有序的进行着。
为推进文化体制机制创新，壮大文化产业实力，根据市委、市政府出台的《关于深化文化体制改革加快文化事业和文化产业发展的意见》要求，新余市某文化部门需要进行整合重组，转型升级
本文将系统仿真技术应用于故障检测与诊断(FDD),提出了通过实测信息在线交互减小解决理论轨线偏差的思想,建立了基于系统仿真FDD逻辑结构,针对MIMO系统和线性动态-测量系统构造了具有良好统计性质的故障辨识算法,为故障检测、故障辨识、故障时间的确定和故障模式识别提供了实现的可能性。本文的思想和方法不但可用于CVDS的故障检测与诊断,对大规模复杂系统的故障分析也具有借鉴和参考价值。
近年来，各地对县区党政主要领导干部经济责任审计进行了积极的探索和实践，所发现的问题主要表现在财政管理、执行国家财税政策和土地政策、政府性债务管理、工程管理等方面。本文结合审计实践，对县区党政主要领导干部经济责任审计所发现的问题进行了梳理归纳，并提出了审计建议。 一是目标任务完成方面，存在未完成省政府下达的城镇保障性住房安居工程任务、市政府下达的教育建设任务、市政府下达的主要污染物总量减排任务以
黄捷同志是九江市审计局投资二科副科长,这次被抽调到修水县＂一卡通＂资金审计,负责修水县西片12个乡镇500多条疑点梳理、谈话取证、归并底稿、档案整理和村级财务审计工作。他
本文首先简单地总结了ＵＷＢ－ＳＡＲ成像处理中的困难；然后根据其工作原理建立了适合于计算机仿真的回波信号模型；接着介绍了波数成像算法（ω－ｋ算法）的原理之后，对其中存在的Ｓｔｏｌｔ插值等问题进行了详细