高温合金小直径棒材超声检测信号的余弦变换分析及识别

将离散余弦变换（DCT）用于直径为φ26mm的变形高温合金棒材超声检测信号的特征分析，提取缺陷回波的离散余弦变换幅度谱作为特征矢量，并对提取的特征利用人工神经网络进行训练和分类，实验和距离可分性测度计算结果表明，与离散傅里叶变换提取的谱类别特征相比，离散余弦变换使缺陷信号的谱类别特征有明显增强。     

试论电液伺服系统根结构与抗干扰的关系

本文就电液伺服系统PDFSV控制的根结构与系统抗干扰性能进行了分析和论证。并且以一台电液伺服实验台为对象，分析了参数变化对根结构的影响。对电液伺服系统PDFSV控制的抗干扰设计有一定的指导意义。     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

描述逻辑系统uεVN中概念的包含关系

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不舍数量限制的描述逻辑系统,该文研究的是描述逻辑系统μεVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制.利用定义μεVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件.     

发电机挡块组件有限元分析

为分析抽水蓄能发电机挡块组件的von Mises应力（以下简称应力）分布情况,在MSC Marc中建立有限元模型,分别采用截面法和渗透接触法对螺栓施加预紧力,通过对发电机挡块组件处于稳定转速、抽水启动、抽水停机、发电启动、发电停机和甩负荷等工况的非线性接触分析,得到各工况下该发电机挡块组件的应力分布.结果表明,2种螺栓预紧力的施加方法是等效的;各工况下最大应力均发生在螺栓圆角处;转速大小对应力分布起决定性作用.该结果可为抽水蓄能发电机挡块组件结构的分析设计提供参考.     

模态描述逻辑MALC模型的几个代数性质

本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。     

负梯度声速下特征声线与传播时间快速求解方法

求解特征声线最直接的方法是采用"扫描-插值-迭代"的声线跟踪法,过程较复杂,计算速度较慢。将负梯度声速环境下特征声线的起始掠射角表示为声速、海水深度、声源与接收点相对位置的方程,通过采用量子粒子群算法求解方程直接获得掠射角,进而确定特征声线和传播时间。与声线跟踪法相比,所提出的方法由于不存在数值累计误差和角度插值误差,因此精度更高,另外速度也更快,适合浅海负梯度环境下特征声线与传播时间的快速求解。     

基于HFO的混合制冷剂R514A在离心式冷水机组中直接替代R123制冷剂的试验研究

R514A是一种低GWP,不可燃、基于HFO-1336mzz(Z)的新一代制冷剂,其物性参数与R123接近。因此,本文选择R514A作为原R123离心式冷水机组的替代制冷剂开展试验研究。依据GB/T18430.1—2007规定的试验工况,针对直接充注R514A和原制冷剂R123的机组性能进行测试,对比研究R123和R514A在离心式冷水机组中的机组输入功率、制冷量、性能系数(COP)、压缩机吸/排气压力、压缩机排气温度,并计算综合部分负荷性能系数(IPLV)值。结果表明:在对原机组结构不做任何改动,仅更换机组润滑油的情况下,R514A机组与原R123机组相比压缩机吸/排气压力和排气温度较为接近,COP和IPLV性能略有提升。     

基于Lucene的全文检索系统的研究与实现

Lucene是一个优秀的开源全文搜索技术框架,Lucene全文检索技术是信息检索领域广泛使用的基本技术.它能非常方便地为各种应用程序加入全文索引和搜索功能,快速有效地索引企业累积的大量信息资源.文中阐述了建立全文检索系统的必要性,介绍了全文检索系统的概念并分析了Lucene的系统结构和实现机制,最后结合实际应用背景从系统设计、文挡抽取、索引的建立及执行检索等方面介绍了全文检索系统的实现过程.实践证明,该系统的查准率、查询速度等均达到了设计要求.     

例谈信息技术教学语言的有效性

苏霍姆林斯基曾说过：“教师的语言修养在极大程度上决定着课堂上的脑力劳动的效率”。教师在课堂上首先是靠语言向学生传递知识,如果教师的语言精炼、逻辑性强,学生的脑力劳动效率就会提高。反之,教师的语言模糊不清,甚至混乱,对于概念的解释不够明确,那么,其结果是令人痛苦的,