A practical data-flow verification scheme for business processes

Data in business processes becomes more and more important. Current standard languages for process modeling like BPMN 2.0 which include the data flow reflect this. Ensuring the correctness of the data flow in processes is challenging. Model checking, i.e., verifying properties of process models, is a well-known technique to this end. An important part of model checking is the construction of the state space of the model. However, state-space explosion typically is in the way of an effective verification. We study how to overcome this problem in our context by means of reduction. More specifically, we propose a reduction on the level of the process model. To our knowledge, this is new for the data-flow analysis of processes. The core of our approach are so-called regions of the process model that are relevant for the verification of properties describing the data flow. Non-relevant regions are candidates for reduction of the process model, yielding a smaller state space. Our evaluation shows that our approach works well on industrial process models.     

基于EMD和BCS的振动信号数据修复方法

为改善振动信号修复效果,引入贝叶斯压缩感知(BCS)理论,并提出一种基于经验模态分解(EMD)的贝叶斯压缩感知修复方法,以解决连续缺失信号修复问题。针对随机缺失信号,根据压缩感知修复原理,利用贝叶斯压缩感知算法进行修复;针对连续缺失信号,先对其进行经验模态分解,对分解得到的所有基本模式分量利用多任务贝叶斯压缩感知算法进行修复,最终将所有修复的基本模式分量累加得到整体信号。利用西储大学公开轴承数据进行修复实验,发现所提方法在时频域指标、误差、信噪比、峰值信噪比等方面均优于正交匹配追踪和正则化正交匹配追踪算法。从修复效果角度验证,发现该方法成功还原了外圈故障信号基本模式分量中的故障特征频率,达到了修复的目的。     

杂豆膳食纤维对糖尿病大鼠的降血糖作用

目的:探讨不同剂量杂豆(芸豆、黑豆、绿豆(1∶1∶1,m/m))膳食纤维对糖尿病大鼠的降血糖效果。方法:糖尿病大鼠模型通过腹腔注射链脲佐菌素溶液(150 mg/kg)构建,建模成功后,连续灌胃给予杂豆膳食纤维42 d,测定各组大鼠体质量、空腹血糖值、胰腺/体质量和血清中肝糖原、胰岛素及糖化血清蛋白含量,并取胰脏组织制作苏木精-伊红染色病理学切片进行观察。结果:与模型组大鼠相比,除低剂量杂豆膳食纤维组外,其余各灌胃剂量组大鼠体质量均极显著升高(P0.01);低剂量杂豆膳食纤维组较模型组空腹血糖值显著下降(P0.05),中、高剂量杂豆膳食纤维组及格列本脲组大鼠空腹血糖值均较模型组极显著下降(P0.01);各灌胃剂量组大鼠胰腺/体质量均较模型组大鼠不同程度升高,格列本脲组及中、高剂量杂豆膳食纤维组大鼠胰腺/体质量较模型组大鼠显著升高(P0.05);各灌胃剂量组大鼠肝糖原及胰岛素含量均较模型组大鼠不同程度上升,糖化血清蛋白含量均不同程度下降,且通过胰腺组织病理学切片观察得知,各灌胃剂量组大鼠胰腺组织损伤程度明显减轻,胰岛细胞数目增多,且细胞水肿变形程度减轻。结论:杂豆膳食纤维可降低糖尿病模型大鼠的血糖含量且可改善糖尿病对大鼠胰腺的损伤情况。     

一种用于平面的电火花强化修复装置

研究了一种用于金属平面的电火花强化修复装置。经过SEM照片分析,MM200磨损试验,以及硬度梯度分布综合判断,该装置生成的强化修复层比较完整、有一定厚度,极大改善了零件表面的硬度和耐磨性。     

海上钻修机结构裂纹安全性评估

基于BS 7910 2A级评估原理，对某海上钻修机钻井支持模块进行断裂评估。鉴于有限元方法能够大幅提高计算失效评估图评定参数的准确度，采用ANSYS软件子模型技术和奇异单元构造裂纹精细有限元模型，通过节点位移插值计算裂纹尖端应力强度因子，应用路径映射对应力进行线性化求得薄膜应力和弯曲应力，从而完成缺陷构件的失效评估图评定，结果表明：该钻修机钻井支持模块含裂纹构件的评估点位于失效评估曲线内侧，安全因数为1.51，结构能够继续安全服役。所用方法可为含裂纹缺陷的海洋结构物的安全评估提供参考。     

TCL—1418沉降过滤离心机大修技术标准的制定

制定TCL— 14 18沉降过滤离心机大修技术标准 ,规范其设备的大修标准 ,确保设备的大修质量。     

矿井永久泵房加固方案研究与实践

为对万福煤矿-820m水平永久泵房进行加固,减小巷道收敛变形量,组织研究了加固方案,以充分发挥围岩自承载能力为原则,采取了修复、补强支护并注浆加固的方法进行处理,研究成果可指导煤矿深部巷道掘进期间的加强支护和受压变形巷道的修复治理。     

居住建筑室内空间与环境质量调查与分析

通过对武汉关山区各个住宅小区内居住室内环境的调查，分析了影响居住空间与环境质量的各个因素，并对今后的居住建筑空间与环境设计提出一些建议。     

基于ESO的脚手架结构拓扑优化

结合渐进结构优化理论对脚手架拓扑结构进行了研究,分析了脚手架作为一种特殊的空间桁架结构,针对其计算和设计的难点,提出了一种新的拓扑结构,为以后脚手架的设计提供了有价值的实践借鉴。     

海洋环境锈蚀钢筋混凝土结构修补方法

海边建筑物经常由于氯离子的侵入而发生钢筋锈蚀破坏.介绍了由于锈蚀引起的不连续裂缝的封闭和修补,贯通裂缝的灌浆和修补,混凝土保护层的修补和结构的碳纤维补强等施工方法;这些方法可供锈蚀结构修复时参考.