参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

装备效能与费用优化性评估方法探讨

有效实施装备效能与费用优化性评估应从提出效能需求和设计备选建设方案开始,实施评审测算,优化渐进式决策,实施结果反馈验证,建立配套措施,达成科学评估目标。同时,应优化体制结构,组建专家团队,完善法规制度和激励约束机制。     

战场电磁环境系统研究

为正确认识愈加复杂化的战场电磁环境,应用系统论的观点和方法分析研究战场电磁环境。在系统深入地思考国内外大量战场电磁环境相关文献的基础上,归纳总结出战场电磁环境概念和构成,提出了战场电磁环境结构、等级层次和整体涌现性等观点。给出了科学分析研究战场电磁环境的有益思路。     

荒诞的魅力——评东西长篇小说《后悔录》

东西的长篇小说《后悔录》立意奇崛,个性彰显,以历史为透视镜,将日常生活中的悲剧与喜剧合而为一并作极端化呈现,突现了荒诞的魅力以及人在面对荒诞时人性深处无处逃遁的灵魂的疼痛。     

一种交互式舰艇不沉性概率评估与设计系统

为了提高舰艇在武器攻击后的不沉能力,在舰艇设计阶段就必须对不沉性进行概率评估。为此,介绍了一套完整的舰艇不沉性概率评估与设计系统,着重对其所需要的关键技术进行了详细阐述。首先,使用"子剖面"法,解决了复杂水密区域和船体外形的标准建模问题;然后,分析了武器炸点的三维分布规律和概率密度分布函数,在判断水密区域是否破损研究时,提出了"三维微元"算法,避免了求解复杂的非线性方程组;最后,在进行沉没逻辑定义时,引入了稳度储备系数的概念,以描述大角稳性对舰艇沉没的影响情况。该系统为设计人员提供了一个进行不沉性概率计算的平台,使用非常方便。     

德国制造出世界第一艘燃料电池潜艇“U31”：世界最先进的常规潜艇入水

德国媒体近日报道4月7日,由欧洲最现代化的造船公司——位于德国基尔的霍瓦兹德意志造船公司（HDW）,研制建造的世界第一艘全新的燃料电池驱动的潜艇“U31”（克拉西）号,在德国北部基尔港水下,开始了首次试航。这种属于212A型的常规潜艇,配备了极其先进的“指挥和武器控制系统（CWCS）”以及诸多高科技装备,成为“目前世界范围内最先进的常规动力潜艇”。     

一种单片化可重构的相位式测距系统

通过相位式测距的计算,进行了参数选择.基于XACT可编程逻辑开发软件平台,利用Xilinx的现场编程逻辑器件对系统进行单片集成,整个系统的体系结构和测量参数都可以动态重构,是实时信息处理系统小型化设计的一种全新方案.     

建立三位一体的人力资源开发体系

在新的经济形势下,国防企事业单位人力资源管理面临更大的挑战,高水平专业技术人才和技能人才严重短缺、技术骨干流失严重。本人通过对部分国防企事业单位的人才流失状况的典型事例研究和对影响人才流失的原因进行分析后,认为为了系统地解决人才流失问题,建立三位一体的国防科技人力资源开发体系是十分必要的,即建立能够充分发挥培养性开发、使用性开发、政策性开发的综合效应的人力资源开发体系。政策性开发体系——基础和导向 政策是人力资源开发的有力杠杆,政策性开发在整个开发体系中起到基础和导向作用。通过完善政策,健全机制,排除…     

追根寻源电脑战

电脑病毒战也称计算机病毒战,是使用计算机病毒进行的,旨在干扰、破坏、摧毁对方通信、指挥等军事装备的作战形式。是一种新的作战形式。近年来,随着各种电脑病毒的出现和逐渐被应用于军事并开始发挥作用,许多科学家开始断言:未来战争     

个人防护器材效应的评价实践

近lO年来,围绕“八五”和“九五”新型个人防护器材的研制等装备科研工作的需要,对相关个人防护器材的生理舒适性等效应进行了详细、多层面的试验研究．将简要回顾和总结有关研究结果及进展．