基于可观性分析的捷联惯导快速自对准方法

初始对准的精度和速度直接影响惯性导航系统的工作性能,针对静基座条件下初始对准滤波模型的简化问题,提出一种改进的完全可观测初始对准模型;通过分析静基座条件下初始对准模型的可观测阵,构建降阶后的完全可观测初始对准模型;仿真实验验证在理想的静基座条件下所用方法的有效性,结果表明采用降阶法使得模型大大简化,在减少计算量的同时保证了对准精度;通过实测实验比较在实际条件下2种模型的结果,降阶模型能够加快收敛速度,有效消除不可观测状态量对整个系统的影响,总体来说,是一种相对优化的静基座初始对准模型。     

基于尺度无关损失优化的无锚图像目标检测

遥感影像中的目标检测是图像分析领域的一个基本而又具有挑战性的问题,特别是针对任意对象的海上目标检测近年来受到广泛关注。针对任意对象的图像目标尺度和形状不规则导致的目标检测参数敏感以及复杂背景和密集排列在非极大值抑制过程中出现假阴性的问题,提出了基于尺度基于尺度无关损失优化的无锚图像目标检测算法。将旋转边界框回归引入到典型的无锚网络全卷积单级目标检测器中,提出了与尺度无关的GIoU (SGIoU)损失用于图像目标检测的边界框回归,可以快速将预测框的形状调整为开始时与真实相似的形状,解决回归损失函数与检测器最终最优目标之间的不相容性的问题,并在回归过程中加快收敛速度。数据集实验表明：本方法在各类别P-R曲线下面积的平均值(mAP),优于现有的广义交并比(GIoU)损失函数和完全交并比(CIoU)损失函数函数。     

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

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

一要素／二要素多方位定位系统的可观测性分析

本文分析了在已知一个或两个目标运动要素的条件下,多方位定位的可观测性,并给出了相应的结论。     

试论武器装备的经济可承受性采办

武器装备的经济可承受性采办是一项符合我国国情、军情的有效的采办方法。文章通过论述武器装备经济可承受性采办的内涵及其采办原则,提出我军应采用这种采办方法并提出了具体措施。     

自然语言形式化研究中几个基本问题的再认识

针对目前自然语言形式化研究中存在的问题 ,就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。认为 :歧义性有狭义与广义之分 ,有层次之分 ,又有形式化与非形式化之分 ,确定它们的界线是很重要的。如何使系统体现出自然语言的个性化是目前形式化研究中应引起注意的一个关键问题 ,为此还提出一个系统结构模型。     

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

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

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

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

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

羊饲料的种类和营养

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