1.Introduction In the previous discussion on the logic of thinking of Zhou Yi,we have attempted to examine the evolution from the eight diagrams to the sixty-four hexagrams,in the hope of fi nding out what it tries to...1.Introduction In the previous discussion on the logic of thinking of Zhou Yi,we have attempted to examine the evolution from the eight diagrams to the sixty-four hexagrams,in the hope of fi nding out what it tries to convey to its readers and how it achieves its aim.1Our conclusion is:Zhou Yi set up a thinking model which deeply infl uenced the Chinese traditional culture and we can see its infl uences in today’s China.Moreover,the interpretations of the symbolic diagrams provided展开更多
High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadb...High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.展开更多
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.展开更多
In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an in...In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.展开更多
This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and d...This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.展开更多
Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive ...Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.展开更多
Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This ...Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This layout defines the specific locations of the turbines within the wind farm.The process of finding the optimal locations of turbines,in the presence of various technical and technological constraints,makes the wind farm layout design problem a complex optimization problem.This problem has traditionally been solved with nature-inspired algorithms with promising results.The performance and convergence of nature-inspired algorithms depend on several parameters,among which the algorithm termination criterion plays a crucial role.Timely convergence is an important aspect of efficient algorithm design because an inefficient algorithm results in wasted computational resources,unwarranted electricity consumption,and hardware stress.This study provides an in-depth analysis of several termination criteria while using the genetic algorithm as a test bench,with its application to the wind farm layout design problem while considering various wind scenarios.The performance of six termination criteria is empirically evaluated with respect to the quality of solutions produced and the execution time involved.Due to the conflicting nature of these two attributes,fuzzy logic-based multi-attribute decision-making is employed in the decision process.Results for the fuzzy decision approach indicate that among the various criteria tested,the criterion Phi achieves an improvement in the range of 2.44%to 32.93%for wind scenario 1.For scenario 2,Best-worst termination criterion performed well compared to the other criteria evaluated,with an improvement in the range of 1.2%to 9.64%.For scenario 3,Hitting bound was the best performer with an improvement of 1.16%to 20.93%.展开更多
This study investigates how artificial intelligence(AI)algorithms enable mainstream media to achieve precise emotional matching and improve communication efficiency through reconstructed communication logic.As digital...This study investigates how artificial intelligence(AI)algorithms enable mainstream media to achieve precise emotional matching and improve communication efficiency through reconstructed communication logic.As digital intelligence technology rapidly evolves,mainstream media organizations are increasingly leveraging AI-driven empathy algorithms to enhance audience engagement and optimize content delivery.This research employs a mixed-methods approach,combining quantitative analysis of algorithmic performance metrics with qualitative examination of media communication patterns.Through systematic review of 150 academic papers and analysis of data from 12 major media platforms,this study reveals that algorithmic empathy systems can improve emotional resonance by 34.7%and increase audience engagement by 28.3%compared to traditional communication methods.The findings demonstrate that AI algorithms reconstruct media communication logic through three primary pathways:emotional pattern recognition,personalized content curation,and real-time sentiment adaptation.However,the study also identifies significant challenges including algorithmic bias,emotional authenticity concerns,and ethical implications of automated empathy.The research contributes to understanding how mainstream media can leverage AI technology to build high-quality empathetic communication while maintaining journalistic integrity and social responsibility.展开更多
The enhancement of mobility has always been a research focus in the field of thin-film transistors(TFTs).In this paper,we report a method using ultra-thin HfO2to improve the electrical performance of indium gallium zi...The enhancement of mobility has always been a research focus in the field of thin-film transistors(TFTs).In this paper,we report a method using ultra-thin HfO2to improve the electrical performance of indium gallium zinc oxide(IGZO)TFTs.HfO2not only repairs the surface morphology of the active layer,but also increases the carrier concentration.When the thickness of the HfO_(2) film was 3 nm,the mobility of the device was doubled(14.9 cm^(2)·V^(-1)·s^(-1)→29.6 cm^(2)·V^(-1)·s^(-1)),and the device exhibited excellent logic device performance.This paper provides a simple and effective method to enhance the electrical performance of IGZO TFTs,offering new ideas and experimental foundation for research into high-performance metal oxide(MO)TFTs.展开更多
This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision p...This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision process(PL-MDP).To address this,a model-free reinforcement learning(RL)approach is designed to produce a finite-memory control policy that meets complex tasks specified by linear temporal logic(LTL)formulas.Recognizing the presence of uncertainties and potentially conflicting objectives,this study centers on addressing infeasible LTL specifications.A relaxed LTL constraint enables the agent to adapt its motion plan,allowing for partial satisfaction by accounting for necessary task violations.Additionally,a new automaton structure is introduced to increase the density of accepting rewards,facilitating deterministic policy outcomes.The proposed RL framework is rigorously analyzed and prioritizes two key objectives:(1)satisfying the acceptance condition of the relaxed product MDP,and(2)minimizing long-term violation costs.Simulation and experimental results are presented to demonstrate the framework’s effectiveness and robustness.展开更多
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.展开更多
This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates senso...This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates sensor and actuator disturbances within the dynamics of follower robots.Each follower robot has unknown dynamics and control inputs,which expose it to the risks of both sensor and actuator attacks.The leader robot,described by a secondorder,time-varying nonlinear model,transmits its position,velocity,and acceleration information to follower robots through a wireless connection.To handle the complex setup and communication among robots in the network,we design a robust hybrid distributed adaptive control strategy combining the effect of sensor and actuator attack,which ensures asymptotic consensus,extending beyond conventional bounded consensus results.The proposed framework employs fuzzy logic systems(FLSs)as proactive controllers to estimate unknown nonlinear behaviors,while also effectively managing sensor and actuator attacks,ensuring stable consensus among all agents.To counter the impact of the combined signal attack on follower dynamics,a specialized robust control mechanism is designed,sustaining system stability and performance under adversarial conditions.The efficiency of this control strategy is demonstrated through simulations conducted across two different directed communication topologies,underscoring the protocol’s adaptability,resilience,and effectiveness in maintaining global consensus under complex attack scenarios.展开更多
To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressi...To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.展开更多
In order to improve a mobile robot＇s autonomy in unknown environments, a novel intelligent controller is designed. The proposed controller is based on fuzzy logic with the aim of assisting a multi-sensor equipped mob...In order to improve a mobile robot＇s autonomy in unknown environments, a novel intelligent controller is designed. The proposed controller is based on fuzzy logic with the aim of assisting a multi-sensor equipped mobile robot to safely navigate in an indoor environment. First, the designs of two behaviors for a robot＇s autonomous navigation are described, including path tracking and obstacle avoidance, which emulate human driving behaviors and reduce the complexity of the robot＇s navigation problems in unknown environments. Secondly, the two behaviors are combined by using a finite state machine （FSM）, which ensures that the robot can safely track a predefined path in an unknown indoor environment. The inputs to this controller are the readings from the sensors. The corresponding output is the desired direction of the robot. Finally, both the simulation and experimental results verify the effectiveness of the proposed method.展开更多
A new low power quasi adiabatic logic,complementary pass transistor adiabatic logic (CPAL),is presented.The CPAL circuit is driven by a new three phase power clock,and its non adiabatic loss on output loads can b...A new low power quasi adiabatic logic,complementary pass transistor adiabatic logic (CPAL),is presented.The CPAL circuit is driven by a new three phase power clock,and its non adiabatic loss on output loads can be effectively reduced by using complementary pass transistor logic and transmission gates.Furthermore,the minimization of the energy consumption can be obtained by choosing the optimal size of bootstrapped nMOS transistors,thus it has more efficient energy transfer and recovery.A three phase power supply generator with a small control logic circuit and a single inductor is proposed.An 8 bit adder based on CPAL is designed and verified.With MOSIS 0 25μm CMOS technology,the CPAL adder consumes only 35% of the dissipated energy of a 2N 2N2P adder and is about 50% of the dissipated energy of a PFAL adder for clock rates ranging from 50 to 200MHz.展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
This paper proposes a Fuzzy Neural Network (FNN) model, which uses a propagation algorithm. A logical operation is defined by a set of weights which are independent of inputs. The realization of the basic And,Or and N...This paper proposes a Fuzzy Neural Network (FNN) model, which uses a propagation algorithm. A logical operation is defined by a set of weights which are independent of inputs. The realization of the basic And,Or and Negation fuzzy logical operations is shown by the fuzzy neuron. A example in fault diagnosis is put forward and the result witnesses some effectiveness of the new FNN model.展开更多
The cascade of reversible logic gate network with n inputs and n outputs forms a group isomorphic to the symmetric group S2^n. Characteristics of a number of gates from the set of all generalized Toffoli gates are stu...The cascade of reversible logic gate network with n inputs and n outputs forms a group isomorphic to the symmetric group S2^n. Characteristics of a number of gates from the set of all generalized Toffoli gates are studied. Any permutation Sn is proved to be generated by a n-cycle 9 and a permutation τ= （ij,ik） together. It shows that any neighboring 2-cycle permutation can be generated by at most two NOT gates without ancilla bit. Based on the above theory, a cascade algorithm for reversible logic gate networks is proposed. A reversible example of logic gate network cascade is given to show the correctness of the algorithm.展开更多
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.展开更多
文摘1.Introduction In the previous discussion on the logic of thinking of Zhou Yi,we have attempted to examine the evolution from the eight diagrams to the sixty-four hexagrams,in the hope of fi nding out what it tries to convey to its readers and how it achieves its aim.1Our conclusion is:Zhou Yi set up a thinking model which deeply infl uenced the Chinese traditional culture and we can see its infl uences in today’s China.Moreover,the interpretations of the symbolic diagrams provided
基金supported by the National Natural Science Foundation of China(Grant Nos.62005058 and 62365006)the Natural Science Foundation of Guangxi,China(Grant No.2020GXNSFBA238012)+2 种基金the China Postdoctoral Science Foundation(Grant No.2020M683726)the Innovation Project of Guangxi Graduate Education(Grant Nos.YCSW2024345 and YCBZ2025157)the Guangxi Key Laboratory of Automatic Detecting Technology and Instruments(Grant No.YQ24101).
文摘High-performance terahertz(THz)logic gate devices are crucial components for signal processing and modulation,playing a significant role in the application of THz communication and imaging.Here,we propose a THz broadband NOR logic encoder based on a graphene-metal hybrid metasurface.The unit structure consists of two symmetrical dual-gap metal split-ring resonators(DSRRs)arranged in a staggered configuration,with graphene strips embedded in their gaps.The NOR logic gate metadevice is controlled by the bias voltages independently applied to the two electrodes.Experiments show that when the bias voltages are applied to both electrodes,the metadevice achieves the NOR logic gate within a 0.52 THz bandwidth,with an average modulation depth above 80%.The experimental results match well with theoretical simulations.Additionally,the strong near-field coupling induced by the staggered DSRRs causes redshift at both LC resonance and dipole resonance.This phenomenon was demonstrated by coupled mode theory.Besides,we analyze the surface current distribution at resonances and propose four equivalent circuit models to elucidate the physical mechanisms of modulation under distinct loaded voltage conditions.The results not only advance modulation and logic gate designs for THz communication but also demonstrate significant potential applications in 6G networks,THz imaging,and radar systems.
基金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.
基金supported by the National Science and Technology Major Project(2020AAA0109005)the National Natural Science Foundation of China(62374055,12327806,62304083,62074063,61821003,61904060,61904051,61674062)+4 种基金the Interdisciplinary Program of Wuhan National High Magnetic Field Center(WHMFC202119)the Shenzhen Science and Technology Program Award(JCYJ20220818103410022)the Shenzhen Virtual University Park(2021Szvup091)the Natural Science Foundation of Wuhan(2024040701010049)Shuai Zhang acknowledges support from the China Postdoctoral Science Foundation(2022M721237).
文摘In-memory computing(IMC)based on spin-logic devices is regarded as an advantageous way to optimize the Von Neumann bottleneck.However,performing complete Boolean logic with spintronic devices typi-cally requires an initialization operation,which can reduce processing speed.In this work,we conceptu-alize and experimentally demonstrate a programmable and initialization-free spin-logic gate,leveraging spin-orbit torque(SOT)to effectuate magnetization switching,assisted by in-plane Oersted field gener-ated by an integrated bias-field Au line.This spin-logic gate,fabricated as a Hall bar,allows complete Boolean logic operations without initialization.A current flowing through the bias-field line,which is electrically isolated from the device by a dielectric,generates an in-plane magnetic field that can invert the SOT-induced switching chirality,enabling on-the-fly complete Boolean logic operations.Additionally,the device demonstrated good reliability,repeatability,and reproducibility during logic operations.Our work demonstrates programmable and scalable spin-logic functions in a single device,offering a new approach for spin-logic operations in an IMC architecture.
基金supported by the start-up funding from Westlake University under Grant Number 041030150118.
文摘This paper adopts a meta-scientific method to point out that the three major obstacles hindering the formation of a unified system theory in modern science are inconsistent concepts,conflicting basic assumptions,and differences in the selection of mathematical languages.It focuses on the issue of“selection of basic assumptions/axioms”for in-depth research.The paper analyzes the widespread problem of logical self-circulation in core theories across multiple fields of modern science,arguing that this problem is also an important reason for theoretical stagnation and the inability to explain phenomena in depth,and may lead to consequences in practical applications.In response,the paper reflects on the limitations of revolutionary methods and proposes a generalization method as a solution.The core of this method is to inherit the reasonable parts of Newtonian mechanics,reconstruct the physical theory of complex systems based on the latest cognition,adhere to clear concepts,logical self-consistency,and unrefuted axioms,and select axioms based on the criterion of supporting the sustainable development of human society.Finally,it points out that future research can be conducted in three directions:interdisciplinary research,new perspectives in the philosophy of science,and optimization of the logical structure of theories,so as to promote the improvement and development of scientific theories.
基金the National Natural Science Foundation of China(Nos.21801063,22305070 and U20041101)the Top-Notch Talents Program of Henan Agricultural University(Nos.30501049 and 30501032)for financial support。
文摘Herein,a ternary supramolecular assembly(BPP-BQ?CB[8]-SCD)is successfully constructed by a bromophenylpyridine-tethered-bromoisoquinoline(BPP-BQ),cucurbit[8]uril(CB[8])and sulfonatedβ-cyclodextrin(SCD)via successive assembling way,exhibiting progressively enhanced green roomtemperature phosphorescence(RTP).The self-aggregates of BPP-BQ?CB[8]-SCD accommodate an energy acceptor rhodamine B(Rh B)to form a light-harvesting system(BPP-BQ?CB[8]-SCD@Rh B)with further enhanced yellow long-lifetime luminescence with large Stokes shift based on triplet-singlet F?rster resonance energy transfer(TS-FRET).Crucially,the introduction of a photoactive diarylethene achieves the long-lived photoluminescence of BPP-BQ?CB[8]-SCD@Rh B to be switched with the efficiency of up to98%through logically ordered lowering/enhancing RTP performance of the energy donor and intercepting/restoring TS-FRET pathway,when stimulated by host-vip competition and light illumination in sequence.Moreover,BPP-BQ?CB[8]-SCD@Rh B is evenly doped into polyvinyl alcohol or polyacrylamide to obtain high-performance luminescent films with long afterglow.The abovementioned logically ordered stimulus-switched long-lived emission enables the light-harvesting system in both solution and solid state to be applied in high-security-level information encryption and transformation,and anticounterfeiting.
基金funded by King Fahd University of Petroleum&Minerals,Saudi Arabia under IRC-SES grant#INRE 2217.
文摘Wind energy has emerged as a potential replacement for fossil fuel-based energy sources.To harness maximum wind energy,a crucial decision in the development of an efficient wind farm is the optimal layout design.This layout defines the specific locations of the turbines within the wind farm.The process of finding the optimal locations of turbines,in the presence of various technical and technological constraints,makes the wind farm layout design problem a complex optimization problem.This problem has traditionally been solved with nature-inspired algorithms with promising results.The performance and convergence of nature-inspired algorithms depend on several parameters,among which the algorithm termination criterion plays a crucial role.Timely convergence is an important aspect of efficient algorithm design because an inefficient algorithm results in wasted computational resources,unwarranted electricity consumption,and hardware stress.This study provides an in-depth analysis of several termination criteria while using the genetic algorithm as a test bench,with its application to the wind farm layout design problem while considering various wind scenarios.The performance of six termination criteria is empirically evaluated with respect to the quality of solutions produced and the execution time involved.Due to the conflicting nature of these two attributes,fuzzy logic-based multi-attribute decision-making is employed in the decision process.Results for the fuzzy decision approach indicate that among the various criteria tested,the criterion Phi achieves an improvement in the range of 2.44%to 32.93%for wind scenario 1.For scenario 2,Best-worst termination criterion performed well compared to the other criteria evaluated,with an improvement in the range of 1.2%to 9.64%.For scenario 3,Hitting bound was the best performer with an improvement of 1.16%to 20.93%.
文摘This study investigates how artificial intelligence(AI)algorithms enable mainstream media to achieve precise emotional matching and improve communication efficiency through reconstructed communication logic.As digital intelligence technology rapidly evolves,mainstream media organizations are increasingly leveraging AI-driven empathy algorithms to enhance audience engagement and optimize content delivery.This research employs a mixed-methods approach,combining quantitative analysis of algorithmic performance metrics with qualitative examination of media communication patterns.Through systematic review of 150 academic papers and analysis of data from 12 major media platforms,this study reveals that algorithmic empathy systems can improve emotional resonance by 34.7%and increase audience engagement by 28.3%compared to traditional communication methods.The findings demonstrate that AI algorithms reconstruct media communication logic through three primary pathways:emotional pattern recognition,personalized content curation,and real-time sentiment adaptation.However,the study also identifies significant challenges including algorithmic bias,emotional authenticity concerns,and ethical implications of automated empathy.The research contributes to understanding how mainstream media can leverage AI technology to build high-quality empathetic communication while maintaining journalistic integrity and social responsibility.
基金Project supported by the National Natural Science Foundation of China(Grant No.62441407)the Natural Science Basic Research Program of Shaanxi(Grant No.2024JCYBQN-0631)+1 种基金the Natural Science Foundation of Shaanxi Provincial Department of Education(Grant No.23JK0482)the Shaanxi Province Key R&D Program General Project-Industrial Field(Grant No.2024GX-YBXM-085)。
文摘The enhancement of mobility has always been a research focus in the field of thin-film transistors(TFTs).In this paper,we report a method using ultra-thin HfO2to improve the electrical performance of indium gallium zinc oxide(IGZO)TFTs.HfO2not only repairs the surface morphology of the active layer,but also increases the carrier concentration.When the thickness of the HfO_(2) film was 3 nm,the mobility of the device was doubled(14.9 cm^(2)·V^(-1)·s^(-1)→29.6 cm^(2)·V^(-1)·s^(-1)),and the device exhibited excellent logic device performance.This paper provides a simple and effective method to enhance the electrical performance of IGZO TFTs,offering new ideas and experimental foundation for research into high-performance metal oxide(MO)TFTs.
基金supported by the National Natural Science Foundation of China under Grant 62173314.
文摘This paper investigates control synthesis for motion planning under conditions of uncertainty,specifically in robot motion and environmental properties,which are modeled using a probabilistic labeled Markov decision process(PL-MDP).To address this,a model-free reinforcement learning(RL)approach is designed to produce a finite-memory control policy that meets complex tasks specified by linear temporal logic(LTL)formulas.Recognizing the presence of uncertainties and potentially conflicting objectives,this study centers on addressing infeasible LTL specifications.A relaxed LTL constraint enables the agent to adapt its motion plan,allowing for partial satisfaction by accounting for necessary task violations.Additionally,a new automaton structure is introduced to increase the density of accepting rewards,facilitating deterministic policy outcomes.The proposed RL framework is rigorously analyzed and prioritizes two key objectives:(1)satisfying the acceptance condition of the relaxed product MDP,and(2)minimizing long-term violation costs.Simulation and experimental results are presented to demonstrate the framework’s effectiveness and robustness.
基金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.
文摘This research paper tackles the complexities of achieving global fuzzy consensus in leader-follower systems in robotic systems,focusing on robust control systems against an advanced signal attack that integrates sensor and actuator disturbances within the dynamics of follower robots.Each follower robot has unknown dynamics and control inputs,which expose it to the risks of both sensor and actuator attacks.The leader robot,described by a secondorder,time-varying nonlinear model,transmits its position,velocity,and acceleration information to follower robots through a wireless connection.To handle the complex setup and communication among robots in the network,we design a robust hybrid distributed adaptive control strategy combining the effect of sensor and actuator attack,which ensures asymptotic consensus,extending beyond conventional bounded consensus results.The proposed framework employs fuzzy logic systems(FLSs)as proactive controllers to estimate unknown nonlinear behaviors,while also effectively managing sensor and actuator attacks,ensuring stable consensus among all agents.To counter the impact of the combined signal attack on follower dynamics,a specialized robust control mechanism is designed,sustaining system stability and performance under adversarial conditions.The efficiency of this control strategy is demonstrated through simulations conducted across two different directed communication topologies,underscoring the protocol’s adaptability,resilience,and effectiveness in maintaining global consensus under complex attack scenarios.
基金The National Natural Science Foundation of China(No.60373066,60425206,90412003),the National Basic Research Pro-gram of China (973Program)(No.2002CB312000),the Innovation Plan for Jiangsu High School Graduate Student, the High TechnologyResearch Project of Jiangsu Province (No.BG2005032), and the Weap-onry Equipment Foundation of PLA Equipment Ministry ( No.51406020105JB8103).
文摘To enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called the fuzzy description logics with comparison expressions （FCDLs） is presented. The syntax and semantics of FCDLs are formally defined, and the forms of axioms and assertions in FCDLs knowledge bases are specified. FCDLs combine both fuzzy concepts from the fuzzy description logics （FDLs） and cut concepts from the extended fuzzy description logics （EFDLs） in the same theory. Furthermore, cut concepts are extended into comparison cut concepts in FCDLs to represent comparison expressions between fuzzy membership degrees, which are often used in practice but not supported by the other fuzzy extensions of description logics. FCDLs have more expressive power than FDLs and EFDLs, and are able to represent expressive fuzzy knowledge and to perform reasoning tasks based on them. Therefore, FCDLs can enable representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.
基金Cultivation Fund for Innovation Project of Ministry of Education (No.708045)
文摘In order to improve a mobile robot＇s autonomy in unknown environments, a novel intelligent controller is designed. The proposed controller is based on fuzzy logic with the aim of assisting a multi-sensor equipped mobile robot to safely navigate in an indoor environment. First, the designs of two behaviors for a robot＇s autonomous navigation are described, including path tracking and obstacle avoidance, which emulate human driving behaviors and reduce the complexity of the robot＇s navigation problems in unknown environments. Secondly, the two behaviors are combined by using a finite state machine （FSM）, which ensures that the robot can safely track a predefined path in an unknown indoor environment. The inputs to this controller are the readings from the sensors. The corresponding output is the desired direction of the robot. Finally, both the simulation and experimental results verify the effectiveness of the proposed method.
文摘A new low power quasi adiabatic logic,complementary pass transistor adiabatic logic (CPAL),is presented.The CPAL circuit is driven by a new three phase power clock,and its non adiabatic loss on output loads can be effectively reduced by using complementary pass transistor logic and transmission gates.Furthermore,the minimization of the energy consumption can be obtained by choosing the optimal size of bootstrapped nMOS transistors,thus it has more efficient energy transfer and recovery.A three phase power supply generator with a small control logic circuit and a single inductor is proposed.An 8 bit adder based on CPAL is designed and verified.With MOSIS 0 25μm CMOS technology,the CPAL adder consumes only 35% of the dissipated energy of a 2N 2N2P adder and is about 50% of the dissipated energy of a PFAL adder for clock rates ranging from 50 to 200MHz.
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
文摘This paper proposes a Fuzzy Neural Network (FNN) model, which uses a propagation algorithm. A logical operation is defined by a set of weights which are independent of inputs. The realization of the basic And,Or and Negation fuzzy logical operations is shown by the fuzzy neuron. A example in fault diagnosis is put forward and the result witnesses some effectiveness of the new FNN model.
基金the National Natural Science Foundation of China(60673127)the National High Technology Research and Development Program of China(863Program)(2007AA01Z404)~~
文摘The cascade of reversible logic gate network with n inputs and n outputs forms a group isomorphic to the symmetric group S2^n. Characteristics of a number of gates from the set of all generalized Toffoli gates are studied. Any permutation Sn is proved to be generated by a n-cycle 9 and a permutation τ= （ij,ik） together. It shows that any neighboring 2-cycle permutation can be generated by at most two NOT gates without ancilla bit. Based on the above theory, a cascade algorithm for reversible logic gate networks is proposed. A reversible example of logic gate network cascade is given to show the correctness of the algorithm.
基金The National Natural Science Foundation of China(No60403016)the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
文摘To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ reasoning results are reused to prove the complexity of EFALCQ reasoning problems. The ALCQ simulation method for the consistency of EFALCQ is proposed. This method reduces EFALCQ satisfiability into EFALCQ consistency, and uses EFALCQ satisfiability to discretely simulate EFALCQ satdomain. It is proved that the reasoning complexity for EFALCQ satisfiability, consistency and sat-domain is PSPACE-complete.
