期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
基于金字塔池化网络的道路场景深度估计方法 被引量:7
1
作者 周武杰 潘婷 +1 位作者 顾鹏笠 治年 《电子与信息学报》 EI CSCD 北大核心 2019年第10期2509-2515,共7页
针对从单目视觉图像中估计深度信息时存在的预测精度不够准确的问题,该文提出一种基于金字塔池化网络的道路场景深度估计方法。该方法利用4个残差网络块的组合提取道路场景图像特征,然后通过上采样将特征图逐渐恢复到原始图像尺寸,多个... 针对从单目视觉图像中估计深度信息时存在的预测精度不够准确的问题,该文提出一种基于金字塔池化网络的道路场景深度估计方法。该方法利用4个残差网络块的组合提取道路场景图像特征,然后通过上采样将特征图逐渐恢复到原始图像尺寸,多个残差网络块的加入增加网络模型的深度;考虑到上采样过程中不同尺度信息的多样性,将提取特征过程中各种尺寸的特征图与上采样过程中相同尺寸的特征图进行融合,从而提高深度估计的精确度。此外,对4个残差网络块提取的高级特征采用金字塔池化网络块进行场景解析,最后将金字塔池化网络块输出的特征图恢复到原始图像尺寸并与上采样模块的输出一同输入预测层。通过在KITTI数据集上进行实验,结果表明该文所提的基于金字塔池化网络的道路场景深度估计方法优于现有的估计方法。 展开更多
关键词 单目视觉 深度估计 神经网络 金字塔池化网络
下载PDF
互斥约束工作流可满足性决策的匹配剪枝模式回溯法 被引量:5
2
作者 治年 卢亚辉 +2 位作者 万健 王中鹏 吴茗蔚 《中国机械工程》 EI CAS CSCD 北大核心 2018年第24期2988-2998,共11页
针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性... 针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势。 展开更多
关键词 工作流 授权 约束 资源分配 可满足性
下载PDF
工作流可满足性(≠)计数的固定参数线性算法 被引量:4
3
作者 治年 卢亚辉 +3 位作者 周武杰 陈志豪 王中鹏 林江 《计算机学报》 EI CSCD 北大核心 2016年第11期2291-2306,共16页
工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS(≠)决策,现有的最低时间复杂度为O~*(2^(|S|)(|... 工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS(≠)决策,现有的最低时间复杂度为O~*(2^(|S|)(|C|+|U|~2))(S,C,U分别为步骤集、约束集、用户集).然而,仅WS(≠)有解时,工作流授权规划未必合理,对资源异常可能缺乏鲁棒性.若能统计所有解的个数,不仅可判定WS(≠)有解与否,还能为授权规划提供重要的参考,相应的问题称为WS(≠)计数.该文提出WS(≠)计数问题,并根据Bjorclund关于集合划分权重和的结果证明其时间复杂度为O~*(2^(|S|)|U|),即其以|S|为固定参数,关于|U|线性时间可解,由此降低了当前的WS(≠)判定时间复杂度.进而,该文提出了一种快速的动态规划递推式,并全面优化Bjorclund方法的空间利用方式,使该文算法的实际性能随之提高,而O~*时间复杂度不变.随机合成数据集上的实验表明,该文最终的计数算法相对前述决策算法,执行时间平均降低了93%,峰值空间平均降低了87%,而求解规模提高了44%. 展开更多
关键词 工作流 访问控制 资源分配 可满足性 职责分离
下载PDF
基于可满足性计数的(≠,=)约束工作流鲁棒性验证 被引量:4
4
作者 治年 王刚 +3 位作者 郑志军 彭艳斌 潘志刚 王中鹏 《电子学报》 EI CAS CSCD 北大核心 2015年第11期2298-2304,共7页
工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解... 工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模. 展开更多
关键词 工作流 授权 约束 资源分配 可满足性
下载PDF
工作流可满足性的约简增量模式回溯法
5
作者 治年 刘关俊 +3 位作者 卢亚辉 向坚 吴茗蔚 丰明坤 《计算机集成制造系统》 EI CSCD 北大核心 2023年第11期3624-3638,共15页
在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提... 在大量云/服务化资源造成的性能压力下,增量模式回溯法(Incremental Pattern Backtracking, IPB)及其k指派技术是工作流可满足性求解的首选途径,但对“欠约束”实例,其模式枚举性能显著下降,不利于大量可行解的优化选择。针对该问题提出新颖的简指派图概念,证明其可取代k指派图用于模式授权匹配验证,且尽管其块邻域大小耦合了图的整体信息,但仍可以增量方式计算。进而,分析了增量化简指派的实施条件和效果,及其主要影响因素。由此建立了约简增量模式回溯法(Reduced Incremental Pattern Backtracking, RIPB)。在资源配比为2~100的两个仿真实例集上测试,实验结果表明:在其基本子集上,RIPB较IPB有0.96~1.24倍时间性能优势;当资源比例升高或约束密度降低时,RIPB的优势有不同程度扩大;特别地,对资源配比为10而授权比例在1/2左右的两个子集,RIPB的平均优势分别可达1.29和1.61倍。 展开更多
关键词 可满足性 工作流 授权 约束 资源分配 模型计数 模式
下载PDF
资源独立工作流可满足性的最小增量模式回溯
6
作者 治年 卢亚辉 +3 位作者 刘关俊 雷景生 向坚 吴茗蔚 《软件学报》 EI CSCD 北大核心 2023年第4期1543-1569,共27页
工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及... 工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及其(左完备)匹配,分别需要O(kn)和O(k^(2))时间.利用父子模式的原子差异增量计算完全指派图,只需O(n)时间,特别是其实际性能,将随模式块规模增长迅速提高.但该图的O(kn)规模导致了同样的增量匹配时间.进而引入完备k核心匹配概念,证明其存在性等价于左完备匹配,且其增量计算时间为O(k^(2)).由此,建立了时间复杂度更低的最小增量模式回溯法.在含互斥和两种全局值势约束而授权比例约为1/4的扩展公开实例集上进行实验,结果表明:当n/k=10(及n/k=100),而k变化时,该方法较IPB有平均超过2(及5)倍、最低1.5(及2.9)倍的性能优势;当k=18(及k=36),而n/k=2~4096(及n/k=2~2048)时,该方法有平均超过2.6(及3.6)倍优势;而较2021年Minizinc挑战赛的冠军求解器Google OR-Tools CP-SAT,该方法最低有超过3倍优势. 展开更多
关键词 工作流 授权 约束 资源独立 资源分配 可满足
下载PDF
主动授权管理中的关联继承机制 被引量:3
7
作者 治年 奚建清 +3 位作者 卢亚辉 汤德佑 郭玉彬 韦凯 《西安交通大学学报》 EI CAS CSCD 北大核心 2012年第4期24-31,共8页
为解决主动授权管理模型中普遍和长期存在的任务间重复授权问题,提高工作流授权的伸缩性,提出一种基于职能关联的权限继承机制.通过对传统的角色任务指派关系进行深入挖掘,定义了职能关联概念及其特化与管理关系;根据职能关联的分量和... 为解决主动授权管理模型中普遍和长期存在的任务间重复授权问题,提高工作流授权的伸缩性,提出一种基于职能关联的权限继承机制.通过对传统的角色任务指派关系进行深入挖掘,定义了职能关联概念及其特化与管理关系;根据职能关联的分量和属性给出了2种关系的推导规则,并按2种关系上的继承性区分业务性和管理性授权,从而建立了可自动配置的授权继承结构.论文评审工作流上的验证结果表明,较之现有各类模型,文中提出的模型以10%以下的额外手工操作减少了53%以上的授权操作,较好地克服了任务间重复授权这一缺陷,取得了明显的授权伸缩性优势.同时,该模型还提供对任务内多角色协作的支持. 展开更多
关键词 访问控制 授权 工作流 任务 角色 伸缩性 继承
下载PDF
工作流可满足决策(≠)的完备独立树分解回溯法 被引量:3
8
作者 治年 卢亚辉 +1 位作者 余法红 高慧敏 《计算机科学与探索》 CSCD 北大核心 2018年第12期2021-2032,共12页
互斥约束工作流可满足决策是关系到安全业务可行性的重要问题,而其现有算法的理论和实测性能,或时间和空间代价严重失衡。根据其低约束密度特征,利用Jegou的树分解回溯方法来解决上述问题。因该方法仅根据约束不相关性得出子问题独立性... 互斥约束工作流可满足决策是关系到安全业务可行性的重要问题,而其现有算法的理论和实测性能,或时间和空间代价严重失衡。根据其低约束密度特征,利用Jegou的树分解回溯方法来解决上述问题。因该方法仅根据约束不相关性得出子问题独立性,不能保证部分解之间的兼容性,从变量不相交和约束不相关两个角度建立了完备的子问题独立性及其部分解缓存原理,设计了相应的算法,并通过交错归纳的方法证明其正确性。分析表明,该算法时间复杂度为O*(|S|~3×d^(W+1)),一定条件下低于目前最优的O*(2^(|S|)(|X|+|U|~2))时间,其中S、d、W分别为步骤集、步骤授权列表的最大规模、树分解宽度。实验表明,该算法在低密度约束下,时间性能显著超过现有理论或实际性能最优的算法,且未付出很大空间代价。 展开更多
关键词 工作流 访问控制 资源分配 约束满足
下载PDF
工作流可满足性(≠,=)计数及其#P完全性 被引量:3
9
作者 治年 卢亚辉 +3 位作者 余法红 周武杰 向坚 吴茗蔚 《电子学报》 EI CAS CSCD 北大核心 2017年第3期605-611,共7页
工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对... 工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础. 展开更多
关键词 工作流 访问控制 授权 约束 资源分配 可满足性
下载PDF
基于回溯树分解的互斥约束工作流可满足性计数 被引量:3
10
作者 治年 王巍橡 +3 位作者 卢亚辉 吴茗蔚 郑志军 余法红 《电信科学》 北大核心 2016年第10期101-109,共9页
工作流可满足性(WS)研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性。本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS(≠)求解。... 工作流可满足性(WS)研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性。本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS(≠)求解。实验表明,改进后的算法降低了执行时间,相对于现有#WS(≠)算法,提出的算法对低密度约束下的工作流具有一定的综合性能优势。 展开更多
关键词 工作流 授权 约束 资源分配 可满足性
下载PDF
基于MathLink的Fortran与Mathematica接口 被引量:2
11
作者 治年 王建国 +2 位作者 朱保兵 郭琳 欧阳东 《合肥工业大学学报(自然科学版)》 CAS CSCD 2003年第3期340-344,共5页
Fortran是数值计算程序设计的主导语言,已有较多应用与文献用VC,VB等语言来支持Fortran程序的可视化,但Fortran计算能力的进一步开发没有得到重视。该文讨论了基于MathLink的Fortran与Mathematica接口技术及其实现问题。通过将符号计算... Fortran是数值计算程序设计的主导语言,已有较多应用与文献用VC,VB等语言来支持Fortran程序的可视化,但Fortran计算能力的进一步开发没有得到重视。该文讨论了基于MathLink的Fortran与Mathematica接口技术及其实现问题。通过将符号计算功能强大的Mathematica植入Fortran,有力地增强了Fortran程序的表达力,使其更加适应科学与工程计算中符号推导与数值计算紧密联系的实际情况。在这个意义上,也使已有的Fortran代码资源得到保护。 展开更多
关键词 MATHLINK FORTRAN MATHEMATICA 接口技术 可视化 程序设计 函数调用 函数库 数值计算软件
下载PDF
面向企业级流程的职责分离框架及其冗余分析 被引量:2
12
作者 治年 卢亚辉 +3 位作者 奚建清 赵铁柱 汤德佑 顾春华 《电子学报》 EI CAS CSCD 北大核心 2013年第10期2087-2093,共7页
为企业级工作流授权机制定义了多维可泛化的职责分离框架,能够对团队任务涉及的多种分工形式进行深入全面的限制.系统分析了框架中的约束覆盖规则,并证明其正确性和完备性,为约束管理自动化奠定了基础.作为应用,根据规则给出了冗余动态... 为企业级工作流授权机制定义了多维可泛化的职责分离框架,能够对团队任务涉及的多种分工形式进行深入全面的限制.系统分析了框架中的约束覆盖规则,并证明其正确性和完备性,为约束管理自动化奠定了基础.作为应用,根据规则给出了冗余动态约束的检测算法.最后通过案例研究验证了模型特性. 展开更多
关键词 访问控制 任务 角色 细粒度职责分离 冗余约束
下载PDF
^*WS-RI增量模式回溯的边界收缩加速 被引量:2
13
作者 治年 卢亚辉 +4 位作者 周武杰 彭艳斌 郑志军 俞坚 丰明坤 《计算机工程与应用》 CSCD 北大核心 2020年第24期236-241,共6页
资源独立约束工作流可满足决策*WS-RI是业务安全规划的典型问题,在云制造等第三方资源环境中有重要意义。增量模式回溯法(Incremental Pattern Backtracking,IPB)是一种能够打破对称,高效求解*WS-RI的新型算法。它的一个主要优势是在模... 资源独立约束工作流可满足决策*WS-RI是业务安全规划的典型问题,在云制造等第三方资源环境中有重要意义。增量模式回溯法(Incremental Pattern Backtracking,IPB)是一种能够打破对称,高效求解*WS-RI的新型算法。它的一个主要优势是在模式验证时,通过渐进方式计算其中各块到资源集的指派图。但其在整个资源集中搜索指派邻点,实际性能存在缺陷,并在模式空间上放大。利用块中各步骤授权资源的分布间隙,设计了一种边界收缩的加速方法。它在搜索过程中增量计算邻域的初始边界,循环对齐和滑动当前边界,过滤无用资源,快速求出各个邻点。随机实例集上的实验表明,该算法显著优于目前最快的非增量模式回溯法。而较现有IPB,对低授权或高资源比例的相对困难实例,时间性能有明显提高。 展开更多
关键词 资源独立约束 打破对称 模式 匹配
下载PDF
基于模式回溯的#WS(≠)快速定界算法 被引量:2
14
作者 治年 卢亚辉 +2 位作者 俞坚 潘志刚 周武杰 《小型微型计算机系统》 CSCD 北大核心 2020年第12期2494-2499,共6页
WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回溯法的解空间压缩特性和两层求解机制,提出了一种真实可行解的数量定界方法.它对模式回溯法的结构进行扩展... WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回溯法的解空间压缩特性和两层求解机制,提出了一种真实可行解的数量定界方法.它对模式回溯法的结构进行扩展,实现完全可行模式的遍历和统计.对其中每个模式,计算其资源指派二分图上匹配数量的界.再汇总二者,给出#WS(≠)的上、下界.随机生成数据集上的实验表明,在高资源配比和低约束密度条件下,本文算法相对现有算法有比较突出的时间和空间性能,且其给出的上界相当接近于准确值. 展开更多
关键词 工作流 授权 互斥约束 资源分配 可满足性 模型计数
下载PDF
可满足(≠,=)工作流的静态k弹性否决条件 被引量:1
15
作者 治年 王中鹏 +3 位作者 叶绿 向坚 王富忠 庞海云 《计算机工程与应用》 CSCD 北大核心 2019年第23期35-39,共5页
静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情... 静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情形下给出精确的否定结论。对互斥和绑定约束下的工作流,建立了以k弹性可满足计数下界概念为核心的新颖模型,并首次证明了一个非平凡的下界,由此可将k弹性的否决条件从可满足无解推广到有解情形,具有理论上的代表性意义,也扩大了前述指标精确适用的范围。 展开更多
关键词 工作流 授权 约束 资源分配 弹性 可满足性
下载PDF
深度视觉频谱残余融合的图像质量评价 被引量:1
16
作者 丰明坤 孙丽慧 +3 位作者 葛丁飞 治年 王海江 彭艳斌 《光电子.激光》 CAS CSCD 北大核心 2021年第10期1055-1064,共10页
针对现有图像质量评价方法的缺陷,通过深度学习理论建模人眼视觉系统(human vision system,HVS)特性,提出了一种基于视觉特征深度感知与学习融合(deeply perception and learning for pooling,DPLP)的评价方法。首先为了增加图像视觉特... 针对现有图像质量评价方法的缺陷,通过深度学习理论建模人眼视觉系统(human vision system,HVS)特性,提出了一种基于视觉特征深度感知与学习融合(deeply perception and learning for pooling,DPLP)的评价方法。首先为了增加图像视觉特征的稳定性,根据人眼感光的空域结构特征和频域多通道特性,对图像依次进行二维Log-Gabor小波变换、梯度变换和频谱残余的深度视觉信息处理,然后分别提取各层视觉信息进行质量评价。其次为了克服HVS融合的不确定性,对质量评价信息采取了深度池化策略,第一层为评价视图的空域融合,采取了符合人眼感光特性的高斯加权策略;第二层为多通道评价的频域融合,采取了具有HVS推理能力的BP神经网络的学习-预测策略;第三层为各级视觉特征的评价融合,采取了具有自适应特性的回归函数策略。最后,基于现实中的各种失真类型图像进行了实验,结果表明所提方法具有较高的主客观评价一致性水平和更好的稳定性。 展开更多
关键词 图像质量评价 深度学习 池化策略 视觉频谱残余
原文传递
增强伸缩性的主被动集成访问控制模型 被引量:1
17
作者 治年 卢亚辉 +3 位作者 郭玉彬 贾连印 奚建清 刘艳霞 《计算机集成制造系统》 EI CSCD 北大核心 2011年第8期1609-1623,共15页
基于任务分类和角色层次的三步授权机制集成了主被动两种访问控制模式,但任务间重复授权、多种角色层次上的任务继承冲突、任务约束重复表达等问题严重影响了有关模型的伸缩性。为此提出一种增强的主被动集成访问控制模型。通过可扩展... 基于任务分类和角色层次的三步授权机制集成了主被动两种访问控制模式,但任务间重复授权、多种角色层次上的任务继承冲突、任务约束重复表达等问题严重影响了有关模型的伸缩性。为此提出一种增强的主被动集成访问控制模型。通过可扩展的角色层次划分细化了主/被动任务的分类,可以灵活地简化多种任务分配关系;引入基于任务泛化的授权继承和约束覆盖机制,可以有效减少任务之间的重复授权和约束;通过一组正确和完备的语义覆盖规则,为自动约束化简等提供了依据。最后给出多粒度权限激活机制和动态互斥的冗余检测算法,以消除不必要的访问检查开销,降低伸缩增强带来的效率损失。 展开更多
关键词 主被动模式 访问控制 任务 角色 重复授权 冗余约束
下载PDF
层状压电介质空间轴对称问题的数据分析与处理 被引量:1
18
作者 朱保兵 王建国 +2 位作者 陈林峰 治年 郭琳 《合肥工业大学学报(自然科学版)》 CAS CSCD 2002年第z1期836-840,共5页
从宏观各项同性层状压电介质空间轴对称的问题出发,利用状态变量法和0层面的边界条件,得到适用于计算不同状态变量的关系矩阵,以及状态变量表示的多层压电介质在Hankel变换空间中的解.在选择性计算的基础上,对不同的状态变量,分别采用... 从宏观各项同性层状压电介质空间轴对称的问题出发,利用状态变量法和0层面的边界条件,得到适用于计算不同状态变量的关系矩阵,以及状态变量表示的多层压电介质在Hankel变换空间中的解.在选择性计算的基础上,对不同的状态变量,分别采用各自的方式修正关系矩阵,有效地避免了无选择性计算所产生的计算结果失真现象,为解决诸如此类的更复杂的问题奠定了理论基础. 展开更多
关键词 层状压电介质 横观各项同性 关系矩阵 选择性计算
下载PDF
任务状态敏感的访问控制模型及其有色网仿真 被引量:7
19
作者 治年 奚建清 +1 位作者 卢亚辉 郭玉彬 《西安交通大学学报》 EI CAS CSCD 北大核心 2012年第12期85-91,共7页
针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优... 针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性. 展开更多
关键词 访问控制 工作流 任务状态 角色 有色PETRI网
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部