Uncrewed Aerial Systems (UASs) are widely implemented in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity complexity of implementation scenarios, UASs have become increasingly intricate. The challenge designing implementing highly reliable while effectively controlling development costs improving efficiency has been a pressing issue faced by academia industry. To address this challenge, article aims examine an integrated...

Formal methods (FM) are a pivotal technology for ensuring the safety and reliability of software systems. These centered around application precise mathematical principles to verify security dependability software. have been widely employed in verification critical systems, with increasing significance concurrent programs context growing prevalence parallel computing architectures like multi-core processors. However, efficiency formal verifying is often low, which hinders their broader...

For diluted wastewater with azeotropes discharged from chemical plants, it is important to design a sustainable extractive distillation process achieve efficient separation. By separating the dilute containing isopropanol and acetonitrile, proved that four-column processes preconcentration column novel three-column an integrated solvent recovery function can energy conservation cost reduction. At same time, heat integration pump-assisted technologies were further used intensify proposed...

As essential but easily damaged parts of rotating machinery, rolling bearings have been deeply researched and widely used in mechanical processes. The real-time detection bearing state simple, rapid, accurate diagnosis fault are indispensable to the industrial system. bearing’s inner ring outer vibration acceleration can be measured by high-precision sensors, running effectively extracted. empirical wavelet transform (EWT) adaptively decompose signal into a series modes. However, this method...

Based on the magnetic flux leakage detection principle of dipole, a model signal gear's early local micro crack is derived. The characters area that include peak in tangential component signal, pass zero point normal and gradient it are analyzed. analysis results provide basic theoretical foundation Metal Magnetic Memory application. Then based theory above, side an actual gear applied which includes static testing dynamic with load. position load effect show effectiveness feasibility memory fault.

This paper proposes a new method to realize the quantitative trend diagnosis of bearings based on Protrugram and Lempel–Ziv. Firstly, fault features original signals bearing inner outer race with different severity are extracted using algorithm, optimal analysis frequency band is selected which reflects characteristic. Then, Lempel–Ziv complexity calculated. Finally, relationship between size obtained. Analysis results show that proportional index value under types. The showed rules,...

This paper describes the progress of research and practice on incorporating mobile sources, especially motor vehicles, into Shenzhen Emissions Trading System. Insights gained through Shenzhen's experience will provide useful insights to others that may have cause consider expansion their System (ETS) include sources. In order incorporate public transportation ETS pilot, city has formulated quantitative greenhouse gas emissions standards for bus taxi companies, drawn baselines energy...

Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity complexity of application scenarios, UAS have become increasingly intricate. The challenge designing implementing highly reliable while effectively controlling development costs enhancing efficiency is a pressing issue faced by both academia industry. Addressing this challenge, paper aims investigate an integrated...

In order to extract the weak fault information submerged in strong background noise of gearbox vibration signal, multiwavelet denoising method with adaptive threshold and envelope demodulation are applied this paper. Multiwavelets have many excellent properties that single wavelet can not satisfy simultaneously, such as symmetry, orthogonality, compact support high vanishing moments etc, which make it match different characteristics analyzed because contains several scaling functions...

Connected and automated vehicles (CAVs) human-driven (HDVs) are expected to form the mixed traffic flow in recent decades. This paper studies control problem of at a signalized intersection. A two-level cooperative method is proposed optimize both intersection signal timing trajectories CAVs. At upper level, minimize total travel delay, dynamic programming used find optimal phase scheme beginning each cycle assign arrival time vehicles. lower CAVs generated from downstream upstream zone...

This paper addresses the issues related to design of robust controller using genetic algorithms (GA) for lightweight, one-link flexible manipulators working under dynamic environments and other uncertain influences. By selecting sensitivity weight functions properly GA method, a mixed H <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">infin</sub> is developed ensure robustness manipulator control systems varying payloads modeling uncertainties....