搜索结果: 61-75 共查到“知识库 计算机可靠性理论”相关记录76条 . 查询时间(2.697 秒)
用擂台赛法则构造多目标Pareto最优解集的方法
2007/11/1
Zheng JH, Jiang H, Kuang D, Shi ZZ. An Approach of Constructing Multi-Objective Pareto Optimal Solutions Using Arena's Principle.
Journal of Software, 2007,18(6):1287-1297.DOI:
10.1360/jos181287...
提出了模糊蕴涵算子族的新概念,给出了两族蕴涵算子：L-λ-R0(λ∈12,1)族算子与L-λ-G(λ∈［0,1］)族算子.L-λ-R0(λ∈12,1)族算子包括Lukasiewicz(简称Rlu)算子与R0算子，L-λ-G(λ∈［0,1］)族算子包括Rlu算子与Gdel(RG)算子.重点讨论了L-λ-R0(λ∈12,1)族算子的伴随算子及其正则性.结果表明，在蕴涵算子族L-λ-R0(λ∈12,1...
0).同时证明了其可行解的存在性与黑白图上的支配集问题等价，也属于NP-难解问题.为了能在可接受的时间内得到大规模实例质量可接受的近似解，提出了一种求解BWQAP的启发式算法GFO.该算法利用QAP现有算法得到初始解，然后利用局部搜索策略完成解的可行化和优化.大量实验表明,该启发式算法能够有效地求解BWQAP问题的实例.
黑白旅行商问题是经典旅行商问题的推广,在基于SONET技术的光纤网络设计、航线调度等领域具有广泛的应用.已有研究工作集中在无向黑白旅行商问题上.文章研究该问题的更一般形式——有向黑白旅行商问题.首先,给出了有向黑白旅行商问题的混合整数线性规划公式.与目前无向黑白旅行商问题包含指数多个约束的规划公式相比,它仅包含多项式个约束.其次,给出了一种启发式算法.实验表明,该启发式算法能够有效地求解黑白旅行商...
Tableau作为自动推理的有效方法之一在许多领域中有重要的应用．该文作者在已提出的布尔剪枝方法基础上，对含广义量词(交和并)规则的简化方法进行研究，建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法．通过实例分析，对简化前后结果对比表明，改进后的Tableau方法，在推理效率上有很大的提高．
该文利用半群方法给出了语言的一些代数性质.首先，讨论了稠密语言的半群结构,给出了包含语言w(wk)*(其中w∈A+，k是正整数)的一个稠密语言类；证明了稠密正规语言包含一个字与一个稠密正规右酉幺半群的积.其次，讨论了自由幺半群的正规分支可分解性,证明了自由幺半群及正规分支可分解语言与正规分支可分解的后缀语言的积是正规分支可分解的；应用这些结果证明了Shyr和Yu关于正规语言的两个猜想.
基于向量投影的支撑向量预选取
支撑向量机 向量投影 预选取
2007/11/1
支撑向量机是近年来新兴的模式识别方法，在解决小样本、非线性及高维模式识别问题中表现出了突出的优点.但在支撑向量机中，支撑向量的选取相当困难，这也成为限制其应用的瓶颈问题.该文对支撑向量机的机理经过认真分析，研究其支撑向量的分布特性，在不影响分类性能的前提下，提出了基于向量投影的支撑向量预选取法，从训练样本中预先选择具有一定特征的边界向量来代替训练样本进行训练，这样就减少了训练样本，大大加快了支撑向...
低度图的点覆盖和独立集问题下界改进
点覆盖 独立集 精确算法 参数计算
2007/11/1
给出了一种提高低度图点覆盖和独立集问题下界的精确算法.通过分析如何有效地减少图中的顶点来打破原问题的NP-Hard结构建立起搜索递推关系；得出3度图的最小点覆盖问题的解决时间为O(11033n)，参数化的3度图点覆盖问题的解决时间为O(kn+12174k)；将此算法应用到3度图的最大独立集问题上，可以得到运行时间为O(11033n)的解.以上3结果均打破原有最佳下界.
二次背包问题的一种快速解法
二次规划 二次背包问题 Lagrangian松弛 分支定界算法
2007/11/1
摘要 在分析了二次背包问题（QKP）精确算法的计算效率随利润矩阵密度下降的原因的基础上，提出了不受密度影响的QKP快速解法——利润欺骗法.在线性化QKP的目标上界估计中，利润欺骗法通过引进一适当正常数对称扩展Lagrangian乘子的变化范围，亚梯度优化算法能较快地找到一Lagrangian乘子矩阵，使对偶问题的解逼近线性化QKP问题的等式约束条件.通过提高目标函数的估计精度，利润欺骗法可以提高...
在约束满足问题（CSP）的研究中，大部分工作集中在二元约束，但处理实际问题时，常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上，研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法，并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法，以典型例子给出了实现系统的运行结果.
该文对最佳鉴别特征的最佳维数问题进行了详细的讨论.文章首先对最佳维数问题进行了界定，然后指出了两种最佳特征维数为c-1维的情况即以某些基于矩的可分性判据（准则函数）为优化目标的最优特征和以某些特殊的分类器错误率为优化目标的最优特征.最后该文运用方差分析法对最佳鉴别特征进行特征选择使之代入最小距离分类器后识别率最大.表2参8
条件事件代数研究综述
条件事件代数 数据融合 关联事件代数
2007/11/1
综述了条件事件代数理论的原理、主要性质和应用.条件事件代数是一门新兴的解决不确定性、概率性和模糊性推理问题的学科，是在确保规则概率与条件概率相容的前提下，把布尔代数上的逻辑运算推广到条件事件（规则）集合中得到的代数系统，目的是为智能系统中的条件推理建立一个数学基础.该文也对比条件事件代数更一般的逻辑系统——关联事件代数理论进行了介绍.
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法，并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.
交叉算子的极限一致性
遗传算法 模式 交叉算子 极限一致性
2007/11/1
交叉算子是遗传算法的主要操作算子之一，它使遗传算法具有了其它传统方法所没有的特性，关于它的理论研究对深入理解遗传算法具有重要意义.该文对遗传算法中常用的交叉算子（一点交叉算子、两点交叉算子、多点交叉算子和一致交叉算子）的性质进行了分析，综合考虑了交叉算子对染色体的双重作用，给出了染色体在各种交叉算子作用下的变化规律，并且得到了模式变化的极限性能，证明了这些交叉算子的极限一致性，即这些交叉算子在演化...