Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
This study explores the impact of bionic design features on the emotional resonance and ecological identity of residents in the optimization of rural human settlement environments,by employing quantitative analysis ba...This study explores the impact of bionic design features on the emotional resonance and ecological identity of residents in the optimization of rural human settlement environments,by employing quantitative analysis based on a fuzzy semantic computing model.An examination of three bionic design features-morphological differences,material integration,and functional interaction-showed that these features significantly influence the emotional resonance and ecological identity of residents.While fulfiling aesthetic and functional needs,morphological differences and material integration foster emotional connections between residents and their environment,thereby enhancing ecological identity.Functional interactivity plays a key role in promoting social interactions and improving the overall living experience.The effects of these design features on emotional resonance and ecological identity were quantified using fuzzy semantic computing,with the results further verifying their effectiveness.Fuzzy semantic computing offers a novel perspective and methodology for the quantitative evaluation of complex design features.This study provides a theoretical foundation for the design and optimization of rural human settlements in the future,and offers valuable insights for both academic research and practical applications in related fields.展开更多
A fuzzy framework based on an adaptive network fuzzy inference system（ANFIS） is proposed to evaluate the relative degradation of the basic subthreshold parameters due to hot-carrier effects for nanoscale thin-film d...A fuzzy framework based on an adaptive network fuzzy inference system（ANFIS） is proposed to evaluate the relative degradation of the basic subthreshold parameters due to hot-carrier effects for nanoscale thin-film double-gate（DG） MOSFETs.The effect of the channel length and thickness on the resulting degradation is addressed, and 2-D numerical simulations are used for the elaboration of the training database.Several membership function shapes are developed,and the best one in terms of accuracy is selected.The predicted results agree well with the 2-D numerical simulations and can be efficiently used to investigate the impact of the interface fixed charges and quantum confinement on nanoscale DG MOSFET subthreshold behavior.Therefore,the proposed ANFIS-based approach offers a simple and accurate technique to study nanoscale devices,including the hot-carrier and quantum effects.展开更多
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘This study explores the impact of bionic design features on the emotional resonance and ecological identity of residents in the optimization of rural human settlement environments,by employing quantitative analysis based on a fuzzy semantic computing model.An examination of three bionic design features-morphological differences,material integration,and functional interaction-showed that these features significantly influence the emotional resonance and ecological identity of residents.While fulfiling aesthetic and functional needs,morphological differences and material integration foster emotional connections between residents and their environment,thereby enhancing ecological identity.Functional interactivity plays a key role in promoting social interactions and improving the overall living experience.The effects of these design features on emotional resonance and ecological identity were quantified using fuzzy semantic computing,with the results further verifying their effectiveness.Fuzzy semantic computing offers a novel perspective and methodology for the quantitative evaluation of complex design features.This study provides a theoretical foundation for the design and optimization of rural human settlements in the future,and offers valuable insights for both academic research and practical applications in related fields.
文摘A fuzzy framework based on an adaptive network fuzzy inference system（ANFIS） is proposed to evaluate the relative degradation of the basic subthreshold parameters due to hot-carrier effects for nanoscale thin-film double-gate（DG） MOSFETs.The effect of the channel length and thickness on the resulting degradation is addressed, and 2-D numerical simulations are used for the elaboration of the training database.Several membership function shapes are developed,and the best one in terms of accuracy is selected.The predicted results agree well with the 2-D numerical simulations and can be efficiently used to investigate the impact of the interface fixed charges and quantum confinement on nanoscale DG MOSFET subthreshold behavior.Therefore,the proposed ANFIS-based approach offers a simple and accurate technique to study nanoscale devices,including the hot-carrier and quantum effects.
