带单调约束的关联规则挖掘 被引量：5

1

作者 卢炎生 杨芬 赵栋 《计算机工程》 CAS CSCD 北大核心 2004年第15期78-79,129,共3页

在对单调约束的概念性质进行分析的基础上,提出了单调基础项集概念,并将其应用到Apriori算法中,同时也结合反单调约束,实现了一个带单调约束的关联规则的挖掘算法MCA,该算法提高了效率。

关键词 数据挖掘 关联规则 单调约束 反单调约束 单调基础项集

在线阅读 下载PDF 职称材料

有理分形插值曲线的约束和单调保持 被引量：6

2

作者 孙庆华 刘甜甜 +1 位作者 张云峰 包芳勋 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2017年第11期2037-2046,共10页

传统的多项式分形插值中,分形曲线曲面的局部形状约束和调整是一项困难的工作.为了使分形曲线能够在很好地逼近不规则数据的同时具有形状可调性,提出一种有理样条分形插值方法.首先基于经典的有理三次样条构造了1C连续的有理样条分形插... 传统的多项式分形插值中,分形曲线曲面的局部形状约束和调整是一项困难的工作.为了使分形曲线能够在很好地逼近不规则数据的同时具有形状可调性,提出一种有理样条分形插值方法.首先基于经典的有理三次样条构造了1C连续的有理样条分形插值函数,这种有理分形插值函数的构造允许嵌入形状参数,以至于分形曲线的形状能够通过对尺度因子和形状参数的约束进行调整;然后研究了该插值函数的一些分析性质,包括一致收敛性和稳定性;最后基于构造的有理分形插值函数,通过对迭代函数系统参数的约束,分别给出了约束和单调曲线插值系统.实例结果表明,利用该方法可以将传统非递归形状可调插值分形一般化;形状参数的嵌入使得分形插值函数具有良好的拟局部性,为分形曲线的形状调整提供了有效的工具. 展开更多

关键词 样条 有理分形插值 形状约束 单调性

在线阅读 下载PDF 职称材料

基于单调性约束的离散贝叶斯网络参数学习 被引量：8

3

作者 邸若海 高晓光 郭志高 《系统工程与电子技术》 EI CSCD 北大核心 2014年第2期272-277,共6页

针对小样本条件下的离散贝叶斯网络参数学习问题,提出一种基于单调性约束的学习算法。首先,给出了单调性约束的数学模型,以表达定性的先验信息;然后,将单调性约束以狄利克雷先验的形式集成到贝叶斯估计中,并利用贝叶斯估计进行参数学习... 针对小样本条件下的离散贝叶斯网络参数学习问题,提出一种基于单调性约束的学习算法。首先,给出了单调性约束的数学模型,以表达定性的先验信息;然后,将单调性约束以狄利克雷先验的形式集成到贝叶斯估计中,并利用贝叶斯估计进行参数学习;最后,通过仿真实验与最大似然估计和保序回归方法进行比较。实验结果表明,在小样本条件下,所提算法在准确性上优于最大似然估计和保序回归,但时效性介于二者之间。 展开更多

关键词 小样本 单调性约束 保序回归 最大似然估计

在线阅读 下载PDF 职称材料

一种多约束关联挖掘算法 被引量：3

4

作者 关心 李广原 《计算机应用研究》 CSCD 北大核心 2012年第4期1294-1296,共3页

约束关联挖掘是在把项或项集限制在用户给定的某一条件或多个条件下的关联挖掘,是一种重要的关联挖掘类型,在现实中有着不少的应用。但由于大多数算法处理的约束条件类型单一,提出一种多约束关联挖掘算法。该算法以FP-growth为基础,创... 约束关联挖掘是在把项或项集限制在用户给定的某一条件或多个条件下的关联挖掘,是一种重要的关联挖掘类型,在现实中有着不少的应用。但由于大多数算法处理的约束条件类型单一,提出一种多约束关联挖掘算法。该算法以FP-growth为基础,创建项集的条件数据库。利用非单调性和单调性约束的性质,采用多种剪枝策略,快速寻找约束点。实验证明,该算法能有效地挖掘多约束条件下的关联规则,且可扩展性能很好。 展开更多

