提高某项目复合材料制件的表面质量

某项目复合材料制件具有产品尺寸大、结构复杂、表面质量要求高等特点,目前该复合材料制件存在严重的外表面质量问题,不但影响零件的合格率,增加报废风险,而且易造成飞机部件之间的不协调,直接影响整机装配的准确性,对飞机制造精度和性能产生不利影响.通过原因分析,试验对比等方法,为制造工艺选取一种可以提高表面质量的工艺辅料,有效的提高复合材料制件的外表面质量.     

某飞机部段的数字化协调路线设计

飞机部段间的装配协调在飞机装配工艺中十分重要,模拟量协调和数字量协调都是飞机装配协调的重要方式,其路线设计的好坏,直接影响飞机装配的准确性,某飞机部段在进行协调路线设计前,要充分考虑设计基础、飞机部段间的设计理念,通过分析设计出一条新的数字化协调路线,并绘制成图,为其他类似协调路线的设计提供一种思路.     

高精度对接平台技术在A320飞机总装线的应用

飞机的机身部段对接具有产品尺寸大、对接面复杂、准确度要求高等特点,目前国内按传统的模拟量技术,不仅装配周期长,而且易造成飞机部件之间的不协调,直接影响整机装配的准确性,对飞机制造精度和性能产生不利影响.高精度对接平台技术的应用,为飞机对接提供了新的技术基础,有效的提高飞机装配效率和装配精度.本文针对飞机对接技术在A320飞机上的应用进行研究和分析.     

基于TrustZone的TEE设计与信息流形式化验证

基于可信硬件构建安全关键应用的可信执行环境（TEE）,是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型（TEEFM）,借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安全监控模块不存在整型溢出、程序返回地址异常等资源边界类软件漏洞,以此保证了TEE的自身安全性。     

基于代理的设备虚拟化技术及其应用

随着智能手机逐步成为人们工作和生活不可或缺的随身设备，其安全性和用户隐私问题也越来越突出。为解决该问题，提出一种基于Linux容器技术的方法，在同一台手机设备上建立多个虚拟手机系统，使多个相互隔离的Android系统同时运行。为了使多个子系统共享同一台设备资源，提出了基于代理的设备虚拟化技术，并以手机的Radio设备为例实现了该技术。然后，在一个实现了的原型系统上的测试结果表明每个虚拟手机系统均可正常使用所有物理设备，说明该方法可有效地实现设备的虚拟化。最后，通过对多系统的数据隔离、系统资源开销的测试验证了该方法的可行性。由于各虚拟手机系统之间相互隔离、互不影响，因而很好地保护了用户数据的隐私。此外，即使某一个Android子系统出现运行故障或者被恶意攻击，其他子系统照样可以正常运行，从而提高了整个系统的安全性。同时，各子系统的应用和功能可以根据不同的应用场景和需求特别定制，可满足用户的个性化需求。