基于深度自编码模型和马氏距离的起重机泵健康评估

为准确、可靠、有效地进行起重机泵健康评估,通过对多台不同使用年限的起重机进行试验,获取起重机实际运行时的泵信号,采用深度自编码模型(DAE)与马氏距离(MD)结合的方式,揭示泵性能退化和评估健康状况,对比统计特征、EMD、MLP、CNN等特征学习方法,表明该方法具有良好的性能.     

基于案例推理的测试序列生成方法研究

鉴于测试序列生成专家系统知识获取困难以及知识库维护不易等问题,本文提出从案例推理技术的新角度研究CTCS-3级列控系统测试序列的生成.设计了测试序列案例推理流程;提取了现场测试序列特征属性并构建了案例的框架表示结构;为实现案例检索,设计了属性相似度计算方法、确定案例属性权重的层次分析法、案例间相似度计算方法和案例检索过程;给出一个测试序列生成的具体流程.基于案例推理的研究方法为CTCS-3级列控系统测试序列的生成提供了一个新的思路.     

软件需求复杂性度量与有效性检验方法

软件需求陈述是影响软件设计和实现的关键因素，对需求陈述质量的度量长期依赖于专家定性的经验判断，容易造成疏漏，难以找出需求陈述的问题和改进要求。以面向对象的分析方法为基础，在需求陈述模板下，定义了需求陈述准确性、一致性、完整性、稳定性和复杂性定量度量公式，提出了软件需求阶段的复杂性定量度量和需求陈述有效性检验方法。通过有效性和复杂性指标分析，表明该方法可用于发现需求陈述中的遗漏和缺陷、对需求空间变更的代价进行估计和指导软件适应性设计。     

一类新的参数估计信息损失度量

１９６５年，Ｃ．Ｒ．Ｒａｏ给出了参数估计中运用简单最小二乘估计而不蒙受任何信息损失的条件，见文［１］，但在实际中它是很难满足的。文［２］给出了一种信息损失度量。本文借助于文［３］建议的一个结果，讨论了另一类信息损失度量，并指出了文［３］的结果实际上是一类新的Ｋａｎｔｏｒｏｖｉｃｙｈ不等式，最后本文建立了比文［３］的结果更一般的不等式（１４）。     

概率赋范线性空间的概率有界性讨论

证明了M-PN空间（E，ξ，T）中E不可能是概率有界集，只可能是概率半有界集或无界集这两种情况；存在M-PM空间（E，ξ，T），其E是概率有界集。     

基于上下文的Android移动终端可信运行控制系统的设计与实现

Android手机、平板电脑等智能移动终端的快速普及,使得对Android系统安全性能的需求也在不断提高.当前比较普遍的做法是在终端上安装监控软件来检测病毒和恶意软件等,但这种方式并不能保证监控软件不被旁路、欺骗和篡改.针对这个问题,本文设计并实现了基于上下文的Android移动终端可信运行控制系统,通过对Android OS安全启动信任链的构建,保证了系统的安全,同时支持基于地理位置的Android应用程序的完整性远程验证.     

道路交通标志信息过载阈值研究

从信息论和驾驶员视认心理角度,提出交通标志信息量的度量标准,通过实验的方法获得交通标志信息过载阈值;根据信息过载的属性,分为信息数量过载和信息质量过载,建立路段交通标志信息量过载阈值计算数学模型,计算出不同速度对应的路段交通标志信息量数量过载阈值及其建议阈值;以西安绕城高速公路的标志设计为实例,为设计、管理人员提供可参考的道路交通标志信息过载阈值建议值.     

基于有趣地点压缩的时空轨迹聚类

研究移动物体时空轨迹局部关键地点时空相似的聚类问题.根据移动物体的运动状态提取轨迹中的有趣地点,利用最小包围盒技术对这些有趣地点进行描述,得到基于有趣地点压缩的轨迹表示形式;然后给出一个时空属性相结合的相似性度量公式,对压缩表示的轨迹进行相似性度量;基于这个相似性度量公式对轨迹进行聚类,聚类方法采用层次聚类法.实验结果表明,本文提出的方法能有效地对移动物体时空轨迹进行聚类,由于采用了增量式的轨迹压缩方法,不仅提高了聚类的速度,而且还实现了增量式的轨迹聚类.     

基于谱分析与RC梁桥检验的脉冲型近场地震动强度度量指标

近场地震动和远离震源地区的地震地面运动存在显著区别,速度脉冲是其造成巨大震害后果的主要因素之一,有必要深入研究近场速度脉冲破坏能力的合理度量指标。在既有脉冲模拟模型的基础上,引入一种采用三角函数叠加不同比例高频分量的速度脉冲模拟模型,考虑地震下结构的累积能量和瞬时能量需求,以强度和能量为指标,对近断层地震的速度脉冲效应进行单自由度(SDOF)体系的谱分析,对不同脉冲参数下结构地震响应的影响程度进行定量对比。结果表明:同类脉冲下,累积输入能量受高频地震分量影响明显,而瞬时输入能量则主要取决于速度脉冲的自有强度,脉冲持时与结构自振周期之比、脉冲峰值是决定结构地震响应的最主要因素,从而构建表征速度脉冲强度的度量指标,并采用14条包含典型脉冲的近场地震记录为输入,以一座五跨连续梁桥为算例验证该指标的合理性。