关键词 数据挖掘 多约束关联挖掘 单调性约束 非单调性约束

在线阅读 下载PDF 职称材料

基于信仰推断的电子设备可靠性增长数据分析 被引量：4

5

作者 杨军 赵宇 于丹 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第9期995-998,共4页

可靠性增长是可靠性工程的重要方面,但针对工程中普遍存在的各阶段小样本试验数据,基本上还没有有效的分析方法.为此,首先研究推广了参数受限制的Fiducial方法,而对于非位置-刻度簇分布,使用规范化的似然方法进行推广,并指出采用Fiducia... 可靠性增长是可靠性工程的重要方面,但针对工程中普遍存在的各阶段小样本试验数据,基本上还没有有效的分析方法.为此,首先研究推广了参数受限制的Fiducial方法,而对于非位置-刻度簇分布,使用规范化的似然方法进行推广,并指出采用Fiducial方法得到的评估结果具有很好的频率性质;然后在顺序单调约束的可靠性增长模型下,使用参数受限制的Fiducial方法研究了电子产品的可靠性评估方法,具体给出了故障可观测情形和区间数据情形下电子产品失效率的置信上限. 展开更多

关键词 指数分布 单调约束模型 可靠性增长 限制参数空间 Fiducial分布

在线阅读 下载PDF 职称材料

基于AHP/D-S证据理论的贝叶斯网络参数学习方法 被引量：4

6

作者 魏曙寰 曾强 陈砚桥 《海军工程大学学报》 CAS 北大核心 2021年第6期19-24,共6页

针对贝叶斯网络构建过程中先验知识的获取问题,将AHP/D-S证据理论引入到贝叶斯网络参数学习中。设计了应用AHP/D-S证据理论整合专家先验知识,综合单调性约束和近等式约束进行参数学习的算法,并进行了仿真案例研究。结果表明:该算法从原... 针对贝叶斯网络构建过程中先验知识的获取问题,将AHP/D-S证据理论引入到贝叶斯网络参数学习中。设计了应用AHP/D-S证据理论整合专家先验知识,综合单调性约束和近等式约束进行参数学习的算法,并进行了仿真案例研究。结果表明:该算法从原理上能够进一步提高贝叶斯网络参数学习的精度,仿真结果也明显优于极大似然估计和无先验信息的最大后验估计的结果,为贝叶斯网络参数学习过程中先验知识的获取提供了一种新的方法。 展开更多

关键词 D-S证据理论 贝叶斯网络 参数学习 单调性约束 近等式约束

在线阅读 下载PDF 职称材料

基于逻辑“或”约束优化的实时系统设计 被引量：4

7

作者 刘军祥 王永吉 +2 位作者 王源 邢建生 曾海涛 《软件学报》 EI CSCD 北大核心 2006年第7期1641-1649,共9页

标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标... 标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点. 展开更多

关键词 标准约束优化问题 不等式约束 分支定界法 混合布尔型整数规划 单调速率(RM)

在线阅读 下载PDF 职称材料

单调线性互补约束的最优化问题

8

作者 刘善存 刘晓敏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1996年第2期218-222,共5页

讨论了单调线性互补问题解的结构及性质．利用退化和非退化互补问题的误差异函数，给出了单调线性互补约束的最优化问题的精确罚函数求解的最优化定理．

关键词 单调 线性 互补性 约束 误差函数

在线阅读 下载PDF 职称材料

一类单调非凸约束最优规划修正的新型分枝定界算法

9

作者 杜廷松 费浦生 蹇继贵 《应用数学》 CSCD 北大核心 2008年第4期765-770,共6页

