结构安全性检测中裂缝的检测与评定

随着建筑结构安全性检测行业的快速发展及业主维权意识的日益提高，在结构安全性检测与评估的案例中，因房屋出现裂缝而引起的纠纷越来越多。虽然有关规范及文献对裂缝检测与评定有一些概括，但都不是很全面。本文在总结经验的同时提出房屋裂缝检测与评定的公正、科学和客观的方法。     

对房屋建筑结构安全性问题的分析

结构安全性是结构防止破坏倒塌的能力，是结构工程最重要的质量指标。结构工程的安全性主要决定于结构的设计与施工水准，也与结构的正确使用（维护、检测）有关，而这些又与土建工程法规和技术标准（规范、规程、条例等）的合理设置及运用相关联。     

基于UML的多维角色访问控制系统建模

访问控制是企业信息系统安全的一项重要措施,基于角色的访问控制(RBAC)凭借其灵活的授权机制得到了越来越广泛的应用,是目前研究的热点。多维角色访问控制(MDRBAC)在RBAC的基础上进行了角色划分,简化了企业级系统访问控制的角色管理。本文采用统一建模语言(UML)对MDRBAC进行了静态和动态建模,缩短了理论模型和实际系统开发之间的差距,有助于更好地进行访问控制系统开发的分析和设计。     

一种基于角色的访问控制系统方案

首先将角色概念引入到访问控制技术中,此方法与传统的访问控制技术相比具有面向实际应用的优点,尤其适合作为大型商务系统和组织管理系统中的安全访问控制机制,然后详细分析了基于角色访问控制的基本需求,提出了一种基于角色的访问控制系统方案,实现了系统开发过程中的职责分离,取得了较好的效果.     

关于土建结构安全性问题的探讨

我国结构的系统安全问题比较严重，问题的严重性既体现在认识上又存在于实际，而对结构的系统安全管理认识不足可能是更深层次的问题．因此，应认真总结和汲取国内外结构安全管理方面的经验和教训，逐步改善和提高我国土建结构工程的系统安全管理水平，多方共建具有中国特色的结构安全管理体系。     

厂房火灾后结构安全性检测及鉴定分析

对某厂房火灾后结构受损情况进行了现场检测,详细了解该厂房结构构件遭受火灾的破坏程度,并结合结构构件火灾后承载力验算结果,评定结构构件在火灾后的安全性能,并对该厂房火灾后出现的结构质量问题提出合理建议,为其加固修复提供依据。     

基于角色的访问控制管理模型的分析与比较

RBAC(Role-Based Access Control)是实现访问控制的最有效的技术，它易于管理、方便灵活，越来越引起人们的重视．文章介绍了基于角色的访问控制RBAC策略．对两种管理模型ARBAC97和ARBAC02模型分别进行了重点描述．通过对两者的比较，分析了ARBAC97模型存在的不足之处以及ARBAC02模型所作的相应的改进．然后在ARBAC02模型的基础上给出了一个设计实例，并简要叙述了以后的研究方向．     

基于小波分析的结构损伤检测

针对结构损伤检测系统的实时性和复杂性特点,探讨了基于小波分析的结构损伤识别方法。以小波分析方法为基础,对损伤工况下三层框架结构进行加速度响应的数值仿真,结果表明结构不同层的加速度信号对不同位置的损伤有不同的敏感性。应用小波分析法对结构工程损伤进行实时检测,可实现对结构损伤发生时间和位置同时进行定位,实现对结构工程损伤的早期诊断,为结构的维修加固提供可靠的依据。     

工作流管理系统中基于角色的访问控制

在已有的基于角色访问控制模型基础上，提出了一个基于角色的安全工作流管理系统模型．讨论了安全模型的安全目标，给出了模型的形式化描述，分析了用户牵引方式和服务器牵引方式各自的优缺点，详细描述了在服务器牵引方式下的工作方式，同时讨论了动态授权时的一些安全机制．该安全模型较好地将基于角色的访问控制策略运用到工作流管理系统中，动态授权机制使得模型的安全性进一步提高．     

基于模型检测的SSL协议形式化验证

针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.     

