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.      

Histone Methylation Marks on Circulating Nucleosomes as Novel Blood-Based Biomarker in Colorectal Cancer

Circulating nucleic acids (CNAs) are under investigation as a liquid biopsy in cancer as potential non-invasive biomarkers, as stable structure in circulation nucleosomes could be valuable sources for detection of cancer-specific alterations in histone modifications. Our interest is in histone methylation marks with a focus on colorectal cancer, one of the leading cancers respective the incidence and mortality. Our previous work included the analysis of trimethylations of lysine 9 on histone 3 (H3K9me3) and of lysine 20 on histone 4 (H4K20me3) by chromatin immuno- precipitation-related PCR in circulating nucleosomes. Here we asked whether global immunologic measurement of histone marks in circulation could be a suitable approach to show their potential as biomarkers. In addition to H3K9me3 and H4K20me3 we also measured H3K27me3 in plasma samples from CRC patients (n = 63) and cancer free individuals (n = 40) by ELISA-based methylation assays. Our results show that of three marks, the amounts of H3K27me3 (p = 0.04) and H4K20me3 (p < 0.001) were significantly lower in CRC patients than in healthy controls. For H3K9me3 similar amounts were measured in both groups. Areas under the curve (AUC) in receiver operating characteristic (ROC) curves indicating the power of CRC detection were 0.620 for H3K27me3, 0.715 for H4K20me3 and 0.769 for the combination of both markers. In conclusion, findings of this preliminary study reveal the potential of blood-based detection of CRC by quantification of histone methylation marks and the additive effect of the marker combination.     

Visual Detection of Adenosine Triphosphate by Taylor Rising: A Simple Point-of-Care Testing Method Based on Rolling Circle Amplification

Rapid and sensitive point-of-care testing (POCT) is an extremely critical mission in practical applications, especially for rigorous military medicine, home health care, and in the third world. Here, we report a visual POCT method for adenosine triphosphate (ATP) detection based on Taylor rising in the corner of quadratic geometries between two rod surfaces. We discuss the principle of Taylor rising, demonstrating that it is significantly influenced by contact angle, surface tension, and density of the sample, which are controlled by ATP-dependent rolling circle amplification (RCA). In the presence of ATP, RCA reaction effectively suppresses Taylor-rising behavior, due to the increased contact angle, density, and decreased surface tension. Without addition of ATP, untriggered RCA reaction is favorable for Taylor rising, resulting in a significant height. With this proposed method, visual sensitive detection of ATP without the aid of other instruments is realized with only a 5 μL droplet, which has good selectivity and a low detection limit (17 nM). Importantly, this visual method provides a promising POCT tool for user-friendly molecular diagnostics.     

Study of MW-scale biogas-fed SOFC-WGS-TSA-PEMFC hybrid power technology as distributed energy system: Thermodynamic,exergetic and thermo-economic evaluation

Advanced biogas power generation technology has been attracting attentions, which contributes to the waste disposal and the mitigation of greenhouse gas emissions. This work proposes and models a novel biogas-fed hybrid power generation system consisting of solid oxide fuel cell, water gas shift reaction, thermal swing adsorption and proton exchange membrane fuel cell (SOFC-WGS-TSA-PEMFC). The thermodynamic, exergetic, and thermo-economic analyses of this hybrid system for power generation were conducted to comprehensively evaluate its performance. It was found that the novel biogas-fed hybrid system has a gross energy conversion efficiency of 68.63% and exergy efficiency of 65.36%, indicating high efficiency for this kind of hybrid power technology. The market sensitivity analysis showed that the hybrid system also has a low sensitivity to market price fluctuation. Under the current subsidy level for the distributed biogas power plant, the levelized cost of energy can be lowered to 0.02942 $/kWh for a 1 MW scale system. Accordingly, the payback period and annual return on investment can reach 1.4 year and about 20%, respectively. These results reveal that the proposed hybrid system is promising and economically feasible as a distributed power plant, especially for the small power scale (no more than 2 MW).     

Design and optimization of ceramic membrane structure: From the perspective of flux matching between support and membrane

