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

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

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

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

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

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

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

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

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

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

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

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

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

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

航天飞机气动加热计算

介绍了国内外预测航天飞机气动加热的工程计算方法.给出了轴对称、非轴对称和机翼前缘等各种外形驻点热流密度的计算,分析和比较了平板、锥体的层流和湍流热流密度计算的各种方法,概述了航天飞机迎风面中心线和离开中心线横向热流密度的计算.计算结果表明,本文方法用在航天飞机气动热环境初步设计中比较简单并且有足够精度.     

项目风险的一种模糊分析方法

由于影响项目的不确定因素繁多,专家们在评估一个项目的风险时,通常不得不使用一些模糊性语言.为了定量地评估项目的不确定性,提出了一种分析项目风险的新方法:用模糊集理论将这种模糊性语言定量化,即用一种简单的模糊数--三角模糊数来有效地表示项目的风险,通过比较这种三角模糊数的大小来判断风险的大小,从而评估出项目的优劣.最后,本文还认为如何准确地量化项目的不确定性仍是有待于进一步深入研究的课题.     

导弹系统总体方案设计的研究

以空空导弹总体方案设计为例,简单扼要介绍了导弹系统总体方案设计的全过程,给出了设计流程图,介绍了方案评估时加权系数的确定方法及方案评估方法,这一方法有利于通过人机交互在计算机上实现总体方案设计,改变了传统设计方法,最后给出了空空导弹的设计结果并明确了使用时应注意的问题.