可修系统可靠性统计分析模型的改进

阐述了复杂可修系统可靠性统计分析的特点及威布尔过程模型的适用性;引入修复影响系数对威布尔过程模型作了改进;给出了一个可供参考的计算示例.     

分段试验的可行性

运用随机点过程方法,从理论上对可修系统能否进行分段试验进行了研究.论证了对于泊松过程模型分段试验的可行性,并研究了分段试验对参数估计的影响.     

纯方位目标跟踪系统的可观测程度

首先建立了纯方位目标跟踪系统的动态模型和一个最小二乘估计器,分析了该系统的完全可观测性。在系统完全可观测的条件下,引入可观测程度这一概念。文中定义了两种描述系统可观测程度的方法。它们都很好地反映了系统可观测程度随跟踪时间的变化过程。研究发现,纯方位目标跟踪系统往往是弱可观测系统,这正是系统跟踪效果不佳的原因所在。然而,文中表明的系统可观测程度同跟踪几何态势关系密切这一事实,又使得从己艇机动入手解决跟踪效果差的问题成为可能,就是通过极大化系统的可观测程度优化己艇的机动策略。     

后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

装备建设要重视经济可承受性

武器装备发展的经济约束现代条件下,一个国家的防务能力比以往任何时候都更加依赖于经济发展水平,武器装备的发展也越来越受到经济条件的制约。武器装备向高、精、尖迅速发展,成本越来越高随着新技术革命中涌现出的大量科     

纯方位定位中的“Legs”机动方式与系统的可观测性

由多个等速直线运动段组成的观察站运动方式,称为“Ｌｅｇｓ”机动方式,所谓的纯方位系统是可观测的,是指系统在纯方位观察条件下,能唯一地求解出目标的运动参数。讨论了“Ｌｅｇｓ”机动方式,对纯方位目标定位系统可观测性的影响,建立了该模式下系统可观测的必要条件。     

以可用度为目标的功能检测模型

依据产品潜在故障的概念,将产品划分为“正常”、“潜在故障”和“功能故障”三种状态,并将产品从“新的”发展到“潜在故障”时间间隔和从“潜在故障”发展到“功能故障”时间间隔分别作为随机变量进行处理,利用可靠性数学的方法,建立了以可用度为目标的功能检测模型,包括基本模型和实际应用中变化时的模型,举例给出了模型输出结果的特征和敏感性。     

一种有效的XML-TO-SQL查询翻译优化算法

在研究XML数据处理问题上,XML查询与SQL查询的转换是一重要论题。在常规XML-TO-SQL查询转换算法基础上,分析了“翻译后优化”和“直接优化”两种不同的查询转换策略,提出了一种将Xpath路径表达式直接优化成SQL的算法。该算法将XML-TO-SQL查询转换分为两个主要阶段:预处理阶段和运行时翻译阶段。预处理阶段通过识别“双射映像”,计算“最小可辩识祖先”进行翻译前准备;运行时翻译则利用预处理阶段的结果进行路径约简。两个阶段的协作使得算法整体效率得以提高,达到翻译优化的目的。根据大数据量查询翻译对比实验的结果,该算法优于一些典型的传统翻译算法譬如Silk-Route、Xperanto等。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

线性回归模型系数岭估计的改进研究

对作者提出的c-k型估计,进行了进一步的研究.证明利用Stein式压缩技术可以改进岭估计(在均方误差意义下);同时给出了参数的最优值满足的条件.证明了c-k型估计的可容许性.文中的方法为病态线性回归模型系数的有偏估计提供了改进的技术途径.