This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing th...This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and d...This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.展开更多
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.展开更多
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).展开更多
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.展开更多
Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern co...Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern complex systems,while existing demarcation criteria like replicability and Popper’s falsificationism have practical limitations.Analyzing incompatibilities in complex systems,this paper proposes a revised framework:modified Hilbert axiomatic standards(clearly defined concepts,logical consistency,unrefuted axioms)and dynamic demarcation criteria.Abandoning unattainable traditional requirements of completeness and independence,it emphasizes conceptual clarity,openness,and progressiveness,offering an operational,self-consistent basis for judging scientificity.展开更多
New electronic devices based on the physical properties of electrically driven skyrmions are promising for logic computing and nonvolatile memory applications.However,achieving efficient and practical compute-storage ...New electronic devices based on the physical properties of electrically driven skyrmions are promising for logic computing and nonvolatile memory applications.However,achieving efficient and practical compute-storage integration remains challenging owing to the structural complexity,limited functionality,and low flexibility observed in most skyrmion-based devices.In this study,we designed a novel device architecture that integrates seven basic logic gates into a unified physical structure.Their operation can be enabled by physical mechanisms,such as spin-orbit torque,spin-transfer torque,skyrmion-edge repulsions,and skyrmion-skyrmion interactions.Furthermore,by incorporating voltage-controlled magnetic anisotropy,the device achieved multi-input capability and reconfigurability functionality.Ultralow power consumption(<1 fJ/bit per logic function)and extremely high logic density were achieved.Significantly,the compatibility of this nanotrack design with existing skyrmion racetrack memory paves the way for advanced in-memory computing in spintronic architectures.展开更多
Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining ...Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining and connecting logic gate modules with different functions.Via rational design of the various logic gate modules of the nanocalculator,different apoptosis related operations including cancer cell targeting,apoptosis induction,and apoptosis monitoring could be performed.Importantly,each of these logic gate modules could independently perform apoptosis related YES logic operations when ran separately.After combining each YES logic gate module into a logic circuit and connecting it to the GO scaffold to construct a logic-gated nanocalculator,the input-induced logic-gated modular nanocalculator could selectively enter cancer cells and control the drug release to logically apoptosis(output),by performing AND logic gate operations when inputs(nucleolin and H^(+)) were included at the same time.Moreover,evidence suggests that these efficient logical calculations proceed in cancer cell apoptosis regulation without the general limiations of lithography in nanotechnology.As such,this work provides a new vision for the construction of a logic-gated modular nanocalculator with logical calculation proficiency potentially useful in cancer therapy and the regulation of life.展开更多
Efficient torque allocation in over-actuated vehicles poses a central challenge in the domain of advanced vehicle control.These vehicles,featuring redundant actuators,provide an exceptional avenue for enhancing perfor...Efficient torque allocation in over-actuated vehicles poses a central challenge in the domain of advanced vehicle control.These vehicles,featuring redundant actuators,provide an exceptional avenue for enhancing performance,stability,and efficiency.This paper presents a pioneering tendency for torque allocation in the context of over-actuated vehicles,particularly inwheel motor(IWM)driven electric vehicles.We introduce a systematic methodology grounded in analytical modeling,allowing for the efficient reconciliation of multiple,often conflicting objectives.The explicit functions are analytically modeled to enhance stability and energy economy.Additionally,a fuzzy logic-based torque allocation strategy is developed and compared,along with other literature methods,with the analytical models.Simulations are conducted in a joint simulation between Simulink/MATLAB and SCANeR Studio vehicle dynamics simulator,followed by validation on a real-world dataset.Our findings elucidate the proficiency of the analytical models on vehicle performance,stability,computational efficiency,and energy consumption.展开更多
Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artific...Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artificial Neural Networks(ANN),Support Vector Regression(SVR),Multilayer Perceptron(MLP),and hybrid,along with fuzzy logic tools,were applied to predict the different properties like wavelength at maximum intensity(444 nm),crystallite size(17.50 nm),and optical bandgap(2.85 eV).While some other properties,such as energy density,power density,and charge transfer resistance,were also predicted with the help of datasets of 1000(80:20).In general,the energy parameters were predicted more accurately by hybrid models.The hydrothermal method was used to synthesize graphene oxide(GO)and zinc oxide(ZnO)nanocomposites.The increased surface area,conductivity,and stability of graphene oxide in zinc oxide nanoparticles make the composite an ideal option for energy storage.X-ray diffraction(XRD)confirmed the crystallite size of 17.41 nm for the nanocomposite and the presence of GO(12.8○)peaks.The scanning electron microscope(SEM)showed anchored wrinkled GO sheets on zinc oxide with an average particle size of 2.93μm.Energy-dispersive X-ray spectroscopy(EDX)confirmed the elemental composition,and Fouriertransform infrared spectroscopy(FTIR)revealed the impact of GO on functional groups and electrochemical behavior.Photoluminescence(PL)wavelength of(439 nm)and band gap of(2.81 eV)show that the material is suitable for energy applications in nanocomposites.Smart nanocomposite materials with improved performance in energy storage and related applications were fabricated by combining synthesis,characterization,fuzzy logic,and machine learning in this work.展开更多
基金supported in part by the National Natural Science Foundation of China under Grants 62073124 and U1804150.
文摘This paper explores the algebraic essence of universal logic functions(ULFs)from an algebraic perspective.Under the framework of semi-tensor product of matrices,the“sequential nature”of ULFs is revealed.Utilizing the nature,a technique called universal transformation method is proposed,by which any ULF can be transformed into an equivalent expression with desired features that facilitate achieving specific objectives,such as modeling,analyzing and synthesizing universal logical systems.Furthermore,several useful logical operators are constructed in a mixed-dimensional situation,including power-raising operator,power-descending operator,erasure operator,and appending operator.Finally,these results are applied to model and analyze finite state machines and their networks,which demonstrate the practical value of the method and operators.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
基金supported by the start-up funding from Westlake University under Grant Number 041030150118.
文摘This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.
基金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.
文摘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).
文摘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.
基金supported by the start-up funding from Westlake University under Grant Number 041030150118 and the scientific research project of Westlake University“Theoretical Research and Demonstration Application of Complex Systems and Deep-Sea Technology(Phase I)”under Grant Number WU2025A006.
文摘Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern complex systems,while existing demarcation criteria like replicability and Popper’s falsificationism have practical limitations.Analyzing incompatibilities in complex systems,this paper proposes a revised framework:modified Hilbert axiomatic standards(clearly defined concepts,logical consistency,unrefuted axioms)and dynamic demarcation criteria.Abandoning unattainable traditional requirements of completeness and independence,it emphasizes conceptual clarity,openness,and progressiveness,offering an operational,self-consistent basis for judging scientificity.
基金support from the National Natural Science Foundation of China (Grant No.12474101)support from the National Natural Science Foundation of China (Grant Nos.52272202 and W2421027)support from the National Natural Science Foundation of China (Grant No.52501307)。
文摘New electronic devices based on the physical properties of electrically driven skyrmions are promising for logic computing and nonvolatile memory applications.However,achieving efficient and practical compute-storage integration remains challenging owing to the structural complexity,limited functionality,and low flexibility observed in most skyrmion-based devices.In this study,we designed a novel device architecture that integrates seven basic logic gates into a unified physical structure.Their operation can be enabled by physical mechanisms,such as spin-orbit torque,spin-transfer torque,skyrmion-edge repulsions,and skyrmion-skyrmion interactions.Furthermore,by incorporating voltage-controlled magnetic anisotropy,the device achieved multi-input capability and reconfigurability functionality.Ultralow power consumption(<1 fJ/bit per logic function)and extremely high logic density were achieved.Significantly,the compatibility of this nanotrack design with existing skyrmion racetrack memory paves the way for advanced in-memory computing in spintronic architectures.
基金financially supported by the National Natural Science Foundation of China (NSFC,Nos.22134005 and 22074124)Chongqing Talents Program for Outstanding Scientists (No.cstc2021ycjh-bgzxm0178)+1 种基金Natural Science Foundation of Chongqing (No.CSTB2022NSCQ-MSX0521)the Chongqing Graduate Student Scientific Research Innovation Project (No.CYB21119)。
文摘Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining and connecting logic gate modules with different functions.Via rational design of the various logic gate modules of the nanocalculator,different apoptosis related operations including cancer cell targeting,apoptosis induction,and apoptosis monitoring could be performed.Importantly,each of these logic gate modules could independently perform apoptosis related YES logic operations when ran separately.After combining each YES logic gate module into a logic circuit and connecting it to the GO scaffold to construct a logic-gated nanocalculator,the input-induced logic-gated modular nanocalculator could selectively enter cancer cells and control the drug release to logically apoptosis(output),by performing AND logic gate operations when inputs(nucleolin and H^(+)) were included at the same time.Moreover,evidence suggests that these efficient logical calculations proceed in cancer cell apoptosis regulation without the general limiations of lithography in nanotechnology.As such,this work provides a new vision for the construction of a logic-gated modular nanocalculator with logical calculation proficiency potentially useful in cancer therapy and the regulation of life.
基金carried out within the framework of the V3EA Project“Electric,Energy Efficient,and Autonomous Vehicle”(2021-2025)supported by the Research National Agency(ANR)of the French Government。
文摘Efficient torque allocation in over-actuated vehicles poses a central challenge in the domain of advanced vehicle control.These vehicles,featuring redundant actuators,provide an exceptional avenue for enhancing performance,stability,and efficiency.This paper presents a pioneering tendency for torque allocation in the context of over-actuated vehicles,particularly inwheel motor(IWM)driven electric vehicles.We introduce a systematic methodology grounded in analytical modeling,allowing for the efficient reconciliation of multiple,often conflicting objectives.The explicit functions are analytically modeled to enhance stability and energy economy.Additionally,a fuzzy logic-based torque allocation strategy is developed and compared,along with other literature methods,with the analytical models.Simulations are conducted in a joint simulation between Simulink/MATLAB and SCANeR Studio vehicle dynamics simulator,followed by validation on a real-world dataset.Our findings elucidate the proficiency of the analytical models on vehicle performance,stability,computational efficiency,and energy consumption.
基金extend their gratitude to the Deanship of Scientific Research,Vice Presidency for Graduate Studies and Scientific Research,King Faisal University,Saudi Arabia,for funding the publication of this work under the Ambitious Researcher program(Project No.KFU253806).
文摘Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artificial Neural Networks(ANN),Support Vector Regression(SVR),Multilayer Perceptron(MLP),and hybrid,along with fuzzy logic tools,were applied to predict the different properties like wavelength at maximum intensity(444 nm),crystallite size(17.50 nm),and optical bandgap(2.85 eV).While some other properties,such as energy density,power density,and charge transfer resistance,were also predicted with the help of datasets of 1000(80:20).In general,the energy parameters were predicted more accurately by hybrid models.The hydrothermal method was used to synthesize graphene oxide(GO)and zinc oxide(ZnO)nanocomposites.The increased surface area,conductivity,and stability of graphene oxide in zinc oxide nanoparticles make the composite an ideal option for energy storage.X-ray diffraction(XRD)confirmed the crystallite size of 17.41 nm for the nanocomposite and the presence of GO(12.8○)peaks.The scanning electron microscope(SEM)showed anchored wrinkled GO sheets on zinc oxide with an average particle size of 2.93μm.Energy-dispersive X-ray spectroscopy(EDX)confirmed the elemental composition,and Fouriertransform infrared spectroscopy(FTIR)revealed the impact of GO on functional groups and electrochemical behavior.Photoluminescence(PL)wavelength of(439 nm)and band gap of(2.81 eV)show that the material is suitable for energy applications in nanocomposites.Smart nanocomposite materials with improved performance in energy storage and related applications were fabricated by combining synthesis,characterization,fuzzy logic,and machine learning in this work.
