基于扩展命题模态逻辑的决策信息系统表示

针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关...     

基于遗传算子的粒子群算法在战场频率分配中的应用

为了对战场频率进行分配,提出了一种基于遗传算子的粒子群分配算法。首先介绍了基于干扰最小的频率分配数学模型,然后提出了基于遗传算子的粒子群分配算法,仿真实验表明了模型及算法的可行性。     

自主式水下机器人最优路径规划问题的研究

路径规划是水下机器人实现自主航行的重要环节。根据自主式水下机器人的动力学性质，路径规划的特点以及实现智能行为的要求，采用基于案例的遗传算法，实现了自主式水下机器人最优路径规划。给出该方案的基本框架和算法，在基于案例类比的学习方法中引入模糊多属性综合决策的方法建立决策算子进行案例的匹配，在遗传算法中实际知识的指导，适当地改进遗传算子，加快搜索速度。仿真结果证明该路径规划方法能够取得较好的规划结果，使自主式水下机器人具有了一定的自主导航，自主避障和自主作业的能力。     

大范围环境下自主式水下潜器两种全局路径规划方法的研究

应用遗传算法(GA)和A·算法对自主式水下潜器(简称AUV)在大范围海洋环境中的全局路径规划问题进行了研究.介绍了基于栅格的环境模型及其数据结构,讨论了GA的染色体编码方式、基于知识的初始种群生成方法与适应度函数,基于领域知识设计了五种遗传算子,给出了A·算法的具体实现方法.通过仿真结果可以看出:GA采用可变长编码方式使路径描述简单、清晰,具有收敛速度快、求解实际问题效率高的特点;A*算法可在较短时间内求得相对栅格优化的路径.两种算法均可满足系统实时性要求.     

亚洲舞毒蛾(AGM)防范的要求与安全措施

<正>0引言北美地区对亚洲舞毒蛾(AGM)的防控手段越来越严厉,抵达北美地区港口的船舶被检查出感染AGM的消息接连不断。一经发现船舶存在AGM,美国海岸警卫队会立即与美国海关及边境保卫局联合签发港务长命令,勒令船舶离港驶回公海进行处理或接受熏蒸,导致船舶中断营运。为确保船舶清除AGM工作顺利通过,避免多次处理未果而再次被拒绝入港耽搁船期,许多船舶所有人除要求船员全力除蛾外,还聘请当地港口主管机关认     

基于OWL的制造业知识本体构建研究

如何描述制造企业逻辑模型是当前企业信息化实现过程中亟待解决的关键问题．文中以本体论为理论依据,以制造业物资管理子领域为研究背景,在分析其业务流程的基础之上,采用OWL（Ontology Web Language）本体描述语言,完成了领域概念抽取、OWL描述及约束公理定义,构建出物资管理子领域知识本体模型,进而提出了基于OWL构建制造业知识本体的方法．     

基于分数阶算子灰色理论隧道围岩变形预测

采用新奥法开挖隧道时围岩应力产生重分布,对隧道围岩的变形进行监控量测是必不可少的内容。这些数据也影响着接下来的工况实施,需要对现场监控数据进行有效的处理才可以有效预测。为了避开一些复杂的地质因素、围岩力学效应等较难确定的因素,采用分数阶算子灰色理论进行数据处理。介绍了分数阶算子灰色理论的基本原理与操作步骤,基于传统的GM(1,1)模型,引入分数阶精确调节累加数的数量级,以此建立分数阶算子灰色预测模型。以工程实例为研究背景,对不同模型下隧道围岩位移的预测结果进行对比分析,结果表明,分数阶算子灰色预测模型优于经典GM(1,1)模型,其模拟精度有明显的提高,能满足实际工程的需求。     

基于改进NSGA-Ⅲ的船舶路径规划方法

