液货船综合安全评估专家系统模型

针对当前石油公司在液货船安全检查和准入审查中存在的非定量、非智能评估问题,引入人工智能技术构建液货船综合安全评估(formal safety assessment, FSA)专家系统模型。该模型将FSA方法与专家系统进行组合,前者通过风险识别、风险衡准和风险量化,解决报告的非定量评估和审查的主观性问题;后者引入K最近邻算法、加权赋值算法等解决审查评估的非智能化和效率低的问题。选取官方案例进行模型检验,其结果表明提出的模型能有效地帮助石油公司实现船舶准入审查的定量化、智能化,并能显著提高审查效率,降低人工评估的主观性影响。     

船舶碰撞事故原因关联性分析

为避免或减少船舶碰撞事故,对船舶碰撞事故原因进行进一步分析。以船舶碰撞事故海事调查报告给出的原因作为研究对象,采用解释结构模型(interpretative structural model, ISM)和层次分析法(analytic hierarchy progress, AHP)构建船舶碰撞影响因素多层次结构图,探究同一层次及不同层次各因素之间的关系。用AHP确定各直接影响因素的相对重要性,结果表明:最低配员要求、船舶设备、能见度、航道或航区等因素对船舶碰撞事故的影响突出。     

MAPGIS在县(市)级土地利用现状数据库建设中的应用

县(市)级土地利用数据库的建设,是"数字国土工程"中基础数据库的重要组成部分。本文简要介绍了基于MAPGIS在县(市)级土地利用现状数据库建设的工作流程。     

基于互联网的运动干预项目对大学生体质健康影响的实验研究

运用文献资料、教学实验、数理统计等方法,揭示微信平台和移动健身运用(APP)对大学生体质健康水平的影响及其作用机制。结果:1)实验组实验后体质健康各项指标(身高体重除外)均有显著的提升(P<0.05),对照组各指标也均有上升趋势,但无统计学意义(P>0.05);2)实验组实验后各项指标(身高体重除外)显著高于对照组(P<0.05)。结论:1)基于互联网的线上运动干预项目可以有效促进大学生的体质健康水平,可以作为大学生体育锻炼习惯养成及体质健康促进的有效手段;2)线上运动干预项目促进大学生体质健康的作用机制是通过目标设定,自我监测行为,个性化定制与指导,社会互动等强化因素作用的结果。     

一种基于服务质量的网格服务发现机制

网格服务体系结构的出现对网格服务发现提出了挑战,UDDI上基于关键词和简单分类的服务发现机制已经不能很好满足需要.本文在分析现有相关研究的基础上,提出了基于服务质量的网格服务发现机制,引入服务质量相似度的概念,为网格服务发现提供了一种有效可行的方法.     

趋势与前景:新世纪师范教育发展探寻

新世纪的中国师范教育将在以下方面出现新发展、新变化 :减少办学层次、开放培养体系、完善课程结构、促进一体化教育、提高专业化水平、掌握信息技术、加强高师教师队伍建设     

EBF网络特征映射和恢复及其在鲁棒话者识别中的应用

The performance of speaker verification systems is often compromised under real-world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a novel method to overcome this problem by using a non-linear handset mapper. Under this method, a mapper is constructed by training an elliptical basis function network using distorted speech features as inputs and the corresponding clean features as the desired outputs. During feature recuperation, clean features are recovered by feeding the distorted features to the feature mapper. The recovered features are then presented to a speaker model as if they were derived from clean speech. Experimental evaluations based on 258 speakers of the TIMIT and NTIMIT corpuses suggest that the feature mappers improve the verification performance remarkably.     

动态车辆调度系统的滚动时域调度算法

提出了一类特殊的动态车辆调度问题--动态独占性带时间窗口装卸货问题.给出了问题的数学描述,分析了其静态性质,并把问题简化为不对称带时间窗口旅行商问题.提出了求解该动态问题的滚动时域调度算法,通过时域的不断滚动,不仅可以跟踪问题的动态变化,还由于每次滚动只对部分客户进行处理,可以减少问题的求解时间.并分析了算法的3个要素:当前客户窗口、当前客户窗口的调度和滚动策略.测试结果验证了算法在求解动态车辆调度问题中的有效性.     

一类超二次Hamilton系统的周期解的存在性

运用临界点理论中的极小、极大方法得到一类超二次哈密顿系统的周期解的存在性的存在性定理.     

Physical design method of MPSoC

Floorplan, clock network and power plan are crucial steps in deep sub-micron system-on-chip design. A novel di- agonal floorplan is integrated to enhance the data sharing between different cores in system-on-chip. Custom clock network con- taining hand-adjusted buffers and variable routing rules is constructed to realize balanced synchronization. Effective power plan considering both IR drop and electromigration achieves high utilization and maintains power integrity in our MediaSoC. Using such methods, deep sub-micron design challenges are managed under a fast prototyping methodology, which greatly shortens the design cycle.