用对分HS-树计算最小碰集

在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树的基础上增加新的分支即可,这种性质对实际诊断问题是特别有用的.对利用BHS-树的算法从理论上进行了分析和论证,并通过实际编写程序进行了检验.

递归建立HS-树计算最小碰集

在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断。现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难。文章提出用递归算法建立平衡的二叉HS-树(Recursivehittingset-树,简记为RHS-树)计算最小碰集的方法,在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求。

基于HS-树的所有MIPS求解算法

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.目前很多解决本体不一致的方法都需要计算最小不一致保持子集(MIPS).本文利用HS-树方法给出了一种能够有效计算本体中所有MIPS的算法.实验表明该算法是有效的,尤其对于本体中包含不可满足的概念远远多于MIPS的情形更加有效.

用MDMC-HS-tree方法计算极小碰集

产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.

直航雷齐射命中间隔的计算与分析

为了更深入地了解直航鱼雷齐射命中原理,在潜艇鱼雷齐射攻击中鱼雷命中间隔是确保被攻击目标不从齐射鱼雷间"漏过"的重要射击参数,该文探讨了对直航雷齐射的鱼雷命中间隔计算所涉及的有关问题,研究了各种情况下鱼雷命中间隔的计算公式,分析了其性质,得出了命中间隔与提前角正切成比例等结论。另外发现了一个有趣的现象:鱼雷按逆序发射时,如果目标长度不大,而目标速度较高,且鱼雷出管时间间隔较长,则有可能变成实质上的一种顺序发射。此外,还通过使用MATLAB 6.5绘制数学工具绘制方程曲线的办法来直观地展示鱼雷命中间隔计算公式的性质。

基于最小碰集的多故障诊断算法研究

目前存在的测试性分析和故障诊断工具基本都是基于单故障假设,不适用于复杂系统。针对这一问题,研究了多故障假设下的序贯测试算法。提出了利用分类HS-树(CHS-树)计算最小碰集(MHS)的算法;以多故障状态集的MHS作为故障状态,生成最优单故障测试策略;以决策树中各叶节点的MHS为判断依据来决定下一步要执行的测试,最终生成多故障诊断策略。最后给出案例分析,结果表明:计算MHS的算法能够提高诊断策略的生成效率;诊断策略能够有效隔离多故障问题。

液滴高速撞击低温壁面的动态特性及破碎机理研究

为研究液滴撞击低温壁面的动态行为,运用高速阴影法对韦伯数(We)在533~1630之间的单液滴撞击常温壁面(22℃)与低温壁面(-30~-10℃)进行可视化试验。试验结果表明:液滴以一定速度撞击低温壁面时,会发生即时破碎和冠状破碎,二次液滴飞溅明显;但液滴以相同速度撞击常温壁面时,未出现液滴破碎现象。随着壁面温度的降低,液滴撞壁破碎所需韦伯数减小。在壁面温度为-30℃时,液滴撞击铝合金板的破碎临界韦伯数降低至480左右;当We<480时,即使壁面温度低于-30℃,液滴也不会发生撞壁破碎。当液滴撞击常温壁面时,液滴快速铺展,并且韦伯数越大,液滴铺展和回缩的速度越大,液滴的铺展因子越大。该研究可为液滴撞击低温壁面撞壁模型的建立提供参考。

具有低碰撞区的跳频序列的理论界

跳频序列理论界一直是跳频扩频通信的基础研究课题.21世纪初,我国学者提出“低碰撞区跳频序列”的概念,并建立相应的研究方法,为跳频序列的研究开创了一个新方向.自此,国内外掀起一股跳频序列的研究热潮,大量研究成果被报道.综合介绍具有低碰撞区的跳频序列理论界的研究状况,主要内容包括:具有低碰撞区的跳频序列周期汉明相关函数的理论界、具有低碰撞区的跳频序列非周期汉明相关函数的理论界、具有低碰撞区的跳频序列部分周期汉明相关函数的理论界、具有低碰撞区的跳频序列汉明相关函数平均值的理论界和具有低碰撞区的宽间隔跳频序列集部分汉明相关函数的理论界.

中华优秀文化传承与弘扬中的文化自我认同问题探究

文化的自我认同意识是传承与弘扬民族文化的内在根基,舍此便谈不上文化的传承。目前,中国大陆地区在文化的自我认同方面存在着亟待解决的问题。我们曾经通过剧烈的政治运动,无理智地摧残自己的文化,使文化中的负面因素得以泛滥,并由此造成国民的文化自我认同意识的淡薄。而文化的批判性思维,则是文化自我认同意识的延伸和深化。准确地讲,文化的自我认同就是对民族文化中的精华和优秀部分的认同,这需要对传统文化加以深刻理解、分析、辨别、取舍。同时,文化的自我认同表现在当代中外文化的碰撞与比较中,就是知己知彼的文化定力。在中西方文化的碰撞与比较中尚存在着一些问题与弊端,需要智慧地、高水平地加以应对。

舰载声自导鱼雷双雷平行齐射射击参数优化仿真研究

为研究舰载声自导鱼雷齐射射击参数解算的问题,建立了基于平行航向齐射的射击参数解算模型,并进行了仿真计算,重点研究了不同射程下的齐射展开散角和展开系数优化问题。仿真结果表明,鱼雷齐射射击参数的确定对鱼雷齐射的命中概率有较大影响。本文的研究成果对管装鱼雷齐射使用有一定的参考价值。

基于模型的局域网诊断系统

基于模型诊断的 HS- DAG算法 ,提出一个网络通信模型的诊断系统 .当局域网出现故障时 ,能够根据观察结果判断故障出现的位置 ,不会因为剪枝而丢掉部分最小碰集 ,提高了故障诊断效率 .

冷辗凸模的反击冷校

为了解决生产中出现的凸模弯曲报废的问题,分析了冷辗凸模制造工艺,探讨了对冷辗凸模反击冷校的方法,详细介绍了校直的工具和过程,并从理论上分析了校直机理。把校直后的凸模应用在实际生产中取得了满意的结果。实践证明,反击校直不仅可以校直小直径的工件,也可以校直大直径的杆类以及带有简单阶台、有一定长度的轴类工件。

1780生产线的带钢宽度控制

为了满足客户对宽度指标的要求，对承钢1780生产线宽度控制模型进行了研究和分析。根据研究结果，采用粗轧下表面高温计，并且设计板坯出炉温度预测模型，减少因板坯温度不准对宽度控制的影响。通过在加热炉前安装板坯测宽仪和优化宽度控制策略来减少因板坯宽度不稳定对宽度控制的影响。对立辊短行程控制曲线进行研究，提出优化方案，有效解决了带钢头尾宽度问题；对大量带钢精轧宽展数据进行研究，提出针对不同规格带钢的宽展控制方案。经过研究和优化使成品宽度的波动明显变小，成品宽度在＋0～9mm内的命中率达到96％以上，工序控制能力也得到了明显提高，提高了产品的用户满意度。