A Reduced Reachability Tree for a Class of Unbounded Petri Nets

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size.      

Multi-objective optimization of a permanent magnet synchronous motor based on an automated design and analysis procedure

Microsystem Technologies - Since traction motors for electric vehicles require a variety of features to be used simultaneously, research on the design optimization of permanent magnet synchronous...     

Porous sunflower plate-like NiFe2O4/CoNi–S heterostructure as efficient electrocatalyst for overall water splitting

Constructing high-efficient and nonprecious electrocatalysts is of primary importance for improving the efficiency of water splitting. Herein, a novel sunflower plate-like NiFe₂O₄/CoNi–S nanosheet heterostructure was fabricated via facile hydrothermal and electrodeposition methods. The as-fabricated NiFe₂O₄/CoNi–S heterostructure array exhibits remarkable bifunctional catalytic activity and stability toward oxygen evolution reaction (OER) and hydrogen evolution reaction (HER) in alkaline media. It presents a small overpotential of 219 mV and 149 mV for OER and HER, respectively, to produce a current density of 10 mA cm^?2. More significantly, when the obtained electrodes are used as both the cathode and anode in an electrolyzer, a voltage of 1.57 V is gained at 10 mA cm^?2, with superior stability for 72 h. Such outstanding properties are ascribed to: the 3D porous network structure, which exposes more active sites and accelerates mass transfer and gas bubble emission; the high conductivity of CoNi–S, which provides faster charge transport and thus promotes the electrocatalytic reaction of the composites; and the effective interface engineering between NiFe₂O₄ (excellent performance for OER) and CoNi–S (high activity for HER), which leads to a shorter transport pathway and thus expedites electron transfer. This work provides a new strategy for designing efficient and inexpensive electrocatalysts for water splitting.     

综采工作面粉尘防治问题分析与技术改进

针对新桥煤矿2301综采工作面机载喷雾系统喷雾效果差、喷雾耗水量大造成煤质含水量超标、喷嘴雾化程度不高、喷嘴容易发生堵塞等问题,提出了高压喷雾系统设计方案,选择了1.2mm的锥形引射喷嘴和1.5mm的扇形引射喷嘴。采用固定水泵供水方式,结合工作面实际情况,计算出喷雾总用水量247.5L/min,提高了喷雾射程,提升了除尘效果。     

Transformation of the reabsorption characteristics of lignite treated by low and high temperature drying process

Abstract

The reabsorption characteristics of the lignite treated by low and high temperature drying process were addressed in the paper. The information about the moisture form, functional groups, effective water-filled porosities and equilibrium moisture content of the lignite before and after the drying process was investigated using Differential scanning calorimetry (DSC), Fourier transform infrared (FTIR) spectroscopy, nuclear magnetic resonance (NMR) spectroscopy and a self-made reabsorption device, respectively. The results show that the low drying temperature (140, 190, 230?°C, 10?min, N₂) has little impact on the effective water-filled porosities of the resulted samples, whereas it has a great influence on the main oxygen-containing functional groups, which amount firstly decreases and then increases with the drying temperature increasing. In the case of the lignite samples dried under high-temperature (600, 700, 800?°C, 30?s, N₂), the amount of the effective water-filled porosity of the sample decreases and the amount of oxygen-containing functional groups increases as the temperature increasing. The reabsorption capability of the high temperature dried sample is much lower than that of the sample treated under low drying temperature. The reabsorption characteristics of the low-temperature dried samples are affected by the amount of the oxygen-containing functional groups, while the effective water-filled porosity is main factor for the lignite samples derived from high temperature drying process. Moreover, the work gives a good evidence that the high-temperature drying process is an effective choose for lignite upgrading.     

柯克亚油气田混合来源天然气的地球化学特征

柯克亚油气田是我国开发比较早的一个油气田,但由于受混源和其他因素的影响,对气源的认识众说纷纭。通过对天然气的地球化学特征的分析,并参照国内外关于甲烷、乙烷、丙烷碳同位素关系方面的资料,提出了如下看法:柯克亚天然气碳同位素相对较重,与塔里木盆地下古生界海相天然气的碳同位素组成区别较大;根据天然气40Ar/36Ar组成,柯克亚油气田的气源不是单一来源;柯克亚油气田绝大多数天然气的甲烷和乙烷碳同位素值关系符合Faber推断的 型有机质方程直线关系,说明有机质属于较好的有机质类型,或者是由原油裂解形成的天然气;除了K2井和K18井天然气成熟度较低以外,绝大多数天然气的成熟度大约在1.8%～2.2%之间,属于高过成熟气,但也混有一些成熟度在0.9%～1.2%的源岩形成的天然气;推测天然气主要来源于石炭系―二叠系源岩,而混有成熟度低的源岩形成的天然气则有可能来自侏罗系源岩。     

酮苯脱蜡装置用加氢裂化尾油生产优质白油料

加氢裂化尾油经酮苯脱蜡和白土精制工艺可生产高质量润滑油基础油.该基础油具有很好的低温流动性能,且对添加剂感受性好,硫、氮含量低,饱和烃含量高,可以调合中、高档润滑油,制备白油.加氢裂化尾油的综合利用具有明显的经济效益.     

沥青混合料的使用性能与试验方法分析

沥青混合料的使用性能与试验方法对保证和提高沥青路面的修建质量非常重要。在使用荷载、自然因素对沥青路面作用分析的基础上,对沥青混合料的温度稳定性、耐久性、抗滑性及施工的和易性等方面进行了系统的分析探讨,提出了相关的性能要求与试验评价方法。