基于剩余蕴涵的模糊概念格构造方法

介绍了由下半连续三角模生成的剩余蕴涵．建立了关于模糊形式背景的模糊概念格，并讨论了其层次结构、由模糊集生成的模糊概念以及Wille算子的不动点．用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法．     

预应力混凝土斜拉桥调索设计新方法

综合分析了当前各主要调索方法的流程及利弊后,指出了分阶段施工的悬臂浇筑预应力混凝土斜拉桥内力状态无法逼近一次合理成桥状态,进而提出预应力混凝土悬臂浇筑斜拉桥可不进行合理成桥状态分析,直接考虑施工阶段进行正装调索设计的新理念。     

国外海洋结构物安全性评估技术

通过对国外海上结构物安全性评估模式、评估实例及评估动向的调研,探究国外在以海上石油/燃气作业平台、浮式机场以及浮式风力发电装置为对象的海洋结构物安全性评估理念、思路及方法。     

渤海海域建立特别敏感海域PSSA的思考

渤海拥有丰富的海洋资源,但随着经济建设的快速发展,渤海正承受前所未有的环境压力,严峻的环境污染不仅制约着环渤海经济的快速发展,也严重威胁人们的身体健康。如在渤海海域建立PSSA,对渤海海域环境综合整治以及生态恢复与保护具有极其重要的现实意义。     

列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。     

福州港闽江通海航道航行综合安全评估

以福州港船舶交通现状为基础,应用综合安全评估方法,分析福州港闽江通海航道水域船舶航行安全,提出相应的风险控制方案和决策性建议,以保障和提高福州港闽江通海航道船舶航行的安全性。     

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

形式逻辑与科技英语翻译

思维离不开逻辑,作为特殊思维活动的翻译更离不开逻辑.本文结合具体实例,从结构歧义句的翻译处理,概念等值以及语句逻辑关系等值等角度探讨了形式逻辑规律在科技英语翻译中的应用.     

船舶交通安全评价方法比较研究

对港口水上交通安全现状进行评估,采取针对性的安全措施是保障水上交通运输系统安全的前提,对国内外各种不同安全评价方法进行比较,着重地介绍规范化安全评估(FSA),以期能够更好地找出适合我国海运事业发展的方法,保障船舶的航行安全。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。