针对船舶路径规划过程中存在多个目标的问题,将船舶路径规划转化为多目标优化问题,提出一种基于改进NSGA-Ⅲ的船舶路径规划方法。研究建立以船舶航路安全性、平滑度及航程为优化目标的数学模型,并设计改进NSGA-Ⅲ求解模型。在种群初始化过程中,引入一种基于有向无环图的种群初始化方法。在种群进化过程中,引入安全算子、平滑算子、最短路径算子及快速修复算子以提高算法收敛速度。试验结果表明,基于改进NSGA-Ⅲ的船舶路径规划方法提高了规划效率,能够得到较好的规划结果。     

基于属性优先级的空中目标威胁评估模型

研究了水面舰艇编队防空作战威胁评估问题。首先介绍了直觉模糊集以及具有优先级的直觉模糊有序加权平均(IFHPOWA)算子的基本概念。在分析了防空作战威胁评估问题的特点与要求的基础上,建立了基于IFHPOWA算子的水面舰艇编队防空作战威胁评估变权模型。最后用1个实例对模型进行了检验。     

格值命题逻辑推理

本文给出了三类格值蕴涵算子公式，并以α→β=V｛x∈L|xa≤β｝作为a蕴涵β的公式给出了格值命题逻辑推理的一些良好结论。     

学分制下高校重修制度管理模式的探讨

重修制是学分制条件下教学活动的重要环节,如何提高重修课的教学质量成为目前教学管理部门的一项重要课题。本文从重修时间、考试考核体系等方面提出了重修课教学存在的问题,并从管理、教师、重修方式等五个方面提出了解决措施。     

搞好港口资源整合促进行业发展壮大

介绍了我国港口资源的整合现状,指出港口整合可以提升港口的形象和地位,也为区域经济和城市的发展注入强大的动力。最后指出在港口资源整合中要避免的几个问题。     

对影响工程质量的质保体系的分析

本文从影响工程质量的几个主要方面作了分析和调查,对项目建设过程中四个参建主体在建设市场角色中存在的问题的进行指正,同时针对问题提出了整改措施和自己的展望。     

如何在施工中运用索赔的技巧

从原则上说,承包商有索赔权利的工程成本增加,都是可以索赔的费用。但是,对于不同原因引起的索赔,承包商可索赔的具体费用内容是不完全一样的。哪些内容可索赔,要按照各项费用的特点、条件进行分析论证。     

谈船舶超载的成因及对策

在水上运输过程中,因船舶超载运输而导致的沉船事故时有发生。如何遏制船舶超载,维护航行秩序,是水上安全监督工作的热点、难点。本文拟就结合在实际工作中的一些做法及体会,探讨船舶超载的成因及对策。     

宁波船舶工业:机遇与对策

通过对走锚船的受力分析,得到走锚船走锚时的运动轨迹。这对驾引人员在对船舶安全控制和港口管理人员对港口水工建筑物的安全管理方面有着积极的参考价值。     

浅谈宪法保护知情权的意义

对公民知情权和宪法确认,有利于维护公民的切身权益,是建立现代法治国家的基石,是构建社会主义民主制度的必然。     

大桥悬臂施工中挂篮的设计与应用研究

根据挂篮的特点,设计了具体工程的施工挂篮,并对挂篮在施工中的应用进行了研究,得到了相关的参考数据,指导具体施工。     

浅谈船舶碰撞的概念及其法律适用原则

船舶碰撞(Collision between Vessels)是指海上运输中发生的非正常事件,直接威胁海上运输的安全.自19世纪蒸汽机钢质船问世之后,船舶碰撞更加引起人们的注意.本篇将重点讨论船舶碰撞的概念及其法律适用原则这两个方面.     

论船舶融资租赁出租人特殊风险之防范——以对租赁物的强制措施为视角

海商法关于船舶优先权、船舶留置权的规定使船舶融资租赁人面临由于船舶特有法律制度带来的特殊风险,为防范此类风险,应该从对租赁物——船舶采取的一般民事保全措施或海事请求强制措施的角度入手,对于采用何种措施,实践界和理论界并无定论,争论比较大的法律问题便是"当事人是否可以申请对自己名下的船舶采用强制措施",本文指出:船舶融资租赁出租人可将租赁物作为财产保全请求或者海事保全请求的担保财产请求法院扣押相关证书,防止租赁物被拍卖变更产权的风险。