Results 81 to 90 of about 82,622 (268)

Logic-Dynamic Approach to Fault Diagnosis in Mechatronic Systems

International Journal of Advanced Robotic Systems, 2006
This paper presents a problem of fault detection and isolation (FDI) in mechatronic systems described by nonlinear dynamic models with such types of no differentiable nonlinearities as saturation, Coulomb friction, backlash, and hysteresis. To solve this
V. F. Filaretov, A. N. Zhirabok
doaj   +1 more source

Multimodal Soft Surgical Robots Enabled by Eco‐Degradable, Sterilizable Polymers and Transient Electronics

Advanced Functional Materials, EarlyView.
A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe, 
Minseong Chae, Kyung‐Sub Kim, Gyeong‐Seok Hwang, Jun‐Seok Shim, Sung‐Woo Kim, Yong‐Wu Kim, Jieun Han, Jae‐Young Bae, Jae‐Hwan Lee, Minjung Chae, Jooik Jeon, Joo‐Hyeon Park, You‐Jung Park, Ju‐Yong Lee, Sung‐Geun Choi, Min‐Ha Oh, Yong‐Joong Shin, Young‐In Ryu, Ji‐Woo Gu, Seong‐Yu Choi, Jeong‐Yun Sun, Jung Keun Hyun, Myoung‐Ryul Ok, Sang Yup Kim, Edyta Wyszkowska, Ju‐Young Kim, Kang‐Sik Lee, Seung‐Kyun Kang   +27 more
wiley   +1 more source

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

Thermally Engineered Sodium‐Embedded Alumina with Programmable Synaptic Plasticity for Neuromorphic Transistors

Advanced Functional Materials, EarlyView.
A fully transparent, all‐metal‐oxide neuromorphic transistor using a sodium‐embedded alumina (SEA) electrolyte is demonstrated. By precisely tuning the thermal annealing process, the chemical composition of the SEA layer is controlled, allowing for the deterministic realization of both short‐term and long‐term synaptic plasticity within the same device
Yonghyun Albert Kwon, Jaeyeon Kim, Dong Yeon Won, Saeyoun Park, Youngjae Yoo, Seongchan Kim, Dong‐Hwan Kim, Jeong Ho Cho   +7 more
wiley   +1 more source

Formation of Quasi‐Decoupling Interface on Li‐Metal Anodes in High Donor Electrolyte

Advanced Functional Materials, EarlyView.
Li‐metal anode (LMA) is stabilized by introducing Li2Te2 as an electrolyte additive for Li‐metal batteries. Upon contact with Li, Li2Te2 spontaneously converts to Li2Te, which electronically isolates Li from dimethyl sulfoxide due to its large bandgap and minimal Bader charge transfer.
Hyerim Kim, Sunggun Lim, Shivam Kansara, Jimin Park, Hyoju Lee, Hyokyeong Kang, Soohyung Park, Chihyun Hwang, Hansu Kim, Jang‐Yeon Hwang   +9 more
wiley   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

Quantum Logic in the Framework of Linear Logic

Annals of the Japan Association for Philosophy of Science, 1996
This paper gives a formal system for quantum logic (= the logic of orthomodular lattices) as an extension of Girard's linear logic. Quantum phase spaces are introduced as an extension of Girard's phase spaces, and the author's formal system is shown to be sound with respect to these semantical structures.
openaire   +3 more sources

Dual‐Mode Magnetic Elastomer for On‐Demand Motion and Degradation

Advanced Functional Materials, EarlyView.
A dual‐mode magnetic elastomer is introduced, enabling DC field‐driven programmable actuation and AC field‐driven magnetothermal degradation. GHz‐range magnetic fields generate ultrafast heating of magnetic nanoparticles that activates cleavage of the silicone elastomer matrix.
Jieun Han, Hyun An, Min‐Ha Oh, Yu‐Lim Lee, Woojin Jeon, Kyung‐Sub Kim, Jae‐Hwan Lee, Seungmin Kang, Yoon‐Nam Kim, Ji‐Won Kang, Daewhan Kim, Min Sang Kwon, Sang‐Koog Kim, Seung‐Kyun Kang   +13 more
wiley   +1 more source

Fuzzy Linear Temporal Logic with Quality Constraints

Mathematics
As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj   +1 more source

On Linear Logic Planning and Concurrency

Information and Computation, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources