The Communist Party of China has led the Chinese people to write a brilliant chapter of national development over the past century,wherein the nation has sounded a clarion call for safeguarding the right to subsistenc...The Communist Party of China has led the Chinese people to write a brilliant chapter of national development over the past century,wherein the nation has sounded a clarion call for safeguarding the right to subsistence and made fruitful achievements in this regard.However,there is still room for improvement in its systematic discourse of the right to subsistence.To accurately understand the Chinese theory on the right to subsistence,we must base it on China’s historical background and social reality.Through mining the white papers on human rights progress in China over the years and analyzing Chinese practices recorded thereby,we can figure out the practical logic for the country’s efforts in the protection of the right to subsistence,and with this as a clue,we can further interpret its discourse on the right to subsistence.Issues related to the right to subsistence can be divided into two levels:“basically solved”and“truly solved”.The former involves the settlement of the most fundamental issues closely related to the right to subsistence in fields like food,education,medical care,housing,and drinking water,and the latter corresponds to“improvement”in the right to subsistence.While consolidating and upgrading the existing basic rights,China works to enable its people to truly gain a foothold in society and achieve their aspiration for a better life through combining assistance and support from the government and society and the efforts of individuals.Understanding the right to subsistence in a dynamic and developmental manner is instrumental in better understanding the alignment between the right to subsistence and other human rights.展开更多
Since the Party Central Committee has explicitly requested the running of excellent ideological and political theory courses,the teaching methods of ideological and political theory courses have become a major topic o...Since the Party Central Committee has explicitly requested the running of excellent ideological and political theory courses,the teaching methods of ideological and political theory courses have become a major topic of discussion in academic circles.A gap remains between the current teaching methods of ideological and political theory courses and those in the new era.In order to improve the nurturing effect of key courses,it is necessary to study the basic logic of its effectiveness enhancement from the perspective of practice.In the new era,it is essential to take the spirit from the series of important speeches of the Party and national leaders on ideological and political theory courses as guidance,draw on the effective teaching ideas of Comenius that reflect“fun,”“convenience,”and“thoroughness,”closely combine the teaching practice,as well as select and apply the teaching methods based on the concept of three“combinations”and two“innovations,”i.e.,combining students,teachers’teaching styles,and teaching contents;and innovating and practicing the integrated teaching method of diversified integration as well as the new teaching method of media technology-integrated smart classroom.展开更多
In today’s society,the need for talent training is of utmost importance due to rapid development.To achieve high-quality talent training,we need to focus on building a collaborative education mechanism.Practical teac...In today’s society,the need for talent training is of utmost importance due to rapid development.To achieve high-quality talent training,we need to focus on building a collaborative education mechanism.Practical teaching and the second classroom,which serve as important carriers of educational talents,must align their educational goals and complement each other.This article explores the collaborative education mechanism of the second classroom and practical teaching for the ideological and political courses in colleges and universities.It proposes reasonable construction measures to provide some guidelines for teaching work.展开更多
The report approved on The 20th National Congress of The Communist Party of China (CPC) explained deep meaning of Chinese modernization, which provided practical enlightenment and value guidance for the modernization ...The report approved on The 20th National Congress of The Communist Party of China (CPC) explained deep meaning of Chinese modernization, which provided practical enlightenment and value guidance for the modernization of ideological and political education in universities. The five distinctive characteristics of Chinese modernization, including “huge population”,“common prosperity for all”, “harmony between material and spiritual civilization”, “harmony between humanity and nature”, “following the path of peaceful development”, guided universities to build a more targeted ideological and political education system. In this way, universities can cultivate more talents for modernization cause.展开更多
The construction of park cities makes it possible for the popularization of ecotourism,and lays resource conditions and product foundation for the practical teaching of ecotourism course.In this paper,natural ecologic...The construction of park cities makes it possible for the popularization of ecotourism,and lays resource conditions and product foundation for the practical teaching of ecotourism course.In this paper,natural ecological resources and ecological leisure and recreation in Qinglong Lake Ecological Wetland Park were analyzed,and a series of practical teaching projects can be designed based on ecological cognition education,ecological responsibility,ecological experience,ecological environmental protection publicity and ecological tourism scenic spot management,as well as the teaching requirements of ecotourism course.展开更多
Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and elec...Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.展开更多
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.展开更多
logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test resu...logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.展开更多
As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybr...As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th...The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.展开更多
BACKGROUND With the continuous development and progress of medical technology,the position of surgical nursing in the field of clinical medicine is becoming in-creasingly prominent.As an important branch of the surgic...BACKGROUND With the continuous development and progress of medical technology,the position of surgical nursing in the field of clinical medicine is becoming in-creasingly prominent.As an important branch of the surgical field,the nursing requirements and difficulty of gastrointestinal surgery are also increasing.In order to improve the teaching quality of nursing care in gastrointestinal surgery,many educators and researchers are actively exploring new teaching methods.Among them,the teaching method case-based learning(CBL),scene-simulated learning(SSL),task-based learning(TBL),combining self-evaluation and training mode is considered as an effective method.This method aims to help students to better master knowledge and skills and improve their comprehensive quality by cultivating their self-evaluation ability.AIM To explore the practical effect of CBL-SSL-TBL combined with training mode and student self-assessment in nursing teaching of gastrointestinal surgery.METHODS Seventy-one nursing interns in our hospital from December 2020 to December 2021 were selected.According to different teaching modes,they were divided into observation group CBL-SSL-TBL combined with training mode combined with student self-assessment and control group(conventional teaching mode),of which 36 were in observation group and 35 were in control group.The results of operational skills,theoretical knowledge,nursing students'satisfaction,learning effectiveness questionnaire and teaching effect were compared between the two groups.RESULTS Compared between the two groups,the operational skills and theoretical knowledge scores of the observation group were higher than those of the control group,and the difference was statistically significant(P<0.05).Compared between the two groups,the total satisfaction ratio of the observation group was higher than that of the control group,the difference was statistically significant(P<0.05).Compared between the two groups,the observation group was lower than the control group in the questionnaire results of learning efficacy,and the difference was statistically significant(P<0.05).Compared between the two groups,the proportion of thinking ability,subjective initiative and understanding of theoretical knowledge in the observation group was higher than that in the control group,the difference was statistically significant(P<0.05).CONCLUSION The use of CBL-SSL-TBL combined with training mode and student self-assessment in gastrointestinal surgery nursing teaching can improve the operational skills of nursing interns,theoretical knowledge and satisfaction scores of nursing students,improve the results of learning efficiency questionnaire and teaching effect,which can be popularized in clinical teaching.展开更多
Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection method...Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection methods.This paper proposes a risk assessment framework based on fuzzy logic and Particle Swarm Optimization(PSO)to address the risks associated with IoT botnets.Fuzzy logic addresses IoT threat uncertainties and ambiguities methodically.Fuzzy component settings are optimized using PSO to improve accuracy.The methodology allows for more complex thinking by transitioning from binary to continuous assessment.Instead of expert inputs,PSO data-driven tunes rules and membership functions.This study presents a complete IoT botnet risk assessment system.The methodology helps security teams allocate resources by categorizing threats as high,medium,or low severity.This study shows how CICIoT2023 can assess cyber risks.Our research has implications beyond detection,as it provides a proactive approach to risk management and promotes the development of more secure IoT environments.展开更多
In recent years,the problem of farmland fragmentation has become a major obstacle to the development of modern agriculture,and the reform of“one field for one household”can effectively sort out cultivated land resou...In recent years,the problem of farmland fragmentation has become a major obstacle to the development of modern agriculture,and the reform of“one field for one household”can effectively sort out cultivated land resources,increase contracted land area,improve land utilization rate,and effectively solve the problems of contracted land dispersion and farmland fragmentation in rural areas.This paper systematically anatomized the practice and effects of“one household,one field”reform in Guoyang County,analyzed the problems existing in the implementation process,and put forward corresponding suggestions and countermeasures,in order to provide experience and reference for the reform of one field in other regions.展开更多
This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillation...This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillations caused by dynamic disturbances. At first, we used the Lyapunov method to study the dynamic stability of the power grid in the Republic of Congo. This method allowed us to analyze the eigenvalues of the state variable matrix and highlight the eigenvalues in the complex plane. Secondly, we proposed a fuzzy logic-based controller to account for uncertainties existing near the thresholds. The inputs to this controller are the generator speed and generator rotor angle. We demonstrated the effectiveness and feasibility of this fuzzy control by applying it to the power grid of the Republic of Congo, with three power stabilizers and two STATCOMs. .展开更多
In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transfo...In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transforming the three-phase currents and voltages into a rotating reference frame, commonly referred to as the “dq” frame. In this frame, the torque/speed and flux components are decoupled, allowing for independent control, by doing so, the motor’s speed can be regulated accurately and maintain a constant flux which is crucial to ensure optimal motor performance and efficiency. The research focused on studying and simulating a field-oriented control system using fuzzy control techniques for an induction motor. The aim was to address the issue of parameter variations, particularly the change in rotor resistance during motor operation, which causes the control system to deviate from the desired direction. This deviation implies to an increase in the magnetic flux value, specifically the flux component on the q-axis. By employing fuzzy logic techniques to regulate flux vector’s components in the dq frame, this problem was successfully resolved, ensuring that the magnetic flux value remains within the nominal limits. To enhance the control system’s performance, response speed, and efficiency of the motor, sliding mode controllers were implemented to regulate the current in the inner loop. The simulation results demonstrated the proficiency of the proposed methodology.展开更多
With the advancement of the construction of emerging engineering education,the reform of practical teaching has become an important task of higher engineering education.This article takes the course“Linux Operating S...With the advancement of the construction of emerging engineering education,the reform of practical teaching has become an important task of higher engineering education.This article takes the course“Linux Operating System Fundamentals”as an example to explore practical teaching reform in the context of emerging engineering education.By analyzing the current situation and problems in course practical teaching,we proposed practical teaching reforms such as online experiments,practical content updates,project-based engineering practices,and diversified evaluation models,and designed corresponding implementation plans.Practice has proved that this reform can improve students’learning interest and engineering practical skills,and cultivate outstanding engineers with innovative spirit and practical skills.展开更多
In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties ...In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties of aluminum-5%magnesium (0-0.9 wt%) neodymium. The single input (SI) to the fuzzy logic and artificial neural network models was the percentage weight of neodymium, while the multiple outputs (MO) were average grain size, ultimate tensile strength, yield strength elongation and hardness. The fuzzy logic-based model showed more accurate prediction than the artificial neutral network-based model in terms of the correlation coefficient values (R).展开更多
Practical guide:Glucagon-like peptide-1 and dual glucosedependent insulinotropic polypeptide and glucagon-like peptide-1 receptor agonists in diabetes mellitus common second-line choice after metformin for treating T2...Practical guide:Glucagon-like peptide-1 and dual glucosedependent insulinotropic polypeptide and glucagon-like peptide-1 receptor agonists in diabetes mellitus common second-line choice after metformin for treating T2DM.Various considerations can make selecting and switching between different GLP-1 RAs challenging.Our study aims to provide a comprehensive guide for the usage of GLP-1 RAs and dual GIP and GLP-1 RAs for the management of T2DM.展开更多
Biochemistry is a fundamental core course in disciplines such as agriculture,forestry,medicine,animal husbandry,veterinary medicine,and food science.By prioritizing"educating people"in the teaching process o...Biochemistry is a fundamental core course in disciplines such as agriculture,forestry,medicine,animal husbandry,veterinary medicine,and food science.By prioritizing"educating people"in the teaching process of this professional course,we can unearth diverse ideological and political elements related to agricultural production practices within the curriculum knowledge system and the forefront of discipline development.Exploring various teaching methods and utilizing diverse teaching tools are effective strategies to achieve ideological and political education that silently influences students in the field of biochemistry.The goal is to nurture students strong ideals and beliefs,fostering a deep connection to the sentiments of"agriculture,rural areas and farmers in a great nation."This approach aims to instill a sense of responsibility towards strengthening agriculture,shaping students into individuals from South China Agricultural University who possess lofty aspirations and the courage to shoulder responsibility in the new era.展开更多
基金This paper is a phased achievement of the major special project of Philosophy and Social Science Research of the Ministry of Education in 2022,“Insisting on Coordinated Promotion of Domestic and Foreign Rule of Law Research”(Project Approval No.2022JZDZ005).
文摘The Communist Party of China has led the Chinese people to write a brilliant chapter of national development over the past century,wherein the nation has sounded a clarion call for safeguarding the right to subsistence and made fruitful achievements in this regard.However,there is still room for improvement in its systematic discourse of the right to subsistence.To accurately understand the Chinese theory on the right to subsistence,we must base it on China’s historical background and social reality.Through mining the white papers on human rights progress in China over the years and analyzing Chinese practices recorded thereby,we can figure out the practical logic for the country’s efforts in the protection of the right to subsistence,and with this as a clue,we can further interpret its discourse on the right to subsistence.Issues related to the right to subsistence can be divided into two levels:“basically solved”and“truly solved”.The former involves the settlement of the most fundamental issues closely related to the right to subsistence in fields like food,education,medical care,housing,and drinking water,and the latter corresponds to“improvement”in the right to subsistence.While consolidating and upgrading the existing basic rights,China works to enable its people to truly gain a foothold in society and achieve their aspiration for a better life through combining assistance and support from the government and society and the efforts of individuals.Understanding the right to subsistence in a dynamic and developmental manner is instrumental in better understanding the alignment between the right to subsistence and other human rights.
基金supported by the Social Science Planning Fund Project of Liaoning Province(Special Project of College Civics)“Empirical Study on the Status,Problems and Countermeasures of College Students’Identity in Civics Class”(Project Number:L19DSZ004).
文摘Since the Party Central Committee has explicitly requested the running of excellent ideological and political theory courses,the teaching methods of ideological and political theory courses have become a major topic of discussion in academic circles.A gap remains between the current teaching methods of ideological and political theory courses and those in the new era.In order to improve the nurturing effect of key courses,it is necessary to study the basic logic of its effectiveness enhancement from the perspective of practice.In the new era,it is essential to take the spirit from the series of important speeches of the Party and national leaders on ideological and political theory courses as guidance,draw on the effective teaching ideas of Comenius that reflect“fun,”“convenience,”and“thoroughness,”closely combine the teaching practice,as well as select and apply the teaching methods based on the concept of three“combinations”and two“innovations,”i.e.,combining students,teachers’teaching styles,and teaching contents;and innovating and practicing the integrated teaching method of diversified integration as well as the new teaching method of media technology-integrated smart classroom.
文摘In today’s society,the need for talent training is of utmost importance due to rapid development.To achieve high-quality talent training,we need to focus on building a collaborative education mechanism.Practical teaching and the second classroom,which serve as important carriers of educational talents,must align their educational goals and complement each other.This article explores the collaborative education mechanism of the second classroom and practical teaching for the ideological and political courses in colleges and universities.It proposes reasonable construction measures to provide some guidelines for teaching work.
文摘The report approved on The 20th National Congress of The Communist Party of China (CPC) explained deep meaning of Chinese modernization, which provided practical enlightenment and value guidance for the modernization of ideological and political education in universities. The five distinctive characteristics of Chinese modernization, including “huge population”,“common prosperity for all”, “harmony between material and spiritual civilization”, “harmony between humanity and nature”, “following the path of peaceful development”, guided universities to build a more targeted ideological and political education system. In this way, universities can cultivate more talents for modernization cause.
基金the Talent Training Quality and Teaching Reform Project of Chengdu University during 2021-2023(cdjgb2022065).
文摘The construction of park cities makes it possible for the popularization of ecotourism,and lays resource conditions and product foundation for the practical teaching of ecotourism course.In this paper,natural ecological resources and ecological leisure and recreation in Qinglong Lake Ecological Wetland Park were analyzed,and a series of practical teaching projects can be designed based on ecological cognition education,ecological responsibility,ecological experience,ecological environmental protection publicity and ecological tourism scenic spot management,as well as the teaching requirements of ecotourism course.
基金the National Natural Science Foundation of China(Nos.61562026,61962020)Academic and Technical Leaders of Major Disciplines in Jiangxi Province(No.20172BCB22015)+1 种基金Special Fund Project for Postgraduate Innovation in Jiangxi Province(No.YC2020-B1141)Jiangxi Provincial Natural Science Foundation(No.20224ACB202006).
文摘Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.
基金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.
文摘logical testing model and resource lifecycle information,generate test cases and complete parameters,and alleviate inconsistency issues through parameter inference.Once again,we propose a method of analyzing test results using joint state codes and call stack information,which compensates for the shortcomings of traditional analysis methods.We will apply our method to testing REST services,including OpenStack,an open source cloud operating platform for experimental evaluation.We have found a series of inconsistencies,known vulnerabilities,and new unknown logical defects.
文摘As government agencies continue to tighten emissions regulations due to the continued increase in greenhouse gas production, automotive industries are seeking to produce increasingly efficient vehicle technology. Hybrid electric vehicles (HEVs) have been introduced to mitigate problems while improving fuel economy. HEVs have led to the demand of creating more advanced controls software to consider multiple components for propulsive power in a vehicle. A large section in the software development process is the implementation of an optimal energy management strategy meant to improve the overall fuel efficiency of the vehicle. Optimal strategies can be implemented when driving conditions are known a prior. The Equivalent Consumption Minimization Strategy (ECMS) is an optimal control strategy that uses an equivalence factor to equate electrical to mechanical power when performing torque split determination between the internal combustion engine and electric motor for propulsive and regenerative torque. This equivalence factor is determined from offline vehicle simulations using a sensitivity analysis to provide optimal fuel economy results while maintaining predetermined high voltage battery state of charge (SOC) constraints. When the control hierarchy is modified or different driving styles are applied, the analysis must be redone to update the equivalence factor. The goal of this work is to implement a fuzzy logic controller that dynamically updates the equivalence factor to improve fuel economy, maintain a strict charge sustaining window of operation for the high voltage battery, and reduce computational time required during algorithm development. The adaptive algorithm is validated against global optimum fuel economy and charge sustaining results from a sensitivity analysis performed for multiple drive cycles. Results show a maximum fuel economy improvement of 9.82% when using a mild driving style and a 95% success rate when maintaining an ending SOC within 5% of the desired SOC regardless of starting SOC.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.
文摘BACKGROUND With the continuous development and progress of medical technology,the position of surgical nursing in the field of clinical medicine is becoming in-creasingly prominent.As an important branch of the surgical field,the nursing requirements and difficulty of gastrointestinal surgery are also increasing.In order to improve the teaching quality of nursing care in gastrointestinal surgery,many educators and researchers are actively exploring new teaching methods.Among them,the teaching method case-based learning(CBL),scene-simulated learning(SSL),task-based learning(TBL),combining self-evaluation and training mode is considered as an effective method.This method aims to help students to better master knowledge and skills and improve their comprehensive quality by cultivating their self-evaluation ability.AIM To explore the practical effect of CBL-SSL-TBL combined with training mode and student self-assessment in nursing teaching of gastrointestinal surgery.METHODS Seventy-one nursing interns in our hospital from December 2020 to December 2021 were selected.According to different teaching modes,they were divided into observation group CBL-SSL-TBL combined with training mode combined with student self-assessment and control group(conventional teaching mode),of which 36 were in observation group and 35 were in control group.The results of operational skills,theoretical knowledge,nursing students'satisfaction,learning effectiveness questionnaire and teaching effect were compared between the two groups.RESULTS Compared between the two groups,the operational skills and theoretical knowledge scores of the observation group were higher than those of the control group,and the difference was statistically significant(P<0.05).Compared between the two groups,the total satisfaction ratio of the observation group was higher than that of the control group,the difference was statistically significant(P<0.05).Compared between the two groups,the observation group was lower than the control group in the questionnaire results of learning efficacy,and the difference was statistically significant(P<0.05).Compared between the two groups,the proportion of thinking ability,subjective initiative and understanding of theoretical knowledge in the observation group was higher than that in the control group,the difference was statistically significant(P<0.05).CONCLUSION The use of CBL-SSL-TBL combined with training mode and student self-assessment in gastrointestinal surgery nursing teaching can improve the operational skills of nursing interns,theoretical knowledge and satisfaction scores of nursing students,improve the results of learning efficiency questionnaire and teaching effect,which can be popularized in clinical teaching.
文摘Increasing Internet of Things(IoT)device connectivity makes botnet attacks more dangerous,carrying catastrophic hazards.As IoT botnets evolve,their dynamic and multifaceted nature hampers conventional detection methods.This paper proposes a risk assessment framework based on fuzzy logic and Particle Swarm Optimization(PSO)to address the risks associated with IoT botnets.Fuzzy logic addresses IoT threat uncertainties and ambiguities methodically.Fuzzy component settings are optimized using PSO to improve accuracy.The methodology allows for more complex thinking by transitioning from binary to continuous assessment.Instead of expert inputs,PSO data-driven tunes rules and membership functions.This study presents a complete IoT botnet risk assessment system.The methodology helps security teams allocate resources by categorizing threats as high,medium,or low severity.This study shows how CICIoT2023 can assess cyber risks.Our research has implications beyond detection,as it provides a proactive approach to risk management and promotes the development of more secure IoT environments.
文摘In recent years,the problem of farmland fragmentation has become a major obstacle to the development of modern agriculture,and the reform of“one field for one household”can effectively sort out cultivated land resources,increase contracted land area,improve land utilization rate,and effectively solve the problems of contracted land dispersion and farmland fragmentation in rural areas.This paper systematically anatomized the practice and effects of“one household,one field”reform in Guoyang County,analyzed the problems existing in the implementation process,and put forward corresponding suggestions and countermeasures,in order to provide experience and reference for the reform of one field in other regions.
文摘This article presents a fuzzy logic-based approach to coordinate the control devices of the power system, such as Power System Stabilizers (PSS) and Static Synchronous Compensators (STATCOM), to damp power oscillations caused by dynamic disturbances. At first, we used the Lyapunov method to study the dynamic stability of the power grid in the Republic of Congo. This method allowed us to analyze the eigenvalues of the state variable matrix and highlight the eigenvalues in the complex plane. Secondly, we proposed a fuzzy logic-based controller to account for uncertainties existing near the thresholds. The inputs to this controller are the generator speed and generator rotor angle. We demonstrated the effectiveness and feasibility of this fuzzy control by applying it to the power grid of the Republic of Congo, with three power stabilizers and two STATCOMs. .
文摘In the context of induction motor control, there are various control strategies used to separately control torque and flux. One common approach is known as Field-Oriented Control (FOC). This technique involves transforming the three-phase currents and voltages into a rotating reference frame, commonly referred to as the “dq” frame. In this frame, the torque/speed and flux components are decoupled, allowing for independent control, by doing so, the motor’s speed can be regulated accurately and maintain a constant flux which is crucial to ensure optimal motor performance and efficiency. The research focused on studying and simulating a field-oriented control system using fuzzy control techniques for an induction motor. The aim was to address the issue of parameter variations, particularly the change in rotor resistance during motor operation, which causes the control system to deviate from the desired direction. This deviation implies to an increase in the magnetic flux value, specifically the flux component on the q-axis. By employing fuzzy logic techniques to regulate flux vector’s components in the dq frame, this problem was successfully resolved, ensuring that the magnetic flux value remains within the nominal limits. To enhance the control system’s performance, response speed, and efficiency of the motor, sliding mode controllers were implemented to regulate the current in the inner loop. The simulation results demonstrated the proficiency of the proposed methodology.
基金2023 China University of Geosciences(Beijing)Undergraduate Education Quality Improvement Plan Construction Project,including“Linux Operating System”Practical Teaching Reform(Project number:JG202215)“University Computer”Online Experiment Construction(Project number:JG202216)+1 种基金CUGB-Zhonggong Computer Science and Technology Off-Campus Practical Teaching Base(Project number:SSJJD202201)Ministry of Education Fund Project:Research and Development of Computer Vision Practical Courses Based on Deep Learning(Project number:2022BC003)。
文摘With the advancement of the construction of emerging engineering education,the reform of practical teaching has become an important task of higher engineering education.This article takes the course“Linux Operating System Fundamentals”as an example to explore practical teaching reform in the context of emerging engineering education.By analyzing the current situation and problems in course practical teaching,we proposed practical teaching reforms such as online experiments,practical content updates,project-based engineering practices,and diversified evaluation models,and designed corresponding implementation plans.Practice has proved that this reform can improve students’learning interest and engineering practical skills,and cultivate outstanding engineers with innovative spirit and practical skills.
文摘In this study, the mechanical properties of aluminum-5%magnesium doped with rare earth metal neodymium were evaluated. Fuzzy logic (FL) and artificial neural network (ANN) were used to model the mechanical properties of aluminum-5%magnesium (0-0.9 wt%) neodymium. The single input (SI) to the fuzzy logic and artificial neural network models was the percentage weight of neodymium, while the multiple outputs (MO) were average grain size, ultimate tensile strength, yield strength elongation and hardness. The fuzzy logic-based model showed more accurate prediction than the artificial neutral network-based model in terms of the correlation coefficient values (R).
文摘Practical guide:Glucagon-like peptide-1 and dual glucosedependent insulinotropic polypeptide and glucagon-like peptide-1 receptor agonists in diabetes mellitus common second-line choice after metformin for treating T2DM.Various considerations can make selecting and switching between different GLP-1 RAs challenging.Our study aims to provide a comprehensive guide for the usage of GLP-1 RAs and dual GIP and GLP-1 RAs for the management of T2DM.
基金Supported by Guangdong Provincial Teaching Quality and Teaching Reform Project in 2021.
文摘Biochemistry is a fundamental core course in disciplines such as agriculture,forestry,medicine,animal husbandry,veterinary medicine,and food science.By prioritizing"educating people"in the teaching process of this professional course,we can unearth diverse ideological and political elements related to agricultural production practices within the curriculum knowledge system and the forefront of discipline development.Exploring various teaching methods and utilizing diverse teaching tools are effective strategies to achieve ideological and political education that silently influences students in the field of biochemistry.The goal is to nurture students strong ideals and beliefs,fostering a deep connection to the sentiments of"agriculture,rural areas and farmers in a great nation."This approach aims to instill a sense of responsibility towards strengthening agriculture,shaping students into individuals from South China Agricultural University who possess lofty aspirations and the courage to shoulder responsibility in the new era.