基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于ASP．NET技术的动态网页实现

ASP .NET为Web应用系统开发提供了一种全新的灵活的基础结构,是迄今为止最先进的Web应用服务系统开发平台.动态网页是Web应用服务系统的核心.提出了采用ASP .NET技术实现动态网页的方法,在数字化油库与油库信息可视化项目研究中得到很好的应用.     

现代海军战术通信发展动态

本文综述了海军战术通信的使命任务、主要技术、发达国家海军战术通信发展动态,从中给出结论：海军战术通信系统的发展趋势是建立集信息监控、情报侦察、指挥控制于一体的综合信息网络平台,以适应未来战争需要。     

火力分配环协同度的编队反导决策优化

舰艇编队协同反导决策是一个多阶段多目标的决策系统,依据模糊权距离和隶属度概念,考虑系统中各阶段的协同关系,提出基于火力分配环协同度的概念,将模糊优选理论与动态规划原理有机地结合起来,寻求基于舰艇编队协同反导的多阶段多目标优化的最优均衡策略,并应用于解决舰艇编队协同反导决策的优化中,得出了具有指导意义的结论。     

两种DLL鉴相器算法及其在高动态环境下的应用

针对高动态应用环境,研究了两种基于延迟锁定环结构的码环鉴相器算法.首先采用理论分析的方法对两种鉴相器的性能进行了对比,然后利用模拟中频数据和真实中频数据,分别对两种算法在低动态和高动态环境下的鉴相性能进行了实验对比研究.结果表明,两种鉴相器都能对码相位进行准确鉴相和牵引.同时,在对两种方法进行对比分析的基础上,给出了两种鉴相器算法各自适用的条件,对高动态GPS跟踪环路的设计实现有一定的理论指导意义.     

《21世纪世界军费动态:2000～2009》

郭中侯蒋义文主编军事科学出版社2011年7月出版军事科学出版社2011年7月出版的《21世纪世界军费动态:2000～2009》(以下简称《军费动态》)一书,是由郭中侯教授和蒋义文教授带领一批长期从事国防经济研究的学者,经过广泛收集、多方考证、系统梳理、深入分析、集智攻关而取得的一项全新科研成果。全书共分15章,主要考察了2000     

工作动态

工业和信息化部与科技部签署促进中小企业技术创新协议;第二炮兵与北京市签署军民融合创新发展战略合作协议;航天科技集团公司启动国家卫星专用通信示范网建设工程;中国航天科工与北京市联合发起科技成果转化创业投资基金;     

基于自适应动态分簇的二元传感器网络目标跟踪算法

针对二元传感器网络的目标跟踪问题,提出了一种通过设置簇内传感器节点数目门限自适应地调整簇的激活半径、利用少量被激活的节点进行跟踪的方法,并利用一种改进的分布式粒子滤波算法进行目标位置估计以减少粒子数和计算量。仿真结果表明:与传统的IDSQ算法相比,所提出的算法能够在保证一定跟踪精度的基础上,有效降低网络的能量消耗,提高网络寿命。     

美日印打造战略三角

当前,亚洲的外交态势正随着该地区的经济动态发生变化,特别是在安全领域。这一次,处于构建中的是亚洲的安全秩序,这反映了该地区在全球事务中新获得的主导地位,尽管目前还无法确定这一秩序的最终状态。     

印度：向有声有色的军事大国迈进——印近期武器装备发展动态

已成为世界军火“疯狂买家”的印度,在武器装备的自主研制上也不遗余力,近期频频出现大手笔,成功试射烈火－5弹道导弹便是其中的代表之一。