Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient n...Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.展开更多
The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix cal...The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant.展开更多
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.展开更多
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.展开更多
The differences between traditional Chinese medicine clinical terminological system(TCMCTS)and systematized nomenclature of medicine-clinical terms are analyzed.The principles,first-level hierarchy,concept-defined met...The differences between traditional Chinese medicine clinical terminological system(TCMCTS)and systematized nomenclature of medicine-clinical terms are analyzed.The principles,first-level hierarchy,concept-defined method,and future application of TCMCTS based on ISO 19465:2017 are also introduced.TCMCTS fully covers the concepts of traditional Chinese medicine clinical terms and the logical expression of these concepts,provides the basis for semantic retrieval,knowledge,and reasoning,contributes to traditional Chinese medicine clinical data cleaning,standardization,and structured storage,and promotes the sharing and utilization of clinical data.展开更多
The phenomenon of logical stochastic resonance （LSR） in a nonlinear bistable system is demonstrated by numerical simulations and experiments. However, the bit rates of the logical signals are relatively low and not ...The phenomenon of logical stochastic resonance （LSR） in a nonlinear bistable system is demonstrated by numerical simulations and experiments. However, the bit rates of the logical signals are relatively low and not suitable for practical applications. First, we examine the responses of the bistable system with fixed parameters to different bit rate logic input signals, showing that an arbitrary high bit rate LSR in a bistable system cannot be achieved. Then, a normalized transform of the LSR bistable system is introduced through a kind of variable substitution. Based on the transform, it is found that LSR for arbitrary high bit rate logic signals in a bistable system can be achieved by adjusting the parameters of the system, setting bias value and amplifying the amplitudes of logic input signals and noise properly. Finally, the desired OR and AND logic outputs to high bit rate logic inputs in a bistable system are obtained by numerical simulations. The study might provide higher feasibility of LSR in practical engineering applications.展开更多
This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into...This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into the frame-work of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). In this paper we introduce some sorts of operations, called general fuzzifying operations from P(X) to , where (X, τ) is a fuzzifying topological space. By making use of them we contract neighborhood structures, derived sets, closure operations and interior operations.展开更多
There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is call...There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is called logical chaotic resonance(LCR). However, realization of a reliable exclusive disjunction(XOR) through LCR has not been reported.Here, we explore the possibility of using chaos to enhance the reliability of XOR logic operation in a triple-well potential system via LCR. The success probability P of obtaining XOR logic operation can take the maximum value of 1 in an optimal window of intensity D of a chaotic force. Namely, success probability P displays characteristic bell-shaped behavior by altering the intensity of the chaotic driving force, indicating the occurrence of LCR. Further, the effects of periodic force on LCR have been investigated. For a subthreshold chaotic force, a periodic force with appropriate amplitude and frequency can help enhance the reliability of XOR logic operation. Thus, LCR can be effectively regulated by changing the amplitude and frequency of the periodic force.展开更多
Coupling-induced logical stochastic resonance(LSR) can be observed in a noise-driven coupled bistable system where the behaviors of system can be interpreted consistently as a specific logic gate in an appropriate noi...Coupling-induced logical stochastic resonance(LSR) can be observed in a noise-driven coupled bistable system where the behaviors of system can be interpreted consistently as a specific logic gate in an appropriate noise level. Here constant coupling is extended to time-varying coupling, and then we investigate the effect of time-varying coupling on LSR in a periodically driven coupled bistable system. When coupling intensity oscillates periodically with the same frequency with periodic force or relatively high frequency, the system successfully yields the desired logic output. When coupling intensity oscillates irregularly with phase disturbance, large phase disturbance reduces the area of optimal parameter region of coupling intensity and response speed of logic devices. Although the system behaves as a desired logic gate when the frequency of time-periodic coupling intensity is precisely equal to that of periodic force, the desired logic gate is not robust against tiny frequency difference and phase disturbance. Therefore, periodic coupling intensity with high frequency ratio is an optimal option to obtain a reliable and robust logic operation.展开更多
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.展开更多
Making full use of wind power is one of the main purposes of the wind turbine generator control. Conventional hill climbing search （HCS） method can realize the maximum power point tracking （MPPT）. However, the ste...Making full use of wind power is one of the main purposes of the wind turbine generator control. Conventional hill climbing search （HCS） method can realize the maximum power point tracking （MPPT）. However, the step size of HCS method is constant so that it cannot consider both steady-state response and dynamic response. A fuzzy logical control （FLC） algorithm is proposed to solve this problem in this paper, which can track the maximum power point （MPP） quickly and smoothly. To evaluate MPPT algorithms, four performance indices are also proposed in this paper. They are the energy captured by wind turbine, the maximum power-point tracking time when wind speed changes slowly, the fluctuation magnitude of real power during steady state, and the energy captured by wind turbine when wind speed changes fast. Three cases are designed and simulated in MATLAB/Simulink respectively. The comparison of the three MPPT strategies concludes that the proposed fuzzy logical control algorithm is more superior to the conventional HCS algorithms.展开更多
Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain....Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain. But such kind of task is not easy to achieve only based on the analysis of partial differential equations, especially for those complex neural models, e.g. Rose-Hindmarsh (RH) model. So in this paper, we develop a novel approach by combining fuzzy logical designing with Proximal Support Vector Machine Classifiers (PSVM) learning in the designing of large scale neural networks. Particularly, our approach can effectively simplify the designing process, which is crucial for both cognition science and neural science. At last, we conduct our approach on an artificial neural system with more than 108 neurons for haze-free task, and the experimental results show that texture features extracted by fuzzy logic can effectively increase the texture information entropy and improve the effect of haze-removing in some degree.展开更多
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.展开更多
A public health system generally refers to public utilities oriented toward protecting and improving health. It is intended to protect the health of the general public. Since the founding of the People’s Republic of ...A public health system generally refers to public utilities oriented toward protecting and improving health. It is intended to protect the health of the general public. Since the founding of the People’s Republic of China, China has constructed the largest healthcare system in the world. The 20th National Congress of the Communist Party of China(CPC), stressed that China will improve its public health system. Looking back at the history of China’s public health system from its inception to the reform and development and then improvement, it can be found that its development has always revolved around the theoretical logic of unifying rights and obligations and the practical logic of balancing the protection of the right to health and the regulation of state power. The fundamental goal is to protect the right to health of the people. The increasing health risks in modern society have changed require that efforts be made to construct a crisscrossing legal framework for public health, improve early-warning and emergency response mechanisms for public health emergencies,and integrate the health concept into all policies to further improve the public health system.展开更多
The main equipmets of the HL-2A LHCD power supply are based on the old one, but the logical control protective system is a new part. Considering the output voltage is very high（up to 60 kV）, so the logical control p...The main equipmets of the HL-2A LHCD power supply are based on the old one, but the logical control protective system is a new part. Considering the output voltage is very high（up to 60 kV）, so the logical control protective system is very important. The system is implemented based on PLC and the SIEMENS STEP7 software.展开更多
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.展开更多
China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develo...China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.展开更多
Three Zeeman levels of spin-1 electron or nucleus are called as qutrits in quantum computation. Then, ISK (I = 1, S = 1, K = 1) spin system can be represented as three-qutrit states. Quantum circuits and algorithms co...Three Zeeman levels of spin-1 electron or nucleus are called as qutrits in quantum computation. Then, ISK (I = 1, S = 1, K = 1) spin system can be represented as three-qutrit states. Quantum circuits and algorithms consist of quantum logic gates. By using SWAP logic gate, two quantum states are exchanged. Topological quantum computing can be applied in quantum error correction. In this study, first, Yang-Baxter equation is modified for ISK (I = 1, S = 1, K = 1) spin system. Then three-qutrit topological SWAP logic gate is obtained. This SWAP logic gate is applied for three-qutrit states of ISK (I = 1, S = 1, K = 1) spin system. Three-qutrit SWAP logic gate is also applied to the product operators of ISK (I = 1, S = 1, K = 1) spin system. For these two applications, expected exchange results are found.展开更多
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.展开更多
基金This work was supported by National Natural Science Foundation of China(No.60276037).
文摘Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.
文摘The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant.
基金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.
文摘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.
基金Scientific and Technological Innovation Project of China Academy of Chinese Medical Sciences(CI2021B002 and CI2021A00501).
文摘The differences between traditional Chinese medicine clinical terminological system(TCMCTS)and systematized nomenclature of medicine-clinical terms are analyzed.The principles,first-level hierarchy,concept-defined method,and future application of TCMCTS based on ISO 19465:2017 are also introduced.TCMCTS fully covers the concepts of traditional Chinese medicine clinical terms and the logical expression of these concepts,provides the basis for semantic retrieval,knowledge,and reasoning,contributes to traditional Chinese medicine clinical data cleaning,standardization,and structured storage,and promotes the sharing and utilization of clinical data.
基金supported by the National Natural Science Foundation of China(Grant No.51379526)
文摘The phenomenon of logical stochastic resonance （LSR） in a nonlinear bistable system is demonstrated by numerical simulations and experiments. However, the bit rates of the logical signals are relatively low and not suitable for practical applications. First, we examine the responses of the bistable system with fixed parameters to different bit rate logic input signals, showing that an arbitrary high bit rate LSR in a bistable system cannot be achieved. Then, a normalized transform of the LSR bistable system is introduced through a kind of variable substitution. Based on the transform, it is found that LSR for arbitrary high bit rate logic signals in a bistable system can be achieved by adjusting the parameters of the system, setting bias value and amplifying the amplitudes of logic input signals and noise properly. Finally, the desired OR and AND logic outputs to high bit rate logic inputs in a bistable system are obtained by numerical simulations. The study might provide higher feasibility of LSR in practical engineering applications.
文摘This paper considers fuzzifying topologies, a special case of I-fuzzy topologies (bifuzzy topologies), introduced by Ying. It investigates topological notions defined by means of -open sets when these are planted into the frame-work of Ying’s fuzzifying topological spaces (by Lukasiewicz logic in [0, 1]). In this paper we introduce some sorts of operations, called general fuzzifying operations from P(X) to , where (X, τ) is a fuzzifying topological space. By making use of them we contract neighborhood structures, derived sets, closure operations and interior operations.
基金supported by the Technology Innovation Team Program in Higher Education Institutions in Hubei Province, China (Grant No. T2020039)。
文摘There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is called logical chaotic resonance(LCR). However, realization of a reliable exclusive disjunction(XOR) through LCR has not been reported.Here, we explore the possibility of using chaos to enhance the reliability of XOR logic operation in a triple-well potential system via LCR. The success probability P of obtaining XOR logic operation can take the maximum value of 1 in an optimal window of intensity D of a chaotic force. Namely, success probability P displays characteristic bell-shaped behavior by altering the intensity of the chaotic driving force, indicating the occurrence of LCR. Further, the effects of periodic force on LCR have been investigated. For a subthreshold chaotic force, a periodic force with appropriate amplitude and frequency can help enhance the reliability of XOR logic operation. Thus, LCR can be effectively regulated by changing the amplitude and frequency of the periodic force.
基金supported by the National Natural Science Foundation of China (Grant No. 31601071)。
文摘Coupling-induced logical stochastic resonance(LSR) can be observed in a noise-driven coupled bistable system where the behaviors of system can be interpreted consistently as a specific logic gate in an appropriate noise level. Here constant coupling is extended to time-varying coupling, and then we investigate the effect of time-varying coupling on LSR in a periodically driven coupled bistable system. When coupling intensity oscillates periodically with the same frequency with periodic force or relatively high frequency, the system successfully yields the desired logic output. When coupling intensity oscillates irregularly with phase disturbance, large phase disturbance reduces the area of optimal parameter region of coupling intensity and response speed of logic devices. Although the system behaves as a desired logic gate when the frequency of time-periodic coupling intensity is precisely equal to that of periodic force, the desired logic gate is not robust against tiny frequency difference and phase disturbance. Therefore, periodic coupling intensity with high frequency ratio is an optimal option to obtain a reliable and robust logic operation.
基金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.
基金supported by the National High Technology Research and Development Program of China under Grant No.2011AA05S113Major State Basic Research Development Program under Grant No.2012CB215106+1 种基金Science and Technology Plan Program in Zhejiang Province under Grant No.2009C34013National Science and Technology Supporting Plan Project under Grant No.2009BAG12A09
文摘Making full use of wind power is one of the main purposes of the wind turbine generator control. Conventional hill climbing search （HCS） method can realize the maximum power point tracking （MPPT）. However, the step size of HCS method is constant so that it cannot consider both steady-state response and dynamic response. A fuzzy logical control （FLC） algorithm is proposed to solve this problem in this paper, which can track the maximum power point （MPP） quickly and smoothly. To evaluate MPPT algorithms, four performance indices are also proposed in this paper. They are the energy captured by wind turbine, the maximum power-point tracking time when wind speed changes slowly, the fluctuation magnitude of real power during steady state, and the energy captured by wind turbine when wind speed changes fast. Three cases are designed and simulated in MATLAB/Simulink respectively. The comparison of the three MPPT strategies concludes that the proposed fuzzy logical control algorithm is more superior to the conventional HCS algorithms.
文摘Brain-like computer research and development have been growing rapidly in recent years. It is necessary to design large scale dynamical neural networks (more than 106 neurons) to simulate complex process of our brain. But such kind of task is not easy to achieve only based on the analysis of partial differential equations, especially for those complex neural models, e.g. Rose-Hindmarsh (RH) model. So in this paper, we develop a novel approach by combining fuzzy logical designing with Proximal Support Vector Machine Classifiers (PSVM) learning in the designing of large scale neural networks. Particularly, our approach can effectively simplify the designing process, which is crucial for both cognition science and neural science. At last, we conduct our approach on an artificial neural system with more than 108 neurons for haze-free task, and the experimental results show that texture features extracted by fuzzy logic can effectively increase the texture information entropy and improve the effect of haze-removing in some degree.
基金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.
基金a phased result of the key project of the National Social Science Fund titled “Review and Analysis of the Research of Jurisprudence in China in the Past 70 Years”(project approval No. 19AFX002)the student research project of Southwest University of Political Science and Law titled “Law on the Promotion of Basic Medical and Health Care and New Progress in the Protection of the Right to Health”(project approval No. 2021XZXSZC)。
文摘A public health system generally refers to public utilities oriented toward protecting and improving health. It is intended to protect the health of the general public. Since the founding of the People’s Republic of China, China has constructed the largest healthcare system in the world. The 20th National Congress of the Communist Party of China(CPC), stressed that China will improve its public health system. Looking back at the history of China’s public health system from its inception to the reform and development and then improvement, it can be found that its development has always revolved around the theoretical logic of unifying rights and obligations and the practical logic of balancing the protection of the right to health and the regulation of state power. The fundamental goal is to protect the right to health of the people. The increasing health risks in modern society have changed require that efforts be made to construct a crisscrossing legal framework for public health, improve early-warning and emergency response mechanisms for public health emergencies,and integrate the health concept into all policies to further improve the public health system.
文摘The main equipmets of the HL-2A LHCD power supply are based on the old one, but the logical control protective system is a new part. Considering the output voltage is very high（up to 60 kV）, so the logical control protective system is very important. The system is implemented based on PLC and the SIEMENS STEP7 software.
基金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.
文摘China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.
文摘Three Zeeman levels of spin-1 electron or nucleus are called as qutrits in quantum computation. Then, ISK (I = 1, S = 1, K = 1) spin system can be represented as three-qutrit states. Quantum circuits and algorithms consist of quantum logic gates. By using SWAP logic gate, two quantum states are exchanged. Topological quantum computing can be applied in quantum error correction. In this study, first, Yang-Baxter equation is modified for ISK (I = 1, S = 1, K = 1) spin system. Then three-qutrit topological SWAP logic gate is obtained. This SWAP logic gate is applied for three-qutrit states of ISK (I = 1, S = 1, K = 1) spin system. Three-qutrit SWAP logic gate is also applied to the product operators of ISK (I = 1, S = 1, K = 1) spin system. For these two applications, expected exchange results are found.
基金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.
