作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

基于对象的有色Petri网舰载C3I系统模型

将面向对象的分析方法和有色Petri网相结合而得到的对象有色Petri网(OCPN),将会为研究舰载C3I系统提供一种有力的工具.通过分析舰载C3I系统组成和相互关系,建立了舰载C3I系统的OCPN模型,并讨论了该模型的特点和在舰载C3I系统性能分析领域中的应用前景.     

词汇外延语义与阅读理解

从外来语言文化的影响和行业术语的推广应用两个方面揭示了词汇语义的外延 .依据图式理论论证了词汇语义外延是妨碍学生阅读理解的主要障碍之一 .从哲学观点出发 ,说明了语境中的词语和词典中的词条之间的差异和学生在掌握词义方面的片面性 ;进而阐明了阅读课培养学生获取词汇外延意义的必要性和做法 ,以及由此带来的积极影响     

基于SWE的空天资源对地观测协同任务规划服务模型

空天协同对地观测是对地观测领域的新趋势。为解决现有空天资源规划调度系统相对独立、协同困难的问题,分析总结了SWE(Sensor Web Enablement)标准,并在此基础上提出了空天资源对地观测协同任务规划服务模型。在此模型中,为实现观测资源共享,建立了空天观测资源传感器描述模型,能够描述典型空天资源的载荷平台、观测机理、定位信息、使用约束和工作特性等信息;为简化观测请求交互流程,基于SOA技术对SWE标准操作进行封装及简化,用户可以在不了解观测平台细节信息的情况下提交观测数据请求。为验证模型有效性,构建了空天资源对地观测协同任务规划实验平台,结果表明该模型具有较强的可实现性和适应性。     

基于Petri网的队决策规则分析法

本文应用Petri网模型表示决策队的决策规则,并通过分析规则Petri网模型的特性研究决策队组织结构的一致性、冗余性、完整性问题。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

一种全军有线电长途通信电缆网干线监控系统

本文介绍了一种适用于全军有线电长途通信电缆网的监控系统,分析了它的总体结构和各个部分的功能及实现,并详细分析了数据采集的实现。