规范化安全评估与港口船舶交通安全

港口船舶交通是海上交通运输系统的一个子系统。该系统所具有的危险性，可能造成的损失，人们可接受的风险值究竟如何，所有这些都依赖于有效和合理的安全评价。规范化安全评估(FSA)是近年来国外已在不断推广应用的一种安全评估方法。在简要介绍FSA特点与实施步骤的基础上，文中根据港口船舶交通安全评估的实际情况与需要，采用人工神经网络的方法对港口船舶交通系统的模型和技术路线进行了论述，并就相应人为因素的研究提出一些建议，以改进港口船舶交通安全工作和提高其安全水平。     

Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.     

规范化安全评估(FSA)在上海港船舶引航安全工作中的应用

规范化安全评估(FormalSafetyAssessment,简称FSA)是一种先进的结构化和系统性的综合安全评估方法,近年来在国外一些发达的海运国家得到了积极地推广和应用。简要介绍"FSA在上海港船舶引航安全工作中的应用"的研究情况,并根据研究的结果就改进和完善上海港船舶安全引航工作提出了一些相应的风险控制方案和决策性建议。     

船舶机舱综合安全评估模式探讨

船舶机舱综合安全评估(FSA)是通过规范化的评估步骤,提出合理的并能有效控制风险的建议与措施,从而改进船舶运行的安全水平。在对FSA要素的全面分析以及社会调研的基础上,提出评估指标的建立、权重系数的计算、评估模型选择等问题的解决新模式,并讨论了这一模式在船舶机舱设备安全评估中的应用与实现过程。最后基于FSA模型得到一种机舱安全等级划分的方法。     

论海事行政许可中对申请人提交材料的审查原则

文中通过在海事行政许可中对申请人提交的申请材料的审查所产生的问题，论述海事行政许可应当确立形式审查为主，实质审查为辅的审查原则。     

基于FSA方法的秦皇岛港通航环境评估

文中通过FSA方法,分析构成海事事故的危险因素,提出实际有效的风险控制措施,基于有效性和经济性评估风险控制方案,从而得到最后的选择结果,完成本次基于FSA的秦皇岛港通航安全的研究。     

散装货船模糊综合安全性评估的实现方法(二) --船员因素的组成与作用分析

文章继续对散装货船模型综合安全性评估方法中船员因素的组成、结构及包中内容与作用,进行了较为详细的分析与讨论,目的是通过模糊量化的方法,说明散货船的安全必瑟船员系统安全因素的关系。文章并用事例说明了该方法对散货船综合安全性主送的科学恶性循环与客观性。     

沿海水上交通安全的风险评估研究

船舶水上交通安全的有效监管一直是业内研究人员十分重视的研究课题。近年来,风险管理的理念使得事故后的安全管理朝向事故发生前的风险评估。结合福建沿海水上交通近7年来的实际情况,运用综合安全评估方法(FSA,Formal Safety Assessment),在对沿海水上交通安全的现状与未来特点分析的基础上,经风险矩阵计算,得出沿海水上交通风险定量化特征。然后,提出基于协同模式的风险控制方案、网格化管理、长效机制等方面的水上交通风险动态管理的体系与机制,内容涵盖了危险源分析、风险评估、危机预警与风险干预、应急救援、安全监督与管理等。     

形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

综合安全评估方法在船舶安全规则制定中的应用及对规范发展的影响

介绍了综合安全评估的概念和特点,通过分析现人体规定区规范与基于风险的目标设定式规范,阐述了ＦＳＡ技术的应用发展趋势及其对船舶规范发展的影响。