位置约束的访问控制模型及验证方法 被引量：5

1

作者 曹彦 黄志球 +2 位作者 阚双龙 彭焕峰 柯昌博 《计算机研究与发展》 EI CSCD 北大核心 2018年第8期1809-1825,共17页

随着物联网和信息物理融合系统等新一代信息技术的发展,位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间,还体现在现实的物理空间.如何在这种新需求下制定位置约束的访问控制模型与验证方法成为保证访问控制系统安全的关... 随着物联网和信息物理融合系统等新一代信息技术的发展,位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间,还体现在现实的物理空间.如何在这种新需求下制定位置约束的访问控制模型与验证方法成为保证访问控制系统安全的关键所在.首先提出位置约束访问控制模型,包括LCRBAC模型和EM模型,实现对信息空间和物理空间的静态结构以及两空间中实体动态行为的刻画;其次利用偶图和偶图反应系统建模位置约束访问控制模型,生成访问控制策略标注转移边的标号变迁系统;然后根据标号变迁系统验证结果,提出针对死锁状态、违反状态和不可达状态的策略修改方案;最后通过银行访问控制系统实例分析说明所提方法能够对信息空间和物理空间以及两空间交互行为的访问控制策略进行建模和验证. 展开更多

关键词 位置约束访问控制系统 模型检测 偶图 反应规则 验证

在线阅读 下载PDF 职称材料

基于角色访问控制在工作流管理系统中的应用研究 被引量：14

2

作者 刘建勋 张申生 步丰林 《小型微型计算机系统》 CSCD 北大核心 2003年第6期1067-1070,共4页

针对实际应用的需求和工作流管理系统的特点 ,提出了一个适合工作流管理系统的基于角色的授权控制模型 ,并将该模型应用到基于过程分解的工作流模型中 ,从而得到一个具有基于角色的访问控制与授权机制的工作流管理系统 .对其中的静态以... 针对实际应用的需求和工作流管理系统的特点 ,提出了一个适合工作流管理系统的基于角色的授权控制模型 ,并将该模型应用到基于过程分解的工作流模型中 ,从而得到一个具有基于角色的访问控制与授权机制的工作流管理系统 .对其中的静态以及动态约束问题进行了分析 . 展开更多

关键词 工作流 工作流管理系统 授权 基于角色的访问控制 约束

在线阅读 下载PDF 职称材料

工作流系统中一个基于双权角色的条件化RBAC访问控制模型 被引量：1

3

作者 张健 孙吉贵 +1 位作者 李妮娅 胡成全 《计算机科学》 CSCD 北大核心 2005年第7期121-124,共4页

传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束。基于传统的RBAC模型,提出了一个新的基于双权角色的条件化RBAC访问控制模型CRDWR(conditioned RBAC based on double-weightedroles)。阐述了基于动态角色分配的条件... 传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束。基于传统的RBAC模型,提出了一个新的基于双权角色的条件化RBAC访问控制模型CRDWR(conditioned RBAC based on double-weightedroles)。阐述了基于动态角色分配的条件化RBAC策略,定义了基于双权角色的工作流系统访问授权新概念,并针对多个角色协同执行任务的序约束问题,给出了基于令牌的序约束算法。该模型能够表达复杂的工作流安全访问控制约束。 展开更多

关键词 访问控制模型 工作流系统 RBAC模型 控制约束 安全访问 角色分配 访问授权 约束问题 新概念 序约束 表达 传统 算法 令牌

在线阅读 下载PDF 职称材料

工作流系统访问控制技术 被引量：6

4

作者 董巧玉 欧阳昱 刘玉树 《计算机应用》 CSCD 北大核心 2003年第10期126-128,共3页

访问控制机制是分布式信息系统安全策略中的核心内容,而访问控制的职责分割是访问控制管理实现的关键技术,是当前安全访问控制领域研究的热点。文中在详细介绍了目前访问控制具有代表性的几种模型和技术的基础上,对这些技术做出相关的评... 访问控制机制是分布式信息系统安全策略中的核心内容,而访问控制的职责分割是访问控制管理实现的关键技术,是当前安全访问控制领域研究的热点。文中在详细介绍了目前访问控制具有代表性的几种模型和技术的基础上,对这些技术做出相关的评价,分析了目前工作流系统访问控制技术中所存在的不足,对工作流系统访问控制技术的应用领域和未来工作做了进一步的探讨。 展开更多

关键词 工作流 工作流管理系统 访问控制 职责分割 约束规范 授权约束

在线阅读 下载PDF 职称材料

工作流系统流程监控权限控制研究 被引量：9

5

作者 杨书新 王坚 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2224-2228,共5页

