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

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

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

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

决策树方法在船舶综合安全评估中的应用

将决策树方法应用于综合安全评估中人的可靠性分析，从而定量处理与分析因为人为因素而产生的概率，并估计错误对系统的影响，以船舶驾驶员安全航行说明了应用的可行性。     

舰载作战指挥系统软件体系结构设计技术初探

软件体系结构是软件系统的顶层设计内容，在用户需求与系统实现之间提供一个重要的桥梁。其目的是保证软件的质量，提高软件的可靠性、可重用性和可维护性。以舰载作战指挥系统为应用对象，分析了软件体系结构分析与设计技术、形式化描述技术以及具体的实现技术，最后给出了一个简单的实例。     

基于XML的时间自动机状态可达性分析在RBC子系统中的应用

时间自动机中的状态可达性分析是模型建立完成之后的一个重要验证工作,大多数时间自动机建模工具均为非开源代码,不能与实际系统进行有机的结合.本文以CTCS-3中的无线闭塞中心(RBC)[1]为实际系统,提出基于XML的时间自动机状态可达性分析[2],实现了建模工具与实际测试平台不同开发环境下的数据交互,为完善整个测试平台在理论方法与实际应用相结合方面提出一个较为可行的方法.     

比较教育视角下的中国外语教育

从比较教育的角度出发,分析异国的外语教育所取得的成果,反思我国的外语教育出现的问题,提出我国的外语教育应借鉴其他国家的先进经验,根据具体国情制定符合我国经济社会发展的外语教育政策,并依据地域、经济发展特征进行多语种教学。     

为历史编撰"立法"与《元史学》

《元史学》是美国著名历史哲学家海登.怀特唯一的专著。在《元史学》中,怀特为历史作品设置了一个理想框架,力图为历史编撰立法。历史编撰者运用比喻进行历史深层的诗性预构,历史作品所表现出的情节化解释、形式论证式解释、意识形态式解释缺一不可;历史中阶段和类型划分也有统一的范式。19世纪不同路数的众多历史学家和历史哲学家都包含在他的法当中。我们要辩证地看待怀特为历史编撰所立之法。     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

形式逻辑与科技英语翻译

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

形式化方法在CAD软件开发中的应用

针对设计问题的特点,将以数学为基础的形式化方法应用于CAD软件开发中,分层次形式化表达CAD系统。可以沟通用户、系统分析员、程序员以及测试工程师之间对系统的理解,达成共识。尽可能在初期发现系统的问题。为CAD软件开发者提供了排除错误、保证可靠性的有效途径。同时为软件模块的重复利用提供了可能性。