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.展开更多
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.展开更多
As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Int...As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.展开更多
This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China ...This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.展开更多
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.展开更多
This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bis...This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.展开更多
Based on existing logic theories, this paper proposes nine classical application theories. These consist of Logical Spacetime (which includes Logical Spacetime and Logical Mathematics and Physics), Logical Fields, Log...Based on existing logic theories, this paper proposes nine classical application theories. These consist of Logical Spacetime (which includes Logical Spacetime and Logical Mathematics and Physics), Logical Fields, Logical Networks, Life Communications, Life Reasoning Activities, Life Cycle, Life Data, Life Programming and Life Learning Strategy. The application theories describe a panoramic view of the technological development of their three main subjects (artificial intelligence, robotics and intelligent society) with the strength of one school of thought.展开更多
With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and ...With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and professional success.As an interactive and structured learning activity,English debates provide an effective platform for enhancing these cognitive and linguistic skills.This study investigates the impact of English debates on students’critical thinking and logical expression skills by analyzing pre-and post-debate assessments,survey data,and in-depth interviews with debate participants.The results indicate significant improvements in critical thinking skills,including argumentation logic,rebuttal techniques,and problem awareness.Students also demonstrated notable progress in organizing and expressing complex ideas logically in English.These findings offer valuable insights for English teaching in higher education,suggesting that debates can serve as an effective pedagogical tool for fostering both language and cognitive development in university students.展开更多
Based on The Purpose of Logical Structure School, Logic Structure, Logical Engineering, Theory of Logical Equation Structure Diagrams, and Bionic Logic Theory, this paper proposes five foundational classical theories ...Based on The Purpose of Logical Structure School, Logic Structure, Logical Engineering, Theory of Logical Equation Structure Diagrams, and Bionic Logic Theory, this paper proposes five foundational classical theories (The Purpose of the Logical Structure School, Subjective Initiative Structure, Subjective Initiative Structure Engineering, The Life-Giving Logical Equation Structure Diagram, and Bionic Logic), providing directions, methods, and criteria for foundational research on artificial intelligence, robotics and the age of intelligence.展开更多
Critical thinking is becoming more and more important in modern society.Logical thinking is one of the core abilities of critical thinking.However,teaching logic to children faces some challenges especially when intro...Critical thinking is becoming more and more important in modern society.Logical thinking is one of the core abilities of critical thinking.However,teaching logic to children faces some challenges especially when introducing logical symbols such as the implication symbol.Using stories to introduce logical symbols will address this problem and improve critical thinking.展开更多
Stimuli-responsive DNA-based logic gates have emerged as a promising field at the intersection of synthetic biology and nanotechnology.These gates exploit the unique properties of DNA molecules to perform programmable...Stimuli-responsive DNA-based logic gates have emerged as a promising field at the intersection of synthetic biology and nanotechnology.These gates exploit the unique properties of DNA molecules to perform programmable computational operations in response to specific stimuli.This review provides a comprehensive overview of recent advancements in the design,working principles,and applications of stimuli-responsive DNA-based logic gates.The progress made in developing various types of logic gates triggered by metal ions,pH,oligonucleotides,small molecules,proteins,and light is highlighted.The applications of these logic gates in imaging and biosensing,drug delivery,synthetic biology and molecular computing are discussed.This review underscores the significant contributions and future prospects of stimuli-responsive DNA-based logic gates in advancing the field of nanotechnology.展开更多
We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logi...We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.展开更多
In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the characte...In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).展开更多
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.展开更多
Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical s...Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.展开更多
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.展开更多
基金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.
基金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.
文摘As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.
基金supported by scientific research fund of Jiangxi Provincial Social Sciences“14th Five-Year Plan”(No.23SH05).
文摘This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.
基金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.
基金Project supported by the National Natural Science Foundation of China(Grant No.12072262)the Shaanxi Computer Society&Xiangteng Company Foundation.
文摘This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.
文摘Based on existing logic theories, this paper proposes nine classical application theories. These consist of Logical Spacetime (which includes Logical Spacetime and Logical Mathematics and Physics), Logical Fields, Logical Networks, Life Communications, Life Reasoning Activities, Life Cycle, Life Data, Life Programming and Life Learning Strategy. The application theories describe a panoramic view of the technological development of their three main subjects (artificial intelligence, robotics and intelligent society) with the strength of one school of thought.
文摘With the advancement of globalization,university students need not only to master English language skills but also to develop critical thinking and logical expression skills,both of which are crucial for academic and professional success.As an interactive and structured learning activity,English debates provide an effective platform for enhancing these cognitive and linguistic skills.This study investigates the impact of English debates on students’critical thinking and logical expression skills by analyzing pre-and post-debate assessments,survey data,and in-depth interviews with debate participants.The results indicate significant improvements in critical thinking skills,including argumentation logic,rebuttal techniques,and problem awareness.Students also demonstrated notable progress in organizing and expressing complex ideas logically in English.These findings offer valuable insights for English teaching in higher education,suggesting that debates can serve as an effective pedagogical tool for fostering both language and cognitive development in university students.
文摘Based on The Purpose of Logical Structure School, Logic Structure, Logical Engineering, Theory of Logical Equation Structure Diagrams, and Bionic Logic Theory, this paper proposes five foundational classical theories (The Purpose of the Logical Structure School, Subjective Initiative Structure, Subjective Initiative Structure Engineering, The Life-Giving Logical Equation Structure Diagram, and Bionic Logic), providing directions, methods, and criteria for foundational research on artificial intelligence, robotics and the age of intelligence.
文摘Critical thinking is becoming more and more important in modern society.Logical thinking is one of the core abilities of critical thinking.However,teaching logic to children faces some challenges especially when introducing logical symbols such as the implication symbol.Using stories to introduce logical symbols will address this problem and improve critical thinking.
基金supported by Hong Kong Research Grants Council(11307421,11301220,and 11304719)Health and Medical Research Fund(09203576 and 07181396)+2 种基金National Science Foundation of China(21574109 and 217780430)The Science and Technology Innovation Committee of Shenzhen Municipality(JCYJ20190812160203619)City University of Hong Kong 7005832 and 7006006.
文摘Stimuli-responsive DNA-based logic gates have emerged as a promising field at the intersection of synthetic biology and nanotechnology.These gates exploit the unique properties of DNA molecules to perform programmable computational operations in response to specific stimuli.This review provides a comprehensive overview of recent advancements in the design,working principles,and applications of stimuli-responsive DNA-based logic gates.The progress made in developing various types of logic gates triggered by metal ions,pH,oligonucleotides,small molecules,proteins,and light is highlighted.The applications of these logic gates in imaging and biosensing,drug delivery,synthetic biology and molecular computing are discussed.This review underscores the significant contributions and future prospects of stimuli-responsive DNA-based logic gates in advancing the field of nanotechnology.
文摘We investigate the impact of coupling on the reliability of the logic system as well as the logical stochastic resonance （LSR） phenomenon in the coupled logic gates system. It is found that compared with single logic gate, the coupled system could yield reliable logic outputs in a much wider noise region, which means coupling can obviously improve the reliability of the logic system and thus enhance the LSR effect. Moreover, we find that the enhancement is larger for larger system size, whereas for large enough size the enhancement seems to be saturated. Finally, we also examine the effect of coupling strength, it can be observed that the noise region where reliable logic outputs can be obtained evolves non-monotonically as the coupling strength increases, displaying a resonance-like effect.
文摘In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).
文摘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.
文摘Based on the definition of a logic structure feature to relate logically functional requirements to geometric representation independent upon detailed geometric representation, this paper presents an idea of logical structure modeling for computer aided conceptual design and makes attempt to establish a representation formalism of logic structure modeling. The definition and representation of logical structure feature are given and an assembly module definition for supporting top down conceptual design is also proposed. The proposed scheme contributes to several aspects of conceptual design research, especially to provide elementarily a formal methodology for computer aided conceptual design system development and operation.
文摘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.
