线性规划模型的建立及Mathematica求解

线性规划在生产和生活中起到了重大作用.在给出线性规划模型的基础上,通过实例介绍了建立模型的一般方法;并应用Mathematica软件进行求解,进而指导生产.     

事故树分析方法在建筑施工模板坍塌中的应用

为了解决模板坍塌事故发生并引起人员伤亡的问题,采用系统安全工程的事故树分析方法,建立了建筑施工模板坍塌引起人员伤亡的事故树图,从最小割集、最小径集、结构重要度三方面,阐述了导致模板坍塌引起人员伤亡的主要原因,找出了事故预防的关键途径。结果表明,事故树分析方法能对导致模板坍塌引起人员伤害事故的各种因素及逻辑关系做出全面的阐述,并为模板坍塌事故的预防以及最大限度地减少人员伤亡,提供了切实可信的参考依据。该成果对建筑模板工程具有一定的参考价值和指导意义。     

事故树结构重要度的求解方法

目前求解事故树结构重要度主要有三种求解法。针对三种方法求解时会出现结果不一致的现象,以一个小型事故树实例,分别采用三种求解法进行求解计算,寻求其各自的特点和适用环境。当事故树中基本事件数目较多时,采用最小割(径)集法求解;当需要得到精确计算结果时,采用结构重要度系数法求解;当采用最小割集(最小径集)法求解结构重要度排序存在不一致时,可采用结构重要度系数法或概率重要度性质法求解。行车起重设备吊物坠落事故实例,验证了事故树结构重要度求解方法的有效性。该研究为恰当的选择和使用结构重要度求解法提供了参考。     

煤矿掘进工作面瓦斯爆炸的危险性评价研究

根据煤矿掘进工作面瓦斯爆炸事故,总结出导致掘进工作面瓦斯爆炸的基本事件。运用事故树分析法,通过最小割集与最小径集的求取,分析了掘进工作面瓦斯爆炸事故发生的原因,并提出掘进工作面瓦斯爆炸事故发生的预防措施,为煤矿瓦斯管理提供科学依据。     

渐进多元正态总体均值最紧致某处最优势检验——秩集样本的应用

将原有的多元正态总体均值的最紧致某处最优势检验推广到渐进多元正态总体均值的最紧致某处最优势检验。并利用秩集样本进行了渐进多元正态总体均值的最紧致某处最优势检验。     

渐进多元正态总体均值最紧致某处最优势检验——秩集样本的应用

将原有的多元正态总体均值的最紧致某处最优势检验推广到渐进多元正态总体均值的最紧致某处最优势检验.并利用秩集样本进行了渐进多元正态总体均值的最紧致某处最优势检验.     

用关联矩阵求解最小割集方法

将关联矩阵引入到事故树分析中,通过对关联矩阵的运算,得出求解最小割(径)集的简便算法,为计算机辅助事故树分析的程设计提供新的途径.     

求解最大度约束下最小生成树的新算法

针对网络优化中度约束最小生成树问题的特征,融合破圈法的基本思想,提出了一种求解网络G关于指定节点的最大度约束下最小生成树的新算法。该算法在保证指定节点最大度的前提下,每次通过去掉圈中权最大的边,最终构造出网络G关于指定节点的最大度约束下的最小生成树。算法证明和算例都表明了该算法的有效性。     

初等方法求解函数最值问题

小文介绍了作者用初等方法求解函数最值的六种方法。     

含有2个最大度点的树的极大独立集个数

研究了限制条件下图的极大独立集的计数问题.运用数学归纳法,给出了含有2个最大度点的树的极大独立集个数的最大值,同时刻画了取得最大值时的树.     

集对分析理论及在最低成本工艺决策中的应用

基于集对分析的新原理与新思路，在介绍集对分析的基本概念和联系度的有关运算后，定义了机械加工工艺的生产费用的联系数μ＝a bi或μ=a bi cj。给出了工艺成本集对分析的方法与步骤，对机械加工工艺的生产费用进行了优化设计，得到了生产费用最低使用条件下的最优加工工艺路线与加工方法。给出算例。     

严重锈蚀的小径管射线检测及评定方法探讨

本文结合工程实例,对严重锈蚀的小径管射线检测及评定方法进行了探讨。     

枚举图的全部极大独立集的普遍性方法

完整地研究了寻找一个图的全部极大独立集所需要的理论、寻找范围、计算公式和枚举方法，采用有根树描述，以邻接矩阵中任意一行所对应的顶点为根，再以该行中各个非零元素所对应的那些顶点为根，按照文中所述方法生成有根树，这些有根树就描述出图的全部极大独立集，本方法已用计算机程序实现。     

回采工作面顶板事故安全评价的事故树方法

本文讨论了用事故树方法进行回采工作面顶板事故安全评价的具体方法和步骤,提出了工作面顶板事故发生概率和风险率的计算公式,并提出了工作面顶板事故安全指标和事故法则的初步研究成果。     

均值不等式在求解最值中的一般方法和应用

本文在研究均值不等式。当且仅当a_1=a_2=…=a_n时“=”成立基础上,进一步讨论在n不大于3即n=2或n=3的两种情况下求解最值的一般方法及其应用。     

一类混合系统不变集LMI方法求解

本文主要探讨了混合系统和不变集的研究,介绍了理论产生的背景,阐述了混合系统的概念和混合自动机建模, 由LaSalle提出的不变集理论在文中首先作了介绍并给出了主要的计算方法迭代法;在混合系统中,提出了通过构造李雅谱诺夫函数利用线性矩阵不等式的方法求得不变集的存在,同时不变集的范围也可以进一步求得;接着一个混合系统数值仿真例子证明了该方法的可行性与有效性,最后介绍了讨论混合系统不变集的应用和下一步的工作。     

基于最频繁项提取和候选集剪枝的THIMFUP算法

针对FBCM(基于矩阵压缩FUP(fast update algorithm))算法在项集挖掘过程中存在频繁扫描原频繁项集库,并生成大量候选集的问题,提出一种通过提取数据库中最频繁项的方法,以降低对原频繁项集库的扫描次数;并通过候选集剪枝思想,减少算法整体运行过程中的候选集生成,以提高频繁项集的挖掘速度.实验结果表明,...     

集值映射向量优化的最有性条件

文章首先引进了近似锥似凸集值映射的概念,并在实拓扑向量空间中建立了近似锥似凸集值映射的择一性定理,获得了近似锥似凸集值映射向量优化问题的最有性充要条件,最后给出了对偶问题并推导了对偶定理。     

一类混合系统不变集的LMI方法求解

为了解决混合系统不变集的存在性问题,针对一类含有摄动干扰的混合系统,首先通过公共李雅谱诺夫函数判断不变集的存在性;然后通过构造李雅谱诺夫函数,利用线性矩阵不等式(LMI)的方法求得不变集的存在性,得出混合系统的切换规律以及子系统所对应的子空间,并进一步求得混合系统不变集的范围;最后通过一个混合系统数值仿真例子证明了该方法的可行性与有效性.     

基于最小生成树算法求解图的单源最短路径的研究

对《基于Kruskal算法的最短路径算法研究》一文中提出的方法进行探讨,通过构造实例论证了Kruskal算法并不能直接用于求解有向带权图的单源最短路径问题,并综合性地对基于最小生成树算法求解图的单源最短路径问题进行分析,通过构造实例最终得出最小生成树算法不适用于求解图的单源最短路径问题的结论.