This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Ham...This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Hamiltonian principle.An analysis of internal flow’s influence on the vibration characteristics of flexible marine risers is conducted.Then,for the uncertain environmental disturbance,the adaptive fuzzy logic system is introduced to dynamically approximate the boundary disturbance,and a robust adaptive fuzzy boundary control is proposed.The uniform boundedness of the closed-loop system is proved based on Lyapunov theory.The well-posedness of the closed-loop system is proved by operator semigroup theory.The proposed control’s effectiveness is validated through comparison with existing control methods.展开更多
Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively r...Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively researched for both aerial and underwater navigation applications.However,many TAN systems that rely on recursive Unmanned Aerial Vehicle(UAV)position estimation methods,such as Extended Kalman Filters(EKF),often face challenges with divergence and instability,particularly in highly non-linear systems.To address these issues,this paper proposes and investigates a hybrid two-stage TAN positioning system for UAVs that utilizes Particle Filter.To enhance the system’s robustness against uncertainties caused by noise and to estimate additional system states,a Fuzzy Particle Filter(FPF)is employed in the first stage.This approach introduces a novel terrain composite feature that enables a fuzzy expert system to analyze terrain non-linearities and dynamically adjust the number of particles in real-time.This design allows the UAV to be efficiently localized in GPS-denied environments while also reducing the computational complexity of the particle filter in real-time applications.In the second stage,an Error State Kalman Filter(ESKF)is implemented to estimate the UAV’s altitude.The ESKF is chosen over the conventional EKF method because it is more suitable for non-linear systems.Simulation results demonstrate that the proposed fuzzy-based terrain composite method achieves high positional accuracy while reducing computational time and memory usage.展开更多
This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA f...This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.展开更多
A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_...A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.展开更多
High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadb...High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.展开更多
In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
In robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators i...In robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators in a way that resonates with human emotions.This research focuses on human anthropometric theories to design and control robotic facial actuators,addressing the limitations of existing approaches in expressing emotions naturally and accurately.The facial landmarks are extracted to determine the anthropometric indicators for designing the robot head and is employed to the displacement of these points to calculate emotional values using Fuzzy C-Mean(FCM).The rotating angles of skin actuators are required to account for the smaller emotions,which enhance the robot’s ability to perform emotions in reality.In addition,this study contributes a novel approach based on facial anthropometric indicators to tailor emotional expressions to diverse human characteristics,ensuring more personalized and intuitive interactions.The results demonstrated howfuzzy logic can be employed to improve a robot’s ability to express emotions,which are digitized into fuzzy values.This is also the contribution of the research,which laid the groundwork for robots that can interact with humans more intuitively and empathetically.The performed experiments demonstrated that the suitability of proposed models to conduct tasks related to human emotions with the accuracy of emotional value determination and motor angles is 0.96 and 0.97,respectively.展开更多
In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an in...In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.展开更多
As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using a...As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.展开更多
The development of multi-stimuli-responsive luminescent system to address emerging demands is essential in anti-counterfeiting field.Herein,a photoswitchable system was reported,which was constructed from photoacid su...The development of multi-stimuli-responsive luminescent system to address emerging demands is essential in anti-counterfeiting field.Herein,a photoswitchable system was reported,which was constructed from photoacid sulfonato-merocyanine(MEH-D)serving as H+donor and diarylethene derivative(DAEA1)as acceptor.After capturing 2 equiv.HCl,the obtained fluorescent molecule DAE-A1-H showed solvatochromic property.Further on,benefiting from that MEH-D released protons and became a ring-closed isomer spiropyran(SP-D)under 440 nm irradiation,DAE-A1 was protonated,turning on fluorescence effect was realized in DAE-A1/MEH-D.In dark,a photo-activated reversible process was realized with SPD changed to MEH-D in situ system.In addition,the OF-DAE-A1-H/SP-D could efficiently and reversibly switch on/off its luminescence upon irradiation by UV–vis light.Significantly,the multi-stimuli-responsive system was successfully applied in logic gate and fluorescence ink,making it an efficient strategy for information encryption and decryption with higher security requirements.展开更多
What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales...What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales to philosophers such as Socrates,Plato,and Aristotle,ancient Greece achieved the origin and development of philosophy;Later,Descartes,Hume,Kant,Hegel,Nietzsche,and others explored new fields and concepts;Philosophers such as Husserl,Sartre,Russell,Wittgenstein,and Derrida left a profound mark in the 20th century.The emergence of a worldview emerged in the ancient Indian Vedas,and later in the religious and philosophical work The Upanishads,there was a discourse on the entities of"Brahma"and"I",which gave rise to the idea of"Advaita"in later generations.The Book of Changes was born in ancient China,along with major academic schools such as Taoism,Confucianism,Legalism,and Mohism.Later,Buddhist thought was integrated;With the Eastern ideas of yin and yang,the Doctrine of the Mean,harmony,and the ultimate goodness,I have integrated Eastern and Western historical philosophies,modern physics,and classical logic theories in my thinking on the principle of cosmic paradox,proposing a new perspective of understanding the essence of the universe and its natural logical relationship structure using the principle of paradox as the law of cosmic operation.The theoretical exploration and discussion of the dual nature relationship of"non-contradiction"and"contradiction"in the"first contradiction"relationship of things in the universe,that is,the identity of the universe is a self-contradictory overall transformation process;Attempting to reveal the paradoxical relationship of the universe from a new perspective in modern science,philosophy,and logic,striving to have a beneficial impact on the exploration and practical application of sustainable human survival and development models in the future.展开更多
Precise tumor targeting and therapy is a major trend in cancer treatment.Herein,we designed a tumor acidic microenvironment activatable drug loaded DNA nanostructure,in which,we made a clever use of the sequences of A...Precise tumor targeting and therapy is a major trend in cancer treatment.Herein,we designed a tumor acidic microenvironment activatable drug loaded DNA nanostructure,in which,we made a clever use of the sequences of AS1411 and i-motif,which can partially hybridize,and designed a simple while robust DNA D-strand nanostructure,in which,i-motif sequence was designed to regulate the binding ability of the AS1411 aptamer to target tumor.In the normal physiological environment,i-motif inhibits the targeting ability of AS1411.In the acidic tumor microenvironment,i-motif forms a quadruplex conformation and dissociates from AS1411,restoring the targeting ability of AS1411.Only when acidic condition and tumor cell receptor are present,this nanostructure can be internalized by the tumor cells.Moreover,the structure change of this nanostructure can realize the release of loaded drug.This drug loaded A-I-Duplex DNA structure showed cancer cell and spheroid targeting and inhibition ability,which is promising in the clinical cancer therapy.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
Imaging detection of interlinked dual proteases is imperative for precise tumor imaging,which remains challenging due to limited modification position of specific substrate and possible steric hindrance.Herein,we have...Imaging detection of interlinked dual proteases is imperative for precise tumor imaging,which remains challenging due to limited modification position of specific substrate and possible steric hindrance.Herein,we have developed a unimolecular chemiluminescent probe(LGP-CL)tandemly activated by two proteases interlinked with liver cancer to achieve precise tumor imaging.Probe LGP-CL consists of a phenoxy-dioxetane scaffold caged by a tripeptide substrate(LGP,leucine-glycine-proline)as the sensing layer,which can be cleaved sequentially by aminopeptidase N(APN)and dipeptidyl peptidase IV(DPPIV)to turn on a strong chemiluminescent signal,and silenced by specific inhibitor of each enzyme,which accounts for an integrated logic gate(AND,OR and INHIBIT).The successful cleavage of dual proteases on the metabolic site depends on the proper structure of the tripeptide substrate,as confirmed by two probes design.Probe LGP-CL(LGP as the substrate)enables the excellent“dual-lock-dual-key”fit with a382-fold enhancement of chemiluminescent emission while no obvious signal is observed by using GPLCL(GPL as the substrate).By virtue of its rapid response(several minutes),high sensitivity and good cell viability,probe LGP-CL has been utilized to evaluate upregulated levels of proteases in vitro and in living systems,especially to distinguish liver tumor cells(Hep G2)from others(LO_(2),MCF-7,MCF-10a and RAW264.7).Overall,the newly developed CL probe may facilitate rapid investigation into the role played by proteases in liver diseases,enabling timely selection appropriate treatment.Therefore,our work not only sheds light on the rational design of optical probes for dual protease imaging,but provides a promising tool for clinical diagnosis and even drug discovery.展开更多
Background:This essay mainly explores the theoretical roots of traditional Chinese medicine(TCM)practice in the Han Dynasty.It places individual small lives in the big life of heaven,earth and the universe and looks a...Background:This essay mainly explores the theoretical roots of traditional Chinese medicine(TCM)practice in the Han Dynasty.It places individual small lives in the big life of heaven,earth and the universe and looks at life’s occurrence,development and death from a broader cosmology perspective,and thus provide the“Great Harmony between Heaven and Human”in the Huangdi Neijing(Inner Canon of the Yellow Emperor)of the Han Dynasty.Methods:This paper mainly uses the analysis method of literature review and philosophical concepts.It uses the image-number logic thinking method of I Ching to compare images with analogy and the holistic thinking method of the three-talent view of heaven,earth,and man to understand life.Results:It is mainly reflected in three aspects:(1)One Yin and one Yang are called Tao((1)Yin Yang as the coherent fabric of nature and mind,exhibited in all existence,(2)Yin Yang as Jiao(interaction)between the waxing and waning of the cosmic and human realms,and(3)Yin Yang as a process of harmonization ensuring a constant,dynamic balance of all things);(2)The way of life in the Book of Changes;and(3)The Unity of the Way of Heaven and the Way of TCM.Conclusion:The main medical thought laid the theoretical foundation of early practice and the development model of life cognition.It is still worthy of continuous exploration,development,and innovation in contemporary philosophy and life sciences.展开更多
Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in w...Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.展开更多
FOR many people in Sweden and across the West,China’s political system and leadership remain distant,often mediated through headlines about trade disputes,human rights controversies,or great power rivalry.What is les...FOR many people in Sweden and across the West,China’s political system and leadership remain distant,often mediated through headlines about trade disputes,human rights controversies,or great power rivalry.What is less familiar are the internal logics,historical references,and developmental ambitions that shape the self-understanding of Chinese leaders and their vision for the country’s role in the world.展开更多
基金financially supported by Sichuan Science and Technology Program(Grant No.2023NSFSC1980).
文摘This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Hamiltonian principle.An analysis of internal flow’s influence on the vibration characteristics of flexible marine risers is conducted.Then,for the uncertain environmental disturbance,the adaptive fuzzy logic system is introduced to dynamically approximate the boundary disturbance,and a robust adaptive fuzzy boundary control is proposed.The uniform boundedness of the closed-loop system is proved based on Lyapunov theory.The well-posedness of the closed-loop system is proved by operator semigroup theory.The proposed control’s effectiveness is validated through comparison with existing control methods.
文摘Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively researched for both aerial and underwater navigation applications.However,many TAN systems that rely on recursive Unmanned Aerial Vehicle(UAV)position estimation methods,such as Extended Kalman Filters(EKF),often face challenges with divergence and instability,particularly in highly non-linear systems.To address these issues,this paper proposes and investigates a hybrid two-stage TAN positioning system for UAVs that utilizes Particle Filter.To enhance the system’s robustness against uncertainties caused by noise and to estimate additional system states,a Fuzzy Particle Filter(FPF)is employed in the first stage.This approach introduces a novel terrain composite feature that enables a fuzzy expert system to analyze terrain non-linearities and dynamically adjust the number of particles in real-time.This design allows the UAV to be efficiently localized in GPS-denied environments while also reducing the computational complexity of the particle filter in real-time applications.In the second stage,an Error State Kalman Filter(ESKF)is implemented to estimate the UAV’s altitude.The ESKF is chosen over the conventional EKF method because it is more suitable for non-linear systems.Simulation results demonstrate that the proposed fuzzy-based terrain composite method achieves high positional accuracy while reducing computational time and memory usage.
基金funded by the Office of Gas and Electricity Markets(Ofgem)and supported by De Montfort University(DMU)and Nottingham Trent University(NTU),UK.
文摘This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.
文摘A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.
基金supported by the National Natural Science Foundation of China(Grant Nos.62005058 and 62365006)the Natural Science Foundation of Guangxi,China(Grant No.2020GXNSFBA238012)+2 种基金the China Postdoctoral Science Foundation(Grant No.2020M683726)the Innovation Project of Guangxi Graduate Education(Grant Nos.YCSW2024345 and YCBZ2025157)the Guangxi Key Laboratory of Automatic Detecting Technology and Instruments(Grant No.YQ24101).
文摘High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
基金funded by the University of Economics Ho Chi Minh City-UEH,Vietnam.
文摘In robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators in a way that resonates with human emotions.This research focuses on human anthropometric theories to design and control robotic facial actuators,addressing the limitations of existing approaches in expressing emotions naturally and accurately.The facial landmarks are extracted to determine the anthropometric indicators for designing the robot head and is employed to the displacement of these points to calculate emotional values using Fuzzy C-Mean(FCM).The rotating angles of skin actuators are required to account for the smaller emotions,which enhance the robot’s ability to perform emotions in reality.In addition,this study contributes a novel approach based on facial anthropometric indicators to tailor emotional expressions to diverse human characteristics,ensuring more personalized and intuitive interactions.The results demonstrated howfuzzy logic can be employed to improve a robot’s ability to express emotions,which are digitized into fuzzy values.This is also the contribution of the research,which laid the groundwork for robots that can interact with humans more intuitively and empathetically.The performed experiments demonstrated that the suitability of proposed models to conduct tasks related to human emotions with the accuracy of emotional value determination and motor angles is 0.96 and 0.97,respectively.
基金supported by the National Science and Technology Major Project(2020AAA0109005)the National Natural Science Foundation of China(62374055,12327806,62304083,62074063,61821003,61904060,61904051,61674062)+4 种基金the Interdisciplinary Program of Wuhan National High Magnetic Field Center(WHMFC202119)the Shenzhen Science and Technology Program Award(JCYJ20220818103410022)the Shenzhen Virtual University Park(2021Szvup091)the Natural Science Foundation of Wuhan(2024040701010049)Shuai Zhang acknowledges support from the China Postdoctoral Science Foundation(2022M721237).
文摘In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.
文摘As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.
基金financially supported by Natural Science Foundation of Shandong Province(Nos.ZR2022QB061,2022KJ181)National Key R&D Program of China(No.2023YFD1700903)。
文摘The development of multi-stimuli-responsive luminescent system to address emerging demands is essential in anti-counterfeiting field.Herein,a photoswitchable system was reported,which was constructed from photoacid sulfonato-merocyanine(MEH-D)serving as H+donor and diarylethene derivative(DAEA1)as acceptor.After capturing 2 equiv.HCl,the obtained fluorescent molecule DAE-A1-H showed solvatochromic property.Further on,benefiting from that MEH-D released protons and became a ring-closed isomer spiropyran(SP-D)under 440 nm irradiation,DAE-A1 was protonated,turning on fluorescence effect was realized in DAE-A1/MEH-D.In dark,a photo-activated reversible process was realized with SPD changed to MEH-D in situ system.In addition,the OF-DAE-A1-H/SP-D could efficiently and reversibly switch on/off its luminescence upon irradiation by UV–vis light.Significantly,the multi-stimuli-responsive system was successfully applied in logic gate and fluorescence ink,making it an efficient strategy for information encryption and decryption with higher security requirements.
文摘What laws do the universe naturally operate according to?What should be the logical foundation of the human real world?This is a foundational and fundamental issue that humans have always wanted to clarify.From Thales to philosophers such as Socrates,Plato,and Aristotle,ancient Greece achieved the origin and development of philosophy;Later,Descartes,Hume,Kant,Hegel,Nietzsche,and others explored new fields and concepts;Philosophers such as Husserl,Sartre,Russell,Wittgenstein,and Derrida left a profound mark in the 20th century.The emergence of a worldview emerged in the ancient Indian Vedas,and later in the religious and philosophical work The Upanishads,there was a discourse on the entities of"Brahma"and"I",which gave rise to the idea of"Advaita"in later generations.The Book of Changes was born in ancient China,along with major academic schools such as Taoism,Confucianism,Legalism,and Mohism.Later,Buddhist thought was integrated;With the Eastern ideas of yin and yang,the Doctrine of the Mean,harmony,and the ultimate goodness,I have integrated Eastern and Western historical philosophies,modern physics,and classical logic theories in my thinking on the principle of cosmic paradox,proposing a new perspective of understanding the essence of the universe and its natural logical relationship structure using the principle of paradox as the law of cosmic operation.The theoretical exploration and discussion of the dual nature relationship of"non-contradiction"and"contradiction"in the"first contradiction"relationship of things in the universe,that is,the identity of the universe is a self-contradictory overall transformation process;Attempting to reveal the paradoxical relationship of the universe from a new perspective in modern science,philosophy,and logic,striving to have a beneficial impact on the exploration and practical application of sustainable human survival and development models in the future.
基金funded by the National Natural Science Foundation of China(No.32271464)the Hunan Provincial Natural Science Foundation for Distinguished Young Scholars(No.2022JJ10086)+2 种基金the Innovation-Driven Project of Central South University(No.2020CX048)Hunan Provincial High-Level Health Talents(No.20240304088)Fund of the Hunan Provincial Natural Science Foundation and the Hunan Medical Products Administration(No.2023JJ60501)。
文摘Precise tumor targeting and therapy is a major trend in cancer treatment.Herein,we designed a tumor acidic microenvironment activatable drug loaded DNA nanostructure,in which,we made a clever use of the sequences of AS1411 and i-motif,which can partially hybridize,and designed a simple while robust DNA D-strand nanostructure,in which,i-motif sequence was designed to regulate the binding ability of the AS1411 aptamer to target tumor.In the normal physiological environment,i-motif inhibits the targeting ability of AS1411.In the acidic tumor microenvironment,i-motif forms a quadruplex conformation and dissociates from AS1411,restoring the targeting ability of AS1411.Only when acidic condition and tumor cell receptor are present,this nanostructure can be internalized by the tumor cells.Moreover,the structure change of this nanostructure can realize the release of loaded drug.This drug loaded A-I-Duplex DNA structure showed cancer cell and spheroid targeting and inhibition ability,which is promising in the clinical cancer therapy.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
基金financial support by National Key R&D Program of China,MOST(No.2023YFC2510000)Shanghai Science and Technology(No.21N31900500)+2 种基金Shanghai Municipal Health Commission Project(No.202140016)Training Program for Outstanding Young Medical and Pharmaceutical Talents of Minhang District Health System(No.mwyjyx08)the Project of Basic Medicine funded by Fudan-Minhang Health Consortium(Nos.2021MHJC10 and 2023FM09)。
文摘Imaging detection of interlinked dual proteases is imperative for precise tumor imaging,which remains challenging due to limited modification position of specific substrate and possible steric hindrance.Herein,we have developed a unimolecular chemiluminescent probe(LGP-CL)tandemly activated by two proteases interlinked with liver cancer to achieve precise tumor imaging.Probe LGP-CL consists of a phenoxy-dioxetane scaffold caged by a tripeptide substrate(LGP,leucine-glycine-proline)as the sensing layer,which can be cleaved sequentially by aminopeptidase N(APN)and dipeptidyl peptidase IV(DPPIV)to turn on a strong chemiluminescent signal,and silenced by specific inhibitor of each enzyme,which accounts for an integrated logic gate(AND,OR and INHIBIT).The successful cleavage of dual proteases on the metabolic site depends on the proper structure of the tripeptide substrate,as confirmed by two probes design.Probe LGP-CL(LGP as the substrate)enables the excellent“dual-lock-dual-key”fit with a382-fold enhancement of chemiluminescent emission while no obvious signal is observed by using GPLCL(GPL as the substrate).By virtue of its rapid response(several minutes),high sensitivity and good cell viability,probe LGP-CL has been utilized to evaluate upregulated levels of proteases in vitro and in living systems,especially to distinguish liver tumor cells(Hep G2)from others(LO_(2),MCF-7,MCF-10a and RAW264.7).Overall,the newly developed CL probe may facilitate rapid investigation into the role played by proteases in liver diseases,enabling timely selection appropriate treatment.Therefore,our work not only sheds light on the rational design of optical probes for dual protease imaging,but provides a promising tool for clinical diagnosis and even drug discovery.
基金The National Social Science Foundation Project“Research on Chinese Life Wisdom from the Perspective of Creative Transformation and Innovative Development”(22ZDA082).
文摘Background:This essay mainly explores the theoretical roots of traditional Chinese medicine(TCM)practice in the Han Dynasty.It places individual small lives in the big life of heaven,earth and the universe and looks at life’s occurrence,development and death from a broader cosmology perspective,and thus provide the“Great Harmony between Heaven and Human”in the Huangdi Neijing(Inner Canon of the Yellow Emperor)of the Han Dynasty.Methods:This paper mainly uses the analysis method of literature review and philosophical concepts.It uses the image-number logic thinking method of I Ching to compare images with analogy and the holistic thinking method of the three-talent view of heaven,earth,and man to understand life.Results:It is mainly reflected in three aspects:(1)One Yin and one Yang are called Tao((1)Yin Yang as the coherent fabric of nature and mind,exhibited in all existence,(2)Yin Yang as Jiao(interaction)between the waxing and waning of the cosmic and human realms,and(3)Yin Yang as a process of harmonization ensuring a constant,dynamic balance of all things);(2)The way of life in the Book of Changes;and(3)The Unity of the Way of Heaven and the Way of TCM.Conclusion:The main medical thought laid the theoretical foundation of early practice and the development model of life cognition.It is still worthy of continuous exploration,development,and innovation in contemporary philosophy and life sciences.
文摘Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.
文摘FOR many people in Sweden and across the West,China’s political system and leadership remain distant,often mediated through headlines about trade disputes,human rights controversies,or great power rivalry.What is less familiar are the internal logics,historical references,and developmental ambitions that shape the self-understanding of Chinese leaders and their vision for the country’s role in the world.
