动态灰色时序系统 DGTS 及其在安全策略规范中的应用

设计安全策略模型时应考虑安全策略的时序特性和灰色特性,还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性,而且一般只侧重描述保密性或完整性。为此,本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ,以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＳＬ。     

大卫王新坚盾以色列空军“魔杖”火箭弹拦截系统

2012年11月25日,比“铁穹”火箭弹拦截系统更为强大的新型拦截系统——“魔杖”（又称“大卫之投石器”）火箭弹拦截系统首次测试成功,使以色列空军新型拦截系统再次引起世人关注。 弥补“铁穹”之缝     

美军“全球鹰”面临“重拳”

“全球鹰”曾经是美国空军军购清单上的“宠儿”,该无人机系统主要用来执行美国空军情报搜集任务,提升情报搜集能力。然而．在最近10年为美军在战争中解决“燃眉之急”之后,美国空军首长可能要“卸磨杀驴”,停止使用诺斯罗普·格鲁曼公司所生产的该型号飞机。     

中国电子科技集团公司第四十九研究所

中国电子科技集团公司第49研究所是我国承担敏感元件和传感器研制的一类骨干研究所。自建所以来形成了力、热、湿、气、磁、光、声等传感器技术研究方向,在国内传感器设计与制造方面取得了品种齐全、攻关能力强等明显的综合技术优势。49所顺利完成从"神一"到"神十"多次飞行试验。产品广泛应用于飞船的热控系统、环控生保系统、舱外服系统、生理系     

新的产品 力的凝聚——上海新力机器厂数十年打造“上力”品牌

中国航天科技集团公司上海航天局旗下的上海新力机器厂,坐落在闵行区召楼路3392号上海航天机电装备产业基地内,工厂占地92亩。主要从事数控和普通折弯机、剪板机、转塔冲,汽车空调系统及热交换器,液压伺服控制系统等产品的研制和生产,是我国较早从事锻压设备研制生产的少数专业骨干厂家之一。其管片式热交换器研制生产在国内外享有一定的声誉,液压控制系统亦已成为国内著名企业定点配套产品。几十年来产品遍及全国各地,并远销欧美和东南亚地区。"上力":军工科技的符号自1958年创建以来,该企业依托航天技术,承担着锻压设备的设计制造,专业技术     

最长“风筝线”合力牵——记首次应用于航天工程的VLBI测轨分系统

在嫦娥绕月探测工程五大系统中．测控系统至关重要。我国的航天测控网不仅轨道测算精度高,而且具备天地话音、电视图像和高速数据传输等能力．可对火箭、各种轨道卫星和载人飞船等航天器提供高精度测控支持服务,实现了“飞向太空、返回地面、同步定点、一网多星、国际兼容、飞船回收”六大历史性跨越。     

装备零讯

美国再次完成反导试验 10月4日,美国国防部宣布再次成功进行了反导试验,试验是4日1时33分（北京时间4日13时33分）左右进行。一枚中程弹道导弹从美军位于夏威夷考爱岛的太平洋导弹试射场发射,朝西北方向的太平洋洋面飞去。“伊利湖”号巡洋舰上的雷达发现并跟踪这枚导弹,巡洋舰上的“宙斯盾”反导系统随即发射一枚“标准-3”型导弹,将其摧毁。     

解密苏联卫星杀手计划

据美国《大众机械》杂志报道,进入太空时代后,苏联政府便尝试制造反卫星武器,研制工作持续了几十年之久。1963年11月1日,苏联发射了第一个“卫星杀手”-反卫星系统原型“波利特-1”号（又称“飞行-1”号）。     

美国的ELLA“大型飞机电激光器”项目未来的“激光轰炸机”

美国的“大型飞机电激光器”项目旨在首次将激光器安装于作战飞机并进行测试,对于美国机载激光武器走向实用化具有重要意义     

基于改进克隆选择算法的复杂系统测试选择

为了解决复杂系统测试优化选择问题,提出了一种基于改进克隆选择算法的测试选择方法.该方法针对测试选择问题的具体特点,对基本克隆选择算法进行了以下改进:采用二进制编码方式进行抗体编码,选用加性分段函数形式构建亲和度函数,利用混沌搜索优化初始种群的生成方式,并引入免疫网络的抗体抑制操作对抗体种群进行预处理.最后,以某实际系统为例进行了算法验证,实验结果表明:该方法搜索效率高,具有很强的全局和局部搜索能力,可有效解决复杂装备系统测试性设计中的测试优化选择问题.