Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations

This study proposes a novel planning framework based on a model predictive control formulation that incorporates signal temporal logic (STL) specifications for task completion guarantees and robustness quantification. This marks the first-ever study to apply STL-guided trajectory optimization for bipedal locomotion push recovery, where the robot experiences unexpected disturbances. Existing recovery strategies often struggle with complex task logic reasoning and locomotion robustness evaluation, making them susceptible to failures caused by inappropriate recovery strategies or insufficient robustness. To address this issue, the STL-guided framework generates optimal and safe recovery trajectories that simultaneously satisfy the task specification and maximize the locomotion robustness. Our framework outperforms a state-of-the-art locomotion controller in a high-fidelity dynamic simulation, especially in scenarios involving crossed-leg maneuvers. Furthermore, it demonstrates versatility in tasks such as locomotion on stepping stones, where the robot must select from a set of disjointed footholds to maneuver successfully

Conjugate Calculation of Gas Turbine Vanes Cooled with Leading Edge Films

AbstractConjugate calculation methodology is used to simulate the C3X gas turbine vanes cooled with leading edge films of “shower-head” type. By comparing calculated results of different turbulence models with the measured data, it is clear that calculation with the transition model can better simulate the flow and heat transfer in the boundary layers with leading edge film cooling. In the laminar boundary layers, on the upstream suction side, the film cooling flow presents 3D turbulent characteristics before transition, which quickly disappear on the downstream suction side owing to its intensified mixing with hot gas boundary layer after transition. On the pressure side, the film cooling flow retains the 3D turbulent characteristics all the time because the local boundary layers' consistent laminar flow retains a smooth mixing of the cooling flow and the hot gas. The temperature gradients formed between the cooled metallic vane and the hot gas can improve the stability of the boundary layer flow because the gradients possess a self stable convective structure

Angelica sinensis polysaccharide promotes apoptosis by inhibiting JAK/STAT pathway in breast cancer cells

Purpose: To determine whether Angelica polysaccharide (APS) induced apoptosis via regulation of the Janus kinase (JAK)/signal transducers and activators of transcription (STAT) pathway in breast cancer cells. Methods: Human MCF-7 cells were treated with APS. Cell proliferation, apoptosis, expression of apoptotic proteins, and the phosphorylation level of Janus kinase (JAK) and STAT were measured, respectively. For further analysis, MCF-7 cells were transfected with a JAK2 overexpression plasmid or treated with a classical JAK inhibitor, ruxolitinib. Results: Treatment with APS dose-dependently reduced cell proliferation, induced apoptosis, and downregulated the levels of phosphorylated JAK and STAT in MCF-7 cells. JAK inhibitor, ruxolitinib, blocked JAK/STAT pathway and induced cell apoptosis in MCF-7 cells. Besides, JAK2 overexpression reversed the effects of APS on cell viability and apoptosis. Conclusion: The results indicate that polysaccharide isolated from Angelica sinensis promotes apoptosis by inhibiting JAK/STAT pathway in breast cancer cells. Thus, APS may be useful as a potential therapeutic agent for breast cancer

IMECE2008-66575 THE KEY TECHNIQUES FOR THERMAL-FLOW-ELASTIC COUPLING NUMERICAL SIMULATION PLATFORM IN TURBINES

