基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

半导体激光器温度模糊控制的DSP实现

针对半导体激光器对温度稳定性的要求,采用Fuzzy-PID算法,设计了基于TMS320F2812的半导体激光器温度控制系统,并给出了软件流程。在实验室环境下,采用载波频率为50KHZ的PWM控制,系统在2分钟内成功将半导体激光器的工作温度稳定在25.0±0.07℃,且超调量不大于0.5℃。     

虚拟专用Intranet安全研究

介绍了一种实现虚拟专用Ｉｎｔｒａｎｅｔ的安全策略－－基于身份的可靠加载（ＳＩＢＬ），另外阐述了如何保证ＳＩＢＬ网络的完整性的措施和策略。     

数字孪生及其在航空航天中的应用

数字孪生已引起国内外的广泛重视，可看作是连接物理世界和数字世界的纽带。其通过建立物理系统的数字模型、实时监测系统状态并驱动模型动态更新实现系统行为更准确的描述与预报，从而在线优化决策与反馈控制。本文分析表明数字孪生体相比一般的模拟模型，具有集中性、动态性和完整性的突出特点。数字孪生的发展需要复杂系统建模、传感与监测、大数据、动态数据驱动分析与决策和数字孪生软件平台技术的支撑。在航空航天领域，数字孪生可应用于飞行器的设计研发、制造装配和运行维护。重点讨论了应用机身数字孪生进行寿命预测与维护决策的案例，相比于周期性维护，具有检修次数更少、维护成本更低的优势。最后，给出了数字孪生在空间站、可重复使用飞船的地面伴飞系统中的初步应用框架。     

企业家人力资本出资制度设计

企业是人力资本与物质资本的特殊合约，企业家凭借其独特的异质性人力资本在企业组织中居于核心契约地位，发挥着越来越重要的作用。为了从根本上解决企业家激励问题，应当确认人力资本的合法地位，允许其作为有限责任股东的出资标的。考虑企业家人力资本出资的效用，综合运用经济学、管理学和法学等多学科理论，从有益性、可支配性和债权人保护可能性三方面论证了人力资本出资适格性。在此基础上，提出了健全和完善人力资本出资的法律制度框架，试图从建立人力资本评估制度、确定人力资本出资比例原则和确定人力资本分配利润比例三个方面进行企业家人力资本出资的制度设计，以期为企业家人力资本出资提供参考。     

催化酯交换合成原戊酸正丁酯

在原戊酸三甲酯和正丁醇的酯交换反应中,分别以强碱NaOH、强酸HCI和固态碘作催化剂合成原戊酸正丁酯,结果表明:碘具有较好的催化效果和后处理提纯.通过进行多组实验,得出了该酯交换反应的最佳条件为n(原戊酸三甲酯)/n(正丁醇)=1:28、催化剂用量为反应物原戊酸三甲酯的4%、反应时间4h、反应温度为68-70°C(真空度:-0.09MPa),在此最佳条件下,原戊酸三甲酯的转化率达87.5%,原戊酸正丁酯的收率为82.6%,纯度比使用其他两种催化剂的要略高,达到98.3%.     

导数定义在解题中的灵活应用

在解决高等数学题目的过程中,经常用到导数的定义。许多时候,这种应用具有灵活性。总起来看,它表现在两类情况——简单应用和综合应用。用举例的形式可以说明这种灵活性。     

对学分制下高校教材管理工作的思考

学年制下的教材管理机制已凸显不适应学分制下教材管理机制。为了适应学分制下教学管理的逐步推进,提出了学分制下高校的教材管理工作面临的问题,针对面临的问题加以分析,并提出学分制下高校的教材管理工作的八点思考,即:加强教材的科学选用;制定好教材使用计划;加快教材管理工作的信息化建设;实现经费结算网络化;促进出版发行部门教材供应机制的转换;建立教材规划制度和评优制度;建立教材样本库;提高教材管理人员的素质。     

运载火箭发射场无人值守加注发射技术研究

针对我国火箭在发射场射前操作项目多、保障人员多的问题，分析了国内外火箭发射场无人值守加注发射的现状。结合火箭射前状态，从火箭系统、地面测发控系统和发射场系统等方面提出了无人值守加注发射总体方案，通过火箭状态远程监测及故障处理技术、连接器零秒脱落技术、箭地接口组合连接技术、连接器自动对接技术和火工品自动短路保护与解保技术等关键技术研究，可提高人员和产品的安全性，为后续我国火箭实现无人值守加注发射提供参考。     

TLP连接接头近缝区一种硼化物的TEM研究

利用透射电镜研究了采用镍基含硼中间层合金TLP连接IC 6合金时 ,接头近缝区出现的一种硼化物相的形貌、结构及生长机制 ,表明其化学式可用Mo2 NiB2 表示 ,具有体心正交结构 ,硼化物与周围基体之间存在确定的取向关系 ,(2 11) boride//(111) γ′,<111>boride//<12 3>γ′。硼化物的生长是受原子长程扩散的台阶机制控制的