【摘要】单调推理无法满足人们对客观世界的认知,为此提出了非单调推理。人们从外界获取的信念往往不总为真,当获取的新信念与原有信念集中的信念相矛盾时就会出现不一致,如何对信念集进行协调性维护是常识推理的关键问题之一。目前对不一致信念进行处理的主要方法是信念修正方法,其主要不足之处在于：有可能会丢失有用信念和产生多个结论难以选择。本论文对不一致信念的处理则采用信念非修正的极小模型方法,其基本思想是：允许 […]

【摘要】软件测试是软件开发过程中的一项耗时费力工作,其成本又主要受制于错误定位的时间花费。为此,程序故障(错误)定位技术的目的在于自动地、快速准确地定位程序中出现的错误。现在软件错误定位的方法虽然很多,但是由于软件编写及其失效的不确定性和复杂性他们不是对所有类型故障的定位效果都好。现在研究者们在实现其工具时都要实现错误定位的所有模块,包括程序的插装、测试脚本、结果显示等,而这些开发工作大都很相似。 […]

【摘要】随着国民经济的迅猛增长,水路交通在经济增长中发挥的作用越来越重要。但是由于某些区域的特殊性,需要在江河上方修筑桥梁,以适应该地区经济的发展。桥梁下方的通航船舶越来越多,这样就会导致船舶和桥梁发生碰撞的几率大大增加。船撞桥会导致船舶和桥梁受损,甚至导致桥梁坍塌、船舶沉没等事故,应该引起高度重视。近年来,国内外学者对船撞桥概率、机理以及设置船撞桥防护设施等方面的研究越来越多,但我国对船撞桥方面 […]

【摘要】由于具有货运量大、安全、经济的特点,水路运输一直以来都是国际贸易中最主要的运输方式。船舶数量的急剧增加以及各国对沿海、内河水域的深度开发和利用,限制水域高密度的交通流量和复杂的水域通航环境对船舶的航行安全产生了巨大的影响。为了保障水上交通安全和保护生态环境,本文对船舶系统工程中的环境因素进行研究,提出了限制水域通航环境安全动态评价指数的概念,并建立评价等级,以便船舶交通管理部门有针对性的采 […]

【摘要】近年来,随着江苏沿海经济的快速发展,大丰港货物吞吐量和到港船舶大幅增加,为满足港口生产运营的需求,拟对一号锚地进行扩容施工。扩容工程改变了港口原有通航环境,产生潜在安全隐患,为保证通航安全,保护水域环境,对大丰港锚地扩容工程进行通航安全评价。在对影响通航安全的因素的研究工作中,主要从工程状况、自然环境、港口环境、交通环境、港口管理等方面收集整理资料并进行分析。运用层次分析法对各影响因素进行 […]

【摘要】GMDSS全球海上遇险和安全系统,是《1979年国际海上搜寻救助公约》中最主要的通信系统。目前各大院校均采用GMDSS模拟器进行培训。随着STCW公约最新修订,对模拟器使用也提出了更高的要求。模拟器在模拟仿真程度上也越来越完善。但到目前为止还没有一套真正适合我国培训体系的基于GMDSS模拟器的自动评估系统。现在大多数院校还在使用传统的人工评估模式进行评估,这种评估方式存在着诸多弊端,例如受 […]

【摘要】委付是海上保险法中一项独特的内容,从古时发展至今,已逐渐走向成熟,得到普遍的确认和适用,在促进海上运输以及经济贸易往来方面发挥了极为重要的作用。世界上很多国家的相关法律法规均对委付作了规定,但各国的规定各有其特色。同时,很多国家之间相互借鉴委付的法律规定,委付的内容没有统一的标准。英美法系和大陆法系的学者对于委付的认识也大相径庭。很多国家对保险人接受委付后的相关法律问题规定的比较明确,而对 […]

【摘要】现在经济形势迅速发展的大好前提下,我国大力发展对外经济贸易,港口航运业发展迅速。这也预示着我国交通运输业的大力发展,对推动社会生产力的发展、促进物资与人员的流动,改善人民的生活及巩固国防均具有十分重要的作用。其水上运输业不仅仅是整个世界的贸易枢纽,也是国家内部资源的主要运输方式之一,所以说水上运输业也成为了发展国民经济的重要组成部分。以现有数据表明,我国港口运输行业,货物吞吐量急剧增加。而 […]

【摘要】著作权集体管理组织是著作权法保护体系中的重要组成部分,它的建立不仅大大的减少了交易成本、加快了交易速度、提高了著作权人和使用人所担心的安全性问题,还从侧面上起到了促进文化传播的作用。由于多方面的原因我国的集体管理组织制度成立较晚,跟发达国家相比存在较大的差距,但是通过国家大量财力、物力的投入以及对先进经验的学习,集体管理制度在我国取得了飞速发展,在越来越多的著作权侵权案件中起到维护权利人利 […]

【摘要】融资租赁最早起源于美国；我国的融资租赁始于20世纪80年代,近年来,取得了相当程度的发展。航运业作为一个技术与资本都高度密集的产业,其高度周期波动性的特质决定了航运业的发展需要金融资本的密切支持。而融资租赁作为一种通过短时间、低成本、特定程序把资金和设备紧密结合起来的资金融通手段,目前已成为仅次于贷款的第二大船舶融资方式。承租人在船舶融资租赁中作为需要融资的一方,是船舶融资租赁市场产生的根 […]