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.展开更多
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.展开更多
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.展开更多
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.展开更多
Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive ...Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.展开更多
As an emerging memory device,memristor shows great potential in neuromorphic computing applications due to its advantage of low power consumption.This review paper focuses on the application of low-power-based memrist...As an emerging memory device,memristor shows great potential in neuromorphic computing applications due to its advantage of low power consumption.This review paper focuses on the application of low-power-based memristors in various aspects.The concept and structure of memristor devices are introduced.The selection of functional materials for low-power memristors is discussed,including ion transport materials,phase change materials,magnetoresistive materials,and ferroelectric materials.Two common types of memristor arrays,1T1R and 1S1R crossbar arrays are introduced,and physical diagrams of edge computing memristor chips are discussed in detail.Potential applications of low-power memristors in advanced multi-value storage,digital logic gates,and analogue neuromorphic computing are summarized.Furthermore,the future challenges and outlook of neuromorphic computing based on memristor are deeply discussed.展开更多
The construction phase of a project is a critical factor that significantly impacts its overall success.The construction environment is characterized by uncertainty and dynamism,involving nonlinear relationships among...The construction phase of a project is a critical factor that significantly impacts its overall success.The construction environment is characterized by uncertainty and dynamism,involving nonlinear relationships among various factors that affect construction quality.This study utilized 987 construction inspection records from 1993 to 2022,obtained from the Taiwan residents Public Construction Management Information System(PCMIS),to determine the relationships between construction factors and quality.First,fuzzy logic was applied to calculate the weights of 499 defects,and 25 critical construction factors were selected based on these weight values.Next,a deep neural network was used to identify the relationship between the critical construction factors(input variables)and construction quality(output variable).Finally,the prediction model’s performance was evaluated to confirm the impact of these critical construction factors on project outcomes.This study employed an innovative hybrid soft computing technique,com-bining fuzzy logic and an artificial neural network,to effectively predict the relationship between critical construction factors and construction quality,achieving a model accuracy of 96.08%.Project managers can utilize the findings of this study to enhance project management practices and establish effective construction management strategies,thereby improving project construction quality.展开更多
Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedago...Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.展开更多
Founded in 2008 and appears bimonthly,Studies in Logic,the first journal in China dedicated to logic and related disciplines,publishes peer reviewed research articles in English and Chinese.The journal is jointly spon...Founded in 2008 and appears bimonthly,Studies in Logic,the first journal in China dedicated to logic and related disciplines,publishes peer reviewed research articles in English and Chinese.The journal is jointly sponsored by the Chinese Association of Logic and Sun Yat-sen University,and published by the Institute of Logic and Cognition,Sun Yat-sen University.The editorial board consists of a group of outstanding scholars from both China and abroad in philosophy,computer science,mathematics,linguistics and other related areas.展开更多
文摘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 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.
文摘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.
基金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.
基金the National Natural Science Foundation of China(Nos.21801063,22305070 and U20041101)the Top-Notch Talents Program of Henan Agricultural University(Nos.30501049 and 30501032)for financial support。
文摘Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.
基金supported by the NSFC(12474071)Natural Science Foundation of Shandong Province(ZR2024YQ051)+5 种基金Open Research Fund of State Key Laboratory of Materials for Integrated Circuits(SKLJC-K2024-12)the Shanghai Sailing Program(23YF1402200,23YF1402400)Funded by Basic Research Program of Jiangsu(BK20240424)Taishan Scholar Foundation of Shandong Province(tsqn202408006)Young Talent of Lifting engineering for Science and Technology in Shandong,China(SDAST2024QTB002)the Qilu Young Scholar Program of Shandong University.
文摘As an emerging memory device,memristor shows great potential in neuromorphic computing applications due to its advantage of low power consumption.This review paper focuses on the application of low-power-based memristors in various aspects.The concept and structure of memristor devices are introduced.The selection of functional materials for low-power memristors is discussed,including ion transport materials,phase change materials,magnetoresistive materials,and ferroelectric materials.Two common types of memristor arrays,1T1R and 1S1R crossbar arrays are introduced,and physical diagrams of edge computing memristor chips are discussed in detail.Potential applications of low-power memristors in advanced multi-value storage,digital logic gates,and analogue neuromorphic computing are summarized.Furthermore,the future challenges and outlook of neuromorphic computing based on memristor are deeply discussed.
文摘The construction phase of a project is a critical factor that significantly impacts its overall success.The construction environment is characterized by uncertainty and dynamism,involving nonlinear relationships among various factors that affect construction quality.This study utilized 987 construction inspection records from 1993 to 2022,obtained from the Taiwan residents Public Construction Management Information System(PCMIS),to determine the relationships between construction factors and quality.First,fuzzy logic was applied to calculate the weights of 499 defects,and 25 critical construction factors were selected based on these weight values.Next,a deep neural network was used to identify the relationship between the critical construction factors(input variables)and construction quality(output variable).Finally,the prediction model’s performance was evaluated to confirm the impact of these critical construction factors on project outcomes.This study employed an innovative hybrid soft computing technique,com-bining fuzzy logic and an artificial neural network,to effectively predict the relationship between critical construction factors and construction quality,achieving a model accuracy of 96.08%.Project managers can utilize the findings of this study to enhance project management practices and establish effective construction management strategies,thereby improving project construction quality.
基金The Educational Research Project of Kunming Medical University(2023-JY-Y-024 and 2022-JY-Y-011)Special Research Project for Introduced Talent of Kunming Medical University(J13395001)。
文摘Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.
文摘Founded in 2008 and appears bimonthly,Studies in Logic,the first journal in China dedicated to logic and related disciplines,publishes peer reviewed research articles in English and Chinese.The journal is jointly sponsored by the Chinese Association of Logic and Sun Yat-sen University,and published by the Institute of Logic and Cognition,Sun Yat-sen University.The editorial board consists of a group of outstanding scholars from both China and abroad in philosophy,computer science,mathematics,linguistics and other related areas.
