BCK—代数的形式系统

本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。     

系统可控性与可观性的计算机判定

本文给出判定系统可控性与可观性的算机程序,该程序能迅速、准确地给出结论。     

离散型随机变量独立性的判定

】　借助于条件数学期望给出了离散型随机变量相互独立的一个充分必要条件和一个充分条件,其中的充分必要条件推广了已有的结论。     

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

基于矩阵判定分析法和小波网络的银行信贷信用分类方法

分析了矩阵判定分析法和小波网络在解决银行信贷信用分类问题上各自的优缺点,并在此基础上将这两种方法结合起来解决银行信贷信用分类问题．实证分析表明,该模型比单独使用矩阵判定分析法或小波网络的分类准确率要高。     

混凝土结构预应力服役离散性分析与性能评价方法

依据工程实测数据,验证了单筋有效预应力概率分布特征,提出了基于高斯混合理论的结构预应力系统概率分析模型,确定了峰度、偏度和函数差值控制的正态显著性判定准则,建立了适用于工程抽样的高斯混合模型正态化简化分析方法.以95%保证率为约束参数,建立了基于实测数据的结构有效预应力性态和服役性能评价方法.结果表明：结构有效预应力概率分布可采用单个正态或多个子分布高斯混合模型近似表征;以95%保证率为约束参数,可协调估计精度与实测效率之间的矛盾,满足工程测试需求,实现了预应力服役离散性的科学量化分析.     

一种改进型圆盘法提取手形特征点的新方法

现有手形指根和指尖点提取方法对手形图像有较高的摆放要求.针对自然摆放的手形图像,提出一种改进的圆盘法算法提取手形特征点.首先,利用数码相机对手形图像进行采样并进行灰度化与二值化;然后,提取手形图像的单像素轮廓;最后,提出改进型的圆盘法提取手形图像的指尖点和谷点.通过对包含155人共310副手形图像的验证,实验结果表明,提出的算法与方法可有效提取单像素手形轮廓线,对手形图像的指尖点与谷点的正确提取率分别为95.6%和94.8%.提出的方法克服了传统圆盘法提取高分辨率手形图像特征点效率低的缺陷,避免手指张开程度对算法可靠性的影响,体现了方法的优越性.     

认知无线电网络中的动态权值频谱切换判定算法

为了克服认知无线电网络中衬垫传输覆盖范围的限制,基于对衬垫传输范围的估计,提出了多小区的频谱切换机制。当认知用户超出衬垫传输范围时,采用动态权值调整的简单加权判定算法选择最优目标小区,进行频谱切换,继续保持数据传输。理论分析和仿真结果表明,该方案和算法能够降低认知用户的切换失败概率和服务中断概率,提高认知用户的服务质量。     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.