构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

保持空间准确度与时间一致性的深度估计算法

为提高深度图的准确度,提出了一种基于图割的深度估计算法. 利用平均亮度 梯度联合匹配测度函数代替单像素亮度匹配,并考虑邻近像素深度相关性改变图割网络结构,提高深度估计的空间准确度;采用前一时刻同位置像素的深度约束当前时刻像素的深度值,使估计的深度图在时间上保持一致. 提出的算法考虑了深度图的空间、时间特征,可以提高深度图的准确度. 实验结果表明,与传统的基于图割的深度估计算法相比,新算法估计的深度图更加准确.     

混合误差下半变系数模型的相合估计

讨论了误差序列是混合序列的变系数模型。给出变系数模型系数函数的局部多项式估计,并证明了该模型系数函数估计是弱相合估计。     

幅值域无量纲指标对液压泵故障敏感性的实验研究

有效地提取故障特征向量,找到故障敏感因子是进行液压泵故障诊断的关键。采集轴向柱塞泵松靴、滑靴磨损、斜盘磨损以及中心弹簧失效等故障情况下的端盖振动信号,通过包络解调得到各故障的包络信号,在此基础上利用幅值域无量纲特征指标对每种故障进行敏感性分析,找到了各故障的无量纲敏感因子。为液压泵的故障诊断提供了可靠的敏感特征信息,增加了故障特征信息的完备性,对提高故障诊断系统的故障确诊率具有重要的意义。     

相位非平稳人造地震动反应谱拟合技术研究

采用完全非平稳人造地震动技术,就是在传统的考虑幅值非平稳特性拟合目标反应谱的基础上,根据不同的场地条件和地震环境,引入实际强震或地震记录提取的非平稳的相位来共同拟合目标反应谱．本项研究技术将20多年来通用人造地震动的技术进行了实用性改进,建立了人造地震动与强震、测震记录的应有联系,使天然地震记录数据的推广应用有了更多的渠道和技术保证,可以直接应用于防震减灾工程实际．     

四元体系汽液平衡的热力学一致性逐点检验

1 引言 以往用于多元体系汽液平衡的热力学一致性逐点检验的算法大多是有限差分法,对三元体系变成求解10~4～10~6量级的非线性方程组,收敛速度极慢,计算不稳定,难以实际应用。以后不同作者提出不同方法使多元体系热力学一致性逐点检验得到相应的改善。本文将加权残差法的特例——最小二乘法,用于四元体系恒温及恒压的汽液平衡的热力学一致性逐点检验。     

一种AHP中群体决策逆判问题的新方法

为了研究AHP中的逆判问题,利用模糊关系对AHP中群体决策的一致性给出了判断方法,即由一致性系数构造模糊关系矩阵,对其一致性进行分类,当分类情况基本一致时,则专家们给出的判断矩阵是公平公正的。通过算例验证了方法的可行性,并对AHP中的逆判问题提出了一种新算法,定义了新的一致性系数,经算例验证与相关文献的结果是一致的。     

水中运行设备共振幅频特性研究

在水力机械等淹没水中设备的运行中,常遇到剧烈振动造成设备损坏等故障,多认为由共振引起。本文首先对单自由度简谐振动系统自由振动、强迫振动方程的稳态振动解进行无量纲化处理,计算出不同阻尼比条件下的共振频率比、共振幅值比,发现阻尼比、共振频率比、共振幅值比三者之间存在一一对应的单调变化关系,并据此提出了分别测量设备在水中及空气中的自由振动频率,假定空气中自由振动频率为设备固有频率,再依次确定水中阻尼比和共振幅值比的反求式估算方法。本研究采用敲击法进行了混流式水轮机模型转轮水中及空气中自由振动频率测试,发现其水中自由振动频率比空气中低,其水中一阶自由振动频率与空气中一阶自由振动频率之比约为0.758~0.872;如假定该值为水中自由振动频率比,可计算出相应的水中阻尼比为0.652~0.490,共振幅值比约为1.01~1.17。本研究还进行了中间固定两侧悬臂梁在空气及水中的真实共振试验,在两侧悬臂梁计算固有频率附近均发生明显共振,发现水中共振频率比空气中明显降低,用反求法获得的水中共振幅值比小于2,水中共振幅值对空气中初始振动幅值放大倍数也非常小,进一步说明水中共振时对激振幅值的放大作用非常有限。     

基于犹豫模糊决策算法的云制造系统选择研究

云制造系统的选择评价是云制造管理中的重要研究课题。针对复杂的云制造系统评价问题,构建了基于信息集成算子和一致性提升算法的犹豫模糊互补判断矩阵（HFCJM）决策模型。由于现有的犹豫模糊加权平均算子存在不能满足幂等性的不足,提出了一种改进的犹豫模糊加权平均（I-HFWA）算子,并验证其满足幂等性这一重要性质;研究了完全乘性一致HFCJM的构造方法,并引入一致性指数概念来衡量HFCJM的一致性水平;建立了基于犹豫模糊决策算法的云制造系统选择模型,并分析了决策模型在每次迭代过程中的信息损失量、一致性水平提高程度、计算复杂度以及模型的收敛性。采用案例进行验证分析。实验结果表明,相对于对比模型,犹豫模糊决策算法在可靠性和有效性上更优。     

犹豫模糊群共识实现算法及其数据系统优选

针对犹豫模糊偏好关系（HFPR）可以在复杂的管理环境下全面描述专家的犹豫评价信息的优势,基于HFPR构建了一种犹豫模糊群共识实现算法,并将其应用于银行数据系统的选购过程中。引入一种新的一致性指数方法来衡量个体HFPR的一致性水平;为了提升群体专家对决策结果的满意度,设计了一种犹豫模糊群共识实现算法,该算法能够在群体HFPR达到共识水平的情况下保证个体HFPR仍然具有满意一致性;通过银行数据系统的选购实例和对比分析实验说明了提出的方法的实用性和有效性。