本文讨论了一类单调非凸约束最优规划的目标函数和约束集的结构特征性质.阐明了如何将所考虑的问题等价地转化为一个递增函数在另一个递增函数水平集上的极大优化问题.在此基础上提出了一个我们称之为修正的新型分枝定界算法.新算法的... 本文讨论了一类单调非凸约束最优规划的目标函数和约束集的结构特征性质.阐明了如何将所考虑的问题等价地转化为一个递增函数在另一个递增函数水平集上的极大优化问题.在此基础上提出了一个我们称之为修正的新型分枝定界算法.新算法的修正之处是在计算新的极点时,采用了一个有效的新的区域删除模式以构造越来越小的Polyblock集覆盖EnH且不含y,以排除问题(P)可行域中不存在全局ε-最优解的部分.最后,证明了算法的收敛性.初步的数值实验表明算法是有效可行的,可应用于求解更广的一类非凸最优规划. 展开更多

关键词 单调非凸约束 分枝定界算法 外逼近算法

在线阅读 下载PDF 职称材料

简单单调约束逻辑程序的良基语义研究

10

作者 常万军 郭祖华 魏昆鹏 《计算机工程与设计》 CSCD 北大核心 2013年第6期2180-2184,共5页

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑... 在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。 展开更多

关键词 逻辑程序 简单单调约束逻辑 回答集 稳定模型 良基语义

在线阅读 下载PDF 职称材料

基于逆高斯退化过程的面向任务系统CBM优化模型

11

作者 陈云翔 李京峰 +1 位作者 项华春 李恒年 《系统工程与电子技术》 EI CSCD 北大核心 2022年第1期338-346,共9页

针对现有单调退化系统视情维修(condition-based maintenance, CBM)优化模型中不完全维修影响考虑单一,且未同时融入可用度约束的问题,提出一种考虑不完全维修双重影响与可用度约束的单调退化系统CBM优化模型。首先,基于具有随机漂移系... 针对现有单调退化系统视情维修(condition-based maintenance, CBM)优化模型中不完全维修影响考虑单一,且未同时融入可用度约束的问题,提出一种考虑不完全维修双重影响与可用度约束的单调退化系统CBM优化模型。首先,基于具有随机漂移系数的逆高斯过程,建立系统退化模型并得到相关概率分布;其次,描述任务背景下系统演化过程,建立不完全维修后的剩余损伤模型,提出随机漂移系数更新公式;然后,结合可用度约束给出系统维修或在3种时机更换的概率公式,并建立CBM优化模型;最后,通过数值实验对模型进行对比和敏感性分析,验证了该模型的可行性和应用价值。 展开更多

关键词 不完全维修 可用度约束 单调退化系统 逆高斯过程 视情维修优化

在线阅读 下载PDF 职称材料

融合专家先验知识和单调性约束的贝叶斯网络参数学习方法 被引量：17

12

作者 曾强 黄政 魏曙寰 《系统工程与电子技术》 EI CSCD 北大核心 2020年第3期646-652,共7页

针对小样本集条件下的贝叶斯网络参数学习问题,提出一种融合专家先验知识和单调性约束的贝叶斯网络参数学习方法。该方法通过将专家先验知识以正态分布形式融入单调性约束的贝叶斯网络参数学习过程,进一步提高了小样本集条件下贝叶斯网... 针对小样本集条件下的贝叶斯网络参数学习问题,提出一种融合专家先验知识和单调性约束的贝叶斯网络参数学习方法。该方法通过将专家先验知识以正态分布形式融入单调性约束的贝叶斯网络参数学习过程,进一步提高了小样本集条件下贝叶斯网络参数学习的精度和稳定性。在小样本集条件下进行仿真实验,结果表明,与其他3种主要方法相比,所提方法平均(Kullback-Leibler,KL)散度大幅降低,运行时间高于其余3种方法。综合考虑学习精度和运行时间,所提方法优于其他3种方法。将所提方法应用于燃气轮机健康状态评估,评估结果与实际状态一致,验证了方法的有效性。 展开更多

关键词 贝叶斯网络 参数学习 小样本集 单调性约束 正态分布

在线阅读 下载PDF 职称材料

一种基于模型的特征交互检测方法 被引量：4

13