The support flux was first investigated as a separate influencing factor for its effect on performances of ceramic filtration membranes. Three pre-membranes were prepared by tape-casting and then transfer-coated to supports to form dual-layer ceramic membranes after sintering. Experiments demonstrated that membrane layers with almost the same properties were obtained despite the huge difference in support flux. When the support flux increases from 3.120 to 97.53 m³m^?2h^?1, the flux of these three membrane series have increased by 75%, 186% and 228%, respectively. Experimental rules can provide structural design and evaluation from the perspective of permeability. The limit membrane flux of a certain system was derived according to the resistance distribution law of internal membrane structure and the Darcy's theorem. On this basis, a method for designing support flux was proposed. Furthermore, we present a criterion to quickly and easily evaluate the match between the support and the top layer, which is the ratio of membrane resistance to total resistance. Finally, the filtration resistance of penetration caused by suction of membrane particles into the support was measured for the first time, taking the advantage of the transfer-coating method that inherently free of penetration. Our works are expected to deepen the understanding of the ceramic membrane structure and provided guidance for its rational design and optimization.     

Elucidation of colour development and microstructural characteristics of Allium sativum fumigated with acetic acid

It has been well known that the greening of Allium sativum cloves could be formed after immersed in acetic acid solution. Nonetheless, no investigation was reported on colour development of A. sativum in response to acetic acid vapour until now. In this study, the brief exposure of A. sativum to acetic acid vapour (200–400 ppm) was combined with controlled atmosphere (5%, 20% and 80% CO₂) packaging storage to break cell membrane and green garlic. The garlic bulbs were fumigated with acetic acid before controlled CO₂ atmosphere packaging for 25 days at 4 °C. Fumigation with 200 ppm acetic acid followed by high CO₂ atmosphere packaging (80% CO₂) facilitated the garlic greening. It was also verified that γ‐glutamyl transpeptidase was involved in garlic greening in present study, and the compromise of glacial acetic acid vapour fumigation and CO₂ gas atmosphere in package stored at low temperature could result in garlic greening as well.     

郭庄煤业选煤厂振动筛筛选形式的优化研究

针对郭庄煤业选煤厂振动筛振动筛分方式可靠性差、筛分效率低下、物料筛分率低的难题,本文提出了三种新的振动筛分方案,对不同筛分方案的实际应用效果进行了分析。结果表明三移动一摆动的振动筛分方式对物料的综合分散度最高,稳定性好,该筛分方案已在郭庄煤业选煤厂煤炭筛分过程中得到了全面的应用。     

Study on the Height of the Mining-Induced Water-Conducting Fracture Zone Under the Q 2l Loess Cover of the Jurassic Coal Seam in Northern Shaanxi,China

A method to calculate the height of a water-conducting fractured zone (HWCFZ) was developed based on the plate and shell theory, and the development of the HWCFZ in bedrock and Q2l loess strata is discussed in detail. First, the subsidence-deflection curve equation of the overlying stratum is theoretically derived, and then the ultimate deflection and free space height of rock strata are calculated. Moreover, the strata tensile strain is calculated by using integral calculus. In addition, the failure state of the rock is analyzed by comparing the theoretically calculated tensile strain with the experimentally measured yield tensile strain, allowing one to attain the maximum value of HWCFZ. This approach was tested at the Jinjitan coal mine; the theoretically predicted, experimentally measured, and numerically computed maximum HWCFZ values were 189.5, 187.3, and 188.5 m, respectively, demonstrating the accuracy of the proposed method. These results are highly significant for safe and environment-friendly coal mining in northwest Shaanxi, China.     

Research on hydrophobicity of electrospun Fe3O4/PVDF nanofiber membranes under different preparation conditions

Abstract

Preparation condition can affect the structure and the properties of nanofiber membrane. In order to explore suitable conditions to prepare the Fe₃O₄/PVDF nanofiber membrane with good hydrophobicity, the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes obtained by electrospinning was investigated by changing preparation conditions like weight percentage of Fe₃O₄ nanoparticles, blending quality concentration of poly (vinylidene fluoride) (PVDF) and Fe₃O₄ nanoparticles, and positive voltage. And the variations of hydrophobicity of Fe₃O₄/PVDF nanofiber membranes modified by 1H, 1H, 2H, 2H-perfluorodecyl trimethoxysilane were studied. The results show that the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes has changed under different preparation conditions. The contact angles of samples increased after a modification by 1H, 1H, 2H, 2H-perfluorodecyl trimethoxysilane, which indicates that the hydrophobicity of Fe₃O₄/PVDF nanofiber membranes has been enhanced.