用神经网络变易有效焦距的摄像机标定法

针对传统摄像机标定中由于像差等非线性因素的影响造成结果精度和稳定性不高且算法复杂的特点 ,提出了用 4层前向神经网络模型变易摄像机横纵向有效焦距的方法。给出了摄像机标定结果和用标定后的摄像机进行三维立体测量的结果 ,并与传统方法作了对比。结果表明 ,基于神经网络的摄像机标定方法可以获得比传统方法更高的精度和稳定性     

聚能射流侵彻下舰船钢与均质钢的等效关系

基于剩余穿深理论,依据聚能射流对钢靶板侵彻毁伤作用机理,推导出2种等效模型,并结合数值模拟建立了聚能射流侵彻下某舰船装甲钢与603钢靶板的等效关系。结果表明:当舰船钢厚度较小时,舰船钢与603装甲钢的等效厚度比约为1;当舰船钢厚度较大时,两者等效厚度比约为1.13。由此等效关系可给出用于战斗部考核性穿靶试验中相应均质靶板的确定厚度,从而为用603装甲钢靶代替该舰船钢进行聚能射流威力考核试验提供依据,达到了简化、经济、方便、有效的目的。     

某巡航导弹靶标RCS的仿真分析

某型巡航导弹靶标主要用于对拦截该弹的反导防御系统进行性能评估,而其在雷达照射下的RCS值是进行评估的一项重要指标,为研究其RCS值对反导防御系统中的雷达探测能力的影响,采用基于高频局部性原理的物理光学法(PO)和等效电磁流法(EEMC) 的综合来计算测量导弹的RCS值,并在改变雷达照射波入射方位角的情况下对该型导弹RCS的相应改变情况进行仿真分析,得出了该型号导弹的RCS图,为评估反导防御系统地基雷达的性能提供了参考依据.     

Security gradient and national defense – the optimal choice between a draft army and a professional army

The earlier work on the optimal design of the national security has focused on the opportunity cost of the draft in terms of foregone human capital formation. The current paper introduces the national security into the welfare analysis missing from the earlier work. This creates a trade-off between the private goods and the security as a public good in the social cost–benefit analysis. There are three major results. First, and arising from the intergenerational interaction, it is optimal to introduce a pay to the young generation when in duty even by resorting to a distortive tax. Second, when optimizing the size of the army, the optimal choice between the draft army and the professional army depends on the risk class of the country. A security gradient arises. Third, the choice is linked to the size and the quality of the reserve generated by the two approaches.     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

研究生课表的计算机自动编排

针对研究生课程安排特点,提出并建立了一个研究生课程的计算机排课系统,同时讨论了此系统的数据结构和具体实现环境.通过建立排课的约束条件和排课相容判断准则,进一步阐述了研究生课表编排的计算机具体实现原则及其方法.     

等值电路法列写线性网络的状态方程

本文介绍一种手算时用等值电路编写线性网络状态方程的方法。优点是不必列任何方程式,尤其是可以省略消去非状态变量的复杂计算过程。提出一种用检查“量纲”的办法,核对计算是否有误,以便及时纠正。     

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

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

甲B类液体全压力储罐消防设计问题研究

对沸点低于45℃的甲B类液体全压力储罐消防设计、审查过程中存在的问题进行了较为全面的分析,并针对这些问题提出了解决的方法,为进一步完善相关工程设计规范和有效地执行这些规范提供了实例,以期给同类工程提供有益借鉴.     

混合气体识别的响应等效性与瞬态信号正交分解模型

针对目前混合气体识别大多采用传感器稳态响应信号、基于线性混合假设或大量样本学习,而瞬态响应信号特征分析主要应用非正交分解的问题,提出一种基于响应等效性与瞬态信号正交分解的混合气体识别模型。分析金属氧化物半导体传感器对混合气体的响应特性,建立基于气体响应成分等效性假设的气体非线性混合模型,在此基础上,提出并应用一种新的正交基函数——扩展类Legendre正交基,对气体传感器瞬态响应信号进行分解;通过对正交分解系数与气体浓度的回归分析,验证二者之间的指数型关联关系,并以正交分解系数为特征参数,利用气体非线性等效混合模型对混合气体分解与辨识。实验结果表明,尽管这种混合气体识别模型仅用单一气体检测的先验知识,对混合气体的识别误差仍可达到15%以内。