基于知识的翻边工艺设计支持系统

钣金零件是组成飞机机体的主要部分,为了提高钣金工艺设计的质量与效率,实现知识的重用和共享,对翻边工艺设计的智能化、知识获取技术进行了研究。根据翻边成形受力状态的不同,提出了翻边件的特征表示方法,总结了3种翻边组合模式,用于建立相应的设计模块;提出了面向实验和有限元数据的知识获取方法,将隐式知识从数据中提取出来,构建知识库,支持系统的智能设计。根据提出的方法,结合CAE模拟,建立翻边工艺设计支持系统,具体实际事例表明所建立的系统提高了设计的质量和效率。     

领域分析与建模研究

基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求.     

基于面向对象的空间飞行器仿真系统设计

采用基于面向对象的软件工程建模思想,设计了一套空间飞行器轨道、姿态及其空间环境的数学仿真系统,最终根据系统的功能需求,给出了描述系统结构的对象模型。采用该系统模型有利于提高仿真系统的可靠性、可维护性和稳定性。     

叶片电解加工阴极设计CAD/CAE/CAM专家系统

为了解决航空发动机叶片电解加工工具阴极设计自动化程度较低的难题,在电解加工基本原理的基础上,开发了专用的叶片电解加工计算机辅助阴极设计制造专家系统,主要介绍了该专家系统的基本结构、模块化组成和工作原理,并重点探讨了基于间隙内实际电场分布的叶片电解加工有限元阴极设计方法,最后通过一组工艺试验验证了该专家系统所设计阴极的加工精度.试验结果表明开发的阴极设计专家系统有较高的设计精度和良好的工作稳定性.      

基于加密和即时解密的软件保护

通过加密来保护软件,是防止盗版者通过逆向工程理解程序的一种有效方式.传统加密保护方式,运行时解密开销大,又由于采用一次性解密方式,易受到攻击而直接从存储器中获得解密后的程序映像.提出了即时解密技术,摒弃了传统的一步解密的方式,在运行时通过即时解码器以函数为单位一步步揭开隐藏在软件中的秘密.仅对一次运行中必须的部分解密,使得攻击者难以获得完整的解密后程序,难以篡改并绕过未解密部分中的软件保护功能,增强了抗攻击性.在运行效果上,由于解密分散进行,就解决了启动延时长的问题.用基于一次一密加密技术,与对称密钥加密算法相比,进一步减少了运行时开销,使得该技术在目前处理器上可以流畅运行.该方法增强了基于加密的软件保护的实用性,增大了破解的难度.      

飞机总体设计过程中的数据管理

飞机总体设计中所涉及到的是海量数据,且具有数据种类繁杂的特点,同时具有很高的安全性方面的要求. 在如何利用数据库技术对海量、繁杂的飞机总体设计数据进行合理、有效地分类组织管理方面作了一些探讨. 分析了总体设计过程中所涉及到的数据所具有的特点,对设计过程中的数据进行了归纳分类;提出了利用近年来迅速发展的面向对象技术对飞机总体设计数据进行分类、管理的概念并给出了一个简单的实例;最后介绍了利用数据库管理飞机总体设计数据的一些需要注意的问题.     

支持自愈恢复的MPLS流量工程路由机制

提出基于策略和流量特征的约束路由算法,算法根据网络资源和流量分布特征,为不同流预先分配带宽,优化网络资源的使用.将显式路由计算和故障恢复机制相结合,设计和实现基于MPLS(Multi Protocol Label Switch)的故障恢复系统,提高MPLS网络的生存性.      

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.