证据推理法在C4ISR系统可靠性评价中的应用

首先参考外军NATO COBP阐述了不确定性处理在C4ISR系统评价中的重要性,鉴于ER方法的先进思想,介绍了ER(Evidential Reasoning)方法在不确定条件下的基本评价框架,并对ER方法和AHP方法,D-S证据理论以及模糊综合评价方法进行了比较综合,针对我军C4ISR系统可靠性评价中的数据不完备等实际问题,初步应用此方法进行评价,对决策人员有一定的参考意义.     

瞬变流二维理论模型及其应用

提出了求解弯管、孔板、三通等管件中的瞬变流动的二维理论模型和数值计算方法。对瞬变流动的二维控制方程进行坐标变换,得到计算坐标平面上的控制方程,并给出了计算平面和物理平面网格点一一对应关系方程和数值求解方法。建立了计算平面控制方程的边界条件,给出了差分求解方法,并提供了计算实例。     

采用扩展有限元法的线式爆炸分离装置裂纹扩展分析

为了提高线式爆炸分离装置的安全性,本研究基于扩展有限元法,通过创建二维和三维动态裂纹扩展模型,探索了线式爆炸分离装置在爆轰波作用过程中的动态裂纹扩展和止裂机理。研究表明,分离壳体的裂纹扩展路径独立于裂纹初始角度;不考虑载荷时序时,二维和三维动态裂纹扩展的主方向分别沿着分离壳体的径向和环向;考虑载荷时序时,受不同区域应力波的联合作用,三维裂纹沿环向扩展的同时会沿着轴向扩展,但裂纹的扩展均不会影响到止裂槽以外的结构。所提方法和相应结论可为线式爆炸分离装置设计提供参考。     

苯胺类环境污染物与生物蛋白分子相互作用

建立了一种基于毛细管电泳(CE)技术的改进型前沿分析(IFA)法,用于致癌性有机环境污染物联苯胺(BZ)与牛血红蛋白(BHb)的相互作用研究,分别采用Scatchard方程和Klotz方程,求解它们的相互作用结合常数和结合位点数。初步建立起CE/IFA,减小了实验误差,提高了测定结果的准确度。在比较研究CE/PS和CE/IFA基础上,验证了改进后的毛细管电泳前沿分析法的可靠性。同时讨论了改进型前沿分析法在测定分子间相互作用结合常数方面的优点。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

E 级超级计算机故障预测的数据采集方法

随着超级计算机规模向E级迅速发展，其可靠性面临巨大挑战，基于故障预测的主动容错技术成为提高系统容错能力的有效方法之一。数据采集是故障预测的基础，现有用于超级计算机故障预测的数据采集方法采集数据属性少、开销大，影响了故障预测的准确性和效率。本文面向未来E级超级计算机，提出数据采集框架（Failure Prediction Data Collection Framework, FPDC），能够全面采集与计算结点故障相关的状态数据，采用自适应多层分组数据汇集方法，有效解决了随着系统规模增长数据汇集过程开销过大的问题。在TH-1A超级计算机上的实现和测试表明，该数据采集框架具有开销小，扩展性好的优点，能够适应未来大规模系统故障预测数据采集的需求。     

静电放电过程电荷量和能量分析

分别采用四指数表达式拟合的方法和数值计算求解双RLC人体静电放电（ESD）模型的方法得到了符合标准要求的ESD电流波形，计算这两种方法下各自的放电电荷量和放电电阻消耗的能量；测量空气式和接触式两种ESD模式下的放电电流波形，并分别计算放电电荷量和能量情况；通过比较得出，放电电荷量和放电电阻消耗的能量都能够超过放电前的3／4，用数值拟合的电流波形虽能满足四个关键参数的要求，但其它部分电流值偏大。     

高炮随动系统性能测量算法

针对火炮调炮精度检测中存在的不足, 提出了一种基于双目立体视觉的三重交会测量方法,在炮身管上附加球状标志物,利用CCD摄像机获取标志物图像,通过标志物成像的几何投影关系计算球心的三维坐标.为了降低图像识别误差的影响,对投影的识别位置进行拓展和细化,并对球心投影边界进行插值,摄像机光心与插值点连线射线形成了一个锥体,两摄像机的锥体分别与炮台球面相交形成曲面,计算两曲面公共部分的形心,即为球心位置.通过确定球心位置,对炮身管的高低角、方位角进行计算,从而检测火炮调炮的性能.实验证明,该算法简单、快速,具有较高的精度.     

高层建筑消防供电可靠性探析

根据目前乌鲁木齐城网的供电方式,通过对高层建筑消防供电的可靠性分析,指出在哪些情况下,为满足高层建筑的一级负荷供电要求,用户应增设自备发电机。