美国海基弹道导弹防御系统通过可靠认证

1月31日下午,美军在太平洋上空进行了新一轮陆基中段导弹拦截试验,但由于负责捕捉靶弹轨道的海基X波段雷达出现异常,拦截弹错过目标,试验以失败告终。对部署于全球的美国导弹防御系统而言,置于海上的X波段雷达是它的核心组成部分。而从发展趋势看,包括捕捉目标和拦截目标在内的海基弹道导弹防御系统也正受到美国越来越高的重视。     

宁波东海军港船厂

本厂地处宁波北仑港穿山半岛。占地9000平方米,海岸线500米,码头二座,有长120米,坞口宽18米,7000吨级船坞一座,船舶修理设备齐全．本厂已经通过ISO9001：2000质量管理体系认证和CCS焊接工艺认可证书,有着良好的修理、建造工作环境和可靠的质量保证。     

俄军重返阿富汗？

近日,波兰（《新闻报》一条“俄罗斯准备派兵重返阿富汗”的消息引起各方关注。但俄罗斯矢口否认“派兵”之事,俄媒体援引政治观察家的话说,这可能是“北约的一个阴谋”。但事态的发展也让人们感到,这条消息可能哪天真会变成现实。     

基于公平谓词法的JMS消息过滤改进算法

研究了JMS发布／订阅消息传递模式的工作机制,分析了JMS在对事件进行匹配时的过滤算法,针对该算法的不足提出了采用公平谓词法来改进JMS的消息过滤速度,改进方法对基于JMS的发布／订阅应用程序的开发具有一定的指导意义。     

质量体系认证工作中的地位与任务

论述驻厂军代表在质量体系认证各阶段参与承制方质量体系认证工作的地位与任务。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

侦察卫星将起双重作用

——美国的具有两种曾查和精密观测性能的空间飞行器的发射,并采用 新的一代技术—— 华盛顿消息,美国开始过渡到新的一代侦察卫星,它设计成能执行两种普查和精密观测任务,而以前是需耍分别使用两种不同的字宙飞行器。 这种新一代侦察卫星的第一个是由洛克希德公司研制的,并于1971年6月15日从西海岸靶场发射到近极的伍轨道上,试验仍在继续进行。 此卫星的非官方代号是“大鸟”(Big Brid),重约 8吨,大约是目前工作的型号重量的4—5倍。此卫星带有洛克希德公司改进的“阿吉纳”末级火箭,直径约3米,长度约15米,并使用美国空军/马丁、马利…     

前景堪忧的AK-12

自2011年11月底,俄罗斯媒体正式报道关于新型突击步枪AK—12的消息以来,俄“第五代”突击步枪AK-12已经面世一年多了,在俄罗斯举办的防务展和伦敦防务展上我们都能看到AK-12的身影。该枪由伊热夫斯克机器制造厂生产,是卡拉什尼科夫系列步枪的最新型号,计划于2013年年中完成国家试验并正式投产。目前俄军方并未流露出明确的采购意愿,对AK-12仍采取观望态度,而AK-12的前景不被业内人士看好的消息却频见报端。     

一种云计算中的身份认证协议

针对当前在云计算中身份认证机制个人信息容易泄漏的问题,提出了一种云计算中的身份认证协议。协议的安全性是基于离散对数的难解问题。协议模型由用户、云服务提供者和注册实体等三个实体组成;通过先属性注册协议、后身份认证协议两个步骤完成整个认证过程;从用户伪装身份和云服务提供者盗取身份信息两个角度,对协议的安全性进行了分析;通过与云计算中基于公钥生成器的协议进行对比以及实验仿真,证明了该协议在对承诺的注册和认证时间上的优越性。     

磐石之爱

李春秋与张木华从小就青梅竹马。高中毕业后,李春秋选择了参军入伍;张术华则考入了廊坊师范学院。虽然天各一方,但两人却一直保持着书信往来。就在李春秋入伍的第一年,两人正式确立了恋爱关系。2002年6月,李春秋与张木华终于结束了长达5年的爱情长跑,准备走入婚姻的殿堂。然而,正当他们满心欢喜地筹备一周之后的婚礼时,李春秋突然受领任务。得知这个消息,张木华心里很纠结。能穿上洁白的婚