【摘 要】
：
工作流可满足性（Workflow Satisfiability,WS） （≠） 判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相
【机 构】
：
浙江科技学院信息与电子工程学院,深圳大学计算机与软件学院,南加州大学软件工程中心
【基金项目】
：
本课题得到国家自然科学基金（61502429,51376162,61302112）资助.
论文部分内容阅读
工作流可满足性（Workflow Satisfiability,WS） （≠） 判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS（ ≠ ） 决策,现有的最低时间复杂度为0^#（2｜s｜（｜C｜ ＋ ｜U｜2））（S ,C ,L/分别为步骤集、约束集、用户集）.然而,仅WS（ ≠） 有解时,工作流授权规划未必合理,对资源异常可能缺乏鲁棒性.若能统计所有解的个数,不仅可判定WS（ ≠） 有解与否,还能为授权规划提供重要的参考,
其他文献
<正> 陈列(Exhibition)即展览。陈列是博物馆多种活动中一项实践性很强的学科。如就它的目的和方法言,陈列这个词包含有展示(To show)和展出(To display)两方面的问题。大家
采用电镜扫描仪（SEM）对三轴剪切前后压实黄土样在水平面和竖直面进行微观结构观察，从剪切前后孔隙排列、孔隙形态、孔隙尺度变化特征3方面分析宏观强度试验的微观本质。试验结果
带时间约束的实时任务图（TCDRT）模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析（SA）问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型：K-TCDR
利用唐山强震观测台阵提供的井下和地面数字测震资料 ,研究了用单台地震记录评估场地效应的方法 .利用井下基岩地震记录作参考台 ,用地面和井下的记录求取经验传递函数 .同时应用Nakamura单台评估方法求解Nakamura谱比率 .通过对比 ,证实了对场地效应的评估可以使用地面单台测震资料进行 ,不必参考基岩台的资料 .因此 ,该方法是评估重要工程场地效应的一种简便可行的方法 .使用该方法可以降低地