扩展D-矩阵分割在测试序列生成中的应用

D-矩阵是系统装备测试与诊断的基础,为克服一般D-矩阵信息的不足,提出了一种扩展的D-矩阵,较好的反映了装备的属性,解决了D-矩阵功能故障定义中信号失效易混淆的问题;在扩展D-矩阵的测试序列生成过程中,提出了矩阵分割应用于测试序列优化的方法,用例表明该方法可显著降低计算复杂度,且提高故障隔离的指向性,避免各类测试交叉进行的情况.     

概念设计中基于扩展功能矩阵的功能求解方法

提出了功能矩阵的概念,在证明功能矩阵的代数系统与布尔代数析取合取代数系统同构的基础上,对功能矩阵进行扩展,并证明了扩展功能矩阵的展开定理;利用扩展功能矩阵逐步展开与约简,实现了功能的求解算法.最后通过实例证明:该方法有效地缩减了解空间,提高了效率,同时对于概念设计中创新冲突的检测与定位起到了积极的推动作用.     

基于多信号流模型的诊断策略动态生成

针对静态故障树诊断序列长、人工可干预度差和不支持多现象并行推理问题,提出了基于D-矩阵和Rollout信息启发搜索算法的故障诊断策略动态生成方法,介绍了基于TEAMS多信号流模型的D-矩阵数据获取方法和Rollout信息启发搜索算法的DLL独立封装技术、输入输出数据规范和动态交互控制方法;基于此开发的交互式智能诊断系统(IIDS)软件平台经实际现场测试诊断验证,对诊断现场出现的多种客观条件,如系统工作模式或测试资源变化、用户干预和多故障现象并发推理等具有很好的适应性,故障覆盖率和隔离率指标高,对提高装备故障诊断的效率、准确性和灵活性具有显著作用。     

基于扩展雅可比矩阵的冗余度机器人多性能准则优化研究

本文基于扩展雅可比矩阵求冗余机器人逆解的算法,提出了将多个附加作业性能函数作归一化处理后,根据优先权的高低进行加权求和,从而利用其冗余性完成多性能准则优化的一种新方法.并且对所研制的七自由度冗余手臂避奇异及避关节极限的的双重性能进行了优化仿真分析,根据分析结果,所优化的手臂关节向与关节极限相反的方向运动,并且雅可比矩阵的条件数得到了降低,从而证实了此种算法对单个冗余自由度优化多个性能准则的有效性.     

基于多信号模型的故障诊断算法研究

多信号模型是一种简单而有效的系统建模表示方法,在测试性分析与故障诊断领域得到了广泛的应用;本文结合示例给出了多信号模型的建模和分析过程,并由多信号模型得到了故障-测试相关矩阵;在信息熵理论的基础上,通过定义新的目标函数,本文对最优测试序列的生成进行了具体算法分析,并由此得出了最优诊断树,与TEAMS工具箱的仿真结果一致;和其他方法相比,该方法不仅结果更加优化,而且效率更高,易于计算机编程实现,对测试性分析工具的研发具有一定的参考价值。     

基于扩展干涉矩阵和遗传算法的拆卸序列规划

为高效求解非标准正交轴向上的装配体拆卸序列,将常用的基于全局坐标系的干涉矩阵扩展为包含基于装配体坐标系的全局干涉矩阵与基于零件坐标系的本地干涉矩阵干涉信息的扩展干涉矩阵,丰富了拆卸方向表达的多样性,并通过其检验拆卸序列的几何可拆性.在得到可行拆卸序列的基础上建立了目标函数,利用遗传算法对拆卸序列进行优化.通过一个实例验证了该方法在拆卸方向多样化方面的可行性和有效性.     

P-code位矩阵方法与扩展研究

以磁盘冗余阵列(Redundant Array of Inexpensive Disks, RAID)技术中新出现的Pcode编码为主要对象,进行了其构造方法、编码及译码算法的详细分析,并首次运用位矩阵(Binary Distribution Matrix, I3DM)的方法分析和研究了P-code码。在此基础上,对当前主要RAII}6编码的扩展即更多磁盘数量的容错问题进行了总结与探讨,提出了P-code等垂直最大距离可分码(Maximum Distance Separable, MDS)的扩展将是该领域未来研究的新方向和难点。     

扩展的基于属性的访问矩阵模型

针对传统访问矩阵模型的不足,提出了一种扩展的基于属性的访问矩阵模型。该模型以主体属性、客体属性、时间属性为参数,按照一定的授权规则来授权,授权规则是根据用户的需求而制定的。授权模型的提出和授权规则的灵活制定保证了访问矩阵能够灵活多样的赋予主体权限,弥补了传统访问矩阵的不足,并很好的适应当前的复杂情况。通过模型的理论设计,表明了模型的可行性。     

基于DOM模型扩展的Web信息提取

提出了一种基于DOM模型扩展的Web信息提取方法.将Web页面表示为DOM树结构,对DOM树结点进行语义扩展并计算其影响度因子,依据结点的影响度因子进行剪枝,进而提取Web页面信息内容.该方法不要求对网页的结构有预先认识,具有自动和通用的特点.提取结果除可以直接用于Web浏览外,还可用于互联网数据挖掘、基于主题的搜索引擎等应用中.     

超立方体多处理机系统中基于扩展最优通路矩阵的容错路由