针对工作流系统中监控权限划分粗糙的问题,提出了一个基于角色的访问控制方案。根据工作流执行原理和监控需求,将监控服务分为系统层和应用层,以监控对象、监控人、监控操作方法作为研究对象,给出了形式化描述和细粒度划分。在此基础上... 针对工作流系统中监控权限划分粗糙的问题,提出了一个基于角色的访问控制方案。根据工作流执行原理和监控需求,将监控服务分为系统层和应用层,以监控对象、监控人、监控操作方法作为研究对象,给出了形式化描述和细粒度划分。在此基础上,提出了访问控制模型,描述了角色、用户和监控对象等各要素之间的关系,给出了授权方法、潜在规则和实例状态约束,保证了监控操作的合理性。基于以上理论和方案,在已有的项目平台上开发了流程监控子系统,满足了不同层次人员对监控权限的灵活需求。 展开更多

关键词 工作流系统 监控权限 访问控制 角色 状态约束

在线阅读 下载PDF 职称材料

儿童约束系统模型建立及其损伤的初步研究 被引量：2

6

作者 高伟 邓召文 杨济匡 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第9期1382-1385,共4页

文章运用多刚体动力学和有限元耦合的方法建立了儿童约束系统(CRS)仿真模型,对整个仿真模型的有效性进行了验证;应用MADYMO软件模拟了侧碰撞中在不同的碰撞速度下车门侵入量、儿童乘员的乘坐位置对3岁儿童乘员损伤的影响。仿真结果表明... 文章运用多刚体动力学和有限元耦合的方法建立了儿童约束系统(CRS)仿真模型,对整个仿真模型的有效性进行了验证;应用MADYMO软件模拟了侧碰撞中在不同的碰撞速度下车门侵入量、儿童乘员的乘坐位置对3岁儿童乘员损伤的影响。仿真结果表明:在侧碰撞中与碰撞速度有一定比例关系的车门侵入量对儿童乘员头部及胸部的损伤影响非常大,后排座椅靠近碰撞侧位置比非碰撞侧儿童乘员受损伤的风险要高。 展开更多

关键词 儿童约束系统 侧碰撞 儿童乘员 车门侵入量 乘坐位置 损伤

在线阅读 下载PDF 职称材料

多机协调吊运系统综合多影响因子的位置稳定性评价方法

7

作者 苏程 卫启哲 +1 位作者 赵志刚 赵祥堂 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2023年第3期481-488,共8页

针对多机协调吊运系统由于欠约束特性导致的静平衡稳定性难以评价的问题,本文提出了综合多影响因子的位置稳定性评价方法。与传统方法不同,该方法将被吊运物中有运动任务需求的自由度定义为稳定自由度,其余自由度定义为欠稳定自由度,并... 针对多机协调吊运系统由于欠约束特性导致的静平衡稳定性难以评价的问题,本文提出了综合多影响因子的位置稳定性评价方法。与传统方法不同,该方法将被吊运物中有运动任务需求的自由度定义为稳定自由度,其余自由度定义为欠稳定自由度,并将姿态自由度为稳定自由度时,影响稳定性的因素归结为位置自由度和各柔索拉力的差异2种因素;通过对这2种因素的量化,得到位置自由度影响因子、拉力大小影响因子和拉力均匀性影响因子,以3个影响因子的加权和作为每个位置点的稳定性评价指标。通过这种稳定性评价方法对系统的静平衡稳定位置工作空间进行了定义,并计算了系统不同稳定性裕度的静平衡稳定位置工作空间,为系统的可行轨迹规划和控制奠定了基础。 展开更多

关键词 多机器人系统 吊运系统 静平衡 欠约束 自由度 稳定性 位置工作空间 稳定裕度

在线阅读 下载PDF 职称材料

某乘用车排气系统悬挂位置的确定 被引量：2

8

作者 徐维维 马心坦 朱凯 《噪声与振动控制》 CSCD 2020年第5期169-171,205,共4页

若悬挂布置在排气系统振动较大的位置,排气系统传到车身的振动则会增大,从而影响汽车的NVH性能。为了确定某款乘用汽车排气系统合适的悬挂位置,利用ANSYS建立排气系统的有限元模型,采用平均驱动自由度位移方法(ADDOFD)来布置排气系统的... 若悬挂布置在排气系统振动较大的位置,排气系统传到车身的振动则会增大,从而影响汽车的NVH性能。为了确定某款乘用汽车排气系统合适的悬挂位置,利用ANSYS建立排气系统的有限元模型,采用平均驱动自由度位移方法(ADDOFD)来布置排气系统的悬挂点,并通过对排气系统的静力分析和约束模态分析来验证悬挂点的合理性。验证结果表明:用ADDOFD方法来布置排气系统的悬挂位置是有效的,所做仿真研究具有重要意义。 展开更多

关键词 振动与波 排气系统 悬挂位置 平均驱动自由度位移 静力分析 约束模态分析