作者 左继红 王千祥 梅宏 《软件学报》 EI CSCD 北大核心 2007年第1期94-104,共11页

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之... 为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节. 展开更多

关键词 特征交互 模型检测 模型 约束 非单调性 形式化方法

在线阅读 下载PDF 职称材料

电力系统机电暂态的混合单调特性 被引量：4

14

作者 陈民权 甘德强 +3 位作者 康卓然 张谦 李尚远 刘俊磊 《电力系统自动化》 EI CSCD 北大核心 2020年第20期37-45,共9页

结构愈发复杂的电网能够保持长期稳定运行,一定程度上得益于内在的系统特性。其中混合单调性衍生于单调性,其作为动态系统的定性性质,能够说明系统结构中固有的增长与衰减机制。电网机电暂态数学模型动态过程中的雅可比矩阵在不同时段... 结构愈发复杂的电网能够保持长期稳定运行,一定程度上得益于内在的系统特性。其中混合单调性衍生于单调性,其作为动态系统的定性性质,能够说明系统结构中固有的增长与衰减机制。电网机电暂态数学模型动态过程中的雅可比矩阵在不同时段往往具有不变的符号特征,符合混合单调系统特征,文中结合混合单调分解技术对系统关键状态变量起正作用和负作用的部分进行拆分,挖掘了各状态变量间的增长和衰减机制,进而分析了系统机电暂态尺度下的动态响应特性,解释了电网运行经验。基于混合单调分解结果构造了一个具有双边比较性能的单调增广系统,其顶点响应提供了原系统区间响应的快速估计,为不确定性问题提供量化分析结果。 展开更多

关键词 混合单调系统 混合单调分解 增广系统 双边约束 雅可比矩阵 符号特征

在线阅读 下载PDF 职称材料

单调约束的TSK模糊系统模型 被引量：1

15

作者 曹雅 邓赵红 王士同 《计算机科学与探索》 CSCD 北大核心 2018年第9期1487-1495,共9页

TSK(Takagi-Sugeno-Kang)模糊系统已被广泛应用于回归、分类和决策等方面,并展现出了良好的精度和可解释性,但是对于存在单调数据的建模场景,TSK模糊系统的建模效果还不够理想。针对此,提出了一个新颖的单调TSK模糊系统(MC-TSK)。通过... TSK(Takagi-Sugeno-Kang)模糊系统已被广泛应用于回归、分类和决策等方面,并展现出了良好的精度和可解释性,但是对于存在单调数据的建模场景,TSK模糊系统的建模效果还不够理想。针对此,提出了一个新颖的单调TSK模糊系统(MC-TSK)。通过在原始的TSK模糊系统模型上添加单调约束使MC-TSK满足单调性。MC-TSK不要求特征和输出之间存在的单调关系是一致的,这放宽了用于处理单调分类问题时大多数现有方法中使用的一致单调性的假设。较广泛的实验结果表明,与已有的处理单调分类的方法相比,MC-TSK具有更好的分类性能并且保持了可解释性等方面的特点。 展开更多

关键词 TSK模糊系统 单调分类 单调约束 分类性能 可解释性

在线阅读 下载PDF 职称材料

含单调约束的广义回归估计量 被引量：1

16

作者 杨贵军 吴洁琼 《统计与信息论坛》 CSSCI 北大核心 2022年第7期3-12,共10页

传统广义回归估计量的假设是域与域相互独立。实践中,域值通常呈现特定的顺序和形状,使得域间变量的相关性广泛存在。例如,给定地区,信息传输、计算及服务和软件业、金融业等服务业较纺织业、农副产品加工业等制造业的行业内学历为本科... 传统广义回归估计量的假设是域与域相互独立。实践中,域值通常呈现特定的顺序和形状,使得域间变量的相关性广泛存在。例如,给定地区,信息传输、计算及服务和软件业、金融业等服务业较纺织业、农副产品加工业等制造业的行业内学历为本科及以上的人员占比、行业平均工资等更高。域间相关性的充分利用有助于提高传统广义回归估计量的精度。对此,在辅助变量域值和目标变量域值变化趋势一致的情况下,首先,引入广义回归估计量的保序回归,构建含单调约束的广义回归估计量,满足目标变量和辅助变量的单调性约束。其次,证明了含单调约束的广义回归估计量在一定条件下具有一致性,均方误差更小。最后,利用数值模拟验证含单调约束的广义回归估计量的估计效果。结果显示,在目标变量域值和辅助变量域值变化趋势一致的情况下,含单调约束的广义回归估计量较传统广义回归估计量,估计精度更高。实证部分采用中国健康与营养调查数据进行分析,进一步说明在对多个域进行估计的情况下,考虑域间相关性的影响,采用含单调约束的广义回归估计量,估计效果更好。 展开更多