ABSTRACT Thermal-flow-elastic coupling(TFEC)numerical simulation platform has been an essential platform for designing turbo engines with high performance and efficiency. Generally, TFEC numerical simulation was achieved by predicting thermal and stress fields with finite element methods, while flow fields with finite difference methods, but such calculation was not popular in engineering design, because of too much size of data exchange and lower computing efficiency. However these shortcomings will not exist by using finite difference methods for all of the fields. To establish a three dimensional multifunction numerical simulation platform for turbines for all of the fields, the key technique was studied firstly. The technique included analysis on physical models, establishing of mathematical model equation, usage of curvilinear coordinate platform, construction of high accuracy difference scheme and selection of boundary conditions for multi-field coupling simulation. Then the algorithm including domain decomposition one and parallel one were studied to accelerate the coupling simulation. The purpose was to develop a completed TFEC numerical simulation platform by using of finite difference method and to apply the platform for numerical simulation in turbines. Firstly codes for predicting flow field in passage, thermal and stress fields in solid body were developed. Then a simple TFEC numerical simulation platform for turbines was obtained. The single code for predicting flow field was verified with experimental data, and the other two codes were validated with thermal and elastic analytic solutions respectively. And satisfying results were obtained. Then the code for thermal-flow was validated with experimental data of MarkⅡ blade, and the code for thermal-elastic coupling simulations was validated with a cylinder by an analytic solutions. All of these are good basics for completing TFEC numerical simulation platform using finite difference methods for all of the fields and computing TFEC numerical simulation in a turbo engine. INTRODUCTION Nowadays, the quick development of Aerospace Industries has been challenging the performance of aero-engine. To increase engine, reduce fuel consumption and improve engine efficiency, the turbine inlet temperature has to be greatly increased, the temperature of turbine blade that exceeds the acceptability of materials and is over melting point, and then it leads to a series of technological research. Hence cooling technique is required to lower the temperature of metallic materials and restrict the variety of temperature, to ensure the surface highest temperature of turbine blade and the largest gradient temperature to gear to the heat-stress of largest blade. Otherwise the traditional turbine design, with which the aerodynamic, thermal and elastic designs are carried out separately, is with a too long design circle, and it needs huge numerical and experimental resources. Consequently it is doubted to apply such technique into the design of turbines in the advanced engines. Therefore thermal-flow-elastic couplin

Real-time Monitoring for the Next Core-Collapse Supernova in JUNO

Core-collapse supernova (CCSN) is one of the most energetic astrophysical events in the Universe. The early and prompt detection of neutrinos before (pre-SN) and during the SN burst is a unique opportunity to realize the multi-messenger observation of the CCSN events. In this work, we describe the monitoring concept and present the sensitivity of the system to the pre-SN and SN neutrinos at the Jiangmen Underground Neutrino Observatory (JUNO), which is a 20 kton liquid scintillator detector under construction in South China. The real-time monitoring system is designed with both the prompt monitors on the electronic board and online monitors at the data acquisition stage, in order to ensure both the alert speed and alert coverage of progenitor stars. By assuming a false alert rate of 1 per year, this monitoring system can be sensitive to the pre-SN neutrinos up to the distance of about 1.6 (0.9) kpc and SN neutrinos up to about 370 (360) kpc for a progenitor mass of 30$M_{\odot}$ for the case of normal (inverted) mass ordering. The pointing ability of the CCSN is evaluated by using the accumulated event anisotropy of the inverse beta decay interactions from pre-SN or SN neutrinos, which, along with the early alert, can play important roles for the followup multi-messenger observations of the next Galactic or nearby extragalactic CCSN.Comment: 24 pages, 9 figure

JUNO Sensitivity to Invisible Decay Modes of Neutrons

We explore the bound neutrons decay into invisible particles (e.g., $n\rightarrow 3 \nu$ or $nn \rightarrow 2 \nu$) in the JUNO liquid scintillator detector. The invisible decay includes two decay modes: $n \rightarrow { inv}$ and $nn \rightarrow { inv}$. The invisible decays of $s$-shell neutrons in $^{12}{\rm C}$ will leave a highly excited residual nucleus. Subsequently, some de-excitation modes of the excited residual nuclei can produce a time- and space-correlated triple coincidence signal in the JUNO detector. Based on a full Monte Carlo simulation informed with the latest available data, we estimate all backgrounds, including inverse beta decay events of the reactor antineutrino $\bar{\nu}_e$, natural radioactivity, cosmogenic isotopes and neutral current interactions of atmospheric neutrinos. Pulse shape discrimination and multivariate analysis techniques are employed to further suppress backgrounds. With two years of exposure, JUNO is expected to give an order of magnitude improvement compared to the current best limits. After 10 years of data taking, the JUNO expected sensitivities at a 90% confidence level are $\tau/B( n \rightarrow { inv} ) > 5.0 \times 10^{31} \, {\rm yr}$ and $\tau/B( nn \rightarrow { inv} ) > 1.4 \times 10^{32} \, {\rm yr}$.Comment: 28 pages, 7 figures, 4 table

Multipartite Continuous Variable Quantum Conferencing Network with Entanglement in the Middle

