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 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.展开更多
This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke se...This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.展开更多
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.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
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.展开更多
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.展开更多
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.展开更多
In this paper,we propose a fuzzy logic-based coded event-triggered control with self-adjustable prescribed performance(FL-CEC-SPP)to address the trade-off between control performance and communication efficiency in re...In this paper,we propose a fuzzy logic-based coded event-triggered control with self-adjustable prescribed performance(FL-CEC-SPP)to address the trade-off between control performance and communication efficiency in resource-constrained networked control systems.The method integrates a fuzzy-coded event-triggered controller into a coded control framework to dynamically adjust the triggering threshold,thereby reducing unnecessary transmissions while maintaining system stability.A self-adjustable prescribed performance constraint is also incorporated to ensure that the tracking error remains within predefined bounds under arbitrary initial conditions.Theoretical analyses and simulation comparisons show that the method proposed in this paper maintains good tracking performance and stability while reducing the communication burden,and has wide applications in resource-constrained network control systems.展开更多
This paper introduces a fuzzy C-means-based pooling layer for convolutional neural networks that explicitly models local uncertainty and ambiguity.Conventional pooling operations,such as max and average,apply rigid ag...This paper introduces a fuzzy C-means-based pooling layer for convolutional neural networks that explicitly models local uncertainty and ambiguity.Conventional pooling operations,such as max and average,apply rigid aggregation and often discard fine-grained boundary information.In contrast,our method computes soft membershipswithin each receptive field and aggregates cluster-wise responses throughmembership-weighted pooling,thereby preserving informative structure while reducing dimensionality.Being differentiable,the proposed layer operates as standard two-dimensional pooling.We evaluate our approach across various CNN backbones and open datasets,including CIFAR-10/100,STL-10,LFW,and ImageNette,and further probe small training set restrictions on MNIST and Fashion-MNIST.In these settings,the proposed pooling consistently improves accuracy and weighted F1 over conventional baselines,with particularly strong gains when training data are scarce.Even with less than 1%of the training set,ourmethodmaintains reliable performance,indicating improved sample efficiency and robustness to noisy or ambiguous local patterns.Overall,integrating soft memberships into the pooling operator provides a practical and generalizable inductive bias that enhances robustness and generalization in modern CNN pipelines.展开更多
In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by...In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by alpha-induced reactions in detail,with a specific focus on determining the optimum production parameters and testing existing nuclear models.Given the limited number of experiments conducted on reactions related to terbium isotope production,it is necessary to perform theoretical calculations of cross sections over a wide energy range to gain a detailed understanding of terbium isotope production.To achieve this objective,the cross sections of the ^(151)Eu(α,n)^(154) Tb reactions were calculated up to 60 MeV using the TALYS computer code with 432 different combinations of optical model parameters,level density,and strength function models.The theoretical reaction cross-section results were compared with the experimental results in the literature.The best input parameters were determined using the Threshold Logic Unit method,and these parameters were used in all isotope production calculations.Once the optimal model combination was determined,the total activity production and isotopic fraction of ^(152) Tb and ^(155) Tb isotopes were calculated in detail for beam energies of 17–50 MeV,different irradiation times,and varying ^(151) Eu and ^(153) Eu target thicknesses.展开更多
In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must ...In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must operate over a certain bandwidth to ensure reliable performance.However,current experimental realizations have predominantly been confined to single-frequency or narrowband operation,leaving their broadband capabilities largely unverified.To address this gap,we present both numerical and experimental demonstrations of three basic acoustic logic gates(OR,NOT,and AND)using a phased unit cell composed of a central channel flanked by two arrays of semicircular cavities.By leveraging phase modulation of the unit cells and linear interference of sound,we achieve these logic operations with a uniform threshold of I_(t)=0.25.Remarkably,the measured fractional bandwidths(bandwidth relative to center frequency)reach approximately 111.5%(OR),37.2%(NOT),and 48.5%(AND),demonstrating ultra-broadband functionality.The proposed logic gates combine exceptional bandwidth with structural simplicity,offering significant potential for applications in acoustic computing,information processing,and integrated acoustic systems.展开更多
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.展开更多
Multi-valued quantum adder circuits,based on multi-valued logic,are significant components in numerous quantum algorithms.Their low-cost implementations can enhance the efficiency of these algorithms.In this paper,inn...Multi-valued quantum adder circuits,based on multi-valued logic,are significant components in numerous quantum algorithms.Their low-cost implementations can enhance the efficiency of these algorithms.In this paper,innovative universal architectures for d(d>3)-level quantum half-adder,full-adder,parallel adder,and parallel adder/subtractor circuits are designed using d-level 1-qudit(quantum digit)and M-S gates.To demonstrate the effectiveness of these architectures,quaternary adder circuits derived from them are displayed and compared with several existing counterparts.Judging by the results,these circuits exhibit reductions in quantum cost(QC),hardware complexity(HC),number of constant inputs(NCIs),and number of garbage outputs(NGOs).展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoret...We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.展开更多
Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative ...Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.展开更多
基金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 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 China Postdoctoral Science Foundation(2024M750225).
文摘This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.
文摘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(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金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.
基金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.
基金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.
基金supported by Singapore RIE2025 Manufacturing,Trade and Connectivity Industry Alignment Fund-Pre-Positioning(IAF-PP)under Grant M24N2a0039 through WP2-Intelligent Switching Controlthe National Research Foundation Singapore under its AI Singapore Programme under Grant AISG4-GC-2023-007-1B.
文摘In this paper,we propose a fuzzy logic-based coded event-triggered control with self-adjustable prescribed performance(FL-CEC-SPP)to address the trade-off between control performance and communication efficiency in resource-constrained networked control systems.The method integrates a fuzzy-coded event-triggered controller into a coded control framework to dynamically adjust the triggering threshold,thereby reducing unnecessary transmissions while maintaining system stability.A self-adjustable prescribed performance constraint is also incorporated to ensure that the tracking error remains within predefined bounds under arbitrary initial conditions.Theoretical analyses and simulation comparisons show that the method proposed in this paper maintains good tracking performance and stability while reducing the communication burden,and has wide applications in resource-constrained network control systems.
文摘This paper introduces a fuzzy C-means-based pooling layer for convolutional neural networks that explicitly models local uncertainty and ambiguity.Conventional pooling operations,such as max and average,apply rigid aggregation and often discard fine-grained boundary information.In contrast,our method computes soft membershipswithin each receptive field and aggregates cluster-wise responses throughmembership-weighted pooling,thereby preserving informative structure while reducing dimensionality.Being differentiable,the proposed layer operates as standard two-dimensional pooling.We evaluate our approach across various CNN backbones and open datasets,including CIFAR-10/100,STL-10,LFW,and ImageNette,and further probe small training set restrictions on MNIST and Fashion-MNIST.In these settings,the proposed pooling consistently improves accuracy and weighted F1 over conventional baselines,with particularly strong gains when training data are scarce.Even with less than 1%of the training set,ourmethodmaintains reliable performance,indicating improved sample efficiency and robustness to noisy or ambiguous local patterns.Overall,integrating soft memberships into the pooling operator provides a practical and generalizable inductive bias that enhances robustness and generalization in modern CNN pipelines.
文摘In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by alpha-induced reactions in detail,with a specific focus on determining the optimum production parameters and testing existing nuclear models.Given the limited number of experiments conducted on reactions related to terbium isotope production,it is necessary to perform theoretical calculations of cross sections over a wide energy range to gain a detailed understanding of terbium isotope production.To achieve this objective,the cross sections of the ^(151)Eu(α,n)^(154) Tb reactions were calculated up to 60 MeV using the TALYS computer code with 432 different combinations of optical model parameters,level density,and strength function models.The theoretical reaction cross-section results were compared with the experimental results in the literature.The best input parameters were determined using the Threshold Logic Unit method,and these parameters were used in all isotope production calculations.Once the optimal model combination was determined,the total activity production and isotopic fraction of ^(152) Tb and ^(155) Tb isotopes were calculated in detail for beam energies of 17–50 MeV,different irradiation times,and varying ^(151) Eu and ^(153) Eu target thicknesses.
基金Project supported by the National Natural Science Foundation of China(Grant No.12174159)。
文摘In recent years,acoustic logic gates has attracted growing interest in acoustics due to their promising applications in acoustic communication and signal processing.For practical implementation,these logic gates must operate over a certain bandwidth to ensure reliable performance.However,current experimental realizations have predominantly been confined to single-frequency or narrowband operation,leaving their broadband capabilities largely unverified.To address this gap,we present both numerical and experimental demonstrations of three basic acoustic logic gates(OR,NOT,and AND)using a phased unit cell composed of a central channel flanked by two arrays of semicircular cavities.By leveraging phase modulation of the unit cells and linear interference of sound,we achieve these logic operations with a uniform threshold of I_(t)=0.25.Remarkably,the measured fractional bandwidths(bandwidth relative to center frequency)reach approximately 111.5%(OR),37.2%(NOT),and 48.5%(AND),demonstrating ultra-broadband functionality.The proposed logic gates combine exceptional bandwidth with structural simplicity,offering significant potential for applications in acoustic computing,information processing,and integrated acoustic systems.
基金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 Natural Science Foundation of Sichuan Province(No.25QNJJ4066)Academic Degree and Post graduate Education Reform Project of Sichuan Province(Grants:YJGXM24-C017)。
文摘Multi-valued quantum adder circuits,based on multi-valued logic,are significant components in numerous quantum algorithms.Their low-cost implementations can enhance the efficiency of these algorithms.In this paper,innovative universal architectures for d(d>3)-level quantum half-adder,full-adder,parallel adder,and parallel adder/subtractor circuits are designed using d-level 1-qudit(quantum digit)and M-S gates.To demonstrate the effectiveness of these architectures,quaternary adder circuits derived from them are displayed and compared with several existing counterparts.Judging by the results,these circuits exhibit reductions in quantum cost(QC),hardware complexity(HC),number of constant inputs(NCIs),and number of garbage outputs(NGOs).
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
文摘We demonstrate the flaws of Mao's method, which is an augmentation ofprotocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao'smethod. Furthermore, we give some theoretical analysis of our rules using the strand spaceformalism, and show the soundness of our idealization rules under strand spaces Some examples onusing the new rules to analyze security protocols are also concerned. Our idealization method ismore effective than Mao's method towards many protocol instances, and is supported by a formalmodel.
文摘Neurons with complex-valued weights have stronger capability because of their multi-valued threshold logic. Neurons with such features may be suitable for solution of different kinds of problems including associative memory,image recognition and digital logical mapping. In this paper,robustness or tolerance is introduced and newly defined for this kind of neuron ac-cording to both their mathematical model and the perceptron neuron's definition of robustness. Also,the most robust design for basic digital logics of multiple variables is proposed based on these robust neurons. Our proof procedure shows that,in robust design each weight only takes the value of i or -i,while the value of threshold is with respect to the number of variables. The results demonstrate the validity and simplicity of using robust neurons for realizing arbitrary digital logical functions.
