“互联网+”在乌弄龙、里底水电工程安全管理中的应用

实施互联网保障安全,是水电工程建设项目顺利推进的必要选择。人的不安全行为、物的不安全状态是指由于生产过程中使用的物质、能量等的客观存在而可能导致事故和伤害发生的状态,所以说物的不安全状态是事故发生的根源,如果没有物的安全状态存在,则人的行为也就无所谓安全了。     

深圳盐田区混合性居住街区更新探索

混合性居住街区是深圳近年来自发形成的独特的居住空间模式.深圳盐田区混合性居住街区的更新应以居住者对多层次公共空间的需求为前提,以空间的结构层次为线索,保留原有街区格局,进行局部改建.     

土地权利与多元文化的空间叙事——2019 芝加哥建筑双年展综述与思考

本文通过现场调研与资料查阅,对北美地区规模最大的建筑双年展——2019芝加哥建筑双年展的背景、主题、 内容加以梳理,并结合访谈、文章、出版物等引出背景和主题,分析芝加哥建筑双年展举办的目标与意义。文章 指出本届双年展的主题在于强调土地权利、多元文化对于建筑与城市空间的塑造作用,双年展对于“空间”的理 解更接近于“社会空间”,进而通过分析其相对于国内双年展的差异,探讨其值得国内学科关注、反思和借鉴之处。     

Quine和自修复式程序生成算法研究与实现

论文提出了一种基于不动点定理和Quine的建立自修复式程序的算法。首先证明了Quine的存在性和生成算法的正确性,并且针对C语言提出了变换任何程序代码为Quine化的算法。然后,给出了利用Quine化技术建立自修复式程序的方法,最后讨论了用Quine化技术抑制软件病毒传播及其实用性。     

安全生产标准化在水电工程建设中的实践与应用

安全生产标准化是指通过建立健全全员安全生产责任制,制定完善的安全管理制度和操作规程,做好隐患排查治理及反违章工作,建立可靠的预防机制,建立良好的作业行为习惯,建设施工各环节符合相应的法律法规要求,切断事故链条,不断改善施工环境,提升现场安全管理水平。水电工程项目规模宏大,安全风险大,所以整体的安全管理存在极大的难度。乌弄龙、里底电站经过多年的实践,有效将安全标准化融入到班组安全行为建设中,切实提升了安全管理水平,圆满实现了工程建设的安全目标。     

景洪工程安全文明施工设施标准化的实践

如果水电工程施工承包商存安全方面的投入不足,安全防护设施不到位,就会存在安全设施本质安全问题.景洪水电站在工程建设过程中推行了安全文明施工设施标准化工作.通过几年的实践,不断总结,为安全生产管理工作提供了新的思路,为水电站安全文明施工管理提供了可借鉴的经验.     

内核同步对象异常处理健壮性测试

提出了一种新的评价程序健壮性的指标——内核同步对象异常处理健壮性，描述了在Win32平台下利用软件缺陷注入技术进行这种健壮性测试的方法，并且在实际测试环境下对一些广泛使用的软件进行了测试，结果显示，这些软件在处理内核同步对象异常时存在着不同程度的不完善。     

子洲气田山_2~3段富水区水化学特征研究

油气田地层水与油气伴存,不仅可以改变油气性质,自身在与岩石反应过程中也在不断变化,其形成反映了油气形成、演化的总过程。钠钙系数、碱交换指数等常用的地层水化学特征参数,是判断气藏保存条件的重要参数。本文以这几类水化学参数对子洲气田的山23段气藏保存条件进行了分析,不仅论证了山23段地层水浓度大,具有沉积水漫长水岩作用,深循环、径流停滞或交替缓慢、浓度浓缩、正变质特征,还从水化学的角度论证了在本层的三块富水区不具有相互连通性。     

基于Model Checking的系统脆弱性分析

基于规则的脆弱性分析技术依赖于对系统组件间关系的经验知识,系统复杂性、竞态条件、隐含假设等因素,使规则的生成异常困难。该文提出了采用NuSMV作为Model Checkjng执行机验证系统安全行为模型的脆弱性分析方法。并详细描述了对两个模型实例进行验证的过程。结果显示,这种方法具有识别已知和未知脆弱性的能力。