基于RBAC模型的数据库安全访问控制机制

通过分析RBAC模型结构，提出并设计实现了统计管理系统中数据库安全访问控制的新方法。角色定义遵循最大基数约束和职责分离两个原则，有效控制了较大权利访问控制权限的分配，且减少了欺骗行为的发生概率；通过构建多种安全员角色和存储过程实现了安全控制的细化管理。系统的正常运行表明，基于该方法的WEB-TJ系统是安全可靠的。     

基于RBAC模型的数字电视管理系统的访问控制研究

以数字电视管理系统为对象，设计了一种权限管理系统．采用基于角色的访问控制技术（RBAC），通过引入角色概念，使用户权限管理条理化，减少授权管理的复杂性，并能支持用户类型、子系统数量和功能的自由增加，具有高扩展性和易维护的特点．最后给出该权限模块在实际数字电视管理系统中的应用方式，可为同类系统的设计提供参考．     

Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy

In this paper,we propose a Multi-granularity Spatial Access Control(MSAC) model,in which multigranularity spatial objects introduce more types of policy rule conflicts than single-granularity objects do.To analyze and detect these conflicts,we first analyze the conflict types with respect to the relationship among the policy rules,and then formalize the conflicts by template matrices.We designed a model-checking algorithm to detect potential conflicts by establishing formalized matrices of the policy set.Lastly,we conducted experiments to verify the performance of the algorithm using various spatial data sets and rule sets.The results show that the algorithm can detect all the formalized conflicts.Moreover,the algorithm's efficiency is more influenced by the spatial object granularity than the size of the rule set.     

基于角色和任务的工作流访问控制管理模型

针对现有访问控制模型在工作流系统安全方面存在的不足,提出一种基于角色和任务的工作流访问控制管理模型(ATRBAC).该模型将ARBAC模型中的管理思想融入TRBAC模型,并引入管理员及管理权限,同时对管理员实行层次管理,解决了系统管理员的权限过大而产生的隐患,加强了系统的安全性.     

一种基于群签名算法的门禁系统模型

描述群签名算法的一种实际应用,提出了一种新的基于群签名的门禁系统模型。文中首先讨论了群签名算法和门禁系统的概念,分析了经典门禁系统的作用及其缺陷;而后研究了一种基于群签名算法的门禁系统,描述了这种系统模型、有关的系统操作集合,给出了系统模型的形式化定义;最后分析了这种门禁系统模型的特点。     

基于概率模型检测的微电网的形式化验证

通过概率模型检测的方法对微电网电源系统建立离散时间马尔可夫链模型,在系统后续的状态迁移中加入了故障率,类比云平台弹性计算功能,添加了另一个分布式电源,并验证其对系统进程的影响,用概率计算树逻辑对微电网电源系统进行描述,并对系统的负荷成本、经济成本以及状态迁移数进行定量分析. 验证结果表明：分布式电源间故障率对系统的收益和消耗有不同程度的影响,加上云平台的弹性计算思想在微电网上的灵活运用,可以提高微电网的性能以及生产效益,对实际生产和运用有极大的借鉴意义.     

一种基于RBAC扩展模型的Web系统权限控制方法

结合Web系统对权限管理的需求特点,提出并设计了一种扩展RBAC的权限控制模型,在其中扩展了系统资源的管理功能,增加了除角色之外的用户直接授权能力,进行了独立通用的数据库设计,并以组件模块的形式实现了模型原型系统。通过在实践中的应用,能够有效地解决web系统中复杂的访问控制问题,取得了良好的效果。     

基于角色访问控制的权限管理系统改进与应用

对基于角色的访问控制模型进行了研究,对传统访问控制模型、基于角色的访问控制（RBAC）模型、角色管理模型ARBAC97进行了描述和分析。对RBAC模型进行范围扩展,通过引入角色范围的概念,以（用户,角色,范围）三元组来标识系统用户的权限,解决RBAC模型无法对资源实例进行权限控制的问题,也就是解决了系统用户拥有相同的角色,操作的数据范围可以不同。结合实际应用系统的需求,实现了权限管理系统。     

基于CTL的并发系统CSP模型验证

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.