高效计算网格壁面距离的KD树方法

计算流体动力学的一些领域中经常要用到流场点到壁面的最小距离,为了提高壁面距离计算的精度和效率,将KD树应用于非结构网格的壁面距离计算,计算了若干三维外形的壁面距离,结果表明:基于KD树的网格壁面距离计算方法鲁棒性好,计算效率和结果精度高,适应复杂外形的能力强;算法的通用性好,可以拓展应用到多种网格类型。     

基于PMC模型的神经网络

在计算机系统中有许多诊断算法,其中针对PMC模型有0-1规划的诊断算法,这个诊断算法是NP完全的,是在多项式时间内不可解的。然而利用神经网络的高度并行性这个特点,就可以在很短的时间内解出结果。主要分析了系统诊断模型PMC的症候特征,得到其充要条件,提出了新的算法,该算法具有高度的并行性,神经网络的发展为此提供了用模拟电路来实现算法的可能性,并进行了模拟验证。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

论机械装备监测诊断技术的体系

装备监测诊断技术的研究对象是装备的状态信息.装备监测诊断技术的体系框架由状态信息检出、状态信息表征、装备状态识别和监测诊断工艺等四大部分构成.     

道路网关节点分析评价专家系统的研制

本文主要阐述了工程兵道路网关节点专家系统结构模型,给出了关于关节点的知识树的构造。     

格论在图分解中的应用研究

具有编序的多树组集合是多树格。多树格是几何格。多树组和其多树格的元素之间的有一一对应的关系。一个混合子图的全部树可以由能构成最大独立集的子图的多树组的Ｃａｒｔｅｓｉａｎ乘积的并集得一而勿需用制方法求出。这样在格率和图论之间建立了联系,对图的分解问题提供了一种直观的几何方法。     

乡村教师培训策略探析——以“送教下乡”为例

乡村教师的培训,一方面,根据教育部“诊断示范、研课磨课、成果展示、总结提升”的指导思想,在深度调研的基础上,结合受训教师实际,通过创新培训内容和形式,进行行之有效的培训,切实提升乡村教师课堂教学能力;另一方面,基于培训,加强基层培训团队的组建,加强教师培训与乡村学校校本教研的整合;最后,重视教师培训的可持续发展,基于培训习得的经验和模式,促进乡村教师自主和基于同伴互助的专业成长和发展.     

基于损伤树及损伤征兆集的战场损伤定位研究

建立了基于损伤树的知识表示、知识推理模型及损伤树评估框架,利用损伤树各节点的损伤征兆集,进行装备战场损伤定位,较好地利用了装备专家的领域知识,提高了战场损伤评估的准确性和效率。     

云存储环境下的安全密文模糊检索方案

针对密文模糊检索的特点和要求,提出云存储环境下的安全密文模糊检索模型,采用基于通配符和编辑距离的关键词模糊集生成方法,以关键词的词频信息为权值构建Huffman树形索引结构,使用高效的布隆过滤器存储和匹配关键词模糊集,最后通过改进的TF-IDF规则对检索出的密文文档进行评分排序以返回最符合用户需求的Top-k个结果。实验测试结果表明,方案在保证安全性的同时,能够满足存储规模的要求,并具有较高的检索效率。     

海管结构状态监测研究进展

海管在长期运营过程中，受到海水腐蚀、海沙冲蚀及海洋波浪作用，易发生局部屈曲、开裂和穿孔等损坏，引发油气泄漏事故，造成严重的环境污染和巨大的经济损失。因此，运营中海管的结构抗力、损伤和安全状态及剩余服役寿命等信息的掌握成为工程领域的关注重点。鉴于此，归纳总结了运营中海管结构的特征参数和可能的损伤模式，对检测和监测海管结构状态的技术进行了国内外研究进展综述，同时结合运营中的海管监测需求重点介绍了光纤传感技术在海管结构状态监测方面的优势、研究现状及应用前景，以期为维护海管结构安全经济运行提供有效器件和可靠技术参考。