摘要：飞行控制系统多以高性能CPU为处理器和Vxworks为设计内核,存在成本高、体积大、内核源码不公开等问题,因此设计一款低成本、高可靠性的小型无人机飞行控制系统。基于STM32F4芯片开发一套由微型控制器、各种传感器和执行机构构成的飞行控制硬件系统,实现对无人机的姿态和舵机位置的控制;引入源码公开的FreeRTOS嵌入式实时系统作为软件平台开发飞行控制软件,实现飞行控制、自主导航、飞行管理等功能;通过固定翼航模的飞行试验对该飞行控制系统进行验证。结果表明:该系统具有良好的稳定性、实时性,控制精度高。

摘要：为更准确辨识三轴硅微谐振加速度计的误差系数,提高加速度计在飞行器上的加速度矢量测量精度,设计基于精密离心机的加速度计标定方法。分析硅微谐振加速度计的工作原理及误差项,在考虑离心机主要误差源的基础上建立包含零位偏移、标度因数、非正交安装误差、二次项误差与横向灵敏度的硅微谐振加速度计误差模型;设计离心机匀角加速度旋转的三姿态标定方法,在径向轴高g输入的同时,增加角加速度激励,可以更好标定加速度计横向灵敏度;对所提出的标定方法进行仿真,通过最小二乘法完成模型参数辨识。仿真结果表明,参数辨识相对误差可控制在2%以内,二次项系数与横向灵敏度辨识精度均小于1μg。

摘要：目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导致数据帧丢失、通信功能失效甚至任务失败。在仅依靠仿真无法保证验证充分性的背景下,采用形式化验证方法进行功能验证。本文依据HDLC国际标准分析同步传输模式关键功能,将关键功能拆分为属性描述,并根据属性编写断言,从而建立HDLC协议同步传输模式关键功能用例集,并以正在航天型号中使用的某HDLC IP核为例,使用形式化验证工具进行验证实验,发现了此前从未发现的两处设计缺陷。针对这些设计缺陷,分析了其触发原理和可能造成的危害。

摘要：当前的通用仿真计算机主要关注于实时性的研究与应用,忽略了身份认证、资源控制等安全防护功能的集成。在参考可信计算技术的基础上,提出了一种集终端安全防护和数据安全存储于一体的可信安全仿真计算机解决方案。论述了整体的体系结构,详细分析了可信安全仿真计算机实时性、安全性的实现机制。实验结果表明,该可信安全仿真计算机能够较好地抵御典型的网络攻击,可以满足仿真系统的实时性要求。

摘要：为保证存储集群中数据的可靠性,缓解跨机架环境中单节点的有限可用带宽,提出一种纠删码的数据更新策略DBTU(data delta log based tree-structure update)。该方法包含2个设计要点:数据块更新采用就地更新策略,校验块更新采用基于数据增量日志的推测性部分写入策略,减少读后写操作;采用自顶向下的树结构传输更新数据,缓解单节点的带宽瓶颈。实验结果表明,在100 Mbps带宽下,DBTU的更新吞吐率相较FO(full overwrite)和PARIX(speculative partial write)分别提高了54.3%和51.6%。

摘要：本文针对光纤陀螺对温度敏感这一特性,在充分分析光纤陀螺物理特性基础上,分析了温度对陀螺噪声、陀螺光源的影响,温度的变化将导致光线环中不同区段上光纤的折射率不同,这种不同将最终导致光纤陀螺的零点随温度的变化而发生漂移;随后建立了相应的温度误差模型;通过最小二乘拟合,建立了较为准确的控制对象模型,采用内模控制方法对温控系统进行了设计,其设计原理简单、跟踪调节性能好、鲁棒性强、参数整定直观明了,能消除不可测干扰的影响;最后通过系统仿真,对分别用内模控制和常规PID控制设计的温控系统进行了比较,通过比较分析,验证了内模控制对于本系统所具有的优越性,研究成果对设计高精度温度控制系统有着重要的参考价值。

摘要：本文分析了激光陀螺的随机噪声的产生来源,同时分析了噪声里的量化噪声、角度随机游走、零偏不稳定性、速率随机游走、速率斜坡噪声。在利用Allan方差对激光陀螺仪输出信号进行分析基础之上,设计了IIR滤波系统对陀螺信号进行处理,并对滤波前后的陀螺测试数据进行了对比,结果表明,该滤波技术能有效提高激光陀螺的精度。

摘要：为解决目前大多数移动应用的两层架构即客户端/服务器架构存在的客户端发布、管理以及数据安全等方面问题,分析并探讨虚拟化技术,重点研究桌面与应用虚拟化技术的原理和实现。在移动应用两层架构的基础上,融入虚拟化的技术手段,通过搭建虚拟化平台设计基于虚拟化技术的三层架构,对具体的客户端与服务端交互方式、图像处理方法、终端资源调用机制、信息推送机制等进行设计与实现。通过搭建环境与编程,验证了该架构的可行性。

摘要：为了解决涉密信息系统内文件密级标识缺乏统一管理、密级标识本身安全性差的问题,从静态管控和动态管控两个角度对密级标识制定相应的防护策略。通过在文件头部密级标识字段后添加若干标志位,结合HMAC完整性校验技术、HOOK技术、文件系统过滤驱动技术,设计了文件密级标识全程管控系统。测试结果表明,该系统设计方案可以实现对涉密信息系统内文件密级标识的全程管控。

摘要：为研究系统建模应用于处理器架构设计、性能分析的方法,基于SystemC建模语言,提出一种"结构框图-模块细化-模型映射"自顶向下规范化的系统模型建立方法,以此方法建立MIPS(microprocessor without interlocked piped stages)架构处理器的周期精确模型。研究用系统级模型进行系统架构设计的方法,分析不同高速缓存Cache的设计对处理器性能的影响。仿真结果表明,L1(Level 1)级Cache采用2路或4路、容量在4KB到32KB之间比较合适。