在线阅读 下载PDF 职称材料

带有空间特性角色约束 被引量：5

9

作者 鞠时光 陈伟鹤 顾怡 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第10期1374-1382,共9页

空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间... 空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求——用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性. 展开更多

关键词 空间数据库 基于角色的访问控制 空间约束 基于位置服务

在线阅读 下载PDF 职称材料

采用SCS-CN水文模型和GIS确定雨水集蓄工程的位置 被引量：11

10

作者 王红雷 王秀茹 +1 位作者 王希 姜丽娟 《农业工程学报》 EI CAS CSCD 北大核心 2012年第22期108-114,F0004,共8页

针对北京西部清水河上游山区生产生活用水日趋紧张的问题,该文应用遥感与地理信息系统软件处理TM影像、土壤和质地图及数字高程模型等基础数据,结合soil conservation service(SCS)曲线数法计算径流量,根据雨水集蓄工程技术规范构建了... 针对北京西部清水河上游山区生产生活用水日趋紧张的问题,该文应用遥感与地理信息系统软件处理TM影像、土壤和质地图及数字高程模型等基础数据,结合soil conservation service(SCS)曲线数法计算径流量,根据雨水集蓄工程技术规范构建了雨水集蓄工程位置选择约束集。在此基础上,运用地理信息系统软件对坡度、径流潜力及集水路径的空间及属性数据进行叠加和邻域分析,得到适宜的雨水集蓄工程位置。主要结果如下:适宜修建蓄水坑塘的面积4.24km2、蓄水池位置46处、拦水坝位置50处、大口井位置53处、适宜庭院集雨区的面积4.95km2。结果可为合理开发利用雨水资源及工程建设提供理论支撑和科学指导。 展开更多

关键词 地理信息系统 模型 水文学 水资源 雨水集蓄工程 SCS-CN模型 约束集 适宜位置

在线阅读 下载PDF 职称材料

基于Web的轻量级工作流管理系统 被引量：3

11

作者 张健 胡成全 +1 位作者 孙吉贵 李妮娅 《计算机集成制造系统》 EI CSCD 北大核心 2005年第2期206-211,共6页

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出... 工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统。 展开更多

关键词 轻量级 工作流管理系统 时间约束 条件化基于角色的访问控制 工作流引擎

在线阅读 下载PDF 职称材料

S-Shark安全工作流管理系统设计与实现 被引量：1

12

作者 刘丁 王小明 +1 位作者 付争方 窦文阳 《计算机应用研究》 CSCD 北大核心 2009年第4期1515-1516,1519,共3页

以工作流信息模型安全机制不足为研究对象,通过模型扩展的方法,建立一种安全工作流访问控制模型ETRBAC。该模型在典型T-RBAC模型基础上,提出了职责分离约束和基数约束等问题的解决方案。结合优秀开源工作流管理系统Shark,设计并实现了ET... 以工作流信息模型安全机制不足为研究对象,通过模型扩展的方法,建立一种安全工作流访问控制模型ETRBAC。该模型在典型T-RBAC模型基础上,提出了职责分离约束和基数约束等问题的解决方案。结合优秀开源工作流管理系统Shark,设计并实现了ETRBAC模型中的相关安全机制,形成S-Shark(secure-Shark)工作流管理系统。S-Shark具有安全性、易用性和可扩展性等优势。 展开更多

关键词 工作流 工作流管理系统 访问控制 授权 约束

在线阅读 下载PDF 职称材料

面向属性约束的自动信任协商模型 被引量：1

13

作者 官尚元 伍卫国 +1 位作者 董小社 梅一多 《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第8期1-5,共5页

针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型———ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而... 针对已有自动信任协商系统策略语言粒度粗糙、不能生成所有信任序列且缺乏评估与择优机制等问题,提出一种面向属性约束的自动信任协商模型———ACATN.其具有如下特点:利用属性约束细化策略语言粒度,不仅有效地保护了敏感服务和证书,而且提高了系统的灵活性;使用全局访问控制策略终止不会成功的协商请求,从而提高协商效率;采用信任序列搜索树描述信任序列的生成过程,基于此树的宽度、深度优先搜索算法在快速生成一个信任序列的同时,能够生成所有的信任序列;通过属性证书披露代价和通信开销评估信任序列,以便于系统选择最优信任序列.结合具体实例对ACATN模型的使用进行了说明. 展开更多

关键词 访问控制 自动信任协商 协商系统策略 属性约束

在线阅读 下载PDF 职称材料

力学与控制科学 被引量：1

14

作者 黄琳 《自动化学报》 EI CSCD 北大核心 2002年第S1期23-29,共7页

