In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neit...In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.展开更多
As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using a...As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.展开更多
In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset ...In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.展开更多
Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in w...Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.展开更多
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.展开更多
The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed...The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.展开更多
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.展开更多
Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedago...Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.展开更多
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.展开更多
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.展开更多
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 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.展开更多
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 study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China ...This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.展开更多
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.展开更多
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.展开更多
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.展开更多
By anchoring Tb^(3+)ions on its free carboxyl groups of the nanocaged NiMOF,a dual-emission self-calibrating sensor of Tb^(3+)@NiMOF was fabricated through coordination post-synthetic modification(PSM)strategy.With Tb...By anchoring Tb^(3+)ions on its free carboxyl groups of the nanocaged NiMOF,a dual-emission self-calibrating sensor of Tb^(3+)@NiMOF was fabricated through coordination post-synthetic modification(PSM)strategy.With Tb^(3+)ions as the secondary fluorescent signal and sensing active sites,Tb^(3+)@NiMOF presents great potentials in visually and efficiently monitoring EPI in serum,with high sensitivity and selectivity,fast response,excellent recyclable,and the low detection limit(LOD,3.06 ng/mL).Furthermore,a tandem combinational logic gate based intelligent detection system was constructed to improve the practicability and convenience of epinephrine(EPI)detection in serum by comparing the light emitted colour with the series standard colour cards preset in the smartphone.This work provides a promising approach of developing metal-organic frameworks(MOFs)based self-calibrating sensors for intelligent detection of bioactive molecules.展开更多
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.展开更多
基金supported by the MOE Project of Humanities and Social Sciences of China(Grant No.21YJA72040001)。
文摘In connexive logic,two fundamental ideas are observed:first,no proposition im-plies or is implied by its own negation;second,if a proposition implies p then it will not imply the negation of 4p.In classical logic,neither of the ideas holds,which makes it difficult to give a natural semantics for connexive logic.By combining Kleene's three valued logic and Lewis'conditional logic,we propose a new natural semantics for connexive logic.We give four ax-iomatic systems characterizing different classes of selection models in the new semantics.We prove soundness and completeness of these logics and compare them with some comexive 1og-ics in the literature.
文摘As Model-Based Systems Engineering(MBSE)was applied to the Electric Multiple Unit(EMU)braking system control logic,a preliminary exploration was conducted for bullet train braking system control logic research using an MBSE practice framework.The framework mainly includes the requirement analysis phase,functional analysis phase,and design phase.Systems Modeling Language(SysML)was used as the modeling language,and Cameo Systems Modeler(CSM)was employed as the modeling tool.By integrating the EMU braking system control logic and utilizing a top-down design approach,the implementation of MBSE in the bullet train braking system was analyzed and studied.The results show that,according to the MBSE practice framework,a unified description of the requirement analysis,functional analysis,and design synthesis of the EMU braking system control logic can be achieved.Additionally,the correlation and traceability between models can be established.
基金supported by the National Social Science Fund of China(No.20CZX048)。
文摘In modal logic,topological semantics is an intuitive and natural special case of neighbourhood semantics.This paper stems from the observation that the satisfaction relation of topological semantics applies to subset spaces which are more general than topological spaces.The minimal modal logic which is strongly sound and complete with respect to the class of subset spaces is found.Soundness and completeness results of some famous modal logics(e.g.S4,S5 and Tr)with respect to various important classes of subset spaces(eg intersection structures and complete fields of sets)are also proved.In the meantime,some known results,e.g.the soundness and completeness of Tr with respect to the class of discrete topological spaces,are proved directly using some modifications of the method of canonical mode1,without a detour via neighbourhood semantics or relational semantics.
文摘Institutional logic theory,a pivotal framework within organizational studies,delineates the multifaceted and intricate logics that underpin organizational fields.This theoretical perspective elucidates the manner in which diverse individuals or groups within an organization internalize and manifest distinct institutional logics,alongside the ensuing political and cultural conflicts.Furthermore,the theory endeavors to elucidate the complexities inherent in institutional logic across organizational fields,examining the reflection of these logics among various individuals or groups and their associated political and cultural dichotomies.Central to this discourse is the acknowledgment of the core systems that constitute the fabric of a country,encompassing the state,market,familial structures,corporate entities,professional bodies,and religious institutions.These components not only coexist with inherent conflicts but also exhibit a high degree of interdependence,underlined by their shared institutional logics.This literature attempts to review and analysis institutional logic in the field of entrepreneurship and integrates institutional logic into entrepreneurs’personal background,experience,and other social characteristics,and study how institutional logic operates.It is recommended that future researchers take entrepreneurs as the research object and conduct more in-depth research on the evolution of organizational response strategies when political and cultural conflicts occur between different groups within the enterprise,combined with institutional logic theory.
基金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.
文摘The ancient tacit knowledge behind the logic system permeated the culture and promoted numerous impactful inventions throughout the history. Traditional Chinese medicine with its effectiveness should also have stemmed out from such logic system. This article aims to rearticulate the underlying lucid multi-dimensional logic system, which faded in obscurity only because of time-out loss of the mid-right concept. Retracing this past tacit but important concept could uncover a multi-dimensional system over a point relating to all matters while capturing the central core of the matter. The seemingly unmanageable multidimensional logic was strengthened by verification processes which affirmed its further extensions, and made up the language of the people, the concepts of yin-yang(阴阳), and the development of extensions of Ba Gua(八卦) derivatives, which furthered the interpretation of the space-time properties and Chinese medicine.
文摘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.
基金The Educational Research Project of Kunming Medical University(2023-JY-Y-024 and 2022-JY-Y-011)Special Research Project for Introduced Talent of Kunming Medical University(J13395001)。
文摘Graduate students universally struggle with vague topics,insufficient innovation,and logical gaps in research proposals,highlighting the need for structured scientific training.This study presents an innovative pedagogical model embedding scholarly literature’s logical architecture into LBL-RBL hybrid teaching,implemented in Kunming Medical University’s Neuropathophysiology course.Targeting the complexity of neurological disease mechanisms,the course integrates lecture-based learning(LBL)and research-based learning(RBL)through a small-cohort framework featuring personalized literature-logic embedding→targeted lecture reinforcement→multi-round proposal iteration.Faculty deconstructed domain literature to establish a three-phase training system(“Logic Demonstration-Methodology Mapping-Proposal Embedding”),systematically merging academic logic with research methodology over 9 weeks.Results demonstrate that this problem-driven approach creates authentic scientific inquiry scenarios,activating student knowledge co-construction and collaborative exploration.It successfully enables dynamic competency progression through“cognitive deconstruction→methodological practice→proposal refinement,”significantly enhancing proposal rigor and innovation.This study offers a scalable dual-track solution for cultivating advanced scientific capabilities in medical graduate education.
基金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.
基金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.
基金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%.
基金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.
基金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 scientific research fund of Jiangxi Provincial Social Sciences“14th Five-Year Plan”(No.23SH05).
文摘This study investigated the relationship between parental cognitive ability and child logical reasoning ability,and the role of academic expectation and family environment in that relationship.Based on the 2020 China Family Panel Studies(CFPS)data,1491 children(girls ratio=53.78%;average grade=6.023 years,school grade standard deviation=1.825 years).Results following multiple regression model(OLS)show that the higher the parental cognitive ability,the higher the children’s logical reasoning ability.Secondly,parental academic expectation serves as a mediator between their cognitive ability and children’s logical reasoning ability for higher logical reasoning by children.Third,a possible family environment acts as a mediator in the relationship between parents’cognitive ability and children’s logical reasoning ability to be higher.We conclude from thesefindings that parents with high cognitive abilities can enhance their children’s logical reasoning skills not only by setting higher academic expectations,but also by cultivating a supportive family environment.Thesefindings imply a need for intervention to improve family quality of life to enhance children’s thinking abilities to optimize their academic learning.
文摘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.
文摘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.
文摘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.
基金Project supported by the National Natural Science Foundation of China(21801230,21905255)Natural Science Foundation of Shanxi Province(202203021211090)+2 种基金Young Academic Leader Supported Program of North University of China(QX201904)Shanxi Key Laboratory of Advanced Carbon Electrode Materials(202104010910019)The Key Laboratory Research Foundation of North University of China。
文摘By anchoring Tb^(3+)ions on its free carboxyl groups of the nanocaged NiMOF,a dual-emission self-calibrating sensor of Tb^(3+)@NiMOF was fabricated through coordination post-synthetic modification(PSM)strategy.With Tb^(3+)ions as the secondary fluorescent signal and sensing active sites,Tb^(3+)@NiMOF presents great potentials in visually and efficiently monitoring EPI in serum,with high sensitivity and selectivity,fast response,excellent recyclable,and the low detection limit(LOD,3.06 ng/mL).Furthermore,a tandem combinational logic gate based intelligent detection system was constructed to improve the practicability and convenience of epinephrine(EPI)detection in serum by comparing the light emitted colour with the series standard colour cards preset in the smartphone.This work provides a promising approach of developing metal-organic frameworks(MOFs)based self-calibrating sensors for intelligent detection of bioactive molecules.
文摘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.
