基于XML技术的动态工程文档管理

扩展标记语言(eXtensible markup language，XML)是一种新的被认为可以替代HTML的置标语言，它有很多优点。传统的工程档表达格式繁多，难以管理，并且没有动态关联功能。中提出了一种用XML来存储和管理工程档的方法，实现了过程档的格式统一和动态关联。     

展开/折叠式伸展臂几何设计

介绍了展开／折叠式结构的设计过程，分3阶段；设计阶段、模型阶段和优化阶段。每一阶段均有相应的控制指标。由此设计出一种三棱柱伸展臂，该伸展臂由三棱柱模块叠加而成，通过电机驱动滑块进行展开／折叠运动。对伸展臂的运动机理进行了分析，最后经过优化阶段，最终确定了杆件的直径和节点形式。实验室模型表明，该伸展臂具有驱动简单，杆件类型少，制造方便的优点。     

A FORMAL REPRESENTATION FOR FEATURE-BASED DESIGN

从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。文中给出了特征分类、特征操作、特征模型验证和特征映射策略及其形式化描述方式，建立了兼顾并行工程和顺序工程设计方式的基于特征设计过程形式化描述模型，提出了基于特征的设计算法，为解决基于特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。     

基于WEB的制造过程分析工具

产品和制造过程设计需要多方面的知识和经验.在今天面临全球市场激烈竞争的情况下,需要一系列的工具来管理、利用过去产品设计制造中所获得的重要的知识和经验.在过去的几年中,因特网技术发展迅速,web技术正在越来越多地应用于产品的开发过程中.Java是目前最流行的网络编程语言.本文提出了一种基于web的制造过程分析工具的解决方案,讨论了web基应用系统的框架和基于web的制造过程分析工具的实现方法.     

软件可靠性验证测试最小测试量的必要条件

将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.     

飞行控制软件测试中的插桩技术

插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.     

AZ91D镁合金低压交流氧化成膜机制

基于一种低的交流电压条件(10 V),在NaOH和Na₂SiO₃的混合溶液体系中,对AZ91D镁合金进行电化学阳极氧化处理.利用扫描电镜(SEM)、X射线能谱仪(EDS)、X射线衍射仪(XRD)、电化学测试技术等手段研究了AZ91D镁合金表面阳极氧化的成膜过程、膜层生长的特点以及氧化工艺参数对膜层性能的影响规律.试验结果表明:在10 V这样低的交流电压下,在镁合金表面获得的氧化膜层表面均匀,为无孔洞的平层状膜层,其生长过程呈叠加式特点;获得的氧化膜层的主要成分为Mg₂SiO₄;在质量分数为3.5%的NaCl溶液中,经过电化学阳极氧化的镁合金的耐蚀性优于未经处理的镁合金.      

7分钟的完美对接 16年的拼搏奋斗:中国空间交会对接机构的研制过程

浩瀚苍穹,璀璨群星,共同见证了神舟八号和天宫一号在太空的精彩对接。北京时间11月3日1时28分,神舟八号上的对接环触到天宫一号对接机构;1时36分,两个航天器成功对接。为了这7分多钟的完美一瞬,各研制单位参与奋斗了16年之久。精密复杂的对接机构     

基于流量线性相关的IP网物理拓扑发现算法

IP网络物理拓扑发现通常依据设备的地址转发表(AFT, Address Forward Table)实现,相关数据通过简单网管协议(SNMP, Simple Network Management Protocal)获取.但在实际网络中,由于各种因素这种方法发现的结果往往不精确甚至有错误.提出基于网络流量特征的拓扑发现算法.首先将网络设备接口流量随时间的变化看作随机过程,给出接口速率的相关函数定义;然后证明了物理直连的设备接口间的网络流量具有最高的线性相关性;进而提出了基于接口流量线性相关性的IP网络物理拓扑直连关系的发现算法,实现对物理拓扑的最似然估计.最后,在实际网络中对该算法进行了验证.      

不确定非线性主动容错控制系统模糊控制设计

考虑到实际主动容错控制系统中故障以及故障检测与隔离(FDI,Fault Detection and Isolation)决策出现的随机性,随机故障与FDI决策行为分别用两个Markov过程描述,用T-S(Takagi-Sugeno)模糊模型表达不确定非线性主动容错控制系统,并基于并行分布补偿(PDC,Parallel Distributed Compensation)方案,给出了能够保证闭环模糊系统鲁棒随机稳定的模糊控制器设计方法.鲁棒容错模糊控制器的存在条件由一组线性矩阵不等式(LMI,Linear Matrix Inequality)给出,从而方便地利用优化技术求解,随后倒车控制系统的仿真结果验证了所建议方法的有效性.