摘要：Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。

摘要：针对目前离心泵剩余寿命缺乏预测模型和方法的问题,在推导离心泵寿命与运行参数关系的基础上,建立了基于无迹卡尔曼滤波方法的离心泵剩余寿命预测模型。假设离心泵寿命主要取决于叶轮和轴承磨损两个因素,通过理论推导得出离心泵使用寿命与扬程、功率和效率等的二次函数关系,并利用同类离心泵设备的退化数据拟合得到该函数关系,作为所建立预测模型中的状态方程。针对某一特定的离心泵,假设能够获取其实施运行参数,利用SVM方法对其历史数据进行学习预测,作为建立模型的观测方程,通过无迹卡尔曼滤波的方法实现离心泵性能退化的跟踪,可以对其剩余寿命进行预测。MATLAB仿真结果表明,建立的离心泵性能退化预测模型在可用数据充足时,能够较为准确地描述离心泵退化过程并对其剩余寿命进行预测。研究结果可为离心泵剩余寿命预测方法研究提供一定的借鉴。

摘要：本文分析了烟台恒邦泵业有限公司开发的YLG系列高温熔盐液下泵,介绍了整台泵的结构,采用了先进的轴承结构,有效的润滑方式,独特的迷宫密封型式,是抽送480℃以下的高温熔盐(硝盐、三聚氢胺、富马酸、高锰酸钾等)和高温导热油的专用特种泵。

摘要：面向不方便行动或无法发声的特殊人群的需求,脑控电话可以给他们提供方便。采用Emotiv-Epoc意念控制器头盔收集人的脑部信号,并将信号进行识别为拨号指令后,用无线信道把指令传递到手机端拨打电话或发送信息,具体设计了一键模式和数字模式两种编码拨号方式。脑控电话可以让特殊人群更容易的取得其他人的帮助,同时也可以方便普通人的生活。

摘要：主要提出了一套基于有限元分析的大型油罐外浮顶的评定方法,本评定方法包括了对浮顶结构的顶板、底板、隔板、边缘板、上、下弦杆及腹杆的强度和稳定性的评定。结合一台100000 m^3储罐外浮顶结构的有限元分析结果,详细说明了评定方法的使用方法,为浮顶的有限元分析设计提供参考。

摘要：随着嵌入式多媒体技术的日趋发展,越来越多的多媒体娱乐设施已经用于家用起居和娱乐场所。文中旨在提出和构建一个通用的、移植性强的、针对嵌入式系统上多媒体应用的文件系统来管理多媒体数据,提高数据的存取效率和存储设备的空间利用率,从而获得良好的视听效果。通过分析FAT文件系统的性能,以及比较在PC机和嵌入式系统上应用的优缺点,并结合多媒体数据本身的特殊性以及嵌入式的具体应用环境,对其进行改进,以实现优越的性能来适应嵌入式多媒体的应用。

摘要：通过分析网格的使用模式,设计实现了网格入口软件WebGrid。WebGrid的研究与实现围绕网格监控和任务调度展开,采用了基于遗传算法的任务调度算法。该算法采用资源-任务的间接编码方式,通过DAG图获取子任务的层次关系,并将子任务按照层次深度排序,解决了种群的非法问题。在单一资源上采用短任务优先和父结点优先两个原则来安排子任务的执行次序,避免出现任务堵塞的现象。

摘要：介绍了一种反应堆堆内测温元件电缆剪切工具结构设计的设计要求及特点,根据所剪切电缆的特性和人机工程学原理,提出了上、下运动与旋转运动相结合形成剪切动作的剪切结构方案,和对心曲柄滑块连杆机构结合杠杆机构作为本工具的力的放大装置的结构方案,并进行数学建模,基于模型运用插值法对典型工况进行计算,计算结果表明方案是合理可行的,且具有占用空间小、力臂放大系数大、操作省力和安全可靠的特点。

摘要：华龙一号反应堆探测器组件拆除过程中,首先需对待拆除探测器组件进行定位。本文首先提出探测器组件拆除过程中的定位要求,然后结合探测器组件拆除工艺对定位系统进行分析,提出全闭环视觉伺服定位方法,该方法定位精度高,满足拆除装置定位精度要求;同时可保证探测器组件在提升过程中偏斜角度较小,减少对机械密封接头的磨损。

摘要：燃料组件装卸是核电站反应堆换料检修的一项重要操作,浮动式核电站由于运行环境特殊,其装卸料定位精度要求更高。本文基于小位移旋量(SDT)的公差建模方法对浮动式核电站反应堆装卸料的导向定位误差进行了分析,采用刚体动力学坐标系变换的方法得到了装卸料定位误差的表达式;采用MATLAB程序进行了模拟计算。对海洋条件下反应堆装卸料的极限倾斜量进行了分析,给出了最大倾角与海浪参数的关系,对燃料组件导向间隙量等关键参数进行了优化,并将其结果与试验数据进行了比较,相符性较好。