Results 51 to 60 of about 1,146 (150)
Type system in programming language Gödel [PDF]
, 2005 中文摘要：Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种 新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Gödel 语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 英文摘要：Gödel is a declarative logic programming language.
晏松, 王炳波, 赵致琢
core
Gaoya dianqi, 1998 ZN28—10及ZN30—10型断路器均配用CD17型直流电磁操动机构。从1995年4月到1997年7月,对我局投运的78台CD17型电磁机构发生的事故和故障统计分析表明:CD17型电磁机构在调试中机械拒分和在解除运行时机械拒分占其事故（故障）率的90％以上。拒分类型为: （1）零部件之间机械卡滞造成机构拒分,这种类型占其故障率的80％; （2）辅助开关连板及辅助开关连杆长度调整不当,使辅助接点打不开或连板切换角度不够,分闸回路不通,引起拒分。这种类型占其故障率的15％左右;
刘腾
doaj
应用改进Hilbert-Huang变换下的Volterra模型诊断OLTC机械故障
Gaoya dianqi, 2020 为提高有载分接开关（OLTC）机械故障诊断的自适应性、特征分辨率以及识别效率,提出一种包含聚合经验模态分解（EEMD）分解和Hilbert边际谱分析的改进HHT方法,与混沌时间序列的Volterra模型相结合来提取OLTC的机械故障特征。具体应用时,首先对OLTC切换过程中的多通道振动信号进行EEMD分解得到固有模态函数（IMF）分量,然后应用Hilbert谱分析法求取各IMF的Hilbert边际谱。进一步,应用Volterra模型根据Hilbert边际谱构建Volterra特征矩阵 ...
高树国 +6 more
doaj
A Study for Fault-tolerant Control System of Submarine Based on AMESim and Simulink [PDF]
, 2017 潜艇，作为现代海洋军事力量的组成部分，是海军的主要舰艇种类之一，亦是各国海军实力的一个重要表现。潜艇作为主要于近水面进行战术任务的舰艇，其日常中的一般巡航以及其他作业状态下的水下航行模式也属于近水面航行。潜艇在近水面航行时，工作环境复杂且面临许多未知情况，如执行器故障、海浪干扰等等。同时，考虑到安全因素也需要对潜艇自身状态进行约束，所以在对潜艇设计控制器时应考虑执行器故障、海浪干扰以及状态约束。论文的主要研究内容与成果如下： 首先，研究了故障诊断、状态约束及自适应状态反馈容错控制的集成设计方法 ...
翁登程
core
Gaoya dianqi直流断路器是轨道交通直流牵引供电系统的核心保护设备，是直流供电系统安全运行的保证，确保其稳定运行至关重要。文中针对直流牵引断路器机械结构特点，进行了断路器机械故障模拟实验，选取分合闸线圈电流及振动信号作为监测物理量，研究其机械故障机理与特征提取方法。研制信号采集硬件装置，搭建直流断路器机械故障模拟实验平台，模拟6种常见的机械故障。采集不同故障下的线圈电流及振动信号进行特征提取后进行故障机理分析，为低压直流断路器机械故障诊断提供理论支撑。
叶奕君 +9 more
doaj
Gaoya dianqi, 2019 GIS具有优良的性能,被广泛应用于电力系统,在实际运行当中除了放电性故障所引起的事故外,也存在大量由机械故障所引起的事故,现行的检测手段多针对放电性故障,对机械性故障的检测与诊断较少。电压互感器（PT）是GIS设备中易于产生机械振动的设备,文中利用自行研制的GIS振动测试系统（GVTS）,对某110 kV变电站GIS的PT处进行了检测,并对测量结果进行了对比分析。结果表明,PT自身振动要强于其与相邻设备的连接处,PT中部振动最为强烈。文中的研究结果为现场检测GIS振动情况 ...
牛博 +5 more
doaj
The Research of Safety Management System (SMS) Construction in Civil Aviation Enterprise [PDF]
, 2009 民航企业建设安全管理体系（SMS）的需求来源于民航行业降低事故率，提高安全运行水平的要求，安全管理体系（SMS）采用科学、系统的方法进行安全管理。它在民航行业安全管理中占有重要的地位，如何结合国内航空企业的现状及特点，建立和完善与之相配套的安全管理体系，提高民航企业的安全管理水平，采取更为主动的安全管理模式降低事故率，是民航行业所面临的紧迫课题。 在本文中，作者以X航空公司为实际背景阐述了如何将项目管理理论和方法运用到SMS项目建设中。文中 ...
黄育鹏
core
Gaoya dianqi, 2019 气体绝缘全封闭组合电器（GIS）是电力系统中最重要的设备之一,机械故障是其主要故障类型之一,因此GIS机械故障诊断对于提高电力系统的安全性和可靠性具有十分重要的意义。传统的振动信号分析法是通过在GIS的壳体上测量振动来检测诸如触头异常等机械故障,但振动信号一般只进行个别位置测量,难以全面反映设备的机械状况。文中搭建了适用于GIS声场测量的声成像系统,使用具有方向性的声强探头组成阵列测量设备外壳的声场分布,试验验证了该系统的性能,为基于声学成像的GIS机械故障带电检测技术打好基础 ...
李秀广 +5 more
doaj
Gaoya dianqi, 2021 机械性能损坏是引起断路器故障的主导因素,因而针对断路器的机械故障诊断研究具有非常重要的理论价值与实际意义。为了实现对断路器机械故障的有效诊断,文中提出一种基于高斯径向基函数的识别分类算法。该算法将信号整个有效频段内的归一化能谱作为特征向量,其中每一个频率分量对应着一个特征维度,而且不再涉及时频域分割,所以无需考虑分割依据及合理性等问题,因此具有更强的适应性。另外,所构建的故障诊断系统具有参数修正优化功能,因此诊断准确率能够随着测试数据的不断增加而得到提高 ...
鲁敦科 +3 more
doaj
DIAGNOSIS of FLOW CONTROL VALVE USING WAVELET PACKET [PDF]
, 2011 提出了一种利用小波包检测调速阀故障信号的方法。通过小波的小波包分析将信号按一定的尺度进行划分,不同频率的信号被划分到不同的频段中。由经过预处理的信号经过小波包分解与重构后,可以得到小波包重构图,由图中可以获得故障产生的时间点和频率,再对故障的严重程度进行了量化分析。实验结果表明用小波包理论进行故障检测是可行的。We propose the method of flow control valve fault diagnosis employing wavelet packet analysis.We ...
吴为民, 吴文兵
core