Results 51 to 60 of about 1,454 (195)
Type system in programming language Gödel [PDF]
中文摘要:Gödel 语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种 新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gödel 语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 英文摘要:Gödel is a declarative logic programming language.
晏松, 王炳波, 赵致琢
core
Deep residual shrinkage adaptive network-based cloud-edge-end collaborative fault diagnosis method for propulsion shafting system [PDF]
ObjectivesAiming at problems including the fact that the fault diagnosis model of propulsion shafting systems under variable working conditions has poor generalization and cannot learn autonomously, and that the performance of the model is relatively ...
Chong CHEN +4 more
core +1 more source
分析断路器的机械振动信号的特性,针对采用单一性质故障特征难以实现整个故障状态空间上准确诊断的局限性,提出了一种基于改进的距离评估技术和多类支持向量机相结合的诊断高压断路器机械故障的方法,该方法由3部分构成:首先从高压断路器机械振动信号中提取时域统计特征、频域统计特征、经验模态分解能量熵及小波包能量特征信息;接着采用改进的距离评估技术从原始特征集合中选取最优特征,实现对原始特征空间的降维处理;最后选取的最优特征量作为"次序二叉树"策略方式的多类支持向量机的输入向量,实现对断路器3种机械故障模式的识别 ...
黄建
doaj
Fault diagnosis of ship motor bearings based on multi-domain information fusion and improved ELM [PDF]
ObjectivesAiming at the problems that the symptom parameters from monitoring signals in a single analysis domain fail to fully characterize the operating state of the monitored object, and the model parameters of the Extreme Learning Machine (ELM ...
Chun GE +3 more
core +1 more source
Fault diagnosis of hydraulic valve based on capacity dimension of AR power spectrum [PDF]
减压阀在液压系统中很容易发生故障,对减压阀进行故障诊断对于机械系统的维护有着重要意义。该文首先利用Ar模获取减压阀振动时的正常信号和故障信号的Ar功率谱,根据功率谱所呈现出的自相似性,分别计算了每组数据的容量维数,并由计算结果对液压系统减压阀进行故障诊断,取得了良好效果。The relief valve is easy to break down in hydraulic systems.The fault diagnosis of the relief valve is significant for
吴文兵, 黄宜坚
core
Fault diagnosis method of rolling bearing of mine main fan based on transfer learning [PDF]
The condition monitoring and fault diagnosis of the rolling bearings of the main fan in the mine are significant to the safety of coal mine production. The existing fault diagnosis methods of rolling bearing have the problems of insufficient training and
Guoying MENG, Wei CUI, Xingwei WAN
core +1 more source
为克服传统的基线模型算法(如BP神经网络算法)存在的泛化能力不高、鲁棒性差且容易陷入局部最优解等缺点,构建了基于堆叠降噪自动编码器(SDAE)的航空发动机燃油流量基线模型,利用民航发动机的真实飞行数据对基线模型进行训练与验证,并与基于BP神经网络的基线模型进行对比分析。结果表明:基于SDAE的燃油流量基线模型具有更高的精度和更强的鲁棒性。中央高校基本科研业务项目(20720180120 ...
卿新林 +4 more
core +1 more source
Application of three-order diagonal cumulants in fault diagnosis [PDF]
三阶累量能有效去除高斯噪声,而且其对角累量能有效保持信号特征,由其产生的1(1/2)维谱可以显示信号的二次相位耦合信息。实验中通过计算故障信号和正常信号的三阶对角累量信息,然后利用这些信息进行具体的故障判别。实验结果取得了令人满意的效果。Three-order cumulant can eliminate the Gaussian background noise and keep signals features effectively.The 1(1/2) dimensional spectrum ...
吴文兵, 黄宜坚
core
研究了基于高压断路器振动信号的分析对断路器的机械故障进行诊断的方法,其中对振动信号的分析采用小波分析。研究表明,小波分析在断路器机械振动信号的分析中优于传统的Fourier分析,并在机械故障诊断方面有显著的效果。
张伟政, 杨兰均, 张文元
doaj

