Web服务编制的形式化模型研究

为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。     

双布鲁姆过滤器法查询集合成员

探讨双布鲁姆过滤器查询法查询集合并集、交集、补集、差集或对称差成员的性能问题。理论分析和实验结果表明,双布鲁姆过滤器查询法能够较好地支持集合并集、交集、补集、差集及对称差的成员查询问题,其中双布鲁姆过滤器并集及交集查询不会产生假阴性,仅有少量假阳性的存在,而双布鲁姆过滤器补集、差集及对称差查询则除存在少量假阳性外,还存在少量假阴性。     

试论大学自治权的赋予应当科学适度

教育事业关乎社会的和谐与稳定,面对扩大大学"办学自主权"的呼声,应该如何应对和处理是一个严肃又需谨慎的重要议题。本文在充分承认办学自主权的重要性的前提下,更加理性地结合当今教育局势和我国国情进行分析,提出:大学自治权的赋予应当科学适度。之后,通过一系列事实和高等教育理论进行论证,并在此基础上针对我国大学教育现状提出三点应警醒之处,希望高等教育能够长效良性发展。     

平行连杆式操作机悬挂系统刚度与阻尼参数研究

为合理设计操作机悬挂系统的缓冲装置以减小惯性冲击的影响,针对平行连杆式锻造操作机,简化了设备模型,分析了制动工况下悬挂系统各杆件的受力状态和运动规律,并利用牛顿-欧拉法综合各杆件的动力学分析,建立了悬挂系统在制动时的动力学模型,提出了缓冲装置刚度及阻尼参数确定的思路。以300kN锻造操作机为例,在MATLAB中求解操作机悬挂系统动力学微分方程,分析了缓冲刚度、阻尼对吊杆摆角、钳杆质心运动规律的影响。结果表明,利用牛顿-欧拉法建立模型确定缓冲刚度与阻尼参数的方法是可行的与合理的,从而为平行连杆式操作机悬挂系统缓冲装置的刚度与阻尼设计提供了理论依据。     

基于多元线性回归分析的热轧产品性能预测的应用

针对热轧板卷产品,基于常规流程生产线,对420L钢种的成分:C、Mn、S、P、Si,卷取温度以及最终产品的抗拉强度和屈服强度,进行数据整理;利用多元线性回归分析,确定影响产品性能的关键因素,得到的模型达到了10%偏差之内超过90%的精度。对于进一步完善产品的成分设计以及轧制工艺参数提供了有利的参考。     

油脂对冰淇淋抗融性的影响

本文主要研究人造奶油、棕榈油、起酥油对冰淇淋抗融性的影响。     

3mm准光腔Q值测量的一种新方法

本文提出了利用厘米波段频谱仪对3mm准光腔进行谐振频率和Q值自动测量的一种新方法。此方法的优点在于可利用现有厘米波段仪器进行毫米波弱信号的测量。     

机床导轨深度拉伤的快速修复

对于机床导轨的拉伤和划伤,多年来我们尝试用各种方法进行修补,如采用铸铁焊条堆焊,银焊条补焊以及环氧树脂粘补等,效果均不理想。近年来,我们采用一种新型修补工艺,即:工业修补剂加电刷镀的方法修补深度拉伤(1～3mm),取得令人满意的效果,现简单介绍如下。     

MATLAB软件包中SIMULINK环境下直接转矩控制系统的仿真

针对传统的电气传动控制系统仿真建模复杂,计算量大等不便,本文利用MATLAB软件包中的SIMULINK对直接转矩控制系统进行建模。SIMULINK具有良好的用户界面和强大的功能,在该环境下结合电气系统模块库进行仿真,具有建模简便、结构直观、操作灵活等优点,用于直接转矩控制系统的仿真过程,这些特点得到了深刻的体现。     

卷材屋面渗漏的原因及改进措施

文章对卷材屋面渗漏产生的原因进行了详细地分析,并提出了整改措施.