In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided i...In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.展开更多
As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Int...As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.展开更多
In recent years,managing rural living environments has become a vital component of the rural revitalization strategy.Jiangsu Province,rich in economic and cultural resources,has accumulated valuable experience in expl...In recent years,managing rural living environments has become a vital component of the rural revitalization strategy.Jiangsu Province,rich in economic and cultural resources,has accumulated valuable experience in exploring rural environmental governance by integrating culture and tourism.This research analyzes the practical logic of rural environmental governance in Jiangsu from both theoretical and practical perspectives.It emphasizes the importance of integrating culture and tourism to enhance environmental governance while addressing the associated challenges.The results show that the integration of culture and tourism not only enhances rural ecological environments and living facilities but also boosts regional economic development and the preservation of cultural resources.Nevertheless,there are still challenges in aspects such as the collaboration of stakeholders,the establishment of long-term mechanisms,and the application of digital technologies.Based on real cases in Jiangsu,this study suggests optimization strategies and policy recommendations to improve rural environmental governance within the framework of cultural and tourism integration.展开更多
This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible...This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible approach to tackle these challenges by clarifying the logic and principles of data related to the multi-level complex-ity of the world.Finally,urgently required actions are briefly outlined.展开更多
With the transformation and upgrading of industries,along with the rapid advancement of artificial intelligence(AI)technologies,higher vocational education in art and design is facing new developmental challenges.As a...With the transformation and upgrading of industries,along with the rapid advancement of artificial intelligence(AI)technologies,higher vocational education in art and design is facing new developmental challenges.As an emerging integrative ecosystem,the municipal industry-education consortium offers a strategic pathway to address these challenges by deepening collaboration between education and industry and fostering the coordinated development of both sectors.Grounded in the framework of the municipal industry-education consortium,this study proposes a top-level organizational model for art and design specialty groups characterized by industry-chain-driven development,interdisciplinary integration,and growth-employment orientation.It further explores multiple development pathways,including innovations in consortium council governance,dynamic talent cultivation models,shared curriculum systems,dual-track teaching teams,and multi-tiered practice bases.Collectively,these pathways establish a comprehensive specialty group system in which core specialties drive development,supporting specialties ensure interdependence,and extended specialties foster mutual advancement.The findings provide theoretical insights and practical guidance for advancing the modernization and high-quality transformation of vocational art and design education,contributing to the cultivation of innovative and application-oriented professionals aligned with industrial restructuring and the development of new productive forces.展开更多
With China’s reform and development entering a critical period,the interweaving of various interest relations and the superimposing of the old and new contradictions have intensified social risks.Based on the concept...With China’s reform and development entering a critical period,the interweaving of various interest relations and the superimposing of the old and new contradictions have intensified social risks.Based on the concept of“pluralism,sharing,participation,cooperation and tolerance”,social stability can be maintained by the balanced protection of civil rights and the full realization of the development strategy.In addition,with the guidance of comprehensive legal thinking and core socialist values,the legal regulation of administrative behavior and rights-protection behavior is strengthened.In this way,the win-win of maintaining rights and stability can be realized in the positive-sum game that will help resolve social risks and achieve high-quality social stability.展开更多
A new real-time map matching algorithm based on fuzzy logic is proposed. 3 main factors affecting the reliability of map matching, including the distance between the vehicle location and the matching road segment, the...A new real-time map matching algorithm based on fuzzy logic is proposed. 3 main factors affecting the reliability of map matching, including the distance between the vehicle location and the matching road segment, the angle between the vehicle direction and the road segment direction and the road connectivity are discussed. Fuzzy rules for the distance, angle and connectivity are presented to calculate the matching reliability. 2 indicators for estimating the matching reliability are then derived, one is the lower limit of the reliability, and the other is the limit error of the difference between the maximal value and the second-maximal value of the reliability. A real-time map-matching system based on fuzzy logic is therefore developed. Using the real data of global positioning system(GIS) based navigation and geographic information system(GPS) based road map, the method is verified and the (results) prove the effectiveness of the proposed method.展开更多
This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, im...This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.展开更多
A novel energy recovery logic style ERCCL （energy recovery capacitance coupling logic） , which has good energy performance compared to the conventional CMOS logic and other advanced energy recovery logic, is propose...A novel energy recovery logic style ERCCL （energy recovery capacitance coupling logic） , which has good energy performance compared to the conventional CMOS logic and other advanced energy recovery logic, is proposed. ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate. ERCCL is also a type of threshold logic. The gate count of a system based on ERCCL can be significantly reduced,which,in turn,will decrease the energy loss. A threshold logic synthesis methodology for ERCCL is also presented. MCNC benchmarks are run through the proposed synthesis methodology. The results indicate that about an 80% reduction in gate count can be obtained when compared with the synthesis results of SIS.展开更多
Energy recovery threshold logic (ERTL) is proposed,which combines threshold logic with adiabatic approach.ERTL achieves low energy as well as low gate complexity.A high efficiency power clock generator is also propose...Energy recovery threshold logic (ERTL) is proposed,which combines threshold logic with adiabatic approach.ERTL achieves low energy as well as low gate complexity.A high efficiency power clock generator is also proposed,which can adjust duty cycle of MOS switch in power clock generator depending on logic complexity and operating frequency to achieve optimum energy efficiency.Closed-form results are derived,which facilitate efficiency-optimized design of the power clock generator.An ERTL PLA and a conventional PLA are designed and simulated on 0.35μm process.The energy efficiency of the proposed power clock generator can reach 77%～85% operating between 20～100MHz.Simulation results indicate that ERTL is a low energy logic.Including power loss of power clock circuits,ERTL PLA still shows 65%～77% power savings compared to conventional PLA.展开更多
In order to deal with the problems in P2P systems of file sharing such as unreliability of the service,security risk and attacks caused by malicious peers,a novel Trust Model based on Multinomial subjective logic and ...In order to deal with the problems in P2P systems of file sharing such as unreliability of the service,security risk and attacks caused by malicious peers,a novel Trust Model based on Multinomial subjective logic and Risk mechanism(MR-TM) is proposed.According to the multinomial subjective logic theory,the model introduces the risk mechanism.It assesses and quantifies the peers' risk,through computing the resource value,vulnerability,threat level,and finally gets the trust value by the risk value and the reputation value.The introduction of the risk value can reflect the recent behaviors of the peers better and make the system more sensitive to malicious acts.Finally,the effectiveness and feasibility of the model is illustrated by the simulation experiment designed with Peersim.展开更多
A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models ...A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events （elementary causes）, which can lead to a root event （a particular fault）. Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.展开更多
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.展开更多
We assume that M is a phase space and H an Hilbert space yielded by a quantization scheme. In this paper we consider the set of all “experimental propositions” of M and we look for a model of quantum logic in relati...We assume that M is a phase space and H an Hilbert space yielded by a quantization scheme. In this paper we consider the set of all “experimental propositions” of M and we look for a model of quantum logic in relation to the quantization of the base manifold M. In particular we give a new interpretation about previous results of the author in order to build an “asymptotics quantum probability space” for the Hilbert lattice L(H).展开更多
Three speed controllers for an axial magnetic flux switched reluctance motor with only one stator, are described and experimentally tested. As it is known, when current pulses are imposed in their windings, high rippl...Three speed controllers for an axial magnetic flux switched reluctance motor with only one stator, are described and experimentally tested. As it is known, when current pulses are imposed in their windings, high ripple torque is obtained. In order to reduce this ripple, a control strategy with modified current shapes is proposed. A workbench consisting of a machine prototype and the control system based on a microcontroller was built. These controllers were: a conventional PID, a fuzzy logic PID and a neural PID type. From experimental results, the effective reduction of the torque ripple was confirmed and the performance of the controllers was compared.展开更多
The Maximum Power Point Tracker (MPPT) is the optimum operating point of a photovoltaic module. It plays a very important role to obtain the maximum power of a solar panel as it allows an optimal use of a photovoltaic...The Maximum Power Point Tracker (MPPT) is the optimum operating point of a photovoltaic module. It plays a very important role to obtain the maximum power of a solar panel as it allows an optimal use of a photovoltaic system, regardless of irradiation and temperature variations. In this research, we present a novel technique to improve the control’s performances optimization of the system consisting of a photovoltaic panel, a buck converter and a load. Simulations of different parts of the system are developed under Matlab/Simulink, thus allowing a comparison between the performances of the three studied controllers: “Fuzzy TS”, “P&O” and “PSO”. The three algorithms of MPPT associated with these techniques are tested in different meteorological conditions. The obtained results, in different operating conditions, reveal a clear improvement of controlling performances of MPPT of a photovoltaic system when the PSO tracking technique is used.展开更多
Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and dev...Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and development in China. Xi Jinping s important exposition of poverty alleviation is the theoretical basis and practical guide to direct the effective implementation of China s targeted poverty alleviation strategy. It has gradually developed into an innovative theoretical system for poverty alleviation and development in the new era, with meticulous internal logic and a reputation for the significance of the times at home and abroad. Xi Jinping s thought of targeted poverty alleviation is the development and innovation of the theory and practice of poverty alleviation and development with Chinese characteristics. It is an important guarantee for China to win the battle to get rid of poverty and build a well-off society in an all-round way, and has contributed China s wisdom and China s plan to reducing poverty in the world.展开更多
In the present investigation, an attempt was made to facilitate tool condition monitoring system on cryogenic treated using fuzzy logic and signal processing. Cryogenic treatment is carried out at -196°C for 48 h...In the present investigation, an attempt was made to facilitate tool condition monitoring system on cryogenic treated using fuzzy logic and signal processing. Cryogenic treatment is carried out at -196°C for 48 hours followed on tempering at 200°C for 2 hours. The AISI4340 steel is machined with cryogenically treated inserts. Speed, feed and depth of cut are selected as input parameters. The results of the proposed method are encouraged in minimizing tool vibration, flank and crater wear. Good correlation is shown between the neural fuzzy and experimental data. As a result, it is found that cryogenically treated inserts have superior tool wear and vibration resistance, and confirmed by conducting further confirmation tests.展开更多
In uncovering the mechanisms of teaching critical thinking in China,scholars tend to ignore the re-quirement of rational thinking in teaching. Based on the discussion of rational presuppositions of critical thinking i...In uncovering the mechanisms of teaching critical thinking in China,scholars tend to ignore the re-quirement of rational thinking in teaching. Based on the discussion of rational presuppositions of critical thinking in Western cultures, this article argues that, while Western critical thinking presets a kind of rationality which is biased to-wards descriptive logic rather than prescriptive logic, the virtue - centered traditional Chinese culture cultivates a gener-al habit of using methods of prescriptive logic. Descriptive logic accounts for “how to get” true judgments while pre- scriprive logic aims at explaining “why a true judgment is true”. Critical thinking education in China should pay more attention to the role descriptive logic plays. The fact that the new - media infomiarion disseminarion is deepening in- tercultiiral communication makes it necessary to implement critical thinking education in China,but the implementa-tion should be focused on cultivating the students* ability to organize discourse in a logical way.展开更多
Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of ...Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of a postmodern fuzzy set and fuzzy logic theory addressing these issues by deconstructing fuzzy truth values and fuzzy set membership functions to re-capture the human knowledge and subjectivity structure in membership function evaluations. We formulate a fractal multi-modal logic of Kabbalah which integrates the cognitive, emotional and behavioral levels of humanistic systems into epistemic and modal, deontic and doxastic and dynamic multi-modal logic. This is done by creating a fractal multi-modal Kabbalah possible worlds semantic frame of Kripke model type. The Kabbalah possible worlds semantic frame integrates together both the multi-modal logic aspects and their Kripke possible worlds model. We will not focus here on modal operators and axiom sets. We constructively define a fractal multi-modal Kabbalistic L-fuzzy set as the central concept of the postmodern fuzzy set theory based on Kabbalah logic and semantics.展开更多
基金supported by the Chinese Ministry of Education of Humanities and Social Science Project(23YJC72040003)the Key Project of Chinese Ministry of Education(22JJD720021)supported by the Natural Science Foundation of Shandong Province,China(project number:ZR2023QF021)。
文摘In the present paper,we give a systematic study of the discrete correspondence the-ory and topological correspondence theory of modal meet-implication logic and moda1 meet-semilattice logic,in the semantics provided in[21].The special features of the present paper include the following three points:the first one is that the semantic structure used is based on a semilattice rather than an ordinary partial order,the second one is that the propositional vari-ables are interpreted as filters rather than upsets,and the nominals,which are the“first-order counterparts of propositional variables,are interpreted as principal filters rather than principal upsets;the third one is that in topological correspondence theory,the collection of admissi-ble valuations is not closed under taking disjunction,which makes the proof of the topological Ackermann 1emma different from existing settings.
文摘As a fundamental course in science and engineering education at universities,advanced mathematics plays an irreplaceable role in cultivating students’logical thinking,scientific spirit,and comprehensive qualities.Integrating ideological and political education into advanced mathematics teaching is not only an inevitable requirement for achieving the goal of“three-dimensional and holistic education”but also a crucial path for promoting students’comprehensive development.This article delves into the necessary logic,practical possibilities,and real-world challenges of ideological and political education in advanced mathematics courses,systematically analyzing the implementation pathways and illustrating practical approaches through specific cases.Meanwhile,to address issues such as insufficient teacher capability,lagging resource development,disconnected instructional design,and inadequate evaluation mechanisms encountered during implementation,this article proposes practical improvement strategies.It aims to provide theoretical insights and practical guidance for the further advancement of ideological and political education in advanced mathematics courses.
基金2022 Key Research Project of Philosophy and Social Sciences at Nanjing Tech University Pujiang Institute,“The Subject-Object Relationship and Its Coordination Mechanism in the Construction of Beautiful Countryside in Jiangsu”(Project No.:Njpj2022-2-01)。
文摘In recent years,managing rural living environments has become a vital component of the rural revitalization strategy.Jiangsu Province,rich in economic and cultural resources,has accumulated valuable experience in exploring rural environmental governance by integrating culture and tourism.This research analyzes the practical logic of rural environmental governance in Jiangsu from both theoretical and practical perspectives.It emphasizes the importance of integrating culture and tourism to enhance environmental governance while addressing the associated challenges.The results show that the integration of culture and tourism not only enhances rural ecological environments and living facilities but also boosts regional economic development and the preservation of cultural resources.Nevertheless,there are still challenges in aspects such as the collaboration of stakeholders,the establishment of long-term mechanisms,and the application of digital technologies.Based on real cases in Jiangsu,this study suggests optimization strategies and policy recommendations to improve rural environmental governance within the framework of cultural and tourism integration.
文摘This article presents views on the future development of data science,with a particular focus on its importance to artificial intel-ligence(AI).After discussing the challenges of data science,it elu-cidates a possible approach to tackle these challenges by clarifying the logic and principles of data related to the multi-level complex-ity of the world.Finally,urgently required actions are briefly outlined.
基金General Project of the 2023 Annual Scheme for Shenzhen’s Education Science“14th Five-Year”Plan:Construction of Art and Design Specialty Groups in Higher Vocational Education Based on the Municipal Industry-Education Consortium(yb23018)2024 University-Level Teaching Achievement Award Cultivation Project of Shenzhen Polytechnic University:“Innovation and Implementation of a Sustainable Talent Development Model Based on Municipal Industry-Education Collaboration and Art-Technology Integration”。
文摘With the transformation and upgrading of industries,along with the rapid advancement of artificial intelligence(AI)technologies,higher vocational education in art and design is facing new developmental challenges.As an emerging integrative ecosystem,the municipal industry-education consortium offers a strategic pathway to address these challenges by deepening collaboration between education and industry and fostering the coordinated development of both sectors.Grounded in the framework of the municipal industry-education consortium,this study proposes a top-level organizational model for art and design specialty groups characterized by industry-chain-driven development,interdisciplinary integration,and growth-employment orientation.It further explores multiple development pathways,including innovations in consortium council governance,dynamic talent cultivation models,shared curriculum systems,dual-track teaching teams,and multi-tiered practice bases.Collectively,these pathways establish a comprehensive specialty group system in which core specialties drive development,supporting specialties ensure interdependence,and extended specialties foster mutual advancement.The findings provide theoretical insights and practical guidance for advancing the modernization and high-quality transformation of vocational art and design education,contributing to the cultivation of innovative and application-oriented professionals aligned with industrial restructuring and the development of new productive forces.
文摘With China’s reform and development entering a critical period,the interweaving of various interest relations and the superimposing of the old and new contradictions have intensified social risks.Based on the concept of“pluralism,sharing,participation,cooperation and tolerance”,social stability can be maintained by the balanced protection of civil rights and the full realization of the development strategy.In addition,with the guidance of comprehensive legal thinking and core socialist values,the legal regulation of administrative behavior and rights-protection behavior is strengthened.In this way,the win-win of maintaining rights and stability can be realized in the positive-sum game that will help resolve social risks and achieve high-quality social stability.
基金Projects(40301043 and 40171078) supported by the National Natural Science Foundation of China
文摘A new real-time map matching algorithm based on fuzzy logic is proposed. 3 main factors affecting the reliability of map matching, including the distance between the vehicle location and the matching road segment, the angle between the vehicle direction and the road segment direction and the road connectivity are discussed. Fuzzy rules for the distance, angle and connectivity are presented to calculate the matching reliability. 2 indicators for estimating the matching reliability are then derived, one is the lower limit of the reliability, and the other is the limit error of the difference between the maximal value and the second-maximal value of the reliability. A real-time map-matching system based on fuzzy logic is therefore developed. Using the real data of global positioning system(GIS) based navigation and geographic information system(GPS) based road map, the method is verified and the (results) prove the effectiveness of the proposed method.
基金the National Natural Science Foundation of China (No.60274010, 60343001, 60221301, 60334040)
文摘This paper gives a matrix expression of logic. Under the matrix expression, a general description of the logical operators is proposed. Using the semi-tensor product of matrices, the proofs of logical equivalences, implications, etc., can be simplified a lot. Certain general properties are revealed. Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference. Finally, we propose a new type of logic, called mix-valued logic, and a new design technique, called logic-based fuzzy control. They provide a numerically computable framework for the application of fuzzy logic for the control of fuzzy systems.
文摘A novel energy recovery logic style ERCCL （energy recovery capacitance coupling logic） , which has good energy performance compared to the conventional CMOS logic and other advanced energy recovery logic, is proposed. ERCCL uses capacitance coupling to perform a logic function, so it can energy-efficiently implement a high fan-in complex logic in a single gate. ERCCL is also a type of threshold logic. The gate count of a system based on ERCCL can be significantly reduced,which,in turn,will decrease the energy loss. A threshold logic synthesis methodology for ERCCL is also presented. MCNC benchmarks are run through the proposed synthesis methodology. The results indicate that about an 80% reduction in gate count can be obtained when compared with the synthesis results of SIS.
文摘Energy recovery threshold logic (ERTL) is proposed,which combines threshold logic with adiabatic approach.ERTL achieves low energy as well as low gate complexity.A high efficiency power clock generator is also proposed,which can adjust duty cycle of MOS switch in power clock generator depending on logic complexity and operating frequency to achieve optimum energy efficiency.Closed-form results are derived,which facilitate efficiency-optimized design of the power clock generator.An ERTL PLA and a conventional PLA are designed and simulated on 0.35μm process.The energy efficiency of the proposed power clock generator can reach 77%～85% operating between 20～100MHz.Simulation results indicate that ERTL is a low energy logic.Including power loss of power clock circuits,ERTL PLA still shows 65%～77% power savings compared to conventional PLA.
基金Supported by the National Natural Science Foundation of China(No.60873203)the Foundation of Key Laboratory of Aerospace Information Security and Trusted Computting,Ministry of Education(No.AISTC2009_03)+1 种基金Hebei Natural Funds for Distinguished Young Scientists(No. F2010000317)the Natural Science Foundation of Hebei Province(No.F2008000646)
文摘In order to deal with the problems in P2P systems of file sharing such as unreliability of the service,security risk and attacks caused by malicious peers,a novel Trust Model based on Multinomial subjective logic and Risk mechanism(MR-TM) is proposed.According to the multinomial subjective logic theory,the model introduces the risk mechanism.It assesses and quantifies the peers' risk,through computing the resource value,vulnerability,threat level,and finally gets the trust value by the risk value and the reputation value.The introduction of the risk value can reflect the recent behaviors of the peers better and make the system more sensitive to malicious acts.Finally,the effectiveness and feasibility of the model is illustrated by the simulation experiment designed with Peersim.
基金supported by the Hi-tech Research and Development Program of China (No.2006AA420203)
文摘A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events （elementary causes）, which can lead to a root event （a particular fault）. Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.
文摘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.
文摘We assume that M is a phase space and H an Hilbert space yielded by a quantization scheme. In this paper we consider the set of all “experimental propositions” of M and we look for a model of quantum logic in relation to the quantization of the base manifold M. In particular we give a new interpretation about previous results of the author in order to build an “asymptotics quantum probability space” for the Hilbert lattice L(H).
文摘Three speed controllers for an axial magnetic flux switched reluctance motor with only one stator, are described and experimentally tested. As it is known, when current pulses are imposed in their windings, high ripple torque is obtained. In order to reduce this ripple, a control strategy with modified current shapes is proposed. A workbench consisting of a machine prototype and the control system based on a microcontroller was built. These controllers were: a conventional PID, a fuzzy logic PID and a neural PID type. From experimental results, the effective reduction of the torque ripple was confirmed and the performance of the controllers was compared.
文摘The Maximum Power Point Tracker (MPPT) is the optimum operating point of a photovoltaic module. It plays a very important role to obtain the maximum power of a solar panel as it allows an optimal use of a photovoltaic system, regardless of irradiation and temperature variations. In this research, we present a novel technique to improve the control’s performances optimization of the system consisting of a photovoltaic panel, a buck converter and a load. Simulations of different parts of the system are developed under Matlab/Simulink, thus allowing a comparison between the performances of the three studied controllers: “Fuzzy TS”, “P&O” and “PSO”. The three algorithms of MPPT associated with these techniques are tested in different meteorological conditions. The obtained results, in different operating conditions, reveal a clear improvement of controlling performances of MPPT of a photovoltaic system when the PSO tracking technique is used.
基金Project Commissioned by the Office of Rural Work Leading Group of Kunming Municipal Party CommitteeConstruction Project of Studio for Party Branch Secretaries of"Double Leaders"Teachers in Colleges and Universities.
文摘Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and development in China. Xi Jinping s important exposition of poverty alleviation is the theoretical basis and practical guide to direct the effective implementation of China s targeted poverty alleviation strategy. It has gradually developed into an innovative theoretical system for poverty alleviation and development in the new era, with meticulous internal logic and a reputation for the significance of the times at home and abroad. Xi Jinping s thought of targeted poverty alleviation is the development and innovation of the theory and practice of poverty alleviation and development with Chinese characteristics. It is an important guarantee for China to win the battle to get rid of poverty and build a well-off society in an all-round way, and has contributed China s wisdom and China s plan to reducing poverty in the world.
文摘In the present investigation, an attempt was made to facilitate tool condition monitoring system on cryogenic treated using fuzzy logic and signal processing. Cryogenic treatment is carried out at -196°C for 48 hours followed on tempering at 200°C for 2 hours. The AISI4340 steel is machined with cryogenically treated inserts. Speed, feed and depth of cut are selected as input parameters. The results of the proposed method are encouraged in minimizing tool vibration, flank and crater wear. Good correlation is shown between the neural fuzzy and experimental data. As a result, it is found that cryogenically treated inserts have superior tool wear and vibration resistance, and confirmed by conducting further confirmation tests.
文摘In uncovering the mechanisms of teaching critical thinking in China,scholars tend to ignore the re-quirement of rational thinking in teaching. Based on the discussion of rational presuppositions of critical thinking in Western cultures, this article argues that, while Western critical thinking presets a kind of rationality which is biased to-wards descriptive logic rather than prescriptive logic, the virtue - centered traditional Chinese culture cultivates a gener-al habit of using methods of prescriptive logic. Descriptive logic accounts for “how to get” true judgments while pre- scriprive logic aims at explaining “why a true judgment is true”. Critical thinking education in China should pay more attention to the role descriptive logic plays. The fact that the new - media infomiarion disseminarion is deepening in- tercultiiral communication makes it necessary to implement critical thinking education in China,but the implementa-tion should be focused on cultivating the students* ability to organize discourse in a logical way.
文摘Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of a postmodern fuzzy set and fuzzy logic theory addressing these issues by deconstructing fuzzy truth values and fuzzy set membership functions to re-capture the human knowledge and subjectivity structure in membership function evaluations. We formulate a fractal multi-modal logic of Kabbalah which integrates the cognitive, emotional and behavioral levels of humanistic systems into epistemic and modal, deontic and doxastic and dynamic multi-modal logic. This is done by creating a fractal multi-modal Kabbalah possible worlds semantic frame of Kripke model type. The Kabbalah possible worlds semantic frame integrates together both the multi-modal logic aspects and their Kripke possible worlds model. We will not focus here on modal operators and axiom sets. We constructively define a fractal multi-modal Kabbalistic L-fuzzy set as the central concept of the postmodern fuzzy set theory based on Kabbalah logic and semantics.
