排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
2.
一种RB-RBAC模型规则冲突消解算法 总被引:1,自引:0,他引:1
RB-RBAC(Rule-Based RBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。RB-RBAC模型允许进行否定授权,可能在进行授权的过程中出现冲突。在研究RB-RBAC模型冲突规则间关系的基础上,提出了一种基于否定优先的冲突消解算法,能够在保持原有语义的条件下,自动改写RB-RBAC模型中冲突的授权规则来消解冲突。 相似文献
4.
纳米TiO2掺杂改性研究进展 总被引:1,自引:0,他引:1
综述了近年来TiO2光催化剂的掺杂改性研究进展,从阳离子、阴离子、半导体化合物、绝缘体等方面,详细探讨了该类光催化剂不同掺杂方法的设计原理、制备方法及目前效果,展望了该领域的研究前景,提出了优化制备工艺、研究开发可见光响应的TiO2是当前光催化剂改性研究的关键课题。 相似文献
5.
敞开式循环冷却水系统在运行的过程中,会有各种微生物生长在换热器的金属表面以及冷却塔下面的水池中,冷却水系统成了一个微生物的捕集器和培养器。这些微生物的存在,特别是可引起故障的微生物的存在会影响拎却水系统的正常运行,引起金属腐蚀,管道堵塞等一系列故障。因此,很有必要控制冷却水系统中的微生物。本文对敞开式循环冷却水系统中的微生物及其控制方法作一综述。 相似文献
6.
该技术是针对文南油田油气井填砂压裂后,为采气增油、防止砂卡、减少躺井所设计的一趟管柱,管柱优点在于既有效防气、又能有效防砂。 相似文献
7.
支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性. 相似文献
8.
主要针对预应力混凝土管桩静力压桩施工中容易出现的一些质量问题进行了分析,并提出质量控制措施与常见问题的处理与对策。 相似文献
9.
10.
中原油田已经持续开发三十多年,每个厂都有一些油井由于资源枯竭,没有开采价值导致关停。采油四厂关停井有上百口,这些关停井通常是空井筒。关停前,在关停井油层套管接箍的短节上用盲板将井口封死。停封井一般都是在油层套管节箍上安装一个短节,用盲板将短节上部焊接盲死。 相似文献