关键词 广义回归估计量 单调约束 保序回归 中国健康与营养调查

在线阅读 下载PDF 职称材料

基于最小二乘法的MIMO雷达发射信号设计

17

作者 江伟伟 唐霜天 涂刚毅 《科学技术与工程》 北大核心 2013年第3期749-752,共4页

针对MIMO雷达最小旁瓣方向图设计法在主瓣范围内有时会出现较大的波动,提出主瓣单调约束方向图设计法。在利用方向图设计法求得协方差矩阵的基础上,基于把发射波形看作伪随机信号的思想,提出了一种利用最小二乘法由协方差矩阵反推具体... 针对MIMO雷达最小旁瓣方向图设计法在主瓣范围内有时会出现较大的波动,提出主瓣单调约束方向图设计法。在利用方向图设计法求得协方差矩阵的基础上,基于把发射波形看作伪随机信号的思想,提出了一种利用最小二乘法由协方差矩阵反推具体发射信号序列及其权值的算法。仿真结果表明,主瓣单调约束方向图设计法能有效抑制主瓣波动,有利于目标的探测;发射信号序列的方向图与由协方差矩阵得到的方向图相符,验证了该算法有效。 展开更多

关键词 MIMO雷达 单调约束方向图设计 发射信号设计 凸优化

在线阅读 下载PDF 职称材料

单调重叠联盟下的最优联盟结构生成 被引量：2

18

作者 郭志鹏 刘惊雷 《计算机应用》 CSCD 北大核心 2021年第1期103-111,共9页

针对重叠联盟的合作博弈框架(OCF games)中重叠联盟结构生成(OCSG)求解困难的问题,提出了一种基于贪心方法的有效算法。首先使用了一种带有联盟数量k约束的OCF博弈(kOCF games)模型来限制OCSG问题的规模;然后引入了一种相似度量来表示... 针对重叠联盟的合作博弈框架(OCF games)中重叠联盟结构生成(OCSG)求解困难的问题,提出了一种基于贪心方法的有效算法。首先使用了一种带有联盟数量k约束的OCF博弈(kOCF games)模型来限制OCSG问题的规模;然后引入了一种相似度量来表示任意两个联盟结构之间的相似程度,并基于相似度量定义了单调性的性质,这意味着某一联盟结构与最优联盟结构的相似度越高,该联盟的单调性的值就越大;最后对于具有单调性质的kOCF博弈,采用了逐一插入玩家编号以逼近最优联盟结构的方法设计了联盟约束贪心(CCG)算法来求解给定的OCSG问题,并在理论上证明了CCG算法的复杂度是O(n2k+1)。通过实验分析和验证了不同参数和联盟值分布对所提算法性能的影响,并把该算法与Zick等提出的算法(ZICK Y,CHALKIADAKIS G,ELKIND E,et al.Cooperative games with overlapping coalitions:charting the tractability frontier.Artificial Intelligence,2019,271:74-97)在约束条件等方面进行了对比,得出了当联盟最大数量k被常数约束时所提算法的搜索次数随agent的个数基本呈线性增长的结果。可见CCG算法是固定参数k可解的,而且拥有更好的适用性。 展开更多

关键词 重叠联盟结构生成 最优联盟结构 联盟数量约束 单调性 固定参数可解

在线阅读 下载PDF 职称材料