该文在高峰等文章的基础上，提出了针对超立方体结构多处理机系统的扩展最优通路矩阵（Extended Optimal Path Matrices,EOPMs）的概念，并给出了一个建立EIPMs的算法和基于EOPMs的容错路由算法，证明了基于EOPMs的容错路由算法是基于扩展安全向量（ESVs）^[13]和基于最优通路矩阵（OPMs)^[14]容错路由算法的扩展，与原文相比，该算法的存储开销与OPMs,相同，但记录的最优通路的信息，包含了原文所记录的最优通路的信息，使搜索最优通路的能力比它们有进一步的提高。     

基于多信号源的神经模糊Hammerstein-Wiener模型研究

面对复杂工业过程控制的需求, 设计一种结合数据信息的特殊模型结构, 在保证控制系统有效性的前提下通过模型的结构来简化控制器的求解是亟待解决的问题. 为此, 本文提出一种基于多信号源的神经模糊Hammerstein-Wiener模型, 突破传统的迭代分离方法, 通过组合式多信号实现Hammerstein-Wiener模型中神经模糊非线性环节和线性环节的分离, 同时设计了神经模糊模型参数的非迭代优化算法, 将研究结果拓广到分段非线性系统,改善了模型的适用范围. 该算法保证了模型的预测精度,具有逼近较强非线性过程的能力. 在此基础上设计了基于神经模糊Hammerstein-Wiener模型的控制系统, 利用模型的特殊结构将非线性系统的控制问题简化为线性系统的控制问题, 采用简单的PID控制器便能达到较好的控制效果.仿真结果验证了上述方法的有效性.     

基于IETM驱动的智能化便携诊断设备

由IETM驱动的便携诊断设备目前已成为舰船电子设备现场级维修所依赖的主要手段和工具;为解决某雷达告警设备的现场级诊断问题,提出了一种采用成熟的AIMSS软件和TEAMS软件,综合测试诊断需求分析、测试性分析评估、诊断策略生成和IETM开发过程,并根据顶层分配的测试需求研制由IETM驱动的现场便携式智能诊断设备的方法;同时,采用COM接口技术解决了两个软件的诊断信息融合;研制的设备已在基层部队得到试用,经济适用,对告警设备现场级维修能力的提高具有明显的促进作用。     

基于多信号模型的测试性预计方法研究

工程常用测试性预计方法过程繁琐、工作量大且不易实现过程的自动化,为此,近年来国外展开了基于模型的计算机辅助测试性预计技术的研究与应用.论文以美国OSI公司的TEAMS(测试性工程与维修系统)软件及其采用的多信号模型为研究对象.时其测试性预计功能实现原理进行了解析,给出基于多信号模型的测试性预计方法具体分析过程以及故障-测试相关性分析、诊断策略设计、测试性参数计算的具体算法,为自主开发计算机辅助测试性建模与预计软件奠定了基础.     

基于多信号模型的诊断推理机设计

随着飞机功能和性能要求的不断提高,其综合化程度、复杂性也越来越高,传统的故障诊断方法已经不能满足日益复杂的飞机维护需求;针对传统诊断方法对系统的强依赖性和在多故障模式下处理能力不足等问题,给出一种基于多信号模型的故障诊断方法,设计并实现了基于多信号模型的诊断推理机,并用以某型飞机的自动飞行控制系统为对象验证了该方法在解决飞机系统故障关联和多故障诊断问题中的有效性.     

基于多信号流模型的雷达BIT测试能力分析

多信号模型是一种简单而有效的系统建模表示方法,提出基于多信号流模型的雷达BIT进行验证方法。介绍多信号流模型的定义和表示,分析运用该模型对雷达模块（电路）的建模、相关矩阵简化、对其测试性功能实现原理进行了解析,并以某型雷达截获控制电路为例进行验证。结果表明,多信号模型能给出一个全面的测试性评定结论,对系统测试性分析具有价值。     

基于高级在轨系统的无线电测距方法研究

提出了一种基于高级在轨系统中插入业务的无线电测距方法;通过星、地间双向单程的无线电测量,利用两次收、发信号的时间时延,不但提高了相对运动状态下测距的精度,而且修正了星、地间存在的钟差;文中详细介绍了此种测距方法的实现原理,结合目前卫星测控技术的发展趋势论述了实现的过程,并且分析了影响测距性能的各种因素;此种方法原理简单,便于实现,测距精度高,具备较好的通用性。     

基于XML的故障诊断虚拟训练描述模型研究

随着科学技术的迅猛发展,传统故障诊断训练存在的问题日益突出,越来越难以满足维修人员的故障诊断训练需求;提出了通过虚拟方式进行辅助训练,来提高维修人员的故障诊断能力和掌握故障诊断相关知识,满足故障诊断训练需求;为实现故障诊断虚拟训练,分析了故障诊断虚拟训练模型的描述要素和描述语言;运用诊断树分析方法,基于XML建立了故障诊断虚拟训练描述模型,为实现故障诊断虚拟训练提供模型支撑;最后,基于此模型对液压千斤顶回收不到位的故障进行了描述,验证了描述模型的正确性与实用性.     

基于Petri网的APT攻击模型生成方法

在严峻的APT(Advanced Persistent Threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点,建立了基于Petri网的APT攻击模型。借助Petri网,首先针对APT攻击的特点及生命周期,建立APT攻击的基本Petri网模型;然后设计并实现APTPN(Advanced Persistent Threat Petri Nets)模型的生成算法,针对具体的APT攻击生成其完整的攻击路径;最后,实验通过模拟极光攻击验证了算法的有效性及正确性。