领域分析与建模研究

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

软件GPS接收机架构与捕获算法实现

为了将软件无线电技术应用于全球定位系统GPS (Global Positioning System)接收机,提出了一种符合目前硬件技术水平的软件GPS接收机设计架构;分析了软件GPS接收机信号捕获方法的要求;采用循环相关算法作为软件GPS接收机的信号捕获算法,在Matlab仿真环境下实现了相应的捕获程序,并使用GPS卫星C/A码信号采集数据进行了初步验证;初步验证结果表明这种捕获算法能够为软件GPS接收机提供快速捕获能力,同时不损失信号搜索的灵敏度,是一种适用而高效的软件GPS接收机捕获方法.      

一种基于历史数据的软件缺陷预测方法改进

捕获-重捕获方法常用于评审会后对产品残留缺陷数的估计.使用均方误差对几种基于捕获-重捕获模型的估计器性能进行评估.然后提出一种基于历史数据的估计器改进方法,并对改进前后估计器的缺陷预测效果进行对比分析.      

卫星测控信号的调制类型自动识别算法

研究了应用于卫星测控信号的自动调制识剐算法，提出了FM和PM测控信号识剐的两种算法，分析并仿真验证了载频偏移对正确识别率的影响，研究了载频偏移估计算法对消除载频偏移影响的效果。计算机仿真实验表明：在基于瞬时相位标准偏差σdp为关键特征的算法中，采用最小二乘原理估计频偏可以有效地消除载频偏移和部分噪声的影响；基于瞬时折叠相位偏差σ1Wp的算法在载频偏移为100Hz，信噪比高于-6dB时，其识别率可达100％。     

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

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

军用软件的可靠性统计分析

研究了军用软件的可靠性统计分析方法。对于失效数据极值分布函数的拟合检验,提出了一种解析法,克服了图解法的局限性;对于母体分布的参数估计,分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一实例说明了统计过程,并用模拟的方法证明了最小二乘估计法较好。     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

高阶辐射换热有限元算法研究

随着航空航天技术的发展,飞行器热结构所需承受的温度越来越高,辐射换热变得非常重要;当前大部分商业软件对于辐射问题的有限元计算方法还是基于一致表面温度和辐射热流假设,使得计算精度和网格密度的矛盾越来越严重.进行了选用高阶单元、采用高斯积分精确计算单元表面变辐射热流方法的研究,从而摆脱了一致表面温度和辐射热流的假设,使得在相同网格密度的情况下计算精度大大提高;同时,从包含辐射换热问题的有限元计算方程出发,采用与有限元数值计算时相同的积分方案,只在独立的积分点处计算辐射热流,克服了积分方法计算效率低的缺点.经与ANSYS的计算结果对比,应用辐射热流积分方法于高阶单元能大大提高计算精度;并且在相同计算精度条件下,此方法的计算效率更高,具有一定的实用价值.     

激光跟踪仪与CATIA结合在飞机外形测绘中的应用

就飞机外形的测绘需求，利用激光跟踪仪与CATIA V5版本的曲面造型功能，介绍获取数字化外形的若干应用技术。     

镍基单晶合金涡轮叶片蠕变分析的MARC用户子程序开发

基于通用有限元软件MARC开发了用于模拟单晶合金材料蠕变性能的用户子程序CRPLAW。该子程序采用经典Norton蠕变本构方程，可以模拟单晶材料在不同温度和不同取向下的蠕变性能。利用CRPLAW对镍基单晶叶片进行蠕变分析，得到了较为满意的结果。通过修改蠕变参数，CRPLAW也可以用来模拟其它晶体合金的蠕变性能。