应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

正确把握和处理防化科研发展和建设中的几个重要问题

结合防化科研工作实际,从四个方面谈了如何在防化科研中贯彻落实科学发展观、提高自主创新能力,推动防化科研又好又快发展的初步想法。     

以数据为中心的天基预警系统视图模型研究

借鉴美国国防部体系结构框架思想(Department of Defense Architecture Framework,DoDAF),从核心体系结构实体、体系结构建模集和建模步骤几方面研究了以数据为中心的体系结建模方法,针对天基预警系统的特点和在反导中的应用,采用体系结构工具System Architect（SA）从系统层面建立了典型的天基预警系统的系统视图模型,对理解天基预警系统体系结构、开展天基预警系统顶层设计研究具有一定的参考价值。     

多点源交叉波束干涉效应特征分析

介绍多点源交叉波束通过干涉效应实现交汇空间功率合成的基本原理,根据空间功率合成机理,建立对功率合成效率、同相叠加点间距的计算机仿真,完成多点源交叉波束干涉效应特征分析,以此作为多点源交叉波束空间功率合成的评估依据。     

飞机任务系统任务合成技术研究

针对复杂环境、复杂任务以及复杂作战过程的现状,首次提出了任务合成的概念、任务合成的运行架构并建立了验证环境,为提升未来飞机作战能力提供了理论基础和参考。任务合成技术分为任务态势感知模式合成、任务计划评估决策模式合成、任务执行与管理模式合成,通过构建任务模式和活动组织,依据任务目标和任务架构,确定系统任务能力、目标和状态组织结构,形成系统任务合成模式,从而达到提升任务系统响应、任务优化、任务执行的能力和品质的目的。     

指挥信息系统安全防护系统视图

作为指挥信息系统安全可控运行的重要保障,网络安全防护体系目前存在着整体轮廓不清、顶层设计力度不够等问题。研究网络安全防护体系结构,可以增强安全体系综合集成,提高组件间的互操作性,有效解决网络安全防护的顶层设计问题。通过分析军事信息系统体系结构框架中系统视图模型的内容和相互逻辑关系,描述了支持网络防御作战的系统、系统功能及其相互关系,建立了系统视图的几种典型模型,为体系化建设网络安全防护体系提供了理论依据。     

基于SOA的C~4ISR可执行体系结构

现有的C4ISR可执行体系结构验证评估过程中面向特定的作战想定,难以描述和验证系统资源之间的动态连接关系以支持作战视图中作战任务过程的动态变化.结合SOA思想对C4ISR体系结构框架进行扩展引进了服务视图,通过分析服务视图与原有作战视图和系统视图产品之间的关系,提出一种基于SOA的C4ISR可执行体系结构框架,详细分析了引进服务视图之后C4ISR体系结构的执行过程.     

舰艇编队综合作战能力评估的模糊聚类分析

评估舰艇编队综合作战能力强弱的模糊聚类分析涉及编队对海作战能力、编队反潜作战能力、编队防空作战能力、编队电子战能力、编队指挥控制能力和编队战场适应能力等因素.以若干舰艇编队为研究对象,对因素指标进行标准量化.据标准化数据用指数相似系数法计算样本间的相似关系,最后根据各样本与基准样本相聚类或分离进行量化分析,判断各舰艇编队综合作战能力的强弱次序.     

全氢聚硅氮烷的合成与表征

采用二氢二氯硅烷氨解法合成了氮化硅陶瓷先驱体全氢聚硅氮烷,并用红外光谱、凝胶渗透色谱、热重、X射线衍射和元素分析等进行了表征。所合成的先驱体低聚物的分子骨架为[SiH2NH]n,数均分子量为106,重均分子量为178。固化后的先驱体在氮气下1000℃裂解转变为棕色粉末,陶瓷产率78wt%。将陶瓷产物在氮气下1400℃处理后,其主要成分为α-Si3N4,并含有少量富余硅,化学经验式为SiN1.036O0.060C0.028。陶瓷产物在氮气下1600℃处理后的X射线衍射谱图表明,游离硅已基本消失,α-Si3N4衍射峰加强,但是没有观察到从α-Si3N4到β-Si3N4的相转变。     

基于DoDAF的反导指控系统体系结构模型研究

首先简要介绍了美军反导指控系统和国防部体系结构框架(department of defense archi-tecture framework,DoDAF)的基本情况,确定了体系结构模型开发方法和步骤,然后利用Telelogic公司的system architect软件完成了作战视图、系统视图的分析与设计,为理解指控系统内在规律、开展指控系统顶层设计研究提供理论支持。