一个安全的基于任务描述的移动代理系统*

为解决移动代理技术中的安全问题提出了一种全新的基于任务描述的移动代理定义和实现方法,据此设计并实现了一个安全的移动代理系统.该系统通过中介/管理Agency统一派发代理,借鉴Java 2安全模型进行本地资源保护,利用信任模型管理并调整系统中平台之间的信任关系.它可以保证平台的安全,也可以利用事后的检测手段发现对代理的攻击,同时利用信任模型调整对恶意平台的信任度来维护整个系统的安全运行.     

一种RB-RBAC模型规则冲突消解算法

RB-RBAC(Rule-Based RBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。RB-RBAC模型允许进行否定授权,可能在进行授权的过程中出现冲突。在研究RB-RBAC模型冲突规则间关系的基础上,提出了一种基于否定优先的冲突消解算法,能够在保持原有语义的条件下,自动改写RB-RBAC模型中冲突的授权规则来消解冲突。     

高效防气防砂一体化管柱的研制与应用

该技术是针对文南油田油气井填砂压裂后,为采气增油、防止砂卡、减少躺井所设计的一趟管柱,管柱优点在于既有效防气、又能有效防砂。     

纳米TiO2掺杂改性研究进展

综述了近年来TiO2光催化剂的掺杂改性研究进展,从阳离子、阴离子、半导体化合物、绝缘体等方面,详细探讨了该类光催化剂不同掺杂方法的设计原理、制备方法及目前效果,展望了该领域的研究前景,提出了优化制备工艺、研究开发可见光响应的TiO2是当前光催化剂改性研究的关键课题。     

一种用描述逻辑刻画多代理系统规约的方法

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性.     

静压预应力混凝土管桩施工质量控制

主要针对预应力混凝土管桩静力压桩施工中容易出现的一些质量问题进行了分析,并提出质量控制措施与常见问题的处理与对策。     

敞开式循环冷却水系统中的微生物及其控制

敞开式循环冷却水系统在运行的过程中,会有各种微生物生长在换热器的金属表面以及冷却塔下面的水池中,冷却水系统成了一个微生物的捕集器和培养器。这些微生物的存在,特别是可引起故障的微生物的存在会影响拎却水系统的正常运行,引起金属腐蚀,管道堵塞等一系列故障。因此,很有必要控制冷却水系统中的微生物。本文对敞开式循环冷却水系统中的微生物及其控制方法作一综述。     

一种新型井口定压放气阀

对于油田高气液比的油井，常常在井口安装井口定压放气阀，用于定压放气。现有的井口定压放气阀主要由弹簧、钢球和阀体等部件组成，由于高气液比原油对弹簧具有很强的腐蚀性，影响弹簧的屈强系数，致使定压不能稳定，进而影响定压放气的效果。为此，我们设计了以耐腐蚀的波纹管结构代替弹簧的新型井口定压放气阀，     

井口带压打孔工艺的改进及完善

中原油田已经持续开发三十多年,每个厂都有一些油井由于资源枯竭,没有开采价值导致关停。采油四厂关停井有上百口,这些关停井通常是空井筒。关停前,在关停井油层套管接箍的短节上用盲板将井口封死。停封井一般都是在油层套管节箍上安装一个短节,用盲板将短节上部焊接盲死。