基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

模糊时滞系统控制器依赖于状态时滞的H∞控制

针对一类非线性时滞系统,研究了该系统基于T—S模糊模型的H∞控制器设计问题。采用线性矩阵不等式LMI的方法,设计一个依赖于状态时滞的模糊控制器,得到了系统存在模糊控制器的充分条件,此充分条件等价于一类线性矩阵不等式的可解性,最后通过仿真说明了控制器的有效性。     

快速的复连通区域扫描线图形填充新方法

对复连通区域填充算法进行了细致的研究,提出一种新的扫描线填充算法。该算法先对目标边界进行标注,提供判断条件,然后用扫描线进行填充;该算法不仅适用于单连通区域,而且也适用于复杂区域的填充。该算法效率高,通用性强,实现简单,填充准确。     

面向Agent的海军军械勤务辅助支持系统的逻辑构建

结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点 ,研究了面向A gent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念 ,讨论了A gent的通信机制     

卫星通信新技术专题讲座(二) 第4讲 卫星通信系统中的TCP/IP加速设备

文章首先介绍TCP/IP协议在卫星通信应用中的问题以及针对这些问题而对TCP/IP协议作出修改的空间通信协议(SCPS),然后介绍了基于SCPS协议的TCP网关(即TCP/IP加速设备)用于实现网间互联的方案,最后介绍几种TCP/IP加速设备及其应用在卫星通信系统中的测试结果。     

基于模糊二叉树支持向量机的空袭目标属性识别

针对现有空袭目标属性识别方法存在的不足,提出了一种基于模糊二叉树支持向量机的空袭目标属性识别技术。该方法充分发挥了模糊二叉树支持向量机解决二类分类问题的优势,有效地提高了识别率和识别速度。最后给出了与现有识别方法的比较结果,证明了该方法的有效性。     

军转干部自主择业制度研究

自主择业制度是我国军队转业干部安置方式的一项重大改革 ,本文阐述了自主择业制度的意义、主要政策、实施中存在的主要问题及对策     

遥感图像自动配准的串行与并行策略研究

面对数据量呈指数增长的全球遥感图像,研究快速、有效、高精度的自动图像配准算法成为遥感领域迫切需要解决的问题。综述了遥感图像自动配准算法的研究现状和关键技术,且从新的角度分类总结了已有算法的特点及适用情况,并给出了综合的解决方案;同时研究并提出了三种新的并行策略,获得了较好的实验结论。由于算法采用粗粒度的数据并行方法,因此可扩展性和可移植性较好,无论在理论上还是在实践上都能为实际的遥感应用提供有益的指导和借鉴。最后提出了有待进一步研究的问题。     

我国消防中介组织立法思考

我国的消防中介组织数量和业务范围极其有限,消防中介组织发展缓慢的主要原因是相关法律缺位,论述了我国消防中介组织的概念和发展历程及发展中存在的主要问题,通过借鉴国外消防中介组织立法中的经验,提出完善我国消防中介组织立法构想和的配套措施。     

地空导弹抗击TBM杀伤区仿真研究

如何有效确定地空导弹反导杀伤区一直是地空导弹反导作战过程中一个难题,因此提出一种确定杀伤区的仿真方法.首先通过建立拦截弹抗击TBM目标的拦截模型,通过仿真,得到大量的拦截遭遇点数据,采用三次样条函数和分段插值的方法,对这些数据进行处理.先确定出垂直杀伤区的边界,然后确定水平杀伤区边界,并进行修正,近似地确定出杀伤区.仿真获得的地空导弹杀伤区经过验证,是可以接受的.这些研究成果将为反导部署和作战指挥等提供一些理论指导,具有一定理论和应用价值.