Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining ...Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining and connecting logic gate modules with different functions.Via rational design of the various logic gate modules of the nanocalculator,different apoptosis related operations including cancer cell targeting,apoptosis induction,and apoptosis monitoring could be performed.Importantly,each of these logic gate modules could independently perform apoptosis related YES logic operations when ran separately.After combining each YES logic gate module into a logic circuit and connecting it to the GO scaffold to construct a logic-gated nanocalculator,the input-induced logic-gated modular nanocalculator could selectively enter cancer cells and control the drug release to logically apoptosis(output),by performing AND logic gate operations when inputs(nucleolin and H^(+)) were included at the same time.Moreover,evidence suggests that these efficient logical calculations proceed in cancer cell apoptosis regulation without the general limiations of lithography in nanotechnology.As such,this work provides a new vision for the construction of a logic-gated modular nanocalculator with logical calculation proficiency potentially useful in cancer therapy and the regulation of life.展开更多
Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern co...Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern complex systems,while existing demarcation criteria like replicability and Popper’s falsificationism have practical limitations.Analyzing incompatibilities in complex systems,this paper proposes a revised framework:modified Hilbert axiomatic standards(clearly defined concepts,logical consistency,unrefuted axioms)and dynamic demarcation criteria.Abandoning unattainable traditional requirements of completeness and independence,it emphasizes conceptual clarity,openness,and progressiveness,offering an operational,self-consistent basis for judging scientificity.展开更多
Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artific...Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artificial Neural Networks(ANN),Support Vector Regression(SVR),Multilayer Perceptron(MLP),and hybrid,along with fuzzy logic tools,were applied to predict the different properties like wavelength at maximum intensity(444 nm),crystallite size(17.50 nm),and optical bandgap(2.85 eV).While some other properties,such as energy density,power density,and charge transfer resistance,were also predicted with the help of datasets of 1000(80:20).In general,the energy parameters were predicted more accurately by hybrid models.The hydrothermal method was used to synthesize graphene oxide(GO)and zinc oxide(ZnO)nanocomposites.The increased surface area,conductivity,and stability of graphene oxide in zinc oxide nanoparticles make the composite an ideal option for energy storage.X-ray diffraction(XRD)confirmed the crystallite size of 17.41 nm for the nanocomposite and the presence of GO(12.8○)peaks.The scanning electron microscope(SEM)showed anchored wrinkled GO sheets on zinc oxide with an average particle size of 2.93μm.Energy-dispersive X-ray spectroscopy(EDX)confirmed the elemental composition,and Fouriertransform infrared spectroscopy(FTIR)revealed the impact of GO on functional groups and electrochemical behavior.Photoluminescence(PL)wavelength of(439 nm)and band gap of(2.81 eV)show that the material is suitable for energy applications in nanocomposites.Smart nanocomposite materials with improved performance in energy storage and related applications were fabricated by combining synthesis,characterization,fuzzy logic,and machine learning in this work.展开更多
In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by...In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by alpha-induced reactions in detail,with a specific focus on determining the optimum production parameters and testing existing nuclear models.Given the limited number of experiments conducted on reactions related to terbium isotope production,it is necessary to perform theoretical calculations of cross sections over a wide energy range to gain a detailed understanding of terbium isotope production.To achieve this objective,the cross sections of the ^(151)Eu(α,n)^(154) Tb reactions were calculated up to 60 MeV using the TALYS computer code with 432 different combinations of optical model parameters,level density,and strength function models.The theoretical reaction cross-section results were compared with the experimental results in the literature.The best input parameters were determined using the Threshold Logic Unit method,and these parameters were used in all isotope production calculations.Once the optimal model combination was determined,the total activity production and isotopic fraction of ^(152) Tb and ^(155) Tb isotopes were calculated in detail for beam energies of 17–50 MeV,different irradiation times,and varying ^(151) Eu and ^(153) Eu target thicknesses.展开更多
In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box id...In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.展开更多
Underwater Wireless Sensor Networks(UWSNs)are gaining popularity because of their potential uses in oceanography,seismic activity monitoring,environmental preservation,and underwater mapping.Yet,these networks are fac...Underwater Wireless Sensor Networks(UWSNs)are gaining popularity because of their potential uses in oceanography,seismic activity monitoring,environmental preservation,and underwater mapping.Yet,these networks are faced with challenges such as self-interference,long propagation delays,limited bandwidth,and changing network topologies.These challenges are coped with by designing advanced routing protocols.In this work,we present Under Water Fuzzy-Routing Protocol for Low power and Lossy networks(UWF-RPL),an enhanced fuzzy-based protocol that improves decision-making during path selection and traffic distribution over different network nodes.Our method extends RPL with the aid of fuzzy logic to optimize depth,energy,Received Signal Strength Indicator(RSSI)to Expected Transmission Count(ETX)ratio,and latency.Theproposed protocol outperforms other techniques in that it offersmore energy efficiency,better packet delivery,lowdelay,and no queue overflow.It also exhibits better scalability and reliability in dynamic underwater networks,which is of very high importance in maintaining the network operations efficiency and the lifetime of UWSNs optimized.Compared to other recent methods,it offers improved network convergence time(10%–23%),energy efficiency(15%),packet delivery(17%),and delay(24%).展开更多
This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Ham...This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Hamiltonian principle.An analysis of internal flow’s influence on the vibration characteristics of flexible marine risers is conducted.Then,for the uncertain environmental disturbance,the adaptive fuzzy logic system is introduced to dynamically approximate the boundary disturbance,and a robust adaptive fuzzy boundary control is proposed.The uniform boundedness of the closed-loop system is proved based on Lyapunov theory.The well-posedness of the closed-loop system is proved by operator semigroup theory.The proposed control’s effectiveness is validated through comparison with existing control methods.展开更多
Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively r...Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively researched for both aerial and underwater navigation applications.However,many TAN systems that rely on recursive Unmanned Aerial Vehicle(UAV)position estimation methods,such as Extended Kalman Filters(EKF),often face challenges with divergence and instability,particularly in highly non-linear systems.To address these issues,this paper proposes and investigates a hybrid two-stage TAN positioning system for UAVs that utilizes Particle Filter.To enhance the system’s robustness against uncertainties caused by noise and to estimate additional system states,a Fuzzy Particle Filter(FPF)is employed in the first stage.This approach introduces a novel terrain composite feature that enables a fuzzy expert system to analyze terrain non-linearities and dynamically adjust the number of particles in real-time.This design allows the UAV to be efficiently localized in GPS-denied environments while also reducing the computational complexity of the particle filter in real-time applications.In the second stage,an Error State Kalman Filter(ESKF)is implemented to estimate the UAV’s altitude.The ESKF is chosen over the conventional EKF method because it is more suitable for non-linear systems.Simulation results demonstrate that the proposed fuzzy-based terrain composite method achieves high positional accuracy while reducing computational time and memory usage.展开更多
This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA f...This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.展开更多
A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_...A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.展开更多
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.展开更多
This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke se...This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.展开更多
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.展开更多
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 robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators i...In robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators in a way that resonates with human emotions.This research focuses on human anthropometric theories to design and control robotic facial actuators,addressing the limitations of existing approaches in expressing emotions naturally and accurately.The facial landmarks are extracted to determine the anthropometric indicators for designing the robot head and is employed to the displacement of these points to calculate emotional values using Fuzzy C-Mean(FCM).The rotating angles of skin actuators are required to account for the smaller emotions,which enhance the robot’s ability to perform emotions in reality.In addition,this study contributes a novel approach based on facial anthropometric indicators to tailor emotional expressions to diverse human characteristics,ensuring more personalized and intuitive interactions.The results demonstrated howfuzzy logic can be employed to improve a robot’s ability to express emotions,which are digitized into fuzzy values.This is also the contribution of the research,which laid the groundwork for robots that can interact with humans more intuitively and empathetically.The performed experiments demonstrated that the suitability of proposed models to conduct tasks related to human emotions with the accuracy of emotional value determination and motor angles is 0.96 and 0.97,respectively.展开更多
基金financially supported by the National Natural Science Foundation of China (NSFC,Nos.22134005 and 22074124)Chongqing Talents Program for Outstanding Scientists (No.cstc2021ycjh-bgzxm0178)+1 种基金Natural Science Foundation of Chongqing (No.CSTB2022NSCQ-MSX0521)the Chongqing Graduate Student Scientific Research Innovation Project (No.CYB21119)。
文摘Regulation of apoptosis represents a key parameter in all living organisms.In this paper,an input-induced logic-gated modular nanocalculator is designed to regulate cancer cell apoptosis by programmatically combining and connecting logic gate modules with different functions.Via rational design of the various logic gate modules of the nanocalculator,different apoptosis related operations including cancer cell targeting,apoptosis induction,and apoptosis monitoring could be performed.Importantly,each of these logic gate modules could independently perform apoptosis related YES logic operations when ran separately.After combining each YES logic gate module into a logic circuit and connecting it to the GO scaffold to construct a logic-gated nanocalculator,the input-induced logic-gated modular nanocalculator could selectively enter cancer cells and control the drug release to logically apoptosis(output),by performing AND logic gate operations when inputs(nucleolin and H^(+)) were included at the same time.Moreover,evidence suggests that these efficient logical calculations proceed in cancer cell apoptosis regulation without the general limiations of lithography in nanotechnology.As such,this work provides a new vision for the construction of a logic-gated modular nanocalculator with logical calculation proficiency potentially useful in cancer therapy and the regulation of life.
基金supported by the start-up funding from Westlake University under Grant Number 041030150118 and the scientific research project of Westlake University“Theoretical Research and Demonstration Application of Complex Systems and Deep-Sea Technology(Phase I)”under Grant Number WU2025A006.
文摘Defining science and demarcating it from pseudoscience are longstanding core issues in the philosophy of science.Hilbert’s traditional axiomatic standards(consistency,completeness,independence)struggle with modern complex systems,while existing demarcation criteria like replicability and Popper’s falsificationism have practical limitations.Analyzing incompatibilities in complex systems,this paper proposes a revised framework:modified Hilbert axiomatic standards(clearly defined concepts,logical consistency,unrefuted axioms)and dynamic demarcation criteria.Abandoning unattainable traditional requirements of completeness and independence,it emphasizes conceptual clarity,openness,and progressiveness,offering an operational,self-consistent basis for judging scientificity.
基金extend their gratitude to the Deanship of Scientific Research,Vice Presidency for Graduate Studies and Scientific Research,King Faisal University,Saudi Arabia,for funding the publication of this work under the Ambitious Researcher program(Project No.KFU253806).
文摘Artificial intelligence(AI)based models have been used to predict the structural,optical,mechanical,and electrochemical properties of zinc oxide/graphene oxide nanocomposites.Machine learning(ML)models such as Artificial Neural Networks(ANN),Support Vector Regression(SVR),Multilayer Perceptron(MLP),and hybrid,along with fuzzy logic tools,were applied to predict the different properties like wavelength at maximum intensity(444 nm),crystallite size(17.50 nm),and optical bandgap(2.85 eV).While some other properties,such as energy density,power density,and charge transfer resistance,were also predicted with the help of datasets of 1000(80:20).In general,the energy parameters were predicted more accurately by hybrid models.The hydrothermal method was used to synthesize graphene oxide(GO)and zinc oxide(ZnO)nanocomposites.The increased surface area,conductivity,and stability of graphene oxide in zinc oxide nanoparticles make the composite an ideal option for energy storage.X-ray diffraction(XRD)confirmed the crystallite size of 17.41 nm for the nanocomposite and the presence of GO(12.8○)peaks.The scanning electron microscope(SEM)showed anchored wrinkled GO sheets on zinc oxide with an average particle size of 2.93μm.Energy-dispersive X-ray spectroscopy(EDX)confirmed the elemental composition,and Fouriertransform infrared spectroscopy(FTIR)revealed the impact of GO on functional groups and electrochemical behavior.Photoluminescence(PL)wavelength of(439 nm)and band gap of(2.81 eV)show that the material is suitable for energy applications in nanocomposites.Smart nanocomposite materials with improved performance in energy storage and related applications were fabricated by combining synthesis,characterization,fuzzy logic,and machine learning in this work.
文摘In recent years,terbium radioisotopes have been investigated for their potential therapeutic and diagnostic applications in nuclear medicine.This study aimed to investigate the production of ^(152) Tb and ^(155) Tb by alpha-induced reactions in detail,with a specific focus on determining the optimum production parameters and testing existing nuclear models.Given the limited number of experiments conducted on reactions related to terbium isotope production,it is necessary to perform theoretical calculations of cross sections over a wide energy range to gain a detailed understanding of terbium isotope production.To achieve this objective,the cross sections of the ^(151)Eu(α,n)^(154) Tb reactions were calculated up to 60 MeV using the TALYS computer code with 432 different combinations of optical model parameters,level density,and strength function models.The theoretical reaction cross-section results were compared with the experimental results in the literature.The best input parameters were determined using the Threshold Logic Unit method,and these parameters were used in all isotope production calculations.Once the optimal model combination was determined,the total activity production and isotopic fraction of ^(152) Tb and ^(155) Tb isotopes were calculated in detail for beam energies of 17–50 MeV,different irradiation times,and varying ^(151) Eu and ^(153) Eu target thicknesses.
基金supported by the National Key R&D Program of China(2023YFA1406200)the National Natural Science Foundation of China(T2521005,12174144,12474009,12174146,and 124B2059)the Special Construction Project Fund for Shan-dong Province Taishan Scholars.
文摘Multifunctional optical responsive materials have grown increasingly pivotal in addressingthe escalating demands of sensing,detection,and anti-counterfeiting applications[1,2].These materials exhibit distinct visible optical variations upon exposure to external stimuli,such as pressure,temperature,light,solvents,pH fluctuations,or mechanical force.Fluorescent sensing and anti-counterfeiting technologies leveraging these optical responses have emerged as highly promising solutions.
基金supported by the Science and Technology Planning Project of Fujian Province,China,under Grant No.2024H0014(2024H01010100).
文摘In industrial control systems,such as power transmission facilities and water treatment plants,Programmable Logic Controllers(PLCs)can work consistently and stably over long periods if there are no faults.Black-box identification aims to automatically construct Petri net models with the help of I/O signals from PLC devices only.The main challenge is how to convert the infinitely long PLC signals into an event sequence,which is the foundation for subsequent modeling.The current algorithms are confronted with a number of challenges,including an exponential increase in the number of transitions,high time complexity,and susceptibility to noisy signals.To solve these problems,this paper proposes a new method for converting PLC signals into a transition sequence.The method is based on the principles of Boolean absorption law,which filters out noise information in the I/O signals.Then firing functions representing input–output causality are constructed from the filtered signals.Finally,the original signal sequence is traversed to generate a transition sequence.The experimental results show that these methods can rapidly identify a transition sequence.Compared to traditional methods,the proposed algorithms have polynomial time complexity.
文摘Underwater Wireless Sensor Networks(UWSNs)are gaining popularity because of their potential uses in oceanography,seismic activity monitoring,environmental preservation,and underwater mapping.Yet,these networks are faced with challenges such as self-interference,long propagation delays,limited bandwidth,and changing network topologies.These challenges are coped with by designing advanced routing protocols.In this work,we present Under Water Fuzzy-Routing Protocol for Low power and Lossy networks(UWF-RPL),an enhanced fuzzy-based protocol that improves decision-making during path selection and traffic distribution over different network nodes.Our method extends RPL with the aid of fuzzy logic to optimize depth,energy,Received Signal Strength Indicator(RSSI)to Expected Transmission Count(ETX)ratio,and latency.Theproposed protocol outperforms other techniques in that it offersmore energy efficiency,better packet delivery,lowdelay,and no queue overflow.It also exhibits better scalability and reliability in dynamic underwater networks,which is of very high importance in maintaining the network operations efficiency and the lifetime of UWSNs optimized.Compared to other recent methods,it offers improved network convergence time(10%–23%),energy efficiency(15%),packet delivery(17%),and delay(24%).
基金financially supported by Sichuan Science and Technology Program(Grant No.2023NSFSC1980).
文摘This study examines the adaptive boundary control problem of flexible marine riser with internal flow coupling.The dynamic model of the flexible marine riser system with internal flow coupling is derived using the Hamiltonian principle.An analysis of internal flow’s influence on the vibration characteristics of flexible marine risers is conducted.Then,for the uncertain environmental disturbance,the adaptive fuzzy logic system is introduced to dynamically approximate the boundary disturbance,and a robust adaptive fuzzy boundary control is proposed.The uniform boundedness of the closed-loop system is proved based on Lyapunov theory.The well-posedness of the closed-loop system is proved by operator semigroup theory.The proposed control’s effectiveness is validated through comparison with existing control methods.
文摘Terrain Aided Navigation(TAN)technology has become increasingly important due to its effectiveness in environments where Global Positioning System(GPS)is unavailable.In recent years,TAN systems have been extensively researched for both aerial and underwater navigation applications.However,many TAN systems that rely on recursive Unmanned Aerial Vehicle(UAV)position estimation methods,such as Extended Kalman Filters(EKF),often face challenges with divergence and instability,particularly in highly non-linear systems.To address these issues,this paper proposes and investigates a hybrid two-stage TAN positioning system for UAVs that utilizes Particle Filter.To enhance the system’s robustness against uncertainties caused by noise and to estimate additional system states,a Fuzzy Particle Filter(FPF)is employed in the first stage.This approach introduces a novel terrain composite feature that enables a fuzzy expert system to analyze terrain non-linearities and dynamically adjust the number of particles in real-time.This design allows the UAV to be efficiently localized in GPS-denied environments while also reducing the computational complexity of the particle filter in real-time applications.In the second stage,an Error State Kalman Filter(ESKF)is implemented to estimate the UAV’s altitude.The ESKF is chosen over the conventional EKF method because it is more suitable for non-linear systems.Simulation results demonstrate that the proposed fuzzy-based terrain composite method achieves high positional accuracy while reducing computational time and memory usage.
基金funded by the Office of Gas and Electricity Markets(Ofgem)and supported by De Montfort University(DMU)and Nottingham Trent University(NTU),UK.
文摘This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.
文摘A coordination polymer{[Cd(H_(2)dpa)(bpy)]·3H_(2)O}_(n)(Cd-CP)was designed and hydrothermal synthesized based on 4-(2,4-dicarboxyphenoxy)phthalic acid(H_(4)dpa),2,2'-bipyridine(bpy)and Cd(NO_(3))_(2)·4H_(2)O.The structure was characterized by single-crystal X-ray diffraction,powder X-ray diffraction,elemental analysis,and infrared spectroscopy.Cd-CP belongs to the monoclinic crystal system with the P2_1/c space group and performs in a 1D double-chain structure.The adjacent double chains further form a 3D supramolecular network structure through hydrogen bonding.Thermogravimetric analysis shows that Cd-CP has good thermal stability.Fluorescence analysis showed that Cd-CP had good choosing selectively and was sensitive to metal ions(Fe^(3+)and Zn^(2+)),2,4,6-trinitrophenylhydrazine(TRI),and pyrimethanil(Pth).Interestingly,when Cd-CP was used for fluorescence detection of metal ions,it was found to have a fluorescence quenching effect on Fe^(3+)but had an obvious enhancement effect on Zn^(2+).Therefore,we designed an“on-off-on”logic gate.In addition,the mechanism of fluorescence sensing has been deeply explored.CCDC:2258625.
基金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 China Postdoctoral Science Foundation(2024M750225).
文摘This article extends the foundational work of Wang and Wang on modal logic over lattices.Building upon their framework using polyadic modal logic with binary modalities<sup>and<inf>under standard Kripke semantics to axiomatize lattice structures,we focus on the modal characterization of bounded lattices and their extensions relevant to logical systems.By introducing nullary modalities 1(maximum element)and 0(minimum element),we first establish a modal axiomatic system for bounded lattices.Subsequently,we provide pure formula characterizations of complementation and orthocomplementation relations in lattices,along with corresponding completeness results.As key applications,we present modal characterizations of fundamental logical algebraic structures:Boolean algebras,orthomodular lattices,and Heyting algebras.The last section develops novel axiomatization results for atomic lattices and atomless lattices.Throughout this work,all axiomatic systems are shown to be strongly complete via pureformula extensions,demonstrating how hybrid modal languages with nullary operators can uniformly capture boundary elements,complementation properties,and latticetheoretic operations central to both classical and nonclassical logics.
基金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.
基金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.
基金funded by the University of Economics Ho Chi Minh City-UEH,Vietnam.
文摘In robotics and human-robot interaction,a robot’s capacity to express and react correctly to human emotions is essential.A significant aspect of the capability involves controlling the robotic facial skin actuators in a way that resonates with human emotions.This research focuses on human anthropometric theories to design and control robotic facial actuators,addressing the limitations of existing approaches in expressing emotions naturally and accurately.The facial landmarks are extracted to determine the anthropometric indicators for designing the robot head and is employed to the displacement of these points to calculate emotional values using Fuzzy C-Mean(FCM).The rotating angles of skin actuators are required to account for the smaller emotions,which enhance the robot’s ability to perform emotions in reality.In addition,this study contributes a novel approach based on facial anthropometric indicators to tailor emotional expressions to diverse human characteristics,ensuring more personalized and intuitive interactions.The results demonstrated howfuzzy logic can be employed to improve a robot’s ability to express emotions,which are digitized into fuzzy values.This is also the contribution of the research,which laid the groundwork for robots that can interact with humans more intuitively and empathetically.The performed experiments demonstrated that the suitability of proposed models to conduct tasks related to human emotions with the accuracy of emotional value determination and motor angles is 0.96 and 0.97,respectively.
