袖珍航母轮廓出来了

一般在人们的印象中,航空母舰是一个庞然大物。的确,现代航空母舰是喷气式战斗机在海洋上的活动基地,主甲板上设有供战斗机起降用的长长跑道,这就决定了航空母舰的主尺度不可能很小。目前,世界上最轻量级的航空母舰,西班牙的“阿图亚里巴斯王     

抑制性神经递质受体药理学研究进展

γ—氨基丁酸(GABA)受体是中枢神经系统中主要的抑制性神经递质作用的靶位点,是配体门控离子通道超家族成员之一。简述了GABA受体的分类,重点讨论了国内外有关GABAA受体的结构与功能的关系和与其相互作用的有关化合物,对GABA受体药理学研究的进一步深入,可以为筛选新型的躯体失能剂奠定基础。     

RQ-1B大开无人机实战射弹的先河

2001年10月17日,是RQ-1B初试实战的风光日子。10月17日,RQ-1B无人驾驶侦察机,首次携弹向塔利班的坦克目标发射数枚反坦克导弹,大显威风。     

美国水下武器发展“小、隐、快”

美国海军认为,在未来的25～35年内,核潜艇、不依赖空气推进装置的常规潜艇、鱼雷、水雷以及无人水下航行器将会有很大的发展,这将对美国海军的活动构成重大威胁。美国海军为完成其所承担的使命,必须拥有技术上更先进的各种水下武器为此,美国海军组织专家对未来水下作战进行了研究,提出了未来水下武器发展的思路。     

羊饲料的种类和营养

植物性饲料种类多、来源广,是羊最基本的饲料,本文就羊的饲料种类和营养作一个全面的总结和分析,希望对大家有所帮助。一是青绿饲料。包括各种新鲜野生杂草、栽培牧草、青稞饲料、树叶、青干草及青贮饲料等。特点是体积大、水分含量高、维生素含量丰富,适口性好,羊喜爱采食,消化利用率高。二是作物秸秆饲料。各种作物的秸秆、藤蔓和秕壳,是羊越冬和早春常用饲料。这类饲料体积大、粗纤维含量高、水分     

基于任务成功性的常规潜艇任务剖面构建

在分析了现有任务剖面存在不足的基础上,提出了基于任务成功性的常规潜艇任务剖面构建技术,即对具有不同特点的任务阶段采用不同的构建技术.静态的任务阶段采用任务树图、时间基准图和任务剖面信息表进行描述;作战阶段具有随机性和不确定性,则采用流程建模工具IDEF3建立作战阶段的任务剖面模型,用来描述作战阶段的元任务及其逻辑关系、时序关系.基于任务成功性的任务剖面将为保障性工程的开展奠定基础.     

仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.     

纯方位角目标运动分析的可观测性研究

纯方位角目标运动分析的可观测性是纯方位角观测系统中的一个基本问题.只有解决了系统的可观测性,才能进行有效的目标定位及跟踪.从随机系统的角度分析了纯方位角观测系统的可观测性,引入状态参量的Fisher信息矩阵作为判断系统可观测性的依据,提出了完全不同于判定确定性系统可观测性的随机观测系统可观测性的判定方法.最后给出了一个静止目标纯方位角观测系统的实例,说明了该方法的有效性.     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率