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.     

Polyimide-coated fabrics with multifunctional properties: Flame retardant,UV protective,and water proof

Multifunctional technical textiles are of great interest both by industry and academia and these products are considered as high value-added products that contribute to the economies of countries. In this study, polyamic acid (PAA) was synthesized through polycondensation of pyromellitic dianhydride (PMDA) and 4,4′-oxydianiline (ODA) in dimethyl acetamide (DMAc) at low temperature. Then, PAA was coated onto woven cotton and polyester fabric by padding technique. Finally, polyimide (PI)-coated multifunctional cotton and polyester fabrics were obtained by an easy coating technique and low-temperature imidization. Thus, low cost, easily accessible and widely used cotton and polyester fabrics were converted to high-performance textile products, which are flame retardant, UV protective, acid resistant, and waterproof. The chemical, thermal, morphological, optical, mechanical, wettability, chemical resistance, and flame retardancy properties of developed fabrics were investigated. Optical results showed that both PI-coated cotton and polyester fabrics are UV-A protective compared to noncoated fabrics. Moreover, PI-coated samples have high contact angles which are 111.43° and 113.40° for PI-coated cotton (PI-c-C) and PI-coated polyester (PI-c-PET), respectively. Young's modulus of PI-c-PET fabrics increased four times more than noncoated polyester fabric. PI coating changed the burning behavior of both cotton and polyester fabrics in a positive way. All the test results showed that these developed multifunctional textile products might find an application in different industrial areas such as automotive, aerospace, protective clothing, and so on due to easy and inexpensive production techniques and also superior properties. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47616.     

某铁矿隔水护顶矿柱厚度计算及安全影响预测

科学合理地确定矿山隔水护顶矿柱安全厚度是矿山安全生产的前提条件，为保障某铁矿地表民房、道路等建（构）筑物安全，防止矿山开采过程中产生的导水裂隙带贯通第四系含水层，采用荷载传递交汇线法、K.B.鲁别涅依他估算法和冒落带、导水裂隙带高度估算法3种理论分析方法对隔水护顶矿柱厚度进行计算，并利用数值模拟手段对留设隔水护顶矿柱后的开采过程安全影响进行了分析，对理论计算结果进行了验证。3种理论计算方法得出的隔水护顶矿柱厚度分别为14.3～17.3 m、17.5～31.4 m和41.8～57.4 m，推荐隔水护顶矿柱留设厚度为60 m。通过数值模拟分析得出，在留设60 m厚的隔水护顶矿柱的基础上，开采区域和隔水护顶矿柱位置产生的最大拉应力约0.47 MPa，矿山开采不会对隔水护顶矿柱造成破坏；地表产生的最大水平位移约5.8 cm，最大垂直位移约26.5 cm，最大倾斜为1.70 mm/m，最大曲率为0.20 mm/m2，最大水平变形值为0.70 mm/m，满足相关规范要求，预测矿山开采不会造成地表建（构）筑物破坏。     

一例BPJV1-2000(1400)/3.3矿用隔爆兼本质安全型高压变频器故障分析及处理

本文通过对BPJV1-2000(1400)/3.3矿用隔爆兼本质安全型高压变频器一例输出短路故障分析排查及处理过程的介绍,阐述了对现场设备故障处理的指导思想和合理方法。     

一种新型包装专用蜡的研制

为了根据某瓦楞纸箱生产厂的实际生产条件制备一种耐热、耐低温、防水、透气等性能优异的包装专用蜡，将58号全炼蜡和70号微晶蜡混合物作为基础蜡料，分别考察添加剂、助剂、抗氧剂等对基础蜡料滴熔点、运动黏度及外观等的影响，确定了最佳制备配方：合成蜡、添加剂B、助剂1、助剂2、抗氧剂加入量（w）分别为基础蜡料质量的9.8%，6.5%，1.5%，2.1%，0.1%。在温度为160 ℃、时间为30 min、搅拌速率为200 r/min条件下制备的包装专用蜡具有熔点高、黏附性强、光泽性好的优点，满足该瓦楞纸箱生产厂的质量和外观要求。     

可注浆式橡胶止水带试验研究

本文报导采用可注浆式橡胶止水带进行防渗漏水的试验方案、步骤及数据。结果表明该试验取得预期的目的 ,有工程应用价值     

设拉杆拱形波纹钢屋盖结构支承体系设计

拱脚设拉杆是减小拱形波纹钢屋盖结构对下部支承体系推力作用的有效途径,但对带拉杆的支承结构目前尚无明确的设计方法。在分析此类结构受力机理的基础上,指出其设计亦应同一般预应力钢结构一样分成预应力态设计和荷载态设计两个阶段,进而推导了计算索张力和长度的实用公式,给出了两种状态下结构内力和变形的简化计算方法,使得原本需进行几何非线性分析的复杂计算过程得以手算实现。最后采用有限元分析软件进行校核计算,验证了本文提出的设计方法可行且具有很高的精度。     

燃气锅炉房和直燃机房防爆问题

分析了燃气锅炉房和直燃机房是否采用防爆电器的两种观点。认为根据《建筑设计防火规范》《爆炸和火灾危险环境电力装置设计规范》等相关设计规范，在上述机房采用非防爆电器是可行的。     

某汽车总装车间厂房的建筑消防设计

本文结合国外同类密闭厂房的设计经验，较为全面地介绍了８万ｍ２总装车间厂房的建筑消防设计。     

防水混凝土的结构设计与配合比设计探讨

阐述了防水混凝土设计考虑的重点应是避免混凝土开裂的观点,并重点从造成混凝土开裂的原因入手,从防水混凝土结构设计和配合比设计的角度,探讨了避免和减少混凝土开裂渗漏的措施.即结构设计人员应对防水混凝土不同部位的配筋布置作出相应的调整,在满足荷载的前提下,尽量多使用较细而分布较密的钢筋,并应对混凝土的膨胀率作出要求;而配合比设计人员应选择合理的水泥、掺合料、膨胀剂,配制满足膨胀率要求、施工性能良好的混凝土,满足抗裂防水工程的需要.