|
1.
|
强循环规划的观察信息约简 被引次数：1
|
|
|
|
|
|
|
常青 文中华 胡雨隆 陈建林《计算机工程与应用》,2012年第48卷第2期
|
|
|
在现实的规划领域中,观察信息的获得需要花费一定的代价,然而对于一个规划解来说,一些观察信息在执行规划解的过程中是不会被用到的,所以如何把这些不必要的观察信息去除从而节省实际过程中的成本是非常有必要的。针对强循环规划的观察信息展开研究,提出了一个对强循环规划观察信息进行约简的算法,该算法能够找出在完全可观察条件下强循环规划的最小观察变量集合,通过使用最小观察变量集合,可以进一步提高执行强循环规划解的效率。
|
|
2.
|
基于抽象解释的服务间消息的数据约减
|
|
|
|
|
|
|
蒋曹清 肖芳雄 高 荣 应 时 文 静《计算机科学》,2015年第42卷第12期
|
|
|
面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。
|
|
3.
|
决策域分布保持的启发式属性约简方法 被引次数：1
|
|
|
|
|
|
|
马希骜 王国胤 于洪《软件学报》,2014年第25卷第8期
|
|
|
在决策粗糙集中，由于引入了概率阈值，属性增加或减少时，正域或者非负域有可能变大、变小或者不变，即属性的增减与决策域（正域或非负域）之间不再具有单调性.分析结果表明，现有的基于整个决策域的属性约简定义可能会改变决策域.为使决策域保持不变，引入了正域分布保持约简与非负域分布保持约简的概念.此外，决策域的非单调性使得属性约简算法必须检查一个属性集合的所有子集.为了简化算法设计，提出了正域和非负域分布条件信息量的定义，并证明其满足单调性，从而为设计决策域分布保持约简的启发式计算方法提供了理论基础.为了进一步获得最小约简，提出一种基于遗传算法的决策域分布保持启发式约简算法，并在两种单调的决策域分布条件信息量基础上构造了新算子，即修正算子，确保遗传算法找到的是约简而不是约简的超集.对比实验从分类正确率与误分类代价两个方面都反映了决策域分布保持约简定义的合理性，并且，所提出的遗传算法在大多数情况下都找到了最小约简.
|
|
4.
|
一种非同步时间序列特征提取算法
|
|
|
|
|
|
|
倪世宏 王刚 史忠科《计算机应用研究》,2005年第22卷第5期
|
|
|
在对时间序列经过符号化处理获得两类字符串集合的基础上，提出了一种非同步时间序列特征模式提取算法，该算法的核心是利用约简方法快速找到一个能充分区分两类字符串集合的模式，从而可以发现所有包含此模式的时间序列。实验结果表明，该算法在解决诸如从大量的飞行数据中搜索设备故障模式或飞行状态模式等问题时具有良好的应用前景。
|
|
5.
|
不确定规划中一种观察信息高效约简算法
|
|
|
|
|
|
|
唐杰 文中华 黄海平 吴正成《计算机工程》,2013年第12期
|
|
|
在不确定规划中，可通过观察周围的信息来区分多个状态，但周围的观察信息较多，因此如何从大量的观察信息中筛选必须的信息非常重要。以往算法是在直接搜索过程中增加一些剪枝条件来达到优化的目的，存在一定的局限性。在对观察信息约简研究中，为提高搜索效率，设计一种高效的不确定规划中观察信息约筒算法。该算法将规划问题转化为求解O—l矩阵的覆盖问题，使用数据结构十字链表来表示O-1矩阵，通过维护十字链表并采用启发式函数来加速求解一个最小观察变量集。实验结果表明，该算法不仅能够找最小观察变量集，而且运行速度超过同类算法。
|
|
6.
|
基于众包模式的开放式规划问题研究
|
|
|
|
|
|
|
高洁 卓汉逵 刘亚松 李磊《电子学报》,2016年第8期
|
|
|
在开放世界中求解智能规划问题往往是比较困难的，这是由于在开放世界中，某些对象可能是未知的，因而在搜索规划解时需要考虑不同的可能性。一种解决的方法是使用传感器观察未知的对象，而该方法使用的前提是传感器能够保证获取规划所需的所有信息。与以往工作不同的是，本文考虑利用外部人士（Crowd）求解规划问题。假设存在一些外部人士可以为开放世界中某个规划问题提供必要的信息，然而在实际情况下，某些外部人士提供的信息可能是具有欺骗性的，如何使用此类信息求解规划问题是本文关注的重点。针对此类问题，本文提出了一个新颖的求解方法，首先获取一个求解开放世界下的规划问题所需的带有变量的命题公式集合，然后根据外部人士对命题公式的标注估计出变量所取的值，从而将开放世界中的规划问题转化为一般的规划问题求解。最后通过实验验证了该算法的有效性。
|
|
7.
|
二次筛选法求信息系统的约简
|
|
|
|
|
|
|
王宝丽 段惠琴《佳木斯工学院学报》,2012年第2期
|
|
|
文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个合取项即为信息系统的一个约简,该算法可以计算出信息系统的所有约简.
|
|
8.
|
粗糙集理论下的模糊随机结构强度分析方法
|
|
|
|
|
|
|
刘长虹《机械强度》,2007年第29卷第6期
|
|
|
在分析工程中含有模糊、随机变量的结构强度问题中,如何处理模糊变量和随机变量是一个非常重要的问题.根据粗糙集理论,利用基于模糊变量在粗糙集的上、下近似集合的定义和随机变量在粗糙集的上、下近似集合的定义,可以分别把结构中模糊和随机不确定因素这两种定义在不同集合下的不确定性变量处理为在完全属于论域集合和部分属于论域的上、下近似集合意义下区间参数.再根据区间估计定理,将模糊变量和随机变量转化为在统一尺度下的区间变量.使得含有模糊、随机变量的工程结构转化为含有区间数变量的工程结构,这时模糊随机结构分析的结果也将是区间数.从而避免了判断模糊或随机参数下隶属函数或概率分布函数的难点,使模糊随机结构能够在粗糙集理论下进行统一的结构分析.算例表明,文中所提方法不但可以避免在工程实际问题中确定模糊和随机变量的难点,而且可以利用处理工程结构强度问题方法和软件来解决这类模糊随机问题.
|
|
9.
|
特征谓词知识树分解策略的研究
|
|
|
|
|
|
|
吴向军 边芮 凌应标 姜云飞《计算机研究与发展》,2011年第48卷第2期
|
|
|
搜索空间约减是智能规划研究中的重要内容之一.谓词知识树是一种特殊的树状结构,它表达了规划领域中实现同一谓词的所有动作.在规划求解过程中,这些动作的前提条件通常是不能同时得到满足的.因此,提出了知识树的分解原理以及基于特征前提的知识树分解策略,并给出了相应的分解算法.对任意一个规划领域,利用该分解算法可将知识树分解成若干个较小规模的知识子树,使其对具体规划状态具有更强的针对性.在规划求解过程中使用知识子树可以避免一些不必要的动作搜索,提高规划效率.实验结果表明分解算法是有效的.
|
|
10.
|
状态受限的非完整链式系统的实际镇定
|
|
|
|
|
|
|
王朝立 谈大龙 王越超《控制理论与应用》,2002年第19卷第2期
|
|
|
考虑了状态受限的非完整单链式系统的实际镇定问题. 利用链式系统的特殊结构设计了两步控制算法. 该方法能够使闭环系统的状态最终收敛到原点的任意小邻域中, 且若系统初值小于任意正数M, 那么除了一个收敛到零的状态变量外, 其余状态变量在整个实际镇定过程中均小于正数 (1+ε)M, 其中ε可事先任意小. 最后对平面移动机器人进行了仿真, 验证了所给方法的有效性.
|
|
11.
|
一种完备的最小属性约简方法
|
|
|
|
|
|
|
于海燕 乔晓东《计算机工程》,2012年第38卷第4期
|
|
|
为解决粗糙集中的属性约简问题，提出一种完备的最小属性约简方法。将差别矩阵中所有有关属性区分的信息都浓缩进一个差别向量组，计算每个属性在区分2个对象的属性集合中出现的概率，作为属性重要性的启发式信息，建立最小属性约简树，得到属性约简。分析结果表明，该方法可以获得所有的最小属性约简。
|
|
12.
|
基于粗糙集的约简算法及规则融合方法的研究
|
|
|
|
|
|
|
WANG Shui-you LI Yi《微机发展》,2008年第7期
|
|
|
从不同的角度分析了属性约简的两种重要方法:区分矩阵法和基于属性重要性。根据数据集的实际情况提出了一种基于粗糙集的区分矩阵和属性重要性相结合的启发式算法,并获得了属性约简集。在约简集的基础上分析了静态决策推理规则及算法。在相容决策系统中利用集合向量包含度构造了规则融合的方法,从而得到动态条件规则的极大近似决策值。在知识满足分类质量要求的前提下,根据规则融合方法,对任意给定的样本知识可以判别知识的实际归属类。
|
|
13.
|
基于粗糙集的约简算法及规则融合方法的研究
|
|
|
|
|
|
|
汪水友 李毅《计算机技术与发展》,2008年第18卷第7期
|
|
|
从不同的角度分析了属性约简的两种重要方法:区分矩阵法和基于属性重要性.根据数据集的实际情况提出了一种基于粗糙集的区分矩阵和属性重要性相结合的启发式算法,并获得了属性约简集.在约简集的基础上分析了静态决策推理规则及算法.在相容决策系统中利用集合向量包含度构造了规则融合的方法,从而得到动态条件规则的极大近似决策值.在知识满足分类质量要求的前提下,根据规则融合方法,对任意给定的样本知识可以判别知识的实际归属类.
|
|
14.
|
程序不变量到断言的自动转换方法研究及其应用
|
|
|
|
|
|
|
邓超强 曾凡平 武飞 熊能 董齐兴《计算机应用与软件》,2012年第11期
|
|
|
程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简.然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大.提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销.将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误.实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强.
|
|
15.
|
基于二进制区分矩阵的约简算法研究 被引次数：2
|
|
|
|
|
|
|
杨帆 朱新坚 曹广益《计算机仿真》,2007年第24卷第2期
|
|
|
给出了一种基于二进制区分矩阵的约简方法.首先基于粗糙集理论定义了二进制区分矩阵及运算规则、基于二进制区分矩阵的最小约简的判别及属性重要性的计算方法.在定义的基础上,给出了基于二进制区分矩阵的求核算法、相对属性约简算法及值约简算法.该约简方法以位操作为主与传统的约简方法比较不包括复杂的逻辑化简和集合运算,在一定程度上简化了计算,提高了约简效率.将该算法应用于数字电路设计的开关电路综合中,得到最简数字电路的逻辑表达,从而说明了算法的有效性.
|
|
16.
|
一种基于图分割的动态回溯算法
|
|
|
|
|
|
|
王萌《计算机工程》,2012年第38卷第21期
|
|
|
动态回溯算法在进行回溯时保留所有已赋值变量的值，从而可能与后面赋值的变量产生冲突，其在解决不具有明显子问题结构的约束满足问题时效率较低。为此，将图分割技术应用于动态回溯，通过图分割将变量分为若干集合，当发生回溯时，不保留全部变量的值，舍弃那些与引起冲突的变量在同一集合变量中的值。实验结果表明，该算法在求解没有明显子问题结构的约束满足问题时具有较高的效率。
|
|
17.
|
基于悖论分析和增量求解的快速反例压缩算法
|
|
|
|
|
|
|
沈胜宇 李思昆《软件学报》,2006年第17卷第5期
|
|
|
使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL(brute force lifting)算法,其时间开销过大.为此,提出一种基于悖论分析和增量式SAT(boolean satisfiablilty problem)的快速反例压缩算法.首先,根据反证法和排中律原理,该算法对每一个自由变量v,构造一个SAT问题,以测试v是否能够避免反例.而后对其中不可满足的SAT问题,进行悖论分析,抽取出导致悖论的变量集合.所有不属于该集合的变量,均可作为无关变量直接剔除.同时,该算法使用增量式SAT求解方法,以避免反复搜索冗余状态空间.理论分析和实验结果表明,与BFL算法相比,该算法能够在不损失压缩率的前提下获得1～2个数量级的加速.
|
|
18.
|
模拟大规模电路的快速频域小波配置法
|
|
|
|
|
|
|
黄晟 曾璇 王健 周电《半导体学报》,2002年第23卷第8期
|
|
|
提出了一种求解状态方程的方法:频域快速小波配置法.通过将状态方程转入频域求解,并对输出变量直接进行小波展开.这一方法比原有的时域快速小波配置法大大减少了未知变量的数目,从而使计算速度和存储空间都有很大程度的改善.由于小波函数及其反变换均有显式的数学表达式,这一方法在得到频域解析近似解的同时就可以获得时域解析近似解,无须在计算过程中进行耗时的数值积分反变换.同时通过自适应算法的引入,这一方法可以有效提高计算效率.
|
|
19.
|
模拟大规模电路的快速频域小波配置法 被引次数：1
|
|
|
|
|
|
|
黄晟 曾璇 王健 周电《半导体学报》,2002年第23卷第8期
|
|
|
提出了一种求解状态方程的方法 :频域快速小波配置法 .通过将状态方程转入频域求解 ,并对输出变量直接进行小波展开 .这一方法比原有的时域快速小波配置法大大减少了未知变量的数目 ,从而使计算速度和存储空间都有很大程度的改善 .由于小波函数及其反变换均有显式的数学表达式 ,这一方法在得到频域解析近似解的同时就可以获得时域解析近似解 ,无须在计算过程中进行耗时的数值积分反变换 .同时通过自适应算法的引入 ,这一方法可以有效提高计算效率 .
|
|
20.
|
基于SA算法的行星齿轮减速器离散变量优化设计
|
|
|
|
|
|
|
陈浩歌 徐翠《工程设计学报》,2007年第14卷第6期
|
|
|
考虑制造工艺要求，将所有设计变量均视为离散变量，包括一般离散变量和伪离散变量，并就这两种情况下状态产生函数的设计原理进行深入研究，解决了将模拟退火算法用于离散变量函数优化的关键技术问题，介绍了一种基于模拟退火算法的离散变量函数优化的新方法。行星齿轮传动中各齿轮的齿数受传动比条件、同轴条件和装配条件的限制而不能任意取值，齿轮的模数也要受国家标准的制约只能取一些离散值，用以数学规划理论为基础的经典约束优化方法求解效果很差，用基于模拟退火算法的离散变量优化设计方法则可以方便快捷地获得满足各方面要求的最优设计方案。
|