基于对力学与控制科学的相似性的分析 ,阐述了 4个有意义的力学系统控制问题 :1具非完整约束的非线性动力学系统的控制 ;2具非单一平衡位置的力学系统及其总体性质 ;3多体动力学与控制 ;4具分布参数的力学系统 .最后给出了一个具启示性... 基于对力学与控制科学的相似性的分析 ,阐述了 4个有意义的力学系统控制问题 :1具非完整约束的非线性动力学系统的控制 ;2具非单一平衡位置的力学系统及其总体性质 ;3多体动力学与控制 ;4具分布参数的力学系统 .最后给出了一个具启示性的看法 . 展开更多

关键词 力学控制系统 非完整约束 非单一平衡位置 多体 分布参数力学系统

在线阅读 下载PDF 职称材料

单绳缠绕式矿井提升机制动瞬态冲击抑制策略 被引量：4

15

作者 解辉 沈刚 +2 位作者 刘东 汤裕 朱真才 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2024年第3期141-150,共10页

在矿井提升机的制动控制中,制动瞬态冲击是影响矿井提升机安全可靠运行的关键问题。由于受到技术和经济成本的制约,目前包含贴闸/压紧的制动过程全程采用力闭环控制,这不可避免地导致闸瓦与闸盘刚性接触时的制动力瞬态冲击问题。针对矿... 在矿井提升机的制动控制中,制动瞬态冲击是影响矿井提升机安全可靠运行的关键问题。由于受到技术和经济成本的制约,目前包含贴闸/压紧的制动过程全程采用力闭环控制,这不可避免地导致闸瓦与闸盘刚性接触时的制动力瞬态冲击问题。针对矿井提升机制动瞬态冲击问题,文中提出了一种基于滞回切换原理的混合贴闸/压紧制动控制策略。首先,分别利用非奇异快速终端滑模控制和反步控制设计了贴闸和压紧控制器;其次,为达到快速贴闸的目的,设计了一种基于离散积分器的在线贴闸轨迹再规划方法,有效地减小了制动器贴闸时间;然后,为实现由贴闸控制到压紧控制的安全切换,利用滞回切换原理,制定了混合贴闸/压紧控制稳态切换策略,大大减小了制动力瞬态冲击;最后,为验证提出方法的有效性,选择传统全程力闭环控制策略C1与混合贴闸/压紧直接切换策略C2作为对比方法,在单绳缠绕式提升试验台进行了对比实验,从贴闸时间、制动力最大跟踪误差和提升钢丝绳最大张力3个方面对实验结果进行了分析。实验结果表明:相较于C1控制策略,提出制动控制策略的贴闸时间缩短了64.5%,钢丝绳张力峰值减小了41 N;相较于C2控制策略,提出制动控制策略的制动力冲击减小了90.3%,钢丝绳张力峰值减小了88 N。上述结果表明本文提出的方法能有效改善制动瞬态冲击,减小制动空动时间,提高制动系统安全性,同时本研究也为一类需要混合力/位置控制的电液伺服系统提供了一种有效的解决方法。 展开更多

关键词 矿井提升机制动系统 瞬态冲击 非线性控制 混合力/位置控制 约束轨迹规划

在线阅读 下载PDF 职称材料

一种基于协同矩阵分解的用户冷启动推荐算法 被引量：26

16

作者 高玉凯 王新华 +1 位作者 郭磊 陈竹敏 《计算机研究与发展》 EI CSCD 北大核心 2017年第8期1813-1823,共11页

位置服务作为一种信息共享平台,在方便人们交流和共享信息的同时,也因为用户数量的不断增加,而面临着严重的信息过载问题.如何利用推荐技术对信息进行过滤和筛选,帮助用户在位置服务中发现有价值的信息成为近年来研究的热点.但目前已有... 位置服务作为一种信息共享平台,在方便人们交流和共享信息的同时,也因为用户数量的不断增加,而面临着严重的信息过载问题.如何利用推荐技术对信息进行过滤和筛选,帮助用户在位置服务中发现有价值的信息成为近年来研究的热点.但目前已有的推荐算法,在只有消费记录这种隐性数据情况下,针对用户较少活动区域或新用户的推荐效率较低,无法最大化挖掘隐性数据所带的信息.针对以上问题,结合位置服务平台的特点,针对用户冷启动问题,提出了一种结合协同概率矩阵分解与迭代决策树(gradient boosting decision tree,GBDT)的推荐算法.该方法首先使用多层协同概率矩阵分解在多个维度上得到用户潜在特征,然后使用GBDT学习算法对特征和标签进行训练得到用户对项目的偏好,最后使用考虑约束问题的top-N推荐产生推荐列表.在真实数据集上的实验结果表明,与目前较为流行的方法相比,提出的方法能在准确率、F1值上取得较好的结果,能更好地缓解位置服务中的冷启动问题. 展开更多

关键词 推荐系统 位置服务 概率矩阵分解 冷启动问题 约束

在线阅读 下载PDF 职称材料