C++Builder 控件技术在自助售票机中的应用

用C++Builder强有力的控件技术及多线程技术,实现一个32位串口控件,并将其应用于串行设备软件接口,走出传统的由动态链接库提供低层接口软件的方式,从而大大减轻上层应用软件的开发负担     

DPCA和GRNN在燃气轮机故障诊断的方法

选取其关键部件—喷口加力调节器作为故障诊断研究对象,提出了一种基于动态主元分析(DPCA)和广义回归神经网络(GRNN)相结合的喷口加力调节器故障诊断方法。在燃气轮机专用试验平台对其进行试验,采集喷口加力调节器的高压转子转速、低压转子转速、燃油油量、燃油耗量等参数原始数据,对其进行预处理,并采用DPCA方法对其进行动态主元分析,提取其不同健康状态的主元,构建特征向量,采用特征向量构建GRNN神经网络故障诊断模型,并通过测试数据对该方法的有效性进行试验验证。为表明该方法的有效性,采用了基于GRNN和基于DPCA-RBF的方法对喷口加力调节器不同健康状态进行了诊断技术研究,并对不同方法所得到的诊断结果进行了对比分析。结果表明,采用DPCA和GRNN相结合的故障诊断方法能有效识别出喷口加力调节器不同的健康状态,具有很好的实际应用价值。     

超视距多目标攻击排序及火力分配建模与解算

针对未来超视距空战条件下的多目标攻击排序和制导武器火力分配问题,提出了一种用以评估超视距空战作战效能的综合优势指数法;当目标数多于攻击机数时,通过构造综合优势矩阵,将非平衡指派问题转化为平衡指派问题,并建立了多目标攻击排序的0-1规划模型,该模型可解决对多个目标同时攻击的排序问题;以2对8攻击排序为例,利用求解线性规划软件Lindo6.0进行解算。最后,建立了1对4攻击火力分配的非线性规划模型,并利用求解非线性规划软件Lingo5.0进行解算。计算结果验证了建模的合理性和运用Lindo、Lingo软件求解较大规模目标攻击排序和火力分配问题的实时性。     

指控系统智能反汇编软件开发

针对没有提供软件清单的指控系统,在对其硬件环境十分熟悉的基础上,采用模拟跟踪程序执行路径的方法,开发了某型指控系统的智能反汇编软件。它可将固化在该系统EPROM中的机器码程序自动地反汇编成汇编源程序,形成打印文件存盘,以便列出程序清单供阅读和修改,进而改善指控系统功能。     

Bayesian inference based on partial monitoring of components with applications to preventive system maintenance

Consider a binary, monotone system of n components. The assessment of the parameter vector, θ, of the joint distribution of the lifetimes of the components and hence of the reliability of the system is often difficult due to scarcity of data. It is therefore important to make use of all information in an efficient way. For instance, prior knowledge is often of importance and can indeed conveniently be incorporated by the Bayesian approach. It may also be important to continuously extract information from a system currently in operation. This may be useful both for decisions concerning the system in operation as well as for decisions improving the components or changing the design of similar new systems. As in Meilijson [12], life‐monitoring of some components and conditional life‐monitoring of some others is considered. In addition to data arising from this monitoring scheme, so‐called autopsy data are observed, if not censored. The probabilistic structure underlying this kind of data is described, and basic likelihood formulae are arrived at. A thorough discussion of an important aspect of this probabilistic structure, the inspection strategy, is given. Based on a version of this strategy a procedure for preventive system maintenance is developed and a detailed application to a network system presented. All the way a Bayesian approach to estimation of θ is applied. For the special case where components are conditionally independent given θ with exponentially distributed lifetimes it is shown that the weighted sum of products of generalized gamma distributions, as introduced in Gåsemyr and Natvig [7], is the conjugate prior for θ. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48: 551–577, 2001.     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.     

装甲车辆使用与保障费用的指数回归模型

运用逐步回归和主成分分析的方法,选取了装甲车辆诸多战技性能指标集合中的自变量子集,建立了该子集与使用与保障费用之间指数回归方程组.该模型也可推广应用于装甲车辆综合性能的评估.     

Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

太阳观测卫星的数传天线波束及其指向设计

针对三轴稳定对日指向姿态的太阳同步轨道卫星,提出为获得最大对地数据传输时间的天线波束设计及布局方案。根据某型太阳观测卫星的轨道姿态设计方案,建立数传天线对指定地面站的天线波束指向仿真模型;使用卫星工具包STK仿真软件,分析不同波束角方案及其可能的指向对数传时间的影响,发现了对日指向卫星与对地指向卫星在数传时间上的不同规律,找到最优的天线波束布局来获得最大的数传时间;根据星载数传能力与不同天线波束宽度之间的关系,获得传输数据的最佳天线波束宽度,为这类卫星数传天线的波束设计及其布局提供设计依据。     

舰炮对空射击指挥控制数学模型的优化与仿真

新型作战舰艇舰炮武器系统火控台内配置了舰炮射击指挥软件,实现了射击指挥自动化,使得舰炮射击更加科学化,同时也大大地减轻了射击指挥员的负担.但是,对空射击指挥软件确立的数学模型存在一些缺陷.分析了该数学模型的缺陷,提出了改进方法,给出改进后的数学模型,并对改进前后模型分别进行仿真计算.计算结果表明,改进后的数学模型解算出来的射击方式能提高舰炮武器系统对空作战效能.