翟治年 作品数:20 被引量:33 H指数:4 供职机构: 浙江科技学院信息与电子工程学院 更多>> 发文基金: 国家自然科学基金 浙江省自然科学基金 浙江省教育厅科研计划 更多>> 相关领域: 自动化与计算机技术 电子电信 经济管理 更多>>
企业级协作环境中访问控制模型研究 访问控制是保证信息安全的基本手段之一。它可划分为主/被动两种范型:前者面向业务过程,后者以系统为中心。由于企业应用往往需要满足复杂多样的业务/协作需求,并可能涉及大规模的主/客体对象,其访问控制组件应当提供灵活透明的安全... 翟治年关键词:访问控制 工作流 角色 伸缩性 工作流可满足性(≠,=)计数及其#P完全性 被引量:3 2017年 工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础. 翟治年 卢亚辉 余法红 周武杰 向坚 吴茗蔚关键词:工作流 访问控制 授权 资源分配 可满足性 面向企业级流程的职责分离框架及其冗余分析 被引量:2 2013年 为企业级工作流授权机制定义了多维可泛化的职责分离框架,能够对团队任务涉及的多种分工形式进行深入全面的限制.系统分析了框架中的约束覆盖规则,并证明其正确性和完备性,为约束管理自动化奠定了基础.作为应用,根据规则给出了冗余动态约束的检测算法.最后通过案例研究验证了模型特性. 翟治年 卢亚辉 奚建清 赵铁柱 汤德佑 顾春华关键词:访问控制 角色 大学生在线实习及就业成才互动服务平台 陈洪军 奚建清 苏琳 李阳月 姜昕 曾强 项贤东 陈虎 敖道升 黄敏 张平健 汤德佑 翟治年 黄帆 一、项目概况:在我国大学生就业难问题日益凸显,大学生就业服务市场空间巨大的背景下,广东智通人才连锁股份有限公司于2009年联合华南理工大学、广州市飞元信息科技有限公司立项研发“大学生在线实习及就业成才互动服务平台”。该项...关键词:关键词:大学生就业 服务平台 校企互动 信息服务 基于模式回溯的#WS(≠)快速定界算法 被引量:2 2020年 WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回溯法的解空间压缩特性和两层求解机制,提出了一种真实可行解的数量定界方法.它对模式回溯法的结构进行扩展,实现完全可行模式的遍历和统计.对其中每个模式,计算其资源指派二分图上匹配数量的界.再汇总二者,给出#WS(≠)的上、下界.随机生成数据集上的实验表明,在高资源配比和低约束密度条件下,本文算法相对现有算法有比较突出的时间和空间性能,且其给出的上界相当接近于准确值. 翟治年 卢亚辉 俞坚 潘志刚 周武杰关键词:工作流 授权 资源分配 可满足性 可满足(≠,=)工作流的静态k弹性否决条件 被引量:1 2019年 静态k弹性反映安全工作流从资源失效异常中恢复运行的能力,但其验证须求解多达C(|U|,k)个工作流可满足决策问题(U为资源集),代价巨大。已有工作提出通过1次工作流可满足计数来量化其异常恢复能力,但该指标相当粗糙,仅能在可满足无解情形下给出精确的否定结论。对互斥和绑定约束下的工作流,建立了以k弹性可满足计数下界概念为核心的新颖模型,并首次证明了一个非平凡的下界,由此可将k弹性的否决条件从可满足无解推广到有解情形,具有理论上的代表性意义,也扩大了前述指标精确适用的范围。 翟治年 王中鹏 叶绿 向坚 王富忠 庞海云关键词:工作流 授权 资源分配 可满足性 资源独立工作流可满足性的最小增量模式回溯 2023年 工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数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倍优势. 翟治年 卢亚辉 刘关俊 雷景生 向坚 吴茗蔚关键词:工作流 授权 资源分配 互斥约束工作流可满足性决策的匹配剪枝模式回溯法 被引量:5 2018年 针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势。 翟治年 卢亚辉 万健 万健 王中鹏关键词:工作流 授权 资源分配 可满足性 增强伸缩性的主被动集成访问控制模型 基于任务分类和角色层次的三步授权机制集成了主被动两种访问控制模式,但任务间重复授权、多种角色层次上的任务继承冲突、任务约束重复表达等问题严重影响了有关模型的伸缩性。为此提出一种增强的主被动集成访问控制模型。通过可扩展的角... 翟治年 卢亚辉 郭玉彬 贾连印 奚建清 刘艳霞关键词:访问控制 重复授权 角色层次 深度视觉频谱残余融合的图像质量评价 被引量:1 2021年 针对现有图像质量评价方法的缺陷,通过深度学习理论建模人眼视觉系统(human vision system,HVS)特性,提出了一种基于视觉特征深度感知与学习融合(deeply perception and learning for pooling,DPLP)的评价方法。首先为了增加图像视觉特征的稳定性,根据人眼感光的空域结构特征和频域多通道特性,对图像依次进行二维Log-Gabor小波变换、梯度变换和频谱残余的深度视觉信息处理,然后分别提取各层视觉信息进行质量评价。其次为了克服HVS融合的不确定性,对质量评价信息采取了深度池化策略,第一层为评价视图的空域融合,采取了符合人眼感光特性的高斯加权策略;第二层为多通道评价的频域融合,采取了具有HVS推理能力的BP神经网络的学习-预测策略;第三层为各级视觉特征的评价融合,采取了具有自适应特性的回归函数策略。最后,基于现实中的各种失真类型图像进行了实验,结果表明所提方法具有较高的主客观评价一致性水平和更好的稳定性。 丰明坤 孙丽慧 葛丁飞 翟治年 王海江 彭艳斌关键词:图像质量评价