We suggest a continuous variable quantum conferencing network scheme with an entangled source in the middle. Here, the source generates a multipartite entangled state and distributes the modes of the state to an arbitrary number of legitimate network users. The entangled modes that were received and measured by the users share mutual information, which is utilized to generate secure conferencing key between users. The scheme is proven secure against collective attacks on both the untrusted source in the middle and all the quantum links. Simulation results show that the presented scheme can achieve high rate secure conferencing for 100 users within a 400 m-radius community or factory area

Study on the Geo-Stress Loading and Excavation Unloading Devices of the Large-Scale Photoelastic Model Test for Deep-Buried Tunnels

At present, theoretical analysis, numerical simulation, and other methods cannot be used to properly solve the problems associated with the stability and bearing capacity of the surrounding rock and its supporting system, the interaction between the supporting structure and surrounding rock, and the sharing role of each supporting structure, all of which commonly occur in deep tunnels. The model test method represented by the photoelastic test is still an important approach to study this kind of problem. In view of the deficiency of the current loading system of the photoelastic model test, we developed a geo-stress loading system for the photoelastic model test, which can simulate the in situ geo-stress environment of unidirectional loading, bidirectional equal pressure, bidirectional unequal pressure, and tridirectional unequal pressure. The universal retaining force loading rod can realize the stability and effective compensation of loading, which is an original design. According to the principle of umbrella-shaped expansion and contraction mechanism, an excavation unloading device for the photoelastic model test is developed, which can realize the simulation of various degrees of displacement release in the excavation process of deep tunnels and other underground projects. The loading simulation test and excavation unloading simulation test show that the geo-stress loading system and excavation unloading device developed in this paper are flexible, exhibit good performance, and can fully achieve their respective test functions. The combination of two devices can compensate for the insufficiency of the current photoelastic model test and will promote the application of photoelastic model tests in underground engineering applications such as deep tunnel projects

Differentiation and Prediction of Shale Gas Production in Horizontal Wells: A Case Study of the Weiyuan Shale Gas Field, China

The estimated ultimate recovery (EUR) of shale gas is an important index for evaluating the production capacity of horizontal wells. The Weiyuan shale gas field has wells with considerable EUR differentiation, which hinders the prediction of the production capacity of new wells. Accordingly, 121 wells with highly differentiated production are used for analysis. First, the main control factors of well production are identified via single-factor and multi-factor analyses, with the EUR set as the production capacity index. Subsequently, the key factors are selected to perform the multiple linear regression of EUR, accompanied by the developed method for well production prediction. The thickness and drilled length of Long 111 (Substratum 1 of Long 1 submember, Lower Silurian Longmaxi Formation) are demonstrated to have the uttermost effects on the well production, while several other factors also play important roles, including the fractured horizontal wellbore length, gas saturation, brittle mineral content, fracturing stage quantity, and proppant injection intensity. The multiple linear regression method can help accurately predict EUR, with errors of no more than 10%, in wells that have smooth production curves and are free of artificial interference, such as casing deformation, frac hit, and sudden change in production schemes. The results of this study are expected to provide certain guiding significances for shale gas development

Differentiation and Prediction of Shale Gas Production in Horizontal Wells: A Case Study of the Weiyuan Shale Gas Field, China

The estimated ultimate recovery (EUR) of shale gas is an important index for evaluating the production capacity of horizontal wells. The Weiyuan shale gas field has wells with considerable EUR differentiation, which hinders the prediction of the production capacity of new wells. Accordingly, 121 wells with highly differentiated production are used for analysis. First, the main control factors of well production are identified via single-factor and multi-factor analyses, with the EUR set as the production capacity index. Subsequently, the key factors are selected to perform the multiple linear regression of EUR, accompanied by the developed method for well production prediction. The thickness and drilled length of Long 111 (Substratum 1 of Long 1 submember, Lower Silurian Longmaxi Formation) are demonstrated to have the uttermost effects on the well production, while several other factors also play important roles, including the fractured horizontal wellbore length, gas saturation, brittle mineral content, fracturing stage quantity, and proppant injection intensity. The multiple linear regression method can help accurately predict EUR, with errors of no more than 10%, in wells that have smooth production curves and are free of artificial interference, such as casing deformation, frac hit, and sudden change in production schemes. The results of this study are expected to provide certain guiding significances for shale gas development