This study presents a method for the inverse analysis of fluid flow problems.The focus is put on accurately determining boundary conditions and characterizing the physical properties of granular media,such as permeabi...This study presents a method for the inverse analysis of fluid flow problems.The focus is put on accurately determining boundary conditions and characterizing the physical properties of granular media,such as permeability,and fluid components,like viscosity.The primary aim is to deduce either constant pressure head or pressure profiles,given the known velocity field at a steady-state flow through a conduit containing obstacles,including walls,spheres,and grains.The lattice Boltzmann method(LBM)combined with automatic differentiation(AD)(AD-LBM)is employed,with the help of the GPU-capable Taichi programming language.A lightweight tape is used to generate gradients for the entire LBM simulation,enabling end-to-end backpropagation.Our AD-LBM approach accurately estimates the boundary conditions for complex flow paths in porous media,leading to observed steady-state velocity fields and deriving macro-scale permeability and fluid viscosity.The method demonstrates significant advantages in terms of prediction accuracy and computational efficiency,making it a powerful tool for solving inverse fluid flow problems in various applications.展开更多
This work aimed to construct an epidemic model with fuzzy parameters.Since the classical epidemic model doesnot elaborate on the successful interaction of susceptible and infective people,the constructed fuzzy epidemi...This work aimed to construct an epidemic model with fuzzy parameters.Since the classical epidemic model doesnot elaborate on the successful interaction of susceptible and infective people,the constructed fuzzy epidemicmodel discusses the more detailed versions of the interactions between infective and susceptible people.Thenext-generation matrix approach is employed to find the reproduction number of a deterministic model.Thesensitivity analysis and local stability analysis of the systemare also provided.For solving the fuzzy epidemic model,a numerical scheme is constructed which consists of three time levels.The numerical scheme has an advantage overthe existing forward Euler scheme for determining the conditions of getting the positive solution.The establishedscheme also has an advantage over existing non-standard finite difference methods in terms of order of accuracy.The stability of the scheme for the considered fuzzy model is also provided.From the plotted results,it can beobserved that susceptible people decay by rising interaction parameters.展开更多
Porous materials present significant advantages for absorbing radioactive isotopes in nuclear waste streams.To improve absorption efficiency in nuclear waste treatment,a thorough understanding of the diffusion-advecti...Porous materials present significant advantages for absorbing radioactive isotopes in nuclear waste streams.To improve absorption efficiency in nuclear waste treatment,a thorough understanding of the diffusion-advection process within porous structures is essential for material design.In this study,we present advancements in the volumetric lattice Boltzmann method(VLBM)for modeling and simulating pore-scale diffusion-advection of radioactive isotopes within geopolymer porous structures.These structures are created using the phase field method(PFM)to precisely control pore architectures.In our VLBM approach,we introduce a concentration field of an isotope seamlessly coupled with the velocity field and solve it by the time evolution of its particle population function.To address the computational intensity inherent in the coupled lattice Boltzmann equations for velocity and concentration fields,we implement graphics processing unit(GPU)parallelization.Validation of the developed model involves examining the flow and diffusion fields in porous structures.Remarkably,good agreement is observed for both the velocity field from VLBM and multiphysics object-oriented simulation environment(MOOSE),and the concentration field from VLBM and the finite difference method(FDM).Furthermore,we investigate the effects of background flow,species diffusivity,and porosity on the diffusion-advection behavior by varying the background flow velocity,diffusion coefficient,and pore volume fraction,respectively.Notably,all three parameters exert an influence on the diffusion-advection process.Increased background flow and diffusivity markedly accelerate the process due to increased advection intensity and enhanced diffusion capability,respectively.Conversely,increasing the porosity has a less significant effect,causing a slight slowdown of the diffusion-advection process due to the expanded pore volume.This comprehensive parametric study provides valuable insights into the kinetics of isotope uptake in porous structures,facilitating the development of porous materials for nuclear waste treatment applications.展开更多
We investigated the one-dimensional diamond ladder in the momentum lattice platform. By inducing multiple twoand four-photon Bragg scatterings among specific momentum states, we achieved a flat band system based on th...We investigated the one-dimensional diamond ladder in the momentum lattice platform. By inducing multiple twoand four-photon Bragg scatterings among specific momentum states, we achieved a flat band system based on the diamond model, precisely controlling the coupling strength and phase between individual lattice sites. Utilizing two lattice sites couplings, we generated a compact localized state associated with the flat band, which remained localized throughout the entire time evolution. We successfully realized the continuous shift of flat bands by adjusting the corresponding nearest neighbor hopping strength, enabling us to observe the complete localization process. This opens avenues for further exploration of more complex properties within flat-band systems, including investigating the robustness of flat-band localized states in disordered flat-band systems and exploring many-body localization in interacting flat-band systems.展开更多
Lattice structures can be designed to achieve unique mechanical properties and have attracted increasing attention for applications in high-end industrial equipment,along with the advances in additive manufacturing(AM...Lattice structures can be designed to achieve unique mechanical properties and have attracted increasing attention for applications in high-end industrial equipment,along with the advances in additive manufacturing(AM)technologies.In this work,a novel design of plate lattice structures described by a parametric model is proposed to enrich the design space of plate lattice structures with high connectivity suitable for AM processes.The parametric model takes the basic unit of the triple periodic minimal surface(TPMS)lattice as a skeleton and adopts a set of generation parameters to determine the plate lattice structure with different topologies,which takes the advantages of both plate lattices for superior specific mechanical properties and TPMS lattices for high connectivity,and therefore is referred to as a TPMS-like plate lattice(TLPL).Furthermore,a data-driven shape optimization method is proposed to optimize the TLPL structure for maximum mechanical properties with or without the isotropic constraints.In this method,the genetic algorithm for the optimization is utilized for global search capability,and an artificial neural network(ANN)model for individual fitness estimation is integrated for high efficiency.A set of optimized TLPLs at different relative densities are experimentally validated by the selective laser melting(SLM)fabricated samples.It is confirmed that the optimized TLPLs could achieve elastic isotropy and have superior stiffness over other isotropic lattice structures.展开更多
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.展开更多
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.展开更多
The idea of linear Diophantine fuzzy set(LDFS)theory with its control parameters is a strong model for machine learning and optimization under uncertainty.The activity times in the critical path method(CPM)representat...The idea of linear Diophantine fuzzy set(LDFS)theory with its control parameters is a strong model for machine learning and optimization under uncertainty.The activity times in the critical path method(CPM)representation procedures approach are initially static,but in the Project Evaluation and Review Technique(PERT)approach,they are probabilistic.This study proposes a novel way of project review and assessment methodology for a project network in a linear Diophantine fuzzy(LDF)environment.The LDF expected task time,LDF variance,LDF critical path,and LDF total expected time for determining the project network are all computed using LDF numbers as the time of each activity in the project network.The primary premise of the LDF-PERT approach is to address ambiguities in project network activity timesmore simply than other approaches such as conventional PERT,Fuzzy PERT,and so on.The LDF-PERT is an efficient approach to analyzing symmetries in fuzzy control systems to seek an optimal decision.We also present a new approach for locating LDF-CPM in a project network with uncertain and erroneous activity timings.When the available resources and activity times are imprecise and unpredictable,this strategy can help decision-makers make better judgments in a project.A comparison analysis of the proposed technique with the existing techniques has also been discussed.The suggested techniques are demonstrated with two suitable numerical examples.展开更多
Materials with kagome lattices have attracted significant research attention due to their nontrivial features in energy bands.We theoretically investigate the evolution of electronic band structures of kagome lattices...Materials with kagome lattices have attracted significant research attention due to their nontrivial features in energy bands.We theoretically investigate the evolution of electronic band structures of kagome lattices in response to uniaxial strain using both a tight-binding model and an antidot model based on a periodic muffin-tin potential.It is found that the Dirac points move with applied strain.Furthermore,the flat band of unstrained kagome lattices is found to develop into a highly anisotropic shape under a stretching strain along y direction,forming a partially flat band with a region dispersionless along ky direction while dispersive along kx direction.Our results shed light on the possibility of engineering the electronic band structures of kagome materials by mechanical strain.展开更多
Let G be a locally compact Lie group and its Lie algebra. We consider a fuzzy analogue of G, denoted by called a fuzzy Lie group. Spherical functions on are constructed and a version of the existence result of the Hel...Let G be a locally compact Lie group and its Lie algebra. We consider a fuzzy analogue of G, denoted by called a fuzzy Lie group. Spherical functions on are constructed and a version of the existence result of the Helgason-spherical function on G is then established on .展开更多
The intuitive fuzzy set has found important application in decision-making and machine learning.To enrich and utilize the intuitive fuzzy set,this study designed and developed a deep neural network-based glaucoma eye ...The intuitive fuzzy set has found important application in decision-making and machine learning.To enrich and utilize the intuitive fuzzy set,this study designed and developed a deep neural network-based glaucoma eye detection using fuzzy difference equations in the domain where the retinal images converge.Retinal image detections are categorized as normal eye recognition,suspected glaucomatous eye recognition,and glaucomatous eye recognition.Fuzzy degrees associated with weighted values are calculated to determine the level of concentration between the fuzzy partition and the retinal images.The proposed model was used to diagnose glaucoma using retinal images and involved utilizing the Convolutional Neural Network(CNN)and deep learning to identify the fuzzy weighted regularization between images.This methodology was used to clarify the input images and make them adequate for the process of glaucoma detection.The objective of this study was to propose a novel approach to the early diagnosis of glaucoma using the Fuzzy Expert System(FES)and Fuzzy differential equation(FDE).The intensities of the different regions in the images and their respective peak levels were determined.Once the peak regions were identified,the recurrence relationships among those peaks were then measured.Image partitioning was done due to varying degrees of similar and dissimilar concentrations in the image.Similar and dissimilar concentration levels and spatial frequency generated a threshold image from the combined fuzzy matrix and FDE.This distinguished between a normal and abnormal eye condition,thus detecting patients with glaucomatous eyes.展开更多
The concepts of connectedness play a critical role in digital picture segmentation and analyses. However, the crisp nature of set theory imposes hard boundaries that restrict the extension of the underlying topologica...The concepts of connectedness play a critical role in digital picture segmentation and analyses. However, the crisp nature of set theory imposes hard boundaries that restrict the extension of the underlying topological notions and results. Whilst fuzzy set theory was introduced to address this inherent drawback, most human processes are not just fuzzy but also double-sided. Most phenomena will exhibit both a positive side and a negative side. Therefore, it is not enough to have a theory that addresses imprecision, uncertainty and ambiguity;rather, the theory must also be able to model polarity. Hence the study of bipolar fuzzy theory is of potential significance in an attempt to model real-life phenomena. This paper extends some concepts of fuzzy digital topology to bipolar fuzzy subsets including some important basic properties such as connectedness and surroundedness.展开更多
Speed limit measures are ubiquitous due to the complexity of the road environment,which can be supplied with the help of vehicle to everything(V2X)communication technology.Therefore,the influence of speed limit on tra...Speed limit measures are ubiquitous due to the complexity of the road environment,which can be supplied with the help of vehicle to everything(V2X)communication technology.Therefore,the influence of speed limit on traffic system will be investigated to construct a two-lane lattice model accounting for the speed limit effect during the lane change process under V2X environment.Accordingly,the stability condition and the mKdV equation are closely associated with the speed limit effect through theory analysis.Moreover,the evolution of density and hysteresis loop is simulated to demonstrate the positive role of the speed limit effect on traffic stability in the cases of strong reaction intensity and high limited speed.展开更多
The study of a droplet spreading on a circular cylinder under gravity was carried out using the pseudo-potential lattice Boltzmann high-density ratios multiphase model with a non-ideal Peng–Robinson equation of state...The study of a droplet spreading on a circular cylinder under gravity was carried out using the pseudo-potential lattice Boltzmann high-density ratios multiphase model with a non-ideal Peng–Robinson equation of state. The calculation results indicate that the motion of the droplet on the cylinder can be divided into three stages: spreading, sliding, and aggregating.The contact length and contact time of a droplet on a cylindrical surface can be affected by factors such as the wettability gradient of the cylindrical wall, the Bond number, and droplet size. Furthermore, phase diagrams showing the relationship between Bond number, cylinder wall wettability gradient, and contact time as well as maximum contact length for three different droplet sizes are given. A theoretical foundation for additional research into the heat and mass transfer process between the droplet and the cylinder can be established by comprehending the variable rules of maximum contact length and contact time.展开更多
This study investigated the formation mechanism of new grains due to twin–twin intersections in a coarse-grained Mg–6Al–3Sn–2Zn alloy during different strain rates of an isothermal compression.The results of elect...This study investigated the formation mechanism of new grains due to twin–twin intersections in a coarse-grained Mg–6Al–3Sn–2Zn alloy during different strain rates of an isothermal compression.The results of electron backscattered diffraction investigations showed that the activated twins were primarily{1012}tension twins,and 60°<1010>boundaries formed due to twin–twin intersections under different strain rates.Isolated twin variants with 60°<1010>boundaries transformed into new grains through lattice rotations at a low strain rate(0.01 s^(−1)).At a high strain rate(10 s^(−1)),the regions surrounded by subgrain boundaries through high-density dislocation arrangement and the 60°<1010>boundaries transformed into new grains via dynamic recrystallization.展开更多
The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attr...The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attribute importance,Skowron discernibility matrix,and information entropy,struggle to effectively manages multiple uncertainties simultaneously in HDISs like the precise measurement of disparities between nominal attribute values,and attributes with fuzzy boundaries and abnormal values.In order to address the aforementioned issues,this paper delves into the study of attribute reduction withinHDISs.First of all,a novel metric based on the decision attribute is introduced to solve the problem of accurately measuring the differences between nominal attribute values.The newly introduced distance metric has been christened the supervised distance that can effectively quantify the differences between the nominal attribute values.Then,based on the newly developed metric,a novel fuzzy relationship is defined from the perspective of“feedback on parity of attribute values to attribute sets”.This new fuzzy relationship serves as a valuable tool in addressing the challenges posed by abnormal attribute values.Furthermore,leveraging the newly introduced fuzzy relationship,the fuzzy conditional information entropy is defined as a solution to the challenges posed by fuzzy attributes.It effectively quantifies the uncertainty associated with fuzzy attribute values,thereby providing a robust framework for handling fuzzy information in hybrid information systems.Finally,an algorithm for attribute reduction utilizing the fuzzy conditional information entropy is presented.The experimental results on 12 datasets show that the average reduction rate of our algorithm reaches 84.04%,and the classification accuracy is improved by 3.91%compared to the original dataset,and by an average of 11.25%compared to the other 9 state-of-the-art reduction algorithms.The comprehensive analysis of these research results clearly indicates that our algorithm is highly effective in managing the intricate uncertainties inherent in hybrid data.展开更多
文摘This study presents a method for the inverse analysis of fluid flow problems.The focus is put on accurately determining boundary conditions and characterizing the physical properties of granular media,such as permeability,and fluid components,like viscosity.The primary aim is to deduce either constant pressure head or pressure profiles,given the known velocity field at a steady-state flow through a conduit containing obstacles,including walls,spheres,and grains.The lattice Boltzmann method(LBM)combined with automatic differentiation(AD)(AD-LBM)is employed,with the help of the GPU-capable Taichi programming language.A lightweight tape is used to generate gradients for the entire LBM simulation,enabling end-to-end backpropagation.Our AD-LBM approach accurately estimates the boundary conditions for complex flow paths in porous media,leading to observed steady-state velocity fields and deriving macro-scale permeability and fluid viscosity.The method demonstrates significant advantages in terms of prediction accuracy and computational efficiency,making it a powerful tool for solving inverse fluid flow problems in various applications.
基金the support of Prince Sultan University for paying the article processing charges(APC)of this publication.
文摘This work aimed to construct an epidemic model with fuzzy parameters.Since the classical epidemic model doesnot elaborate on the successful interaction of susceptible and infective people,the constructed fuzzy epidemicmodel discusses the more detailed versions of the interactions between infective and susceptible people.Thenext-generation matrix approach is employed to find the reproduction number of a deterministic model.Thesensitivity analysis and local stability analysis of the systemare also provided.For solving the fuzzy epidemic model,a numerical scheme is constructed which consists of three time levels.The numerical scheme has an advantage overthe existing forward Euler scheme for determining the conditions of getting the positive solution.The establishedscheme also has an advantage over existing non-standard finite difference methods in terms of order of accuracy.The stability of the scheme for the considered fuzzy model is also provided.From the plotted results,it can beobserved that susceptible people decay by rising interaction parameters.
基金supported as part of the Center for Hierarchical Waste Form Materials,an Energy Frontier Research Center funded by the U.S.Department of Energy,Office of Science,Basic Energy Sciences under Award No.DE-SC0016574.
文摘Porous materials present significant advantages for absorbing radioactive isotopes in nuclear waste streams.To improve absorption efficiency in nuclear waste treatment,a thorough understanding of the diffusion-advection process within porous structures is essential for material design.In this study,we present advancements in the volumetric lattice Boltzmann method(VLBM)for modeling and simulating pore-scale diffusion-advection of radioactive isotopes within geopolymer porous structures.These structures are created using the phase field method(PFM)to precisely control pore architectures.In our VLBM approach,we introduce a concentration field of an isotope seamlessly coupled with the velocity field and solve it by the time evolution of its particle population function.To address the computational intensity inherent in the coupled lattice Boltzmann equations for velocity and concentration fields,we implement graphics processing unit(GPU)parallelization.Validation of the developed model involves examining the flow and diffusion fields in porous structures.Remarkably,good agreement is observed for both the velocity field from VLBM and multiphysics object-oriented simulation environment(MOOSE),and the concentration field from VLBM and the finite difference method(FDM).Furthermore,we investigate the effects of background flow,species diffusivity,and porosity on the diffusion-advection behavior by varying the background flow velocity,diffusion coefficient,and pore volume fraction,respectively.Notably,all three parameters exert an influence on the diffusion-advection process.Increased background flow and diffusivity markedly accelerate the process due to increased advection intensity and enhanced diffusion capability,respectively.Conversely,increasing the porosity has a less significant effect,causing a slight slowdown of the diffusion-advection process due to the expanded pore volume.This comprehensive parametric study provides valuable insights into the kinetics of isotope uptake in porous structures,facilitating the development of porous materials for nuclear waste treatment applications.
基金Project supported by the National Natural Science Foundation of China (Grant No.12074367)Anhui Initiative in Quantum Information Technologies,the National Key Research and Development Program of China (Grant No.2020YFA0309804)+3 种基金Shanghai Municipal Science and Technology Major Project (Grant No.2019SHZDZX01)the Strategic Priority Research Program of Chinese Academy of Sciences (Grant No.XDB35020200)Innovation Program for Quantum Science and Technology (Grant No.2021ZD0302002)New Cornerstone Science Foundation。
文摘We investigated the one-dimensional diamond ladder in the momentum lattice platform. By inducing multiple twoand four-photon Bragg scatterings among specific momentum states, we achieved a flat band system based on the diamond model, precisely controlling the coupling strength and phase between individual lattice sites. Utilizing two lattice sites couplings, we generated a compact localized state associated with the flat band, which remained localized throughout the entire time evolution. We successfully realized the continuous shift of flat bands by adjusting the corresponding nearest neighbor hopping strength, enabling us to observe the complete localization process. This opens avenues for further exploration of more complex properties within flat-band systems, including investigating the robustness of flat-band localized states in disordered flat-band systems and exploring many-body localization in interacting flat-band systems.
基金Project supported by the National Natural Science Foundation of China (No.11972086)。
文摘Lattice structures can be designed to achieve unique mechanical properties and have attracted increasing attention for applications in high-end industrial equipment,along with the advances in additive manufacturing(AM)technologies.In this work,a novel design of plate lattice structures described by a parametric model is proposed to enrich the design space of plate lattice structures with high connectivity suitable for AM processes.The parametric model takes the basic unit of the triple periodic minimal surface(TPMS)lattice as a skeleton and adopts a set of generation parameters to determine the plate lattice structure with different topologies,which takes the advantages of both plate lattices for superior specific mechanical properties and TPMS lattices for high connectivity,and therefore is referred to as a TPMS-like plate lattice(TLPL).Furthermore,a data-driven shape optimization method is proposed to optimize the TLPL structure for maximum mechanical properties with or without the isotropic constraints.In this method,the genetic algorithm for the optimization is utilized for global search capability,and an artificial neural network(ANN)model for individual fitness estimation is integrated for high efficiency.A set of optimized TLPLs at different relative densities are experimentally validated by the selective laser melting(SLM)fabricated samples.It is confirmed that the optimized TLPLs could achieve elastic isotropy and have superior stiffness over other isotropic lattice structures.
基金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.
基金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.
基金supported by the Deanship of Scientific Research,Vice Presidency for Graduate Studies and Scientific Research,King Faisal University,Saudi Arabia[Grant No.GRANT3862].
文摘The idea of linear Diophantine fuzzy set(LDFS)theory with its control parameters is a strong model for machine learning and optimization under uncertainty.The activity times in the critical path method(CPM)representation procedures approach are initially static,but in the Project Evaluation and Review Technique(PERT)approach,they are probabilistic.This study proposes a novel way of project review and assessment methodology for a project network in a linear Diophantine fuzzy(LDF)environment.The LDF expected task time,LDF variance,LDF critical path,and LDF total expected time for determining the project network are all computed using LDF numbers as the time of each activity in the project network.The primary premise of the LDF-PERT approach is to address ambiguities in project network activity timesmore simply than other approaches such as conventional PERT,Fuzzy PERT,and so on.The LDF-PERT is an efficient approach to analyzing symmetries in fuzzy control systems to seek an optimal decision.We also present a new approach for locating LDF-CPM in a project network with uncertain and erroneous activity timings.When the available resources and activity times are imprecise and unpredictable,this strategy can help decision-makers make better judgments in a project.A comparison analysis of the proposed technique with the existing techniques has also been discussed.The suggested techniques are demonstrated with two suitable numerical examples.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11904261 and 11904259).
文摘Materials with kagome lattices have attracted significant research attention due to their nontrivial features in energy bands.We theoretically investigate the evolution of electronic band structures of kagome lattices in response to uniaxial strain using both a tight-binding model and an antidot model based on a periodic muffin-tin potential.It is found that the Dirac points move with applied strain.Furthermore,the flat band of unstrained kagome lattices is found to develop into a highly anisotropic shape under a stretching strain along y direction,forming a partially flat band with a region dispersionless along ky direction while dispersive along kx direction.Our results shed light on the possibility of engineering the electronic band structures of kagome materials by mechanical strain.
文摘Let G be a locally compact Lie group and its Lie algebra. We consider a fuzzy analogue of G, denoted by called a fuzzy Lie group. Spherical functions on are constructed and a version of the existence result of the Helgason-spherical function on G is then established on .
基金funding the publication of this research through the Researchers Supporting Program (RSPD2023R809),King Saud University,Riyadh,Saudi Arabia.
文摘The intuitive fuzzy set has found important application in decision-making and machine learning.To enrich and utilize the intuitive fuzzy set,this study designed and developed a deep neural network-based glaucoma eye detection using fuzzy difference equations in the domain where the retinal images converge.Retinal image detections are categorized as normal eye recognition,suspected glaucomatous eye recognition,and glaucomatous eye recognition.Fuzzy degrees associated with weighted values are calculated to determine the level of concentration between the fuzzy partition and the retinal images.The proposed model was used to diagnose glaucoma using retinal images and involved utilizing the Convolutional Neural Network(CNN)and deep learning to identify the fuzzy weighted regularization between images.This methodology was used to clarify the input images and make them adequate for the process of glaucoma detection.The objective of this study was to propose a novel approach to the early diagnosis of glaucoma using the Fuzzy Expert System(FES)and Fuzzy differential equation(FDE).The intensities of the different regions in the images and their respective peak levels were determined.Once the peak regions were identified,the recurrence relationships among those peaks were then measured.Image partitioning was done due to varying degrees of similar and dissimilar concentrations in the image.Similar and dissimilar concentration levels and spatial frequency generated a threshold image from the combined fuzzy matrix and FDE.This distinguished between a normal and abnormal eye condition,thus detecting patients with glaucomatous eyes.
文摘The concepts of connectedness play a critical role in digital picture segmentation and analyses. However, the crisp nature of set theory imposes hard boundaries that restrict the extension of the underlying topological notions and results. Whilst fuzzy set theory was introduced to address this inherent drawback, most human processes are not just fuzzy but also double-sided. Most phenomena will exhibit both a positive side and a negative side. Therefore, it is not enough to have a theory that addresses imprecision, uncertainty and ambiguity;rather, the theory must also be able to model polarity. Hence the study of bipolar fuzzy theory is of potential significance in an attempt to model real-life phenomena. This paper extends some concepts of fuzzy digital topology to bipolar fuzzy subsets including some important basic properties such as connectedness and surroundedness.
基金Project supported by the Guangxi Natural Science Foundation,China(Grant No.2022GXNSFDA035080)the Central Government Guidance Funds for Local Scientific and Technological Development,China(Grant No.Guike ZY22096024)the National Natural Science Foundation,China(Grant No.61963008).
文摘Speed limit measures are ubiquitous due to the complexity of the road environment,which can be supplied with the help of vehicle to everything(V2X)communication technology.Therefore,the influence of speed limit on traffic system will be investigated to construct a two-lane lattice model accounting for the speed limit effect during the lane change process under V2X environment.Accordingly,the stability condition and the mKdV equation are closely associated with the speed limit effect through theory analysis.Moreover,the evolution of density and hysteresis loop is simulated to demonstrate the positive role of the speed limit effect on traffic stability in the cases of strong reaction intensity and high limited speed.
文摘The study of a droplet spreading on a circular cylinder under gravity was carried out using the pseudo-potential lattice Boltzmann high-density ratios multiphase model with a non-ideal Peng–Robinson equation of state. The calculation results indicate that the motion of the droplet on the cylinder can be divided into three stages: spreading, sliding, and aggregating.The contact length and contact time of a droplet on a cylindrical surface can be affected by factors such as the wettability gradient of the cylindrical wall, the Bond number, and droplet size. Furthermore, phase diagrams showing the relationship between Bond number, cylinder wall wettability gradient, and contact time as well as maximum contact length for three different droplet sizes are given. A theoretical foundation for additional research into the heat and mass transfer process between the droplet and the cylinder can be established by comprehending the variable rules of maximum contact length and contact time.
基金support from the Key Technology Research and Development Program of Shandong Province(Project No.2019GGX102060).
文摘This study investigated the formation mechanism of new grains due to twin–twin intersections in a coarse-grained Mg–6Al–3Sn–2Zn alloy during different strain rates of an isothermal compression.The results of electron backscattered diffraction investigations showed that the activated twins were primarily{1012}tension twins,and 60°<1010>boundaries formed due to twin–twin intersections under different strain rates.Isolated twin variants with 60°<1010>boundaries transformed into new grains through lattice rotations at a low strain rate(0.01 s^(−1)).At a high strain rate(10 s^(−1)),the regions surrounded by subgrain boundaries through high-density dislocation arrangement and the 60°<1010>boundaries transformed into new grains via dynamic recrystallization.
基金Anhui Province Natural Science Research Project of Colleges and Universities(2023AH040321)Excellent Scientific Research and Innovation Team of Anhui Colleges(2022AH010098).
文摘The presence of numerous uncertainties in hybrid decision information systems(HDISs)renders attribute reduction a formidable task.Currently available attribute reduction algorithms,including those based on Pawlak attribute importance,Skowron discernibility matrix,and information entropy,struggle to effectively manages multiple uncertainties simultaneously in HDISs like the precise measurement of disparities between nominal attribute values,and attributes with fuzzy boundaries and abnormal values.In order to address the aforementioned issues,this paper delves into the study of attribute reduction withinHDISs.First of all,a novel metric based on the decision attribute is introduced to solve the problem of accurately measuring the differences between nominal attribute values.The newly introduced distance metric has been christened the supervised distance that can effectively quantify the differences between the nominal attribute values.Then,based on the newly developed metric,a novel fuzzy relationship is defined from the perspective of“feedback on parity of attribute values to attribute sets”.This new fuzzy relationship serves as a valuable tool in addressing the challenges posed by abnormal attribute values.Furthermore,leveraging the newly introduced fuzzy relationship,the fuzzy conditional information entropy is defined as a solution to the challenges posed by fuzzy attributes.It effectively quantifies the uncertainty associated with fuzzy attribute values,thereby providing a robust framework for handling fuzzy information in hybrid information systems.Finally,an algorithm for attribute reduction utilizing the fuzzy conditional information entropy is presented.The experimental results on 12 datasets show that the average reduction rate of our algorithm reaches 84.04%,and the classification accuracy is improved by 3.91%compared to the original dataset,and by an average of 11.25%compared to the other 9 state-of-the-art reduction algorithms.The comprehensive analysis of these research results clearly indicates that our algorithm is highly effective in managing the intricate uncertainties inherent in hybrid data.