The design of a three-input logic circuit using carbon nanotube field effect transistors(CNTFETs)is presented.Ternary logic must be an exact replacement for dual logic since it performs straightforwardly in digital de...The design of a three-input logic circuit using carbon nanotube field effect transistors(CNTFETs)is presented.Ternary logic must be an exact replacement for dual logic since it performs straightforwardly in digital devices,which is why this design is so popular,and it also reduces chip area,both of which are examples of circuit overheads.The proposed module we have investigated is a triple-logic-based one,based on advanced technology CNTFETs and an emphasis on minimizing delay times at various values,as well as comparisons of the design working with various load capacitances.Comparing the proposed design with the existing design,the delay times was reduced from 66.32 to 16.41 ps,i.e.,a 75.26%reduction.However,the power dissipation was not optimized,and increased by 1.44%compared to the existing adder.The number of transistors was also reduced,and the product of power and delay(P∗D)achieved a value of 0.0498053 fJ.An improvement at 1 V was also achieved.A load capacitance(fF)was measured at different values,and the average delay measured for different values of capacitance had a maximum of 83.60 ps and a minimum of 22.54 ps,with a range of 61.06 ps.The power dissipations ranged from a minimum of 3.38μW to a maximum of 6.49μW.Based on these results,the use of this CNTFET half-adder design in multiple Boolean circuits will be a useful addition to circuit design.展开更多
This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches suitable for I2L circuits.Based on the advantage that current signals are easy to be ad...This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches suitable for I2L circuits.Based on the advantage that current signals are easy to be added, the design technique of I2L circuits by means of the multi-valued current signal is proposed.It is shown that simpler structure of I2L circuits can be obtained with this technique.展开更多
To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended ...To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics. The basic idea is to embed logic formulas into some polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they are also of computational significance.展开更多
In cryptology, it is an important topic to study the best affine approach of functions. The best affine approach of Boolean functions has been discussed in ref. [1] by using the Walsh spectrum, of which the key proble...In cryptology, it is an important topic to study the best affine approach of functions. The best affine approach of Boolean functions has been discussed in ref. [1] by using the Walsh spectrum, of which the key problem is how to represent the correspondence of Boolean functions by using Walsh spectrum. For the multi-valued logical functions so far, the spectral representation of their correspondence has not been presented yet. This let-展开更多
Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because th...Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.展开更多
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 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.展开更多
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.展开更多
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.展开更多
The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on...The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on data from documents,study visits,and interviews with representatives from dispatch operators in a Swedish context.The results identify competing alarm and healthcare logics that are incompatible,which leads to contradictions between the national and regional approaches and,consequently,makes collaboration more difficult and affects the precision of emergency call assessment.The study also shows that the assessments of emergency calls are governed more by which logic is applied than by the assessor's formal competence.The study highlights the importance of feedback and subsequent analysis from the health service to the initial call assessment stage,which can improve the alarm logic's weaknesses with over-triage,without extending the response time.We also focused on the mechanisms required to develop and maintain a long-term sustainable alarm function.展开更多
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.展开更多
文摘The design of a three-input logic circuit using carbon nanotube field effect transistors(CNTFETs)is presented.Ternary logic must be an exact replacement for dual logic since it performs straightforwardly in digital devices,which is why this design is so popular,and it also reduces chip area,both of which are examples of circuit overheads.The proposed module we have investigated is a triple-logic-based one,based on advanced technology CNTFETs and an emphasis on minimizing delay times at various values,as well as comparisons of the design working with various load capacitances.Comparing the proposed design with the existing design,the delay times was reduced from 66.32 to 16.41 ps,i.e.,a 75.26%reduction.However,the power dissipation was not optimized,and increased by 1.44%compared to the existing adder.The number of transistors was also reduced,and the product of power and delay(P∗D)achieved a value of 0.0498053 fJ.An improvement at 1 V was also achieved.A load capacitance(fF)was measured at different values,and the average delay measured for different values of capacitance had a maximum of 83.60 ps and a minimum of 22.54 ps,with a range of 61.06 ps.The power dissipations ranged from a minimum of 3.38μW to a maximum of 6.49μW.Based on these results,the use of this CNTFET half-adder design in multiple Boolean circuits will be a useful addition to circuit design.
文摘This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches suitable for I2L circuits.Based on the advantage that current signals are easy to be added, the design technique of I2L circuits by means of the multi-valued current signal is proposed.It is shown that simpler structure of I2L circuits can be obtained with this technique.
文摘To enhance the expressive power and the declarative ability of a deductive database, various CWA (Closed World Assumption) formalizations including the naive CWA, the generalized CWA and the careful CWA are extended to multi-valued logics. The basic idea is to embed logic formulas into some polynomial ring. The extensions can be applied in a uniform manner to any finitely multi-valued logics. Therefore they are also of computational significance.
文摘In cryptology, it is an important topic to study the best affine approach of functions. The best affine approach of Boolean functions has been discussed in ref. [1] by using the Walsh spectrum, of which the key problem is how to represent the correspondence of Boolean functions by using Walsh spectrum. For the multi-valued logical functions so far, the spectral representation of their correspondence has not been presented yet. This let-
基金National Natural Science Foundation of China(No.61164009)the Science and Technology Research Project,Department of Education of Jiangxi Province,China(No.GJJ14420)Natural Science Foundation of Jiangxi Province,China(No.20132BAB206026)
文摘Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.
基金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 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.
基金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.
文摘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.
文摘The purpose of this study was to describe and analyze how and why contradictions recurrently arise regarding how incoming emergency calls at dispatch centers should be assessed,sorted,and handled.The study is based on data from documents,study visits,and interviews with representatives from dispatch operators in a Swedish context.The results identify competing alarm and healthcare logics that are incompatible,which leads to contradictions between the national and regional approaches and,consequently,makes collaboration more difficult and affects the precision of emergency call assessment.The study also shows that the assessments of emergency calls are governed more by which logic is applied than by the assessor's formal competence.The study highlights the importance of feedback and subsequent analysis from the health service to the initial call assessment stage,which can improve the alarm logic's weaknesses with over-triage,without extending the response time.We also focused on the mechanisms required to develop and maintain a long-term sustainable alarm function.
文摘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.
