基于改进积分视线导引策略的欠驱动无人水面艇路径跟踪

路径跟踪控制是无人水面艇（USV）自主完成各项任务使命的关键技术之一,受到国内外运动控制领域的普遍关注。为提高风浪流等外界环境干扰下,无人水面艇（USV）路径跟踪控制的准确性和鲁棒性,研究海流等外界扰动环境下一类非对称欠驱动无人水面艇的路径跟踪问题,提出了2种改进积分视线（ILOS）导引策略,并基于改进导引策略和反馈控制思想实现了无人水面艇水平面的路径跟踪。与传统ILOS导引策略相比,第1种改进策略具有变积分增益能够避免积分饱和及超调现象;第2种改进策略在前者的基础上将前视距离设计为时变量,使得无人水面艇操纵更加灵活,其中积分增益和前视距离均为垂直距离误差的不同函数,引导无人水面艇灵活快速地跟踪期望路径。基于级联系统理论证明了当所有控制目标实现时,控制系统为全局k-指数稳定（GKES）的,理论分析和仿真实验证明了算法的有效性和先进性。      

开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

保证试验对陶瓷试件疲劳强度的影响

 应用断裂力学理论分析了保证试验对陶瓷试件造成的损伤及其对疲劳强度的影响。保证试验后试件的最低强度可根据材料的亚临界裂纹扩展参量、保证应力和保证试验的卸载速率估算。采用惰性试验环境和高的卸载速率可获得较高的试件最低剩余强度值。     

武装直升机抗坠毁救生技术

通过对直升机抗坠毁救生技术的分析,着重阐述了抗坠毁座椅的工作原理、特性要求, 讨论了吸能机构、约束装置、座椅垫的设计思想,分析了人体损伤机理和耐限。得出了武装直升机座椅、起落架和机体下部结构的抗坠毁性能,特别是座椅的抗坠毁性能决定抗坠毁生存率的结论。     

金属基高功率CO2激光沉积超硬Si3N4膜层性能研究

本文采用高功率ＣＯ２激光在金属基材汽相沉积出厚度－３０μｍ标准化学计量配比、平均硬度达２２００ＨＫ的ａ－Ｓｉ３Ｎ４膜层，与基材有良好的结合界面，实验分析表明所沉积膜具有超硬和良好的耐磨抗蚀等性能。     

OLS—一个描述理论与实践交互作用的逻辑系统

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。     

ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

液体推进剂贮运设备堵漏技术研究

针对液体推进剂贮运设备时常发生的渗漏、泄漏现象，研制出了可带介质操作的硝基氧化剂和肼类燃料堵漏剂及堵漏工具，能对液体推进剂贮运设备各种泄漏部位实施快速堵漏，有效解决了液体推进剂贮运设备堵漏难题，具有较好的工程应用价值。     

飞机鸟撞事故及预防

飞机的鸟撞事故是一种突发性和多发性的飞行事故，轻则飞机受损，重则机毁人亡。本文从国内外鸟撞事故入笔，介绍了鸟撞事故的危害及预防办法。     

成型压力等因素对UD66靶板弹道性能的影响

文中对Dyneema UD66超高分子量聚乙烯纤维复合材料在不同成型压力、面密度和弹击速度下的弹道吸能进行了研究.因此在优化成型压力的研究中,对UD66复合材料靶板的层间结合力、厚度与体密度做了研究.结果表明,成型压力在2.5MPa左右时吸能达到最大值.在UD66复合材料靶板弹道吸能规律的研究中,对UD66靶板弹击后变形和破坏做了分析.其研究结果对今后防弹复合材料的优化设计有很好的参考价值.