新机研制中总装装配指令策划研究

针对新机研制过程中总装装配指令编制存在的各类瓶颈问题,通过分析指令策划的作用,提出借助前期指令策划彻底解决指令问题的思路,并对实现指令策划的路径进行了分析研究。在对数模进行装配单元划分的基础上,形成总装指令目录及含装配顺序的装配指令树,用于指令编制及其他业务域的工作准备。同时,充分分析指令策划的技术难点,给出一套对指令策划结果合理性的验证、优化方法,把指令编制、指令策划与型号实践验证有机统一起来,为新机研制指令策划工作提供理论支撑,为指令编制工作明确可靠依据,确保型号指令体系可行、有效。     

水陆两栖飞机结构密封性验证方案

针对大型灭火/水上救援水陆两栖飞机AG600飞机研制过程中结构密封性验证需求,结合型号研制实际情况,从验证方案、工艺策划和工程实施三个方面进行系统分析。通过指出气密性验证试验和水密性验证试验存在的主要问题,提出型号结构密封性验证优化思路,并给出优化后的验证流程,为船身式水陆两栖飞机结构密封性试验验证提供参考。     

多级安全关系数据模型研究及其改进

讨论了基本的多级安全模型存在的主要缺陷，如推理通道问题。系统的可用性、灵活性受到严格的“向下读，向上写”规则的限制问题．不能保证数据完整性。通过引入多实例和伪元组．并重新定义读写规则．使改进后的模型更具安全性、灵活性和可用性。     

基于哈希链表和时间链表的HTTP代理缓存机制的实现

随着互联网的快速发展，越来越多的用户需要访问Internet资源，局域网人的众多用户如何能够通过一条Internet连接进行快速的网络浏览？这涉及到WEB代理服务器的核心部分--HTTP缓存系统。HTTP代理服务器的缓存系统将用户浏览的网页保存在代理服务器中，一旦有用户浏览相同的网页并且该网页还没有更新，则代理服务器直接将网页传递给用户，无需重新下载。因此，缓存明显加快了浏览速度。本文首先介绍了代理服务器的缓存原理，然后对缓存机制的具体功能进行了划分，最后给出基于哈希链表和时间链表的缓存系统的实现方法。     

基于SyncML的安全数据同步SDSXS-API

为解决移动数据库及其应用程序数据同步时的安全性、可靠性和完整性，在移动数据同步交换标准规范——Sync ML协议的基础上，提出并实现了安全数据同步交换服务应用程序接口（SDSXS—API），为移动数据库系统及其应用程序提供了统一的数据同步交换的调用平台，既保证了移动环境下数据传送与交换的可靠性和完整性，又保证了系统数据传送的安全性。     

基于Arinc661的CDS标准部件库的设计与实现

本文提出了一种Arinc 661规范的解决方案,它采用VapsXT为工具,针对座舱显示应用,设计并实现了一个符合规范的座舱显示系统标准部件库框架,为研发航电显示产品提供了更为便利的平台.实验结果表明,通过本文提出的座舱显示系统内核标准部件库框架,可以方便地对部件库进行扩展.     

脆性材料塑性域的超精密加工方法

较全面的总结了目前国内外脆性材料超精密加工的各种先进方法，并从中总结了各种加工方法所存在的一些优缺点，以此希望能对我国脆性材料塑性域超精密加工的研究有所启迪。     

基于对象的数字地图存储管理技术

针对数字地图数据的特点，采用面向对象技术与关系数据库技术相结合的方法，构造了一个基于对象的数字地图存储管理的结构，由此实现了一个数字地图的存储管理系统。系统中对传统关系进行了扩展，使系统能存储数字地图数据；引入面向对象的方法，使系统具有表达和描述复杂对象的能力。     

主供模式下飞机模块化装配工艺设计探析

针对主供模式下飞机研制存在的各类瓶颈问题,借鉴汽车、船舶行业模块化装配的思路,提出飞机模块化装配的思想,并对实现飞机模块化装配的工艺设计进行分析。在设计数据结构模块化、系统模块化、功能模块化和接口标准化的基础上,通过全机顶层模块化装配工艺设计,辅以优化分工、细化交付状态、集成装配等方法扩大飞机总装装配平行作业面。充分发挥主供模式优势,通过总装工作适量前置降低总装阶段工作难度,最大限度提高飞机装配工作效率,从而缩短型号研制总周期,确保型号研制节点。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。