基于模糊故障树的煤矿区环境风险评价体系

鉴于目前环境污染日益严重的现实状况,研究基于环境的自净化能力,分析了煤矿区生态环境的各净化环节,引入了模糊集合理论,并且使用多种模糊数、语言值及精确数值刻画各净化环节事件的发生概率,并将它们归一为梯形模糊数,最终构建了一种基于故障树理论的煤矿区环境风险评价体系。该方法很好地解决了由于煤矿区环境的复杂性与不确定性,造成一些事件(要素)的发生概率难以获得,从而使评价结果误差较大的问题,且方法简单易行,可量化并能优化煤矿区环境系统的可靠性,具有较强的实用性和可操作性。     

四自由度挖掘装置的力学特性分析

为了分析四自由度挖掘作业装置的力学特性,利用Denavit-Hatenberg齐次变换矩阵建立了作业装置的运动学模型,确定了各个关节相对于基础坐标系的函数关系式。根据作业装置各个关节之间的连接关系和不同的驱动方式,分别建立了斗杆、铲斗挖掘时的最大挖掘力优化求解模型,得到了作业装置在工作空间内的挖掘力、倾翻力矩和水平作用力的分布特性,为作业装置的设计、挖掘机作业稳定性分析和安全控制提供了依据。提出的优化分析方法,具有简单、可靠的特点,有理论和工程应用价值。     

图结构XML文档的关键字检索方法

研究了基于图结构XML文档的关键字检索方法。根据图结构XML文档的结构特点,结合用户输入的关键字及其类型,建立了用户查询语义模型;定义了拥有完整语义信息的查询结果模型,并从层次结构上分析来定义结果的语义相关性排序方案;提出基于语义的双层索引结构。实验结果表明,算法具有较高的准确率和效率。     

基于数据元的数据集成技术研究

针对当前数据集成方法只能精确到属性级映射的缺陷,提出了基于数据元的数据集成方法。用数据元语义树对实体属性概念的内涵进行语义描述,使实体属性的语义能被计算机理解。然后通过语义计算实现精确到实例级的语义映射,从而完成数据集成。     

几类冠图的离散数研究

使用基于确定性理论的方法对路和圈的1-冠图等几类特殊图的可靠性进行研究,证明了它们的离散数.     

一类度约束最小生成树问题的Dijkstra算法

度约束最小生成树问题是网络设计和优化中的一个NP难题。结合该问题的特征,基于Dijkstra算法的基本思想,提出了一种求解网络G关于指定节点的最大度最小生成树的新算法。该算法在保证指定节点最大度的前提下,每次通过选取剩余边中权最小的边加入当前网络,最终得到网络G关于指定节点的最大度最小生成树。同时对算法的复杂度进行了分析。最后通过与其他算法的仿真比较和算例,表明了新算法的有效性。     

基于贝叶斯网络的路网失效程度评估方法研究

创造性地将贝叶斯网络应用于路网失效的评估中。选择连通可靠性作为评价标准,运用实例分析的方法,对基于贝叶斯网络的路网失效程度评估方法进行了研究。通过对路网的失效成因进行分析建立路网失效对应的事件树与故障树,并引入故障树向贝叶斯网络转化的算法,提出了利用贝叶斯网络对城市路网的失效程度进行评估的方法。最后举出一个简单的路网实例,按上述方法对其建立了其路网失效的贝叶斯网络,并利用MSNBX软件对该路网遭遇不同类型攻击时的失效情况进行了模拟计算,得到了实例路网的失效程度。实验结果证明了所探讨的方法的有效性,并为贝叶斯网络在大规模路网研究中的应用提出了一些思考和建议。     

大型真空系统智能故障诊断

根据大型真空钎焊炉真空系统的故障种类及特点,分析了现有的真空系统故障诊断存在的主要问题。针对大型真空系统故障诊断的不确定性和模糊性等特点,建立了基于故障树分析方法的模糊Petri网模型和推理算法,并以扩散泵不工作故障诊断为例,验证了该模型及算法的正确性和有效性。     

三叉树模型在可转债定价中的应用

随着社会主义市场经济制度的不断完善我国的资本市场得到了不断的深化与发展,与此同时我国的资本市场在发展过程中又确实表现出了许多先天性的不足与缺点。其中最制约我国资本市场发展的因素莫过于资产品种的匮乏与股权结构的单一。立足于中国市场,借用国外发达资本主义国家的成熟经验与技术,介绍了可转换公司债券这一金融复合衍生产品。通过对股票价格的预测与建立三叉树模型对纯债券价值进行估计的方法综合考虑可转债这一复合金融产品的价格确定方法,同时也使得读者对可转债的认识由感性上升到理性。通过验证中国第一支公开发行的可转债——阳光转债的定价情况来验证了此理论的合理性与可行性。结果表明,所提出的理论是基本适合我国资本市场的,但是在各种条款的综合考虑上还有改进的空间。     

基于栈操作的用例规模的一个计算公式

软件测试随着测试用例规模的增加变得十分困难,对测试用例进行研究十分必要．本文首先给出了树同构的概念,然后利用图论就栈操作的用例进行了讨论,并得到一系列有关栈操作用例的重要性质,最后对一个给定任意大小的输入序列,讨论了其各种可能的输出序列,在此基础上得到了各种可能输出序列规模的一个递推计算公式．