There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is call...There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is called logical chaotic resonance(LCR). However, realization of a reliable exclusive disjunction(XOR) through LCR has not been reported.Here, we explore the possibility of using chaos to enhance the reliability of XOR logic operation in a triple-well potential system via LCR. The success probability P of obtaining XOR logic operation can take the maximum value of 1 in an optimal window of intensity D of a chaotic force. Namely, success probability P displays characteristic bell-shaped behavior by altering the intensity of the chaotic driving force, indicating the occurrence of LCR. Further, the effects of periodic force on LCR have been investigated. For a subthreshold chaotic force, a periodic force with appropriate amplitude and frequency can help enhance the reliability of XOR logic operation. Thus, LCR can be effectively regulated by changing the amplitude and frequency of the periodic force.展开更多
A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)paramet...A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)parametrization was developed to adapt to different experimental sizes.A user-friendly interface was implemented,which allows converting script language expressions into FPGA internal control parameters.The proposed digital system can be combined with a conventional analog data acquisition system to provide more flexibility.The performance of the combined system was veri-fied using experimental data.展开更多
The effectiveness of the logic mining approach is strongly correlated to the quality of the induced logical representation that represent the behaviour of the data.Specifically,the optimum induced logical representati...The effectiveness of the logic mining approach is strongly correlated to the quality of the induced logical representation that represent the behaviour of the data.Specifically,the optimum induced logical representation indicates the capability of the logic mining approach in generalizing the real datasets of different variants and dimensions.The main issues with the logic extracted by the standard logic mining techniques are lack of interpretability and the weakness in terms of the structural and arrangement of the 2 Satisfiability logic causing lower accuracy.To address the issues,the logical permutation serves as an alternative mechanism that can enhance the probability of the 2 Satisfiability logical rule becoming true by utilizing the definitive finite arrangement of attributes.This work aims to examine and analyze the significant effect of logical permutation on the performance of data extraction ability of the logic mining approach incorporated with the recurrent discrete Hopfield Neural Network.Based on the theory,the effect of permutation and associate memories in recurrent Hopfield Neural Network will potentially improve the accuracy of the existing logic mining approach.To validate the impact of the logical permutation on the retrieval phase of the logic mining model,the proposed work is experimentally tested on a different class of the benchmark real datasets ranging from the multivariate and timeseries datasets.The experimental results show the significant improvement in the proposed logical permutation-based logic mining according to the domains such as compatibility,accuracy,and competitiveness as opposed to the plethora of standard 2 Satisfiability Reverse Analysis methods.展开更多
For all-optical communication and information processing,it is necessary to develop all-optical logic gates based on photonic structures that can directly perform logic operations.All-optical logic gates have been dem...For all-optical communication and information processing,it is necessary to develop all-optical logic gates based on photonic structures that can directly perform logic operations.All-optical logic gates have been demonstrated based on conventional waveguides and interferometry,as well as photonic crystal structures.Nonetheless,any defects in those structures will introduce high scattering loss,which compromises the fidelity and contrast ratio of the information process.Based on the spin-valley locking effect that can achieve defect-immune unidirectional transmission of topological edge states in valley photonic crystals(VPCs),we propose a high-performance all-optical logic OR gate based on a VPC structure.By tuning the working bandwidth of the two input channels,we prevent interference between the two channels to achieve a stable and high-fidelity output.The transmittance of both channels is higher than 0.8,and a high contrast ratio of 28.8 dB is achieved.Moreover,the chirality of the logic gate originated from the spin-valley locking effect allows using different circularly polarized light as inputs,representing“1”or“0”,which is highly desired in quantum computing.The device’s footprint is 18μm×12μm,allowing high-density on-chip integration.In addition,this design can be experimentally fabricated using current nanofabrication techniques and will have potential applications in optical communication,information processing,and quantum computing.展开更多
This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bis...This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.展开更多
Supercapacitor diode is a novel ion device that performs both supercapacitor energy storage and ion diode rectification functions.However,previously reported devices are limited by their large size and complex process...Supercapacitor diode is a novel ion device that performs both supercapacitor energy storage and ion diode rectification functions.However,previously reported devices are limited by their large size and complex processes.In this work,we demonstrate a screen-printed micro supercapacitor diode(MCAPode)that based on the insertion of a finger mode with spinel ZnCo_(2)O_(4) as cathode and activated carbon as anode for the first time,and featuring an excellent area specific capacitance(1.21 mF cm^(-2)at 10 mV s^(-1))and high rectification characteristics(rectification ratioⅠof 11.99 at 40 mV s^(-1)).Taking advantage of the ionic gel electrolyte,which provides excellent stability during repeated flexing and at high temperatures.In addition,MCAPode exhibits excellent electrochemical performance and rectification capability in"AND"and"OR"logic gates.These findings provide practical solutions for future expansion of micro supercapacitor diode applications.展开更多
One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operati...One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operations.As a result,a reliable roof fall prediction model is essential to tackle such challenges.Different parameters that substantially impact roof falls are ill-defined and intangible,making this an uncertain and challenging research issue.The National Institute for Occupational Safety and Health assembled a national database of roof performance from 37 coal mines to explore the factors contributing to roof falls.Data acquired for 37 mines is limited due to several restrictions,which increased the likelihood of incompleteness.Fuzzy logic is a technique for coping with ambiguity,incompleteness,and uncertainty.Therefore,In this paper,the fuzzy inference method is presented,which employs a genetic algorithm to create fuzzy rules based on 109 records of roof fall data and pattern search to refine the membership functions of parameters.The performance of the deployed model is evaluated using statistical measures such as the Root-Mean-Square Error,Mean-Absolute-Error,and coefficient of determination(R_(2)).Based on these criteria,the suggested model outperforms the existing models to precisely predict roof fall rates using fewer fuzzy rules.展开更多
Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and elec...Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.展开更多
The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper inves...The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper investigates the potential applications of intuitionistic fuzzy sets(IFS)with rough sets in the context of sparse data.When it comes to capture uncertain information emanating fromboth upper and lower approximations,these intuitionistic fuzzy rough numbers(IFRNs)are superior to intuitionistic fuzzy sets and pythagorean fuzzy sets,respectively.We use rough sets in conjunction with IFSs to develop several fairly aggregation operators and analyze their underlying properties.We present numerous impartial laws that incorporate the idea of proportionate dispersion in order to ensure that the membership and non-membership activities of IFRNs are treated equally within these principles.These operations lead to the development of the intuitionistic fuzzy rough weighted fairly aggregation operator(IFRWFA)and intuitionistic fuzzy rough ordered weighted fairly aggregation operator(IFRFOWA).These operators successfully adjust to membership and non-membership categories with fairness and subtlety.We highlight the unique qualities of these suggested aggregation operators and investigate their use in the multiattribute decision-making field.We use the intuitionistic fuzzy rough environment’s architecture to create a novel strategy in situation involving several decision-makers and non-weighted data.Additionally,we developed a novel technique by combining the IFSs with quaternion numbers.We establish a unique connection between alternatives and qualities by using intuitionistic fuzzy quaternion numbers(IFQNs).With the help of this framework,we can simulate uncertainty in real-world situations and address a number of decision-making problems.Using the examples we have released,we offer a sophisticated and systematically constructed illustrative scenario that is intricately woven with the complexity ofmedical evaluation in order to thoroughly assess the relevance and efficacy of the suggested methodology.展开更多
Humans are experiencing the inclusion of artificial agents in their lives,such as unmanned vehicles,service robots,voice assistants,and intelligent medical care.If the artificial agents cannot align with social values...Humans are experiencing the inclusion of artificial agents in their lives,such as unmanned vehicles,service robots,voice assistants,and intelligent medical care.If the artificial agents cannot align with social values or make ethical decisions,they may not meet the expectations of humans.Traditionally,an ethical decision-making framework is constructed by rule-based or statistical approaches.In this paper,we propose an ethical decision-making framework based on incremental ILP(Inductive Logic Programming),which can overcome the brittleness of rule-based approaches and little interpretability of statistical approaches.As the current incremental ILP makes it difficult to solve conflicts,we propose a novel ethical decision-making framework considering conflicts in this paper,which adopts our proposed incremental ILP system.The framework consists of two processes:the learning process and the deduction process.The first process records bottom clauses with their score functions and learns rules guided by the entailment and the score function.The second process obtains an ethical decision based on the rules.In an ethical scenario about chatbots for teenagers’mental health,we verify that our framework can learn ethical rules and make ethical decisions.Besides,we extract incremental ILP from the framework and compare it with the state-of-the-art ILP systems based on ASP(Answer Set Programming)focusing on conflict resolution.The results of comparisons show that our proposed system can generate better-quality rules than most other systems.展开更多
Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirect...Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirectional-charging supercapacitor,also called supercapacitor diode(CAPode),is successfully developed based on the ion-sieving effect of its working electrode towards electrolyte ions.Because CAPode integrates mobile ion and mobile electron in one hybrid circuit,it has a great potential in the emerging fields of ion/electron coupling logic operations,human–machine interface,neural network interaction,and in vivo diagnosis and treatment.Accordingly,we herein elucidate the working mechanism and design philosophy of CAPode,and summarize the electrode materials that are suitable for constructing CAPode.Meanwhile,some other supercapacitor-based devices beyond CAPode are also introduced,and their potential applications are instructively presented.Finally,we outline the challenges and chances of CAPode-related techniques.展开更多
This study aims to predict the undrained shear strength of remolded soil samples using non-linear regression analyses,fuzzy logic,and artificial neural network modeling.A total of 1306 undrained shear strength results...This study aims to predict the undrained shear strength of remolded soil samples using non-linear regression analyses,fuzzy logic,and artificial neural network modeling.A total of 1306 undrained shear strength results from 230 different remolded soil test settings reported in 21 publications were collected,utilizing six different measurement devices.Although water content,plastic limit,and liquid limit were used as input parameters for fuzzy logic and artificial neural network modeling,liquidity index or water content ratio was considered as an input parameter for non-linear regression analyses.In non-linear regression analyses,12 different regression equations were derived for the prediction of undrained shear strength of remolded soil.Feed-Forward backpropagation and the TANSIG transfer function were used for artificial neural network modeling,while the Mamdani inference system was preferred with trapezoidal and triangular membership functions for fuzzy logic modeling.The experimental results of 914 tests were used for training of the artificial neural network models,196 for validation and 196 for testing.It was observed that the accuracy of the artificial neural network and fuzzy logic modeling was higher than that of the non-linear regression analyses.Furthermore,a simple and reliable regression equation was proposed for assessments of undrained shear strength values with higher coefficients of determination.展开更多
Object tracking is one of the major tasks for mobile robots in many real-world applications.Also,artificial intelligence and automatic control techniques play an important role in enhancing the performance of mobile r...Object tracking is one of the major tasks for mobile robots in many real-world applications.Also,artificial intelligence and automatic control techniques play an important role in enhancing the performance of mobile robot navigation.In contrast to previous simulation studies,this paper presents a new intelligent mobile robot for accomplishing multi-tasks by tracking red-green-blue(RGB)colored objects in a real experimental field.Moreover,a practical smart controller is developed based on adaptive fuzzy logic and custom proportional-integral-derivative(PID)schemes to achieve accurate tracking results,considering robot command delay and tolerance errors.The design of developed controllers implies some motion rules to mimic the knowledge of experienced operators.Twelve scenarios of three colored object combinations have been successfully tested and evaluated by using the developed controlled image-based robot tracker.Classical PID control failed to handle some tracking scenarios in this study.The proposed adaptive fuzzy PID control achieved the best accurate results with the minimum average final error of 13.8 cm to reach the colored targets,while our designed custom PID control is efficient in saving both average time and traveling distance of 6.6 s and 14.3 cm,respectively.These promising results demonstrate the feasibility of applying our developed image-based robotic system in a colored object-tracking environment to reduce human workloads.展开更多
Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement ...Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.展开更多
This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integ...This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integrating a novel AI algorithm,called Improved Laser Simulator Logic(ILSL)into the RFID system.The enhanced RFID system was able to improve the accuracy of item identification,reduce noise interference,and streamline the overall checkout process.The potential of the systemfor noise detection and elimination was initially investigated through a simulation study usingMATLAB and ILSL algorithm.Subsequently,it was deployed in a small-scale environment to validate its real-world performance.Results show that RFID with the proposed new algorithm ILSL and AI basket is capable of accurately detecting the related itemswhile eliminating noise originating fromunrelated objects,achieving an accuracy rate of 88%.展开更多
Ratiometric fluorescent detection of iron(Ⅲ)(Fe^(3+))offers inherent self-calibration and contactless analytic capabilities.However,realizing a dual-emission near-infrared(NIR)nanosensor with a low limit of detection...Ratiometric fluorescent detection of iron(Ⅲ)(Fe^(3+))offers inherent self-calibration and contactless analytic capabilities.However,realizing a dual-emission near-infrared(NIR)nanosensor with a low limit of detection(LOD)is rather challenging.In this work,we report the synthesis of water-dispersible erbium-hyperdoped silicon quantum dots(Si QDs:Er),which emit NIR light at the wavelengths of 810 and 1540 nm.A dual-emission NIR nanosensor based on water-dispersible Si QDs:Er enables ratiometric Fe^(3+)detection with a very low LOD(0.06μM).The effects of pH,recyclability,and the interplay between static and dynamic quenching mechanisms for Fe^(3+)detection have been systematically studied.In addition,we demonstrate that the nanosensor may be used to construct a sequential logic circuit with memory functions.展开更多
Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isol...Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.展开更多
Short-duration heavy rainfall(SHR),as delineated by the National Meteorological Center of the China Me-teorological Administration,is characterized by hourly rainfall amounts no less than 20.0 mm.SHR is one of the mos...Short-duration heavy rainfall(SHR),as delineated by the National Meteorological Center of the China Me-teorological Administration,is characterized by hourly rainfall amounts no less than 20.0 mm.SHR is one of the most common convective weather phenomena that can cause severe damage.Short-range forecasting of SHR is an important part of operational severe weather prediction.In the present study,an improved objective SHR forecasting scheme was developed by adopting the ingredients-based methodology and using the fuzzy logic approach.The 1.0°×1.0°National Centers for Environmental Prediction(NCEP)final analysis data and the ordinary rainfall(0.1-19.9 mm h-1)and SHR observational data from 411 stations were used in the improved scheme.The best lifted index,the total precipitable water,the 925 hPa specific humidity(Q 925),and the 925 hPa divergence(DIV 925)were selected as predictors based on objective analysis.Continuously distributed membership functions of predictors were obtained based on relative frequency analysis.The weights of predictors were also objectively determined.Experiments with a typhoon SHR case and a spring SHR case show that the main possible areas could be captured by the improved scheme.Verification of SHR forecasts within 96 hours with NCEP global forecasts 1.0°×1.0°data initiated at 08:00 Beijing Time during the warm seasons in 2015 show the results were improved from both deterministic and probabilistic perspectives.This study provides an objectively feasible choice for short-range guidance forecasts of SHR.The scheme can be applied to other convective phenomena.展开更多
The inclusion of the human rights clause in the Chi-nese Constitution is a concern and expression of the spirit of the Con-stitution,which has laid the institutional regulations of the fundamen-tal law for the develop...The inclusion of the human rights clause in the Chi-nese Constitution is a concern and expression of the spirit of the Con-stitution,which has laid the institutional regulations of the fundamen-tal law for the development of human rights in China,provided the principles and value norms of the highest level of effectiveness for the legal protection of human rights,and built a profound constitutional basis for the formation and improvement of the Chinese path of human rights development.The human rights clause is not only a summariza-tion and affirmation of the historical practice of Chinese human rights development under the leadership of the Communist Party of China,but also a new starting point for the development of human rights in China under the leadership of the Communist Party of China.It marks that the development of human rights in China has entered a new era.The Party and the state have finally embarked on a path of human rights development with Chinese characteristics by formulating and implementing the Human Rights Action Plan of China,eliminating ab-solute poverty through the national poverty alleviation campaign,and promoting human rights protection through the rule of law.展开更多
In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has signifi...In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has significant precision advantages and does not require any adjustment/learning. We put together neuro-fuzzy system (NFS) to connect the set of exemplar input feature vectors (FV) with associated output label (target), both represented by their membership functions (MF). Next unknown FV would be classified by getting upper value of current output MF. After that the fuzzy truths for all MF upper values are maximized and the label of the winner is considered as the class of the input FV. We use the knowledge in the exemplar-label pairs directly with no training. It sets up automatically and then classifies all input FV from the same population as the exemplar FVs. We show that our approach statistically is almost twice as accurate, as well-known genetic-based learning mechanism FRM.展开更多
基金supported by the Technology Innovation Team Program in Higher Education Institutions in Hubei Province, China (Grant No. T2020039)。
文摘There exists an optimal range of intensity of a chaotic force in which the behavior of a chaos-driven bistable system with two weak inputs can be consistently mapped to a specific logic output. This phenomenon is called logical chaotic resonance(LCR). However, realization of a reliable exclusive disjunction(XOR) through LCR has not been reported.Here, we explore the possibility of using chaos to enhance the reliability of XOR logic operation in a triple-well potential system via LCR. The success probability P of obtaining XOR logic operation can take the maximum value of 1 in an optimal window of intensity D of a chaotic force. Namely, success probability P displays characteristic bell-shaped behavior by altering the intensity of the chaotic driving force, indicating the occurrence of LCR. Further, the effects of periodic force on LCR have been investigated. For a subthreshold chaotic force, a periodic force with appropriate amplitude and frequency can help enhance the reliability of XOR logic operation. Thus, LCR can be effectively regulated by changing the amplitude and frequency of the periodic force.
基金This work was supported by the National Key R&D Program of China(Nos.2023YFA1606403 and 2023YFE0101600)the National Natural Science Foundation of China(Nos.12027809,11961141003,U1967201,11875073 and 11875074).
文摘A digital data-acquisition system based on XIA LLC products was used in a complex nuclear reaction experiment using radioactive ion beams.A flexible trigger system based on a field-programmable gate array(FPGA)parametrization was developed to adapt to different experimental sizes.A user-friendly interface was implemented,which allows converting script language expressions into FPGA internal control parameters.The proposed digital system can be combined with a conventional analog data acquisition system to provide more flexibility.The performance of the combined system was veri-fied using experimental data.
基金Universiti Sains Malaysia for Short Term Grant with Grant Number 304/PMATHS/6315390.
文摘The effectiveness of the logic mining approach is strongly correlated to the quality of the induced logical representation that represent the behaviour of the data.Specifically,the optimum induced logical representation indicates the capability of the logic mining approach in generalizing the real datasets of different variants and dimensions.The main issues with the logic extracted by the standard logic mining techniques are lack of interpretability and the weakness in terms of the structural and arrangement of the 2 Satisfiability logic causing lower accuracy.To address the issues,the logical permutation serves as an alternative mechanism that can enhance the probability of the 2 Satisfiability logical rule becoming true by utilizing the definitive finite arrangement of attributes.This work aims to examine and analyze the significant effect of logical permutation on the performance of data extraction ability of the logic mining approach incorporated with the recurrent discrete Hopfield Neural Network.Based on the theory,the effect of permutation and associate memories in recurrent Hopfield Neural Network will potentially improve the accuracy of the existing logic mining approach.To validate the impact of the logical permutation on the retrieval phase of the logic mining model,the proposed work is experimentally tested on a different class of the benchmark real datasets ranging from the multivariate and timeseries datasets.The experimental results show the significant improvement in the proposed logical permutation-based logic mining according to the domains such as compatibility,accuracy,and competitiveness as opposed to the plethora of standard 2 Satisfiability Reverse Analysis methods.
基金Project supported by the National Key Research and Development Program of the Ministry of Science and Technology of China(Grant No.2022YFA1404201)the National Natural Science Foundation of China(Grant No.11904255)the Key Research and Development Program of Shanxi Province(International Cooperation)(Grant No.201903D421052).
文摘For all-optical communication and information processing,it is necessary to develop all-optical logic gates based on photonic structures that can directly perform logic operations.All-optical logic gates have been demonstrated based on conventional waveguides and interferometry,as well as photonic crystal structures.Nonetheless,any defects in those structures will introduce high scattering loss,which compromises the fidelity and contrast ratio of the information process.Based on the spin-valley locking effect that can achieve defect-immune unidirectional transmission of topological edge states in valley photonic crystals(VPCs),we propose a high-performance all-optical logic OR gate based on a VPC structure.By tuning the working bandwidth of the two input channels,we prevent interference between the two channels to achieve a stable and high-fidelity output.The transmittance of both channels is higher than 0.8,and a high contrast ratio of 28.8 dB is achieved.Moreover,the chirality of the logic gate originated from the spin-valley locking effect allows using different circularly polarized light as inputs,representing“1”or“0”,which is highly desired in quantum computing.The device’s footprint is 18μm×12μm,allowing high-density on-chip integration.In addition,this design can be experimentally fabricated using current nanofabrication techniques and will have potential applications in optical communication,information processing,and quantum computing.
基金Project supported by the National Natural Science Foundation of China(Grant No.12072262)the Shaanxi Computer Society&Xiangteng Company Foundation.
文摘This paper investigates logical stochastic resonance(LSR)in a cross-bifurcation non-smooth system driven by Gaussian colored noise.In this system,a bifurcation parameter triggers a transition between monostability,bistability and tristability.By using Novikov's theorem and the unified colored noise approximation method,the approximate Fokker-Planck equation is obtained.Then we derive the generalized potential function and the transition rates to analyze the LSR phenomenon using numerical simulations.We simulate the logic operation of the system in the bistable and tristable regions respectively.We assess the impact of Gaussian colored noise on the LSR and discover that the reliability of the logic response depends on the noise strength and the bifurcation parameter.Furthermore,it is found that the bistable region has a more extensive parameter range to produce reliable logic operation compared with the tristable region,since the tristable region is more sensitive to noise than the bistable one.
基金the financial support from the Key Project of National Natural Science Foundation of China(12131010)the National Natural Science Foundation of China(22279166)+2 种基金the Special Project for Marine Economy Development of Guangdong Province(GDNRC[2023]26)the International Cooperation Base of Infrared Reflection Liquid Crystal Polymers and Device(2015B050501010)the Guangdong Basic and Applied Basic Research Foundation(2022B1515120019)。
文摘Supercapacitor diode is a novel ion device that performs both supercapacitor energy storage and ion diode rectification functions.However,previously reported devices are limited by their large size and complex processes.In this work,we demonstrate a screen-printed micro supercapacitor diode(MCAPode)that based on the insertion of a finger mode with spinel ZnCo_(2)O_(4) as cathode and activated carbon as anode for the first time,and featuring an excellent area specific capacitance(1.21 mF cm^(-2)at 10 mV s^(-1))and high rectification characteristics(rectification ratioⅠof 11.99 at 40 mV s^(-1)).Taking advantage of the ionic gel electrolyte,which provides excellent stability during repeated flexing and at high temperatures.In addition,MCAPode exhibits excellent electrochemical performance and rectification capability in"AND"and"OR"logic gates.These findings provide practical solutions for future expansion of micro supercapacitor diode applications.
文摘One of the most dangerous safety hazard in underground coal mines is roof falls during retreat mining.Roof falls may cause life-threatening and non-fatal injuries to miners and impede mining and transportation operations.As a result,a reliable roof fall prediction model is essential to tackle such challenges.Different parameters that substantially impact roof falls are ill-defined and intangible,making this an uncertain and challenging research issue.The National Institute for Occupational Safety and Health assembled a national database of roof performance from 37 coal mines to explore the factors contributing to roof falls.Data acquired for 37 mines is limited due to several restrictions,which increased the likelihood of incompleteness.Fuzzy logic is a technique for coping with ambiguity,incompleteness,and uncertainty.Therefore,In this paper,the fuzzy inference method is presented,which employs a genetic algorithm to create fuzzy rules based on 109 records of roof fall data and pattern search to refine the membership functions of parameters.The performance of the deployed model is evaluated using statistical measures such as the Root-Mean-Square Error,Mean-Absolute-Error,and coefficient of determination(R_(2)).Based on these criteria,the suggested model outperforms the existing models to precisely predict roof fall rates using fewer fuzzy rules.
基金the National Natural Science Foundation of China(Nos.61562026,61962020)Academic and Technical Leaders of Major Disciplines in Jiangxi Province(No.20172BCB22015)+1 种基金Special Fund Project for Postgraduate Innovation in Jiangxi Province(No.YC2020-B1141)Jiangxi Provincial Natural Science Foundation(No.20224ACB202006).
文摘Fair exchange protocols play a critical role in enabling two distrustful entities to conduct electronic data exchanges in a fair and secure manner.These protocols are widely used in electronic payment systems and electronic contract signing,ensuring the reliability and security of network transactions.In order to address the limitations of current research methods and enhance the analytical capabilities for fair exchange protocols,this paper proposes a formal model for analyzing such protocols.The proposed model begins with a thorough analysis of fair exchange protocols,followed by the formal definition of fairness.This definition accurately captures the inherent requirements of fair exchange protocols.Building upon event logic,the model incorporates the time factor into predicates and introduces knowledge set axioms.This enhancement empowers the improved logic to effectively describe the state and knowledge of protocol participants at different time points,facilitating reasoning about their acquired knowledge.To maximize the intruder’s capabilities,channel errors are translated into the behaviors of the intruder.The participants are further categorized into honest participants and malicious participants,enabling a comprehensive evaluation of the intruder’s potential impact.By employing a typical fair exchange protocol as an illustrative example,this paper demonstrates the detailed steps of utilizing the proposed model for protocol analysis.The entire process of protocol execution under attack scenarios is presented,shedding light on the underlying reasons for the attacks and proposing corresponding countermeasures.The developedmodel enhances the ability to reason about and evaluate the security properties of fair exchange protocols,thereby contributing to the advancement of secure network transactions.
基金funded by King Khalid University through a large group research project under Grant Number R.G.P.2/449/44.
文摘The main goal of informal computing is to overcome the limitations of hypersensitivity to defects and uncertainty while maintaining a balance between high accuracy,accessibility,and cost-effectiveness.This paper investigates the potential applications of intuitionistic fuzzy sets(IFS)with rough sets in the context of sparse data.When it comes to capture uncertain information emanating fromboth upper and lower approximations,these intuitionistic fuzzy rough numbers(IFRNs)are superior to intuitionistic fuzzy sets and pythagorean fuzzy sets,respectively.We use rough sets in conjunction with IFSs to develop several fairly aggregation operators and analyze their underlying properties.We present numerous impartial laws that incorporate the idea of proportionate dispersion in order to ensure that the membership and non-membership activities of IFRNs are treated equally within these principles.These operations lead to the development of the intuitionistic fuzzy rough weighted fairly aggregation operator(IFRWFA)and intuitionistic fuzzy rough ordered weighted fairly aggregation operator(IFRFOWA).These operators successfully adjust to membership and non-membership categories with fairness and subtlety.We highlight the unique qualities of these suggested aggregation operators and investigate their use in the multiattribute decision-making field.We use the intuitionistic fuzzy rough environment’s architecture to create a novel strategy in situation involving several decision-makers and non-weighted data.Additionally,we developed a novel technique by combining the IFSs with quaternion numbers.We establish a unique connection between alternatives and qualities by using intuitionistic fuzzy quaternion numbers(IFQNs).With the help of this framework,we can simulate uncertainty in real-world situations and address a number of decision-making problems.Using the examples we have released,we offer a sophisticated and systematically constructed illustrative scenario that is intricately woven with the complexity ofmedical evaluation in order to thoroughly assess the relevance and efficacy of the suggested methodology.
基金This work was funded by the National Natural Science Foundation of China Nos.U22A2099,61966009,62006057the Graduate Innovation Program No.YCSW2022286.
文摘Humans are experiencing the inclusion of artificial agents in their lives,such as unmanned vehicles,service robots,voice assistants,and intelligent medical care.If the artificial agents cannot align with social values or make ethical decisions,they may not meet the expectations of humans.Traditionally,an ethical decision-making framework is constructed by rule-based or statistical approaches.In this paper,we propose an ethical decision-making framework based on incremental ILP(Inductive Logic Programming),which can overcome the brittleness of rule-based approaches and little interpretability of statistical approaches.As the current incremental ILP makes it difficult to solve conflicts,we propose a novel ethical decision-making framework considering conflicts in this paper,which adopts our proposed incremental ILP system.The framework consists of two processes:the learning process and the deduction process.The first process records bottom clauses with their score functions and learns rules guided by the entailment and the score function.The second process obtains an ethical decision based on the rules.In an ethical scenario about chatbots for teenagers’mental health,we verify that our framework can learn ethical rules and make ethical decisions.Besides,we extract incremental ILP from the framework and compare it with the state-of-the-art ILP systems based on ASP(Answer Set Programming)focusing on conflict resolution.The results of comparisons show that our proposed system can generate better-quality rules than most other systems.
基金We acknowledge the financial support from the China Postdoctoral Science Foundation(Grant Nos.BX20220139 and 2021M701530)the National Natural Science Foundation of China(Grant No.61874166)+1 种基金the Fundamental Research Funds for the Central Universities(Grant No.lzujbky-2021-sp50)the Science and Technology Program of Qinghai Province(Grant No.2022-ZJ-703).
文摘Supercapacitor has been widely known as a representative electrochemical energy storage device with high power density and long lifespan.Recently,with the deeper understanding of its charge storage mechanism,unidirectional-charging supercapacitor,also called supercapacitor diode(CAPode),is successfully developed based on the ion-sieving effect of its working electrode towards electrolyte ions.Because CAPode integrates mobile ion and mobile electron in one hybrid circuit,it has a great potential in the emerging fields of ion/electron coupling logic operations,human–machine interface,neural network interaction,and in vivo diagnosis and treatment.Accordingly,we herein elucidate the working mechanism and design philosophy of CAPode,and summarize the electrode materials that are suitable for constructing CAPode.Meanwhile,some other supercapacitor-based devices beyond CAPode are also introduced,and their potential applications are instructively presented.Finally,we outline the challenges and chances of CAPode-related techniques.
文摘This study aims to predict the undrained shear strength of remolded soil samples using non-linear regression analyses,fuzzy logic,and artificial neural network modeling.A total of 1306 undrained shear strength results from 230 different remolded soil test settings reported in 21 publications were collected,utilizing six different measurement devices.Although water content,plastic limit,and liquid limit were used as input parameters for fuzzy logic and artificial neural network modeling,liquidity index or water content ratio was considered as an input parameter for non-linear regression analyses.In non-linear regression analyses,12 different regression equations were derived for the prediction of undrained shear strength of remolded soil.Feed-Forward backpropagation and the TANSIG transfer function were used for artificial neural network modeling,while the Mamdani inference system was preferred with trapezoidal and triangular membership functions for fuzzy logic modeling.The experimental results of 914 tests were used for training of the artificial neural network models,196 for validation and 196 for testing.It was observed that the accuracy of the artificial neural network and fuzzy logic modeling was higher than that of the non-linear regression analyses.Furthermore,a simple and reliable regression equation was proposed for assessments of undrained shear strength values with higher coefficients of determination.
基金The authors extend their appreciation to the Deanship of Scientific Research at Shaqra University for funding this research work through the Project Number(SU-ANN-2023016).
文摘Object tracking is one of the major tasks for mobile robots in many real-world applications.Also,artificial intelligence and automatic control techniques play an important role in enhancing the performance of mobile robot navigation.In contrast to previous simulation studies,this paper presents a new intelligent mobile robot for accomplishing multi-tasks by tracking red-green-blue(RGB)colored objects in a real experimental field.Moreover,a practical smart controller is developed based on adaptive fuzzy logic and custom proportional-integral-derivative(PID)schemes to achieve accurate tracking results,considering robot command delay and tolerance errors.The design of developed controllers implies some motion rules to mimic the knowledge of experienced operators.Twelve scenarios of three colored object combinations have been successfully tested and evaluated by using the developed controlled image-based robot tracker.Classical PID control failed to handle some tracking scenarios in this study.The proposed adaptive fuzzy PID control achieved the best accurate results with the minimum average final error of 13.8 cm to reach the colored targets,while our designed custom PID control is efficient in saving both average time and traveling distance of 6.6 s and 14.3 cm,respectively.These promising results demonstrate the feasibility of applying our developed image-based robotic system in a colored object-tracking environment to reduce human workloads.
基金supported by the Fundamental Research Funds for the Central Universities(DUT22RT(3)090)the National Natural Science Foundation of China(61890920,61890921,62122016,08120003)Liaoning Science and Technology Program(2023JH2/101700361).
文摘Linear temporal logic(LTL)is an intuitive and expressive language to specify complex control tasks,and how to design an efficient control strategy for LTL specification is still a challenge.In this paper,we implement the dynamic quantization technique to propose a novel hierarchical control strategy for nonlinear control systems under LTL specifications.Based on the regions of interest involved in the LTL formula,an accepting path is derived first to provide a high-level solution for the controller synthesis problem.Second,we develop a dynamic quantization based approach to verify the realization of the accepting path.The realization verification results in the necessity of the controller design and a sequence of quantization regions for the controller design.Third,the techniques of dynamic quantization and abstraction-based control are combined together to establish the local-to-global control strategy.Both abstraction construction and controller design are local and dynamic,thereby resulting in the potential reduction of the computational complexity.Since each quantization region can be considered locally and individually,the proposed hierarchical mechanism is more efficient and can solve much larger problems than many existing methods.Finally,the proposed control strategy is illustrated via two examples from the path planning and tracking problems of mobile robots.
基金funding from Universiti Malaya and Ministry of High Education-Malaysia under Research Grant FRGS/1/2023/TK10/UM/02/3 and GPF 020A-2023supported by Researchers Supporting Project Number(RSPD2024 R803).
文摘This paper presents a smart checkout system designed to mitigate the issues of noise and errors present in the existing barcode and RFID-based systems used at retail stores’checkout counters.This is achieved by integrating a novel AI algorithm,called Improved Laser Simulator Logic(ILSL)into the RFID system.The enhanced RFID system was able to improve the accuracy of item identification,reduce noise interference,and streamline the overall checkout process.The potential of the systemfor noise detection and elimination was initially investigated through a simulation study usingMATLAB and ILSL algorithm.Subsequently,it was deployed in a small-scale environment to validate its real-world performance.Results show that RFID with the proposed new algorithm ILSL and AI basket is capable of accurately detecting the related itemswhile eliminating noise originating fromunrelated objects,achieving an accuracy rate of 88%.
基金supported by the National Natural Science Foundation of China(U22A2075,U20A20209)the Fundamental Research Funds for the Central Universities(226-2022-00200)the Qianjiang Distinguished Experts program of Hangzhou.
文摘Ratiometric fluorescent detection of iron(Ⅲ)(Fe^(3+))offers inherent self-calibration and contactless analytic capabilities.However,realizing a dual-emission near-infrared(NIR)nanosensor with a low limit of detection(LOD)is rather challenging.In this work,we report the synthesis of water-dispersible erbium-hyperdoped silicon quantum dots(Si QDs:Er),which emit NIR light at the wavelengths of 810 and 1540 nm.A dual-emission NIR nanosensor based on water-dispersible Si QDs:Er enables ratiometric Fe^(3+)detection with a very low LOD(0.06μM).The effects of pH,recyclability,and the interplay between static and dynamic quenching mechanisms for Fe^(3+)detection have been systematically studied.In addition,we demonstrate that the nanosensor may be used to construct a sequential logic circuit with memory functions.
基金the European Research Council(ERC)under the ERC Synergy grant agreement No.951424(Water-Futures)the European Union’s Horizon 2020 research and innovation programme under grant agreement No.739551(KIOS CoE)the Government of the Republic of Cyprus through the Directorate General for European Programmes,Coordination and Development。
文摘Fault isolation in dynamical systems is a challenging task due to modeling uncertainty and measurement noise,interactive effects of multiple faults and fault propagation.This paper proposes a unified approach for isolation of multiple actuator or sensor faults in a class of nonlinear uncertain dynamical systems.Actuator and sensor fault isolation are accomplished in two independent modules,that monitor the system and are able to isolate the potential faulty actuator(s)or sensor(s).For the sensor fault isolation(SFI)case,a module is designed which monitors the system and utilizes an adaptive isolation threshold on the output residuals computed via a nonlinear estimation scheme that allows the isolation of single/multiple faulty sensor(s).For the actuator fault isolation(AFI)case,a second module is designed,which utilizes a learning-based scheme for adaptive approximation of faulty actuator(s)and,based on a reasoning decision logic and suitably designed AFI thresholds,the faulty actuator(s)set can be determined.The effectiveness of the proposed fault isolation approach developed in this paper is demonstrated through a simulation example.
基金Key R&D Program of Xizang Autonomous Region(XZ202101ZY0004G)National Natural Science Foundation of China(U2142202)+1 种基金National Key R&D Program of China(2022YFC3004104)Key Innovation Team of China Meteor-ological Administration(CMA2022ZD07)。
文摘Short-duration heavy rainfall(SHR),as delineated by the National Meteorological Center of the China Me-teorological Administration,is characterized by hourly rainfall amounts no less than 20.0 mm.SHR is one of the most common convective weather phenomena that can cause severe damage.Short-range forecasting of SHR is an important part of operational severe weather prediction.In the present study,an improved objective SHR forecasting scheme was developed by adopting the ingredients-based methodology and using the fuzzy logic approach.The 1.0°×1.0°National Centers for Environmental Prediction(NCEP)final analysis data and the ordinary rainfall(0.1-19.9 mm h-1)and SHR observational data from 411 stations were used in the improved scheme.The best lifted index,the total precipitable water,the 925 hPa specific humidity(Q 925),and the 925 hPa divergence(DIV 925)were selected as predictors based on objective analysis.Continuously distributed membership functions of predictors were obtained based on relative frequency analysis.The weights of predictors were also objectively determined.Experiments with a typhoon SHR case and a spring SHR case show that the main possible areas could be captured by the improved scheme.Verification of SHR forecasts within 96 hours with NCEP global forecasts 1.0°×1.0°data initiated at 08:00 Beijing Time during the warm seasons in 2015 show the results were improved from both deterministic and probabilistic perspectives.This study provides an objectively feasible choice for short-range guidance forecasts of SHR.The scheme can be applied to other convective phenomena.
基金the Research on Building a Theoretical System of Constitutional Supervision with Chinese Char-acteristics(Project Approval Number 23JDZ025)a major research project of the Ministry of Education in Philosophy and Social Sciences.
文摘The inclusion of the human rights clause in the Chi-nese Constitution is a concern and expression of the spirit of the Con-stitution,which has laid the institutional regulations of the fundamen-tal law for the development of human rights in China,provided the principles and value norms of the highest level of effectiveness for the legal protection of human rights,and built a profound constitutional basis for the formation and improvement of the Chinese path of human rights development.The human rights clause is not only a summariza-tion and affirmation of the historical practice of Chinese human rights development under the leadership of the Communist Party of China,but also a new starting point for the development of human rights in China under the leadership of the Communist Party of China.It marks that the development of human rights in China has entered a new era.The Party and the state have finally embarked on a path of human rights development with Chinese characteristics by formulating and implementing the Human Rights Action Plan of China,eliminating ab-solute poverty through the national poverty alleviation campaign,and promoting human rights protection through the rule of law.
文摘In this study, we are first examining well-known approach to improve fuzzy reasoning model (FRM) by use of the genetic-based learning mechanism [1]. Later we propose our alternative way to build FRM, which has significant precision advantages and does not require any adjustment/learning. We put together neuro-fuzzy system (NFS) to connect the set of exemplar input feature vectors (FV) with associated output label (target), both represented by their membership functions (MF). Next unknown FV would be classified by getting upper value of current output MF. After that the fuzzy truths for all MF upper values are maximized and the label of the winner is considered as the class of the input FV. We use the knowledge in the exemplar-label pairs directly with no training. It sets up automatically and then classifies all input FV from the same population as the exemplar FVs. We show that our approach statistically is almost twice as accurate, as well-known genetic-based learning mechanism FRM.