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.      

Transparent niobate glass-ceramics for optical limiting

The construction of nonlinear optical materials featuring asymmetric transmission of light is of great technological importance for various applications, including optical switching and optical power limiting. A significant challenge is the scalable fabrication of material candidates with good photochemical stability, high optical transmittance, and excellent optical limiting performance. Here, we present a nanocrystallization avenue for constructing hybrid optical limiting materials that exhibit ultrafast and robust optical limiting performance. The experimental results show that the controllable relaxation of a niobate glass may lead to the clustering of Nb-O units and contracting of the bandgap. It results in the notable improvement in nonlinear optical properties, including the enhanced saturation irradiance (380 GW/cm²), doubly increased nonlinear coefficient, and decreased limiting threshold (200 GW/cm²). Our results suggest a promising material that exhibits promising applications for protecting eyes and sensitive components from laser-induced damage.     

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.     

内插法在相关干涉仪测向体制中的应用

测向误差的减小一直以来都是无线电测向精度提高的一个难点,对于不同的测向体制所采用的减小测向误差的方法都不尽相同。本文主要介绍的是相关干涉仪测向体制的基本原理以及通过内插法的应用来减小测向误差的方法。     

Structures and properties of chicken myofibrillar protein gel induced by microwave heating

Structures and properties of myofibrillar protein gel prepared at different power (300–800 W) were evaluated. Amino acid analysis demonstrated that changes in microwave power did not alter primary structure of gel. However, an increase in microwave power could change higher structures of gel. As microwave power increased, α-helix content decreased and β-sheet content increased. Increased microwave power probably facilitated protein to unfold and expose the internal groups, causing surface hydrophobicity and the formation of disulphide bonds were enhanced, which indicated changes in tertiary and quaternary structures of protein. At 500 W, gel had the best ultrastructure where surface morphology, springiness and water holding capacity reached the optimum. Our findings suggested that microwave at an appropriate power (500 W) could change higher structures of myofibrillar protein gel to achieve desired processing and quality protein gel characteristics.     

An image segmentation method based on Mumford–Shah model with mask factor and neighborhood factor

Pattern Analysis and Applications - A novel image segmentation model is proposed to improve the stability of existing segmentation methods. In the proposed model, we introduce two factors into the...