导读:本文包含了互斥约束论文开题报告文献综述及选题提纲参考文献，主要关键词:工作流,授权,约束,资源分配
互斥约束论文文献综述
翟治年,卢亚辉,万健,王中鹏,吴茗蔚[1]（2018）在《互斥约束工作流可满足性决策的匹配剪枝模式回溯法》一文中研究指出针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显着优势。(本文来源于《中国机械工程》期刊2018年24期）
谢晋[2]（2017）在《基于Petri网的广义互斥约束转换算法研究》一文中研究指出离散事件系统(Discrete Event System,简记为DES)是一种由事件而非时间驱动的动态系统。和连续时间系统一样,离散事件系统也需要对状态进行限制以使系统的状态符合预期。不符合预期要求的状态为禁止状态,如自动驾驶车辆系统中车辆的碰撞、柔性制造系统中的死锁等。禁止状态的监控,就是为离散事件系统设计监控器使得闭环系统不进入禁止状态。尽管也可以使用自动机和形式语言等来研究离散事件系统的监控问题,但是Petri网在描述系统状态和并发特性等方面具有得天独厚的优势,因此本文采用Petri网作为建模工具来研究离散事件系统在广义互斥约束(Generalized Mutual Exclusion Constraint,简写为 GMEC)下的监控问题。Petri网中变迁全部可控情况下的禁止状态监控器设计已经有很多有效的方法。但对于Petri网中含有不可控变迁情况,合法标识可能通过一些不可控变迁的激发到达禁止标识,这使得监控问题变得错综复杂和困难。本文的研究重点是对象Petri网在含有不可控变迁的情况下,将要施加的GMEC转换为最大允许的约束,使得转换后的约束表示的合法标识都不会通过不可控变迁的激发到达禁止标识,这样后续再设计监控器就会简单容易很多。本文的主要研究工作概述如下:1.针对Petri网的不可控影响子网为FSFCF网、要在对象的Petri网上施加GMEC,我们首次提出"库所的分支"的概念,用来分析有多个输出变迁的库所中的托肯的流向和这样的结构对初始GMEC造成的影响。基于FSFCF网的结构,对不可控影响子网中的库所进行分类;通过分析研究FSFCF网不同结构下的性质,得到各类库所的等效权重;最后,将原始GMEC中库所前面的系数换成对应的等效权重,就完成了初始GMEC向最大允许约束的转换。2.针对Petri网的不可控影响子网中有环、库所有多个输出变迁的情况,要在对象的Petri网上施加GMEC,我们首次提出"Petri网的层次"的概念,用来对不可控影响子网中的库所进行分层;还对增量函数、最大增量函数和最大总量函数的概念进行了扩展,以分析不可控变迁对系统状态的影响并将其量化体现在广义互斥约束中;按照自底层向顶层的顺序,分析计算不可控影响子网中各层库所的最大增量函数;最终,计算完不可控影响子网中所有层次的库所的最大增量函数并将其加进初始GMEC,也就完成了将初始GMEC向最大允许约束的转换。我们还用了具体的例子对这两种约束转换算法进行了阐述和说明。(本文来源于《浙江大学》期刊2017-01-01）
翟治年,王巍橡,卢亚辉,吴茗蔚,郑志军[3]（2016）在《基于回溯树分解的互斥约束工作流可满足性计数》一文中研究指出工作流可满足性(WS)研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性。本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS(≠)求解。实验表明,改进后的算法降低了执行时间,相对于现有#WS(≠)算法,提出的算法对低密度约束下的工作流具有一定的综合性能优势。(本文来源于《电信科学》期刊2016年10期）
刘久富,周建勇,刘文良,刘海阳,杨忠[4]（2015）在《广义互斥约束的Petri网死锁避免监控器设计》一文中研究指出研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。(本文来源于《农业机械学报》期刊2015年08期）
孙伟,苏辉,李艳灵[5]（2014）在《基于互斥权限约束的角色挖掘优化方法》一文中研究指出现有自底向上的角色工程方法挖掘规模庞大,挖掘结果存在冗余,且不能反映系统功能的安全需求。为优化角色结果,针对角色优化中的互斥约束问题,结合枚举角色挖掘,提出一种基于互斥权限约束的角色挖掘优化方法。利用用户聚类元组及互斥约束优化角色挖掘过程,通过角色职责分离对安全约束的合理性进行分析,采用矩阵分析法调整已挖掘权限的矩阵单元值,挖掘优化角色以覆盖所有权限。实验结果表明,通过权限覆盖分析法辅助挖掘的优化角色结果能够保证挖掘过程的完整性;与枚举挖掘法相比,该方法能够保证信息系统的安全性,降低角色结果的冗余度。(本文来源于《计算机工程》期刊2014年11期）
鱼先锋,王辉[6]（2011）在《并发系统互斥约束的形式化验证》一文中研究指出并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一,建立了具有互斥约束系统的一般数学模型———互斥模型。将模型互斥性分解为安全性、活性和无阻性约束,形式化规约成LTL公式;给出了基于不动点的互斥模型的模型检测算法。并结合实例进行了互斥模型的形式化验证,给出了模型精化改进的详细过程。随着并发系统进程增加,不动点模型检测算法会面临状态爆炸问题,给出了另一种基于布尔公式的BDD(二叉决策树)运算下的符号化模型检测方法,有效地缓解了状态爆炸问题。(本文来源于《商洛学院学报》期刊2011年06期）
王婷,陈性元,张斌,任志宇,王鲁[7]（2011）在《基于互斥角色约束的静态职责分离策略》一文中研究指出静态职责分离(SSOD)是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束(2-2 SMER)实现最简单的SSOD策略(2-n SSOD)是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策略的充分条件,此充分条件和现有研究相比具有更弱的约束力,支持更灵活的权限分配。进一步给出了实现2-n SSOD策略的授权管理操作规则,以确保权限的动态管理始终满足此充分条件,维持系统对2-n SSOD策略的满足状态。最后,通过应用实例说明了实现2-n SSOD策略方法的有效性和可行性。(本文来源于《计算机应用》期刊2011年07期）
翟征德,徐震,冯登国[8]（2008）在《域间动态角色转换中的静态互斥角色约束违反》一文中研究指出安全互操作是实现跨管理域的资源共享与保护的关键技术.Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法.廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约束违反检测算法和添加角色关联的先决条件.首先指出廖俊国等人关于约束违反原因的分析是片面的,其检测算法和先决条件也不能保证系统不会违反约束;然后指出在给定角色关联的前提下,外域的用户/角色分配是造成约束违反的根本原因;进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违反检测算法;给出了添加角色关联和用户/角色分配的先决条件,保证了模型状态始终满足静态互斥角色约束.(本文来源于《计算机研究与发展》期刊2008年04期）
欧华杰[9]（2005）在《基于互斥约束的概率规划器及其扩展算法的研究与实现》一文中研究指出智能规划是人工智能研究领域近年来发展起来的一个热门分支,由于其广泛的实用性,受到研究者的高度重视。尤其是具有不完全信息和不确定信息的规划问题已经成为智能规划中的研究重点。在各种研究方法中,由于概率方法能较准确地对不确定信息进行定量描述,因此研究动作具有概率输出的概率规划方法体现了较强的优越性,这个方法得到了研究者的肯定,并在此基础上产生了大量的算法。在 2004 年举行的 IPC-4(2004 International Planning Competition),第一次把概率域列入了竞赛的项目,再一次表明了概率规划在智能规划研究领域中的重要地位。 智能规划领域的研究者针对规划问题中的不确定性(uncertainty)问题和不完全信息(incomplete)问题,开发了一些有效的规划器,其中 Blum 与 Langford 提出了专门针对动作结果不确定的规划问题的算法 Probabilistc GraphPlan(简称 PGP),相关的实验结果表明 PGP 优于解决同类问题的规划器 Buridan,SPI,BlackBox 等。但PGP 算法只局限于处理 STRIPS 动作的概率规划问题,对于动作带有条件效果的概率规划问题,PGP 算法就不适用了。为了扩大 PGP 规划器的处理范围,提出该研究课题。 本文首先从表示方法、规划类型、复杂度、规划语言等几方面分析了概率规划的研究现状,概括了研究概率规划的相关理论和相关技术,并分别介绍了经典规划器与概率规划器中对动作带有条件效果的规划问题的处理方法,其次介绍自己做的主要工作,包括两个部分:(一)研究与实现基于互斥约束的概率规划器,该规划器是对 PGP加以改进,改进后的算法相对于 PGP 规划器减少了规划图中的结点数目,节省了存储空间.(二)提出处理动作带有条件效果的概率规划器的算法。最后阐明了未来继续要做的工作,对第二部分提出算法进行程序实现。(本文来源于《东北师范大学》期刊2005-05-01）
刘德贤[10]（1988）在《互斥约束线性规划解法研究》一文中研究指出本文提出了在用单纯形法解线性规划问题。MaxZ=sumfromj=1ton(c_jx_jsumfromj=1ton(a_(ijx_j≤b_i(i=1,2,…,mx_j≥0(j=1,2,…,n的基础上,解具有相互排斥约束条件的线性规划问题MaxZ=sumfromj=1tonc_jx_jsum(a_(ijx_j≤b_i+(1-y_iM(i=1,2,…,my_i=0或1(i=1,2,…,m@sumformi=1tomy_i=1x_j≥0(j=1,2,…,n在原理和方法。(本文来源于《郑州航空工业管理学院学报》期刊1988年04期）
互斥约束论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
离散事件系统(Discrete Event System,简记为DES)是一种由事件而非时间驱动的动态系统。和连续时间系统一样,离散事件系统也需要对状态进行限制以使系统的状态符合预期。不符合预期要求的状态为禁止状态,如自动驾驶车辆系统中车辆的碰撞、柔性制造系统中的死锁等。禁止状态的监控,就是为离散事件系统设计监控器使得闭环系统不进入禁止状态。尽管也可以使用自动机和形式语言等来研究离散事件系统的监控问题,但是Petri网在描述系统状态和并发特性等方面具有得天独厚的优势,因此本文采用Petri网作为建模工具来研究离散事件系统在广义互斥约束(Generalized Mutual Exclusion Constraint,简写为 GMEC)下的监控问题。Petri网中变迁全部可控情况下的禁止状态监控器设计已经有很多有效的方法。但对于Petri网中含有不可控变迁情况,合法标识可能通过一些不可控变迁的激发到达禁止标识,这使得监控问题变得错综复杂和困难。本文的研究重点是对象Petri网在含有不可控变迁的情况下,将要施加的GMEC转换为最大允许的约束,使得转换后的约束表示的合法标识都不会通过不可控变迁的激发到达禁止标识,这样后续再设计监控器就会简单容易很多。本文的主要研究工作概述如下:1.针对Petri网的不可控影响子网为FSFCF网、要在对象的Petri网上施加GMEC,我们首次提出"库所的分支"的概念,用来分析有多个输出变迁的库所中的托肯的流向和这样的结构对初始GMEC造成的影响。基于FSFCF网的结构,对不可控影响子网中的库所进行分类;通过分析研究FSFCF网不同结构下的性质,得到各类库所的等效权重;最后,将原始GMEC中库所前面的系数换成对应的等效权重,就完成了初始GMEC向最大允许约束的转换。2.针对Petri网的不可控影响子网中有环、库所有多个输出变迁的情况,要在对象的Petri网上施加GMEC,我们首次提出"Petri网的层次"的概念,用来对不可控影响子网中的库所进行分层;还对增量函数、最大增量函数和最大总量函数的概念进行了扩展,以分析不可控变迁对系统状态的影响并将其量化体现在广义互斥约束中;按照自底层向顶层的顺序,分析计算不可控影响子网中各层库所的最大增量函数;最终,计算完不可控影响子网中所有层次的库所的最大增量函数并将其加进初始GMEC,也就完成了将初始GMEC向最大允许约束的转换。我们还用了具体的例子对这两种约束转换算法进行了阐述和说明。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
互斥约束论文参考文献
[1].翟治年,卢亚辉,万健,王中鹏,吴茗蔚.互斥约束工作流可满足性决策的匹配剪枝模式回溯法[J].中国机械工程.2018
[2].谢晋.基于Petri网的广义互斥约束转换算法研究[D].浙江大学.2017
[3].翟治年,王巍橡,卢亚辉,吴茗蔚,郑志军.基于回溯树分解的互斥约束工作流可满足性计数[J].电信科学.2016
[4].刘久富,周建勇,刘文良,刘海阳,杨忠.广义互斥约束的Petri网死锁避免监控器设计[J].农业机械学报.2015
[5].孙伟,苏辉,李艳灵.基于互斥权限约束的角色挖掘优化方法[J].计算机工程.2014
[6].鱼先锋,王辉.并发系统互斥约束的形式化验证[J].商洛学院学报.2011
[7].王婷,陈性元,张斌,任志宇,王鲁.基于互斥角色约束的静态职责分离策略[J].计算机应用.2011
[8].翟征德,徐震,冯登国.域间动态角色转换中的静态互斥角色约束违反[J].计算机研究与发展.2008
[9].欧华杰.基于互斥约束的概率规划器及其扩展算法的研究与实现[D].东北师范大学.2005
[10].刘德贤.互斥约束线性规划解法研究[J].郑州航空工业管理学院学报.1988