一种基于场景模型的安全性分析算法研究

为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术.传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错.本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性.通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性.与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑.     

安装在船舶上的磁罗经为什么需要校正

文章主要围绕磁罗经的指向原理、船舶磁性的变化及其对磁罗经的影响、船舶航行和磁罗经密不可分的关系进行阐述,一方面介绍了磁罗经的基本原理,另一方面说明了磁罗经在保证船舶安全航行的过程中所起的重要作用。     

地铁转向架构架运用载荷与疲劳损伤特征研究

地铁转向架构架在未达到服役寿命时,频繁出现疲劳裂纹,导致其疲劳可靠性不足。表明在一定程度上,构架采用的疲劳可靠性设计规范未能覆盖真实运营环境,有必要开展实际运营条件下的构架载荷、损伤研究。通过线路测试采集构架动载荷与动应力信号,分析构架载荷动态特性和损伤状况。结果表明,构架载荷与线路条件及列车运行状态密切相关,列车启停、站前站后短曲线线路等导致构架承受幅值较大、频次较高的动态载荷;主体载荷能量在10 Hz以内,电机吊座载荷存在51 Hz能量;曲线线路造成的疲劳损伤普遍大于直线线路;载客量对构架损伤有一定影响。研究结果对掌握在不同运行和线路工况下的地铁转向架构架动态载荷特征和疲劳损伤特性,并开展满足运用安全的抗疲劳优化改进具有重要的工程意义。     

两点系泊系统水动力性能分析

介绍两点系泊系统的组成和工作原理,并应用DNV船级社的SESAM软件,以渤中3-2油田两点系泊项目为例进行水动力性能分析,研究了风、浪、流等环境力方向对该系统运动位移和系泊缆张力的影响,得出了该系统适用于存在明显主流向的水域等结论.     

论创立中国环境公民诉讼制度

借鉴影响广泛的美国公民诉讼经验,提出并论证具有我国特色的环境公民诉讼制度.本文提出,中国的环境公民诉讼制度是一种既不同于一般的行政诉讼,又不同于信访和行政复议的新的监督行政行为的制度.它的目的是督促政府勤勉依法履行环境保护公共职能.它的特点是以法庭诉讼督促政府履行环保职能的手段,以60天诉前通知期为触发法庭诉讼的必要条件.它的创立将为我国公民、法人和其他组织有序参与环境管理提供一个崭新的法律渠道.     

绞吸挖泥船吹填管线泥沙分离施工工艺

肯尼亚拉姆港疏浚及吹填项目中吹填区须进行临时围埝施工。由于当地石料价格较高,陆地砂源少,因此只能通过大型绞吸挖泥船采用水下取砂的方式进行备砂。而施工区土质为黏土混砂,且含有大量贝壳,砂层较薄,取砂效率极低。为此,研制一种管线用滤砂装置,该装置可将砂与其他废土分离,并分别吹填至不同区域。该大型绞吸挖泥船黏土与砂混挖分离施工技术,解决了砂与黏土球及贝壳分离的难题,保证了砂袋充填砂的质量,提高了充填砂袋施工效率,大大降低了施工成本。     

混沌之中露熹微:2012年中国环境法学研究述评与展望

2012年,中国环境法学研究者们在环境法学基础理论、环境立法、国际环境法、比较环境法和外国环境法等方面进行了广泛的研究,成果丰硕.一些学者,特别是年轻学者,摈弃空谈,回归理论联系实际学风,对环境法制建设中的重大问题进行研究并取得可喜成果.研究者们更加注重在法学、政治学、经济学、伦理学的基本概念和基本原理的基础上发展环境法学,研究深度继续拓展,研究质量稳步提升.     

水底公路隧道安全方案及消防安全性能化设计

深入地探讨水底长大公路隧道安全体系的基本理念,通过具体的工程实例论述其消防性能化设计,从而使得隧道防灾体系的设计建立在科学基础之上,更加合理和高效。     

远距离输送砂浆充填砂袋施工技术

以肯尼亚拉姆港项目疏浚及吹填工程为例,针对临时围堰及引堤建设中陆地砂源与充砂袋施工区域距离远的问题,对远距离输送砂浆充填砂袋施工技术进行研究。创造性地提出通过优化泵机组合、合理设计远距离砂浆输送管线及适用于该管路系统的合流器及分流器,实现安全、高效的远距离输送砂浆充填砂袋施工。可减少船机设备的投入,降低施工成本,保障施工进度,取得良好的经济和社会效益。目前国内针对远距离输送砂浆充填砂袋施工技术尚无成熟的施工工艺,该技术的成功实施对类似工程有重要的参考意义。     

论环境权法定化在美国的冷遇及其原因

作为一种新型的由宪法或者法律明确承认和规定的公民基本权利,环境权在美国的宪法和法律中都没有得到明确的承认。美国国会未通过关于环境权的宪法修正案;虽然有五个州的宪法规定了环境权,但另外四十五个州的宪法没有此类规定;联邦法院和州法院判例普遍拒绝承认环境权。依据美国学者的分析,出现这种情况的原因主要有:美国政治过程中不存在从宪法和法律上创设环境权的基本结构缺陷;在宪法上确立环境权的主张有违法院的基本职责;环境权入宪提案在功能和"目标关系"上得到国会赞同的概率极低;环境权法定化建议未得到社会的广泛接受;环境权在司法实践中无法得到公平适用。美国环境法的这个历史经验值得重视。