基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。     

优先数字出版声明

<正>为了提高学术成果传播和利用价值,对具有创新性的科研成果争取首发权,《高师理科学刊》已成为"中国知网"优先数字出版期刊.《"中国知网"学术期刊优先数字出版平台》是快速实现各学术期刊论文按篇即时在线出版的平台,其功能是切实提高学术期刊文献出版的时效性和影响力.     

互联网高速内容管控系统

近年来,各种反动、谣言、暴力、淫秽等不良和有害信息借助互联网的开放性肆意传播,已经严重威胁到国家安全、社会稳定和民众健康上网。不良信息中的热点敏感内容因关注度高、影响面广,在短时间内往往产生极为严重的负面效果,因此,对热点敏感内容的及时发现与管控已经成为我国互联网监管的一项重大需求。     

基于Petri网与改进A星搜索算法的矿井机车调度优化

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立了机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效的避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。     

基于二步邻居拓扑的E-Burt结构洞检测算法

连接多个不同社团的节点称为结构洞节点,部分已有的结构洞节点检测方法虽然可以检测到关键节点,但存在一些不足:基于局部的测量方法忽略了网络拓扑结构;对于大规模复杂的网络来说,基于全局的测量方法可扩展性差,等等。为了高效准确地检测社会网络中具有影响力的节点,提出了一种新的结构洞度量方法E-Burt,用来寻找结构洞节点。该方法利用节点与其二步邻居构成的拓扑关系来计算节点的有效规模,用该结果作为结构洞节点重要性的评价指标,计算每个节点的结构洞度量值,并给出了形式化定义。E-B算法基于网络拓扑结构,每次模拟迭代将选中的结构洞节点度量值置为零,下一次迭代只计算该节点二步邻居的有效规模,大大降低了时间复杂度。最后通过实验验证了算法的时间效率,分析了算法的精确度,对算法的正确性进行了证明,并与存在的经典结构洞发现算法进行了对比。     

运动想象脑机接口系统的Petri网建模方法

针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运动想象BCI系统的Petri网模型,描述系统的运行状态,分析和改进共享控制策略.然后,加入控制库所描述系统的外部输入,并通过合成Petri网的方法简化Petri网的建模过程.结果表明:所提方法能够正确地演化BCI系统的运行过程,提高BCI系统的适用性,可用于设计、验证和执行共享控制策略.     

互联网大数据技术在智慧交通发展中的应用

 随着互联网大数据技术的发展,各种互联网+交通的新业态不断涌现,行业内出现了大量丰富的数据资源。在交通强国建设背景下,更好地利用互联网大数据技术为智慧交通发展赋能成为重要任务。针对传统信号控制系统优化频率低,数据采集设备完备度差等缺陷,采用网约车轨迹大数据技术研究智慧信号控制优化系统,介绍了系统架构、特征和信号控制优化技术。该系统在济南、武汉和柳州等城市的实践结果表明,在不依赖渠化及路口改造的前提下,仅通过信号控制优化及软件升级的方式,能有效地降低重点路段和路口的工作日早晚高峰平均延误时间和停车次数等关键指标,其降幅可达10%~20%,能够有效缓解交通拥堵现状。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

基于条件合同网协议的分布式制导－火力节点分配方法

分布式制导-火力节点分配(distributed guide weapon assignment, DGWA)问题是网络化防空导弹体系(networked air defense missile systems, NADMS)中的新问题,旨在解决如何对地理位置上大范围分布的制导节点和火力节点进行分布式匹配和调整,以使得整体作战效能最优。对NADMS中的DGWA问题进行描述和分析,提出了一种基于条件合同网协议的DGWA方法,分析了DGWA的执行条件,并系统地搭建了算法框架,设计了招标者的分阶段招标机制和投标者的基于自适应调度的竞标机制。通过典型作战想定,仿真分析了不同执行条件下的DGWA过程,验证了方法的有效性。     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。