The implementation of Ecological Function Protection Zone(EFPZ)policy is significant for the ecological restoration and conservation of soil and water in the territory space.This manuscript analyzed and quantified the...The implementation of Ecological Function Protection Zone(EFPZ)policy is significant for the ecological restoration and conservation of soil and water in the territory space.This manuscript analyzed and quantified the impact of EFPZ on the regional water conservation function,based on land use data from 2005,2008,2010,2015 and 2020,by conducting a counterfactual simulation along with the GeoSOS-FLUS model and the InVEST model.The results demonstrate that the delineation of EFPZ can significantly influence the water conservation.(1)From 2010 to 2020,as the EFPZ was implemented,the water conservation in the study area was increasing year by year,with a growth rate of 0.03×10^(8) m^(3)∙a^(-1).On the other hand,the simulated water conservation capacity without the implementation of EFPZ decreased year by year,with a decrease rate of 0.01×10^(8) m^(3)∙a^(-1).(2)The EFPZ accounts for only 23%of the total area,but the contribution rate of water conservation reaches 80%.The actual values of water conservation and average water yield per unit pixel in the EFPZ show an increasing trend both internally and externally,while the counterfactual simulation values exhibit a decreasing trend.(3)The water conservation is much higher within the EFPZ than without EFPZ.The implementation of EFPZ has a significant effect on the improvement of the water conservation capacity in Maqu EFPZ and Yellow River Source EFPZ.The protection effectiveness should be enhanced in Qilian Mountain EFPZ and afforestation activities need to be carefully considered in Loess Plateau EFPZ.展开更多
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.展开更多
Parallel connection of multiple inverters is an important means to solve the expansion,reserve and protection of distributed power generation,such as photovoltaics.In view of the shortcomings of traditional droop cont...Parallel connection of multiple inverters is an important means to solve the expansion,reserve and protection of distributed power generation,such as photovoltaics.In view of the shortcomings of traditional droop control methods such as weak anti-interference ability,low tracking accuracy of inverter output voltage and serious circulation phenomenon,a finite control set model predictive control(FCS-MPC)strategy of microgrid multiinverter parallel system based on Mixed Logical Dynamical(MLD)modeling is proposed.Firstly,the MLD modeling method is introduced logical variables,combining discrete events and continuous events to form an overall differential equation,which makes the modeling more accurate.Then a predictive controller is designed based on the model,and constraints are added to the objective function,which can not only solve the real-time changes of the control system by online optimization,but also effectively obtain a higher tracking accuracy of the inverter output voltage and lower total harmonic distortion rate(Total Harmonics Distortion,THD);and suppress the circulating current between the inverters,to obtain a good dynamic response.Finally,the simulation is carried out onMATLAB/Simulink to verify the correctness of the model and the rationality of the proposed strategy.This paper aims to provide guidance for the design and optimal control of multi-inverter parallel systems.展开更多
Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient n...Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.展开更多
A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated fro...A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.展开更多
Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions...Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.展开更多
The traditional fuzzy logic system (FLS) can only model and control the process in two-dimensional nature. Many of real-world systems are of multidimensional features, such as, thermal and fluid processes with spati...The traditional fuzzy logic system (FLS) can only model and control the process in two-dimensional nature. Many of real-world systems are of multidimensional features, such as, thermal and fluid processes with spatiotemporal dynamics, biological systems, or decision-making processes that contain stochastic and imprecise uncertainties. These types of systems are difficult for the traditional FLS to model and control because they require a third dimension for spatial or probabilistic information. The type-2 fuzzy set provides the possibility to develop a three-dimensional fuzzy logic system for modeling and controlling these processes in three-dimensional nature.展开更多
In many problems,to analyze the process/metabolism behavior,a mod-el of the system is identified.The main gap is the weakness of current methods vs.noisy environments.The primary objective of this study is to present a...In many problems,to analyze the process/metabolism behavior,a mod-el of the system is identified.The main gap is the weakness of current methods vs.noisy environments.The primary objective of this study is to present a more robust method against uncertainties.This paper proposes a new deep learning scheme for modeling and identification applications.The suggested approach is based on non-singleton type-3 fuzzy logic systems(NT3-FLSs)that can support measurement errors and high-level uncertainties.Besides the rule optimization,the antecedent parameters and the level of secondary memberships are also adjusted by the suggested square root cubature Kalmanfilter(SCKF).In the learn-ing algorithm,the presented NT3-FLSs are deeply learned,and their nonlinear structure is preserved.The designed scheme is applied for modeling carbon cap-ture and sequestration problem using real-world data sets.Through various ana-lyses and comparisons,the better efficiency of the proposed fuzzy modeling scheme is verified.The main advantages of the suggested approach include better resistance against uncertainties,deep learning,and good convergence.展开更多
Paraconsistent logic (PL) is a non-classical logic that accepts contradiction in its foundations. It can be represented in the form of paraconsistent annotated logic with annotation of two values (PAL2v). When used to...Paraconsistent logic (PL) is a non-classical logic that accepts contradiction in its foundations. It can be represented in the form of paraconsistent annotated logic with annotation of two values (PAL2v). When used to model quantum phenomena, PAL2v is called paraquantum logic (PQL). In this work, the concept of PQL is applied to create a logical model presenting the fundamental principles of quantum mechanics that support particle-wave theory. This study uses the well-known Young’s double-slit experiment, wherein quantum phenomena appear when a monochromatic light beam passes through the two slits. We focused on a reference point located between the slits, where we observed the effects of two types of wave interferences in a region defined as a two-wave region (2W region). Considering that the effect in this 2W region is very similar to that studied by Huygens, we adopt a paraquantum logical model in which a particle (or quantum) is represented by two wave functions. The two wave functions result in four State Vectors (Ket, Bra,,) in the PQL Lattice that express the symmetry and the entanglement of Quantum Mechanics. The constructed model adapts well to the quantum phenomena, is strongly consistent, and can be considered as an innovative form of analysis in the field of quantum mechanics. Based on this model, we present in two parts (Part I and Part II) the comparative analysis of values found in SchrÖdinger’s equation and probabilistic models of wave-particle theory using Bonferroni inequality.展开更多
Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact...Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact developing level index of EDA due to its indicator system’s complexity and disequilibrium. In this paper, a framework of indicators was set to evaluate, monitor and examine the comprehensive level of ecological demonstration area (EDA). Fuzzy logic method was used to develop the fuzzy comprehensive evaluation model (FCEM), which could quantitatively reveal the developing degree of EDA. Huiji District of Zhengzhou, Henan Province, one of the 9th group of national EDAs, was taken as a study case. The framework of FCEM for the integrated system included six subsystems, which were social, economic, ecological, rural, urban and accessorial description ones. The research would be valuable in the comprehensive quantitative evaluation of EDA and would work as a guide in the construction practices of Huiji ecological demonstration area.展开更多
Numerical simulation modeling is a hotspot in the geological engineering computing field.Taking a fast Langrangian analysis of continua in 3 dimensions(FLAC) numerical modeling on computing the geo-deformation informa...Numerical simulation modeling is a hotspot in the geological engineering computing field.Taking a fast Langrangian analysis of continua in 3 dimensions(FLAC) numerical modeling on computing the geo-deformation information caused by the mining subsidence in a coalmine for example,a new GIS-Excel modeling method is proposed to build geologic strata within the simulation range combined with the coal-seam dip angle of the underground mining working-planes.First of all,the coal-seam model of the numerical computing is built by using the geographic information system(GIS) according to the stripe-through principle and the calculating formula on the size of the model blocks in the paper defined,then the FLAC^(3D) numerical computing model of all geologic strata within the simulation range is also built based on the calculating formula of thickness of each stratum and the Excel fast computing advantages.The GIS-Excel method is good at the higher modeling accuracy,seldom making mistakes and consuming less time.The reliability and validity of the method is verified well by its practical applications in the coalmine area.展开更多
The Kinta Valley is an area of karst in the north-western part of Peninsular Malaysia. Over 30 years of uncontrolled land use and development has led to significant changes in topography and geomorphology, such as the...The Kinta Valley is an area of karst in the north-western part of Peninsular Malaysia. Over 30 years of uncontrolled land use and development has led to significant changes in topography and geomorphology, such as the appearance of sinkholes. In this paper, geospatial techniques were utilized to the task of evaluating sinkholes susceptibility map using a spatial multi criteria evaluation approach (SMCE). Sinkhole location and a spatial database were applied to calculate eight inherent causative factors for limestone instability namely: lithology, structure (lineament), soil cover, slope, land use mining, urban area features, ponds and rivers. The preparation of the sinkhole geohazard map involved summing the weighted values for each hazard element, which permits the construction of geohazard model;the results of the analysis were validated using the previous actual sinkholes locations in the study area. The spatial distribution of sinkholes occurrence, urban development, faults distribution and ex-mining ponds are factors that are directly responsible for all sinkholes subsidence hazards. Further, the resulting geo-hazard map shows that 93% of recent sinkholes occur in areas where the model flags as “high” and “very high” potential hazard, located in the urbanized part of the valley, while less-developed areas to the west and southwest suffered less sinkhole development. The results can be used for hazard prevention and land-use planning.展开更多
In this work, we make a representation of non-relativistic quantum theory based on foundations of paraconsistent annotated logic (PAL), a propositional and evidential logic with an associated lattice FOUR. We use the ...In this work, we make a representation of non-relativistic quantum theory based on foundations of paraconsistent annotated logic (PAL), a propositional and evidential logic with an associated lattice FOUR. We use the PAL version with annotation of two values (PAL2v), named paraquantum logic (PQL), where the evidence signals are normalized values and the intensities of the inconsistencies are represented by degrees of contradiction. Quantum mechanics is represented through mapping on the interlaced bilattices where this logical formalization allows annotation of two values in the format of degrees of evidence of probability. The Bernoulli probability distribution is used to establish probabilistic logical states that identify the superposition of states and quantum entanglement with the equations and determine the state vectors located inside the interlaced Bilattice. In the proposed logical probabilistic paraquantum logic model (pPQL Model), we introduce the operation of logical conflation into interlaced bilattice. We verify that in the pPQL Model, the operation of logical conflation is responsible for providing a suitable model for various phenomena of quantum mechanics, mainly the quantum entanglement. The results obtained from the entanglement equations demonstrate the formalization and completeness of paraquantum logic that allows for interpretations of similar phenomena of quantum mechanics, including EPR paradox and the wave-particle theory.展开更多
Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic...Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic system, with complexity science as the method for researching the operation law of the capital market, this paper constructs a nonlinear logical model to analyze the applied realm, focal point and interrelationship of such theories as dissipative structure theory, chaos theory, fractal theory, synergetics theory, catastrophe theory and scale theory, and summarizes and discusses the achievements and problems of each theory. Based on the research, the paper foretells the developing direction of complexity science in a capital market.展开更多
The control problems associated with vehicle height adjustment of electronically controlled air suspension (ECAS) still pose theoretical challenges for researchers, which manifest themselves in the publications on t...The control problems associated with vehicle height adjustment of electronically controlled air suspension (ECAS) still pose theoretical challenges for researchers, which manifest themselves in the publications on this subject over the last years. This paper deals with modeling and control of a vehicle height adjustment system for ECAS, which is an example of a hybrid dynamical system due to the coexistence and coupling of continuous variables and discrete events. A mixed logical dynamical (MLD) modeling approach is chosen for capturing enough details of the vehicle height adjustment process. The hybrid dynamic model is constructed on the basis of some assumptions and piecewise linear approximation for components nonlinearities. Then, the on-off statuses of solenoid valves and the piecewise approximation process are described by propositional logic, and the hybrid system is transformed into the set of linear mixed-integer equalities and inequalities, denoted as MLD model, automatically by HYSDEL. Using this model, a hybrid model predictive controller (HMPC) is tuned based on online mixed-integer quadratic optimization (MIQP). Two different scenarios are considered in the simulation, whose results verify the height adjustment effectiveness of the proposed approach. Explicit solutions of the controller are computed to control the vehicle height adjustment system in realtime using an offline multi-parametric programming technology (MPT), thus convert the controller into an equivalent explicit piecewise affine form. Finally, bench experiments for vehicle height lifting, holding and lowering procedures are conducted, which demonstrate that the HMPC can adjust the vehicle height by controlling the on-off statuses of solenoid valves directly. This research proposes a new modeling and control method for vehicle height adjustment of ECAS, which leads to a closed-loop system with favorable dynamical properties.展开更多
The instantaneous reversible soft logic upset induced by the electromagnetic interference(EMI) severely affects the performances and reliabilities of complementary metal–oxide–semiconductor(CMOS) inverters. This...The instantaneous reversible soft logic upset induced by the electromagnetic interference(EMI) severely affects the performances and reliabilities of complementary metal–oxide–semiconductor(CMOS) inverters. This kind of soft logic upset is investigated in theory and simulation. Physics-based analysis is performed, and the result shows that the upset is caused by the non-equilibrium carrier accumulation in channels, which can ultimately lead to an abnormal turn-on of specific metal–oxide–semiconductor field-effect transistor(MOSFET) in CMOS inverter. Then a soft logic upset simulation model is introduced. Using this model, analysis of upset characteristic reveals an increasing susceptibility under higher injection powers, which accords well with experimental results, and the influences of EMI frequency and device size are studied respectively using the same model. The research indicates that in a range from L waveband to C waveband, lower interference frequency and smaller device size are more likely to be affected by the soft logic upset.展开更多
基金funded by the National Science Foundation of China(Grant No.42161043)the improvement plan of scientific research ability in Northwest Normal University(NWNU-LKQN2020-16).
文摘The implementation of Ecological Function Protection Zone(EFPZ)policy is significant for the ecological restoration and conservation of soil and water in the territory space.This manuscript analyzed and quantified the impact of EFPZ on the regional water conservation function,based on land use data from 2005,2008,2010,2015 and 2020,by conducting a counterfactual simulation along with the GeoSOS-FLUS model and the InVEST model.The results demonstrate that the delineation of EFPZ can significantly influence the water conservation.(1)From 2010 to 2020,as the EFPZ was implemented,the water conservation in the study area was increasing year by year,with a growth rate of 0.03×10^(8) m^(3)∙a^(-1).On the other hand,the simulated water conservation capacity without the implementation of EFPZ decreased year by year,with a decrease rate of 0.01×10^(8) m^(3)∙a^(-1).(2)The EFPZ accounts for only 23%of the total area,but the contribution rate of water conservation reaches 80%.The actual values of water conservation and average water yield per unit pixel in the EFPZ show an increasing trend both internally and externally,while the counterfactual simulation values exhibit a decreasing trend.(3)The water conservation is much higher within the EFPZ than without EFPZ.The implementation of EFPZ has a significant effect on the improvement of the water conservation capacity in Maqu EFPZ and Yellow River Source EFPZ.The protection effectiveness should be enhanced in Qilian Mountain EFPZ and afforestation activities need to be carefully considered in Loess Plateau EFPZ.
基金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 Major Science and Technology Projects of Gansu Province(Grant No.20ZD7GF011)Gansu Province Higher Education Industry Support Plan Project:Research on the Collaborative Operation of Solar Thermal Storage+Wind-Solar Hybrid Power Generation--Based on“Integrated Energy Demonstration of Wind-Solar Energy Storage in Gansu Province”(Project No.2022CYZC-34).
文摘Parallel connection of multiple inverters is an important means to solve the expansion,reserve and protection of distributed power generation,such as photovoltaics.In view of the shortcomings of traditional droop control methods such as weak anti-interference ability,low tracking accuracy of inverter output voltage and serious circulation phenomenon,a finite control set model predictive control(FCS-MPC)strategy of microgrid multiinverter parallel system based on Mixed Logical Dynamical(MLD)modeling is proposed.Firstly,the MLD modeling method is introduced logical variables,combining discrete events and continuous events to form an overall differential equation,which makes the modeling more accurate.Then a predictive controller is designed based on the model,and constraints are added to the objective function,which can not only solve the real-time changes of the control system by online optimization,but also effectively obtain a higher tracking accuracy of the inverter output voltage and lower total harmonic distortion rate(Total Harmonics Distortion,THD);and suppress the circulating current between the inverters,to obtain a good dynamic response.Finally,the simulation is carried out onMATLAB/Simulink to verify the correctness of the model and the rationality of the proposed strategy.This paper aims to provide guidance for the design and optimal control of multi-inverter parallel systems.
基金This work was supported by National Natural Science Foundation of China(No.60276037).
文摘Objective To correct the nonlinear error of sensor output,a new approach to sensor inverse modeling based on Back-Propagation Fuzzy Logical System(BP FS) is presented.Methods The BP FS is a computationally efficient nonlinear universal approximator,which is capable of implementing complex nonlinear mapping from its input pattern space to the output with fast convergence speed.Results The neuro-fuzzy hybrid system,i.e.BP FS,is then applied to construct nonlinear inverse model of pressure sensor.The experimental results show that the proposed inverse modeling method automatically compensates the associated nonlinear error in pressure estimation,and thus the performance of pressure sensor is significantly improved.Conclusion The proposed method can be widely used in nonlinearity correction of various kinds of sensors to compensate the effects of nonlinearity and temperature on sensor output.
基金Supported by the National Natural Science Foundation of China (No.60404018) and the State Key Development Program for Basic Research of China (No.2002CB312200).
文摘A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.
基金This project is supported by National Natural Science Foundation of China (No. 50405037)Provincial Natural Science Foundation of Zhejiang, China (No. Y105256)Specialized Research Fund for the Doctoral Program of Higher Education, China (No. 20040335060)
文摘Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.
基金supported by the National 973 Fundamental Research Program of China (No.2005CB724102,2006CB705404)
文摘The traditional fuzzy logic system (FLS) can only model and control the process in two-dimensional nature. Many of real-world systems are of multidimensional features, such as, thermal and fluid processes with spatiotemporal dynamics, biological systems, or decision-making processes that contain stochastic and imprecise uncertainties. These types of systems are difficult for the traditional FLS to model and control because they require a third dimension for spatial or probabilistic information. The type-2 fuzzy set provides the possibility to develop a three-dimensional fuzzy logic system for modeling and controlling these processes in three-dimensional nature.
基金supported by the project of the National Social Science Fundation(21BJL052,20BJY020,20BJL127,19BJY090)the 2018 Fujian Social Science Planning Project(FJ2018B067)The Planning Fund Project of Humanities and Social Sciences Research of the Ministry of Education in 2019(19YJA790102),The grant has been received by Aoqi Xu.
文摘In many problems,to analyze the process/metabolism behavior,a mod-el of the system is identified.The main gap is the weakness of current methods vs.noisy environments.The primary objective of this study is to present a more robust method against uncertainties.This paper proposes a new deep learning scheme for modeling and identification applications.The suggested approach is based on non-singleton type-3 fuzzy logic systems(NT3-FLSs)that can support measurement errors and high-level uncertainties.Besides the rule optimization,the antecedent parameters and the level of secondary memberships are also adjusted by the suggested square root cubature Kalmanfilter(SCKF).In the learn-ing algorithm,the presented NT3-FLSs are deeply learned,and their nonlinear structure is preserved.The designed scheme is applied for modeling carbon cap-ture and sequestration problem using real-world data sets.Through various ana-lyses and comparisons,the better efficiency of the proposed fuzzy modeling scheme is verified.The main advantages of the suggested approach include better resistance against uncertainties,deep learning,and good convergence.
文摘Paraconsistent logic (PL) is a non-classical logic that accepts contradiction in its foundations. It can be represented in the form of paraconsistent annotated logic with annotation of two values (PAL2v). When used to model quantum phenomena, PAL2v is called paraquantum logic (PQL). In this work, the concept of PQL is applied to create a logical model presenting the fundamental principles of quantum mechanics that support particle-wave theory. This study uses the well-known Young’s double-slit experiment, wherein quantum phenomena appear when a monochromatic light beam passes through the two slits. We focused on a reference point located between the slits, where we observed the effects of two types of wave interferences in a region defined as a two-wave region (2W region). Considering that the effect in this 2W region is very similar to that studied by Huygens, we adopt a paraquantum logical model in which a particle (or quantum) is represented by two wave functions. The two wave functions result in four State Vectors (Ket, Bra,,) in the PQL Lattice that express the symmetry and the entanglement of Quantum Mechanics. The constructed model adapts well to the quantum phenomena, is strongly consistent, and can be considered as an innovative form of analysis in the field of quantum mechanics. Based on this model, we present in two parts (Part I and Part II) the comparative analysis of values found in SchrÖdinger’s equation and probabilistic models of wave-particle theory using Bonferroni inequality.
基金U nder the auspices of the M ajor State B asic R esearch D evelopm ent Program of C hina (973 Program ) (N o.2005C B 724205)
文摘Ecological demonstration area (EDA) is an authorized nomination, which should be assessed from several aspects, including ecological, social, environmental, economic ones and so on. It is difficult to advance an exact developing level index of EDA due to its indicator system’s complexity and disequilibrium. In this paper, a framework of indicators was set to evaluate, monitor and examine the comprehensive level of ecological demonstration area (EDA). Fuzzy logic method was used to develop the fuzzy comprehensive evaluation model (FCEM), which could quantitatively reveal the developing degree of EDA. Huiji District of Zhengzhou, Henan Province, one of the 9th group of national EDAs, was taken as a study case. The framework of FCEM for the integrated system included six subsystems, which were social, economic, ecological, rural, urban and accessorial description ones. The research would be valuable in the comprehensive quantitative evaluation of EDA and would work as a guide in the construction practices of Huiji ecological demonstration area.
基金Supported by the National Natural Science Foundation of China(No.41271436)
文摘Numerical simulation modeling is a hotspot in the geological engineering computing field.Taking a fast Langrangian analysis of continua in 3 dimensions(FLAC) numerical modeling on computing the geo-deformation information caused by the mining subsidence in a coalmine for example,a new GIS-Excel modeling method is proposed to build geologic strata within the simulation range combined with the coal-seam dip angle of the underground mining working-planes.First of all,the coal-seam model of the numerical computing is built by using the geographic information system(GIS) according to the stripe-through principle and the calculating formula on the size of the model blocks in the paper defined,then the FLAC^(3D) numerical computing model of all geologic strata within the simulation range is also built based on the calculating formula of thickness of each stratum and the Excel fast computing advantages.The GIS-Excel method is good at the higher modeling accuracy,seldom making mistakes and consuming less time.The reliability and validity of the method is verified well by its practical applications in the coalmine area.
文摘The Kinta Valley is an area of karst in the north-western part of Peninsular Malaysia. Over 30 years of uncontrolled land use and development has led to significant changes in topography and geomorphology, such as the appearance of sinkholes. In this paper, geospatial techniques were utilized to the task of evaluating sinkholes susceptibility map using a spatial multi criteria evaluation approach (SMCE). Sinkhole location and a spatial database were applied to calculate eight inherent causative factors for limestone instability namely: lithology, structure (lineament), soil cover, slope, land use mining, urban area features, ponds and rivers. The preparation of the sinkhole geohazard map involved summing the weighted values for each hazard element, which permits the construction of geohazard model;the results of the analysis were validated using the previous actual sinkholes locations in the study area. The spatial distribution of sinkholes occurrence, urban development, faults distribution and ex-mining ponds are factors that are directly responsible for all sinkholes subsidence hazards. Further, the resulting geo-hazard map shows that 93% of recent sinkholes occur in areas where the model flags as “high” and “very high” potential hazard, located in the urbanized part of the valley, while less-developed areas to the west and southwest suffered less sinkhole development. The results can be used for hazard prevention and land-use planning.
文摘In this work, we make a representation of non-relativistic quantum theory based on foundations of paraconsistent annotated logic (PAL), a propositional and evidential logic with an associated lattice FOUR. We use the PAL version with annotation of two values (PAL2v), named paraquantum logic (PQL), where the evidence signals are normalized values and the intensities of the inconsistencies are represented by degrees of contradiction. Quantum mechanics is represented through mapping on the interlaced bilattices where this logical formalization allows annotation of two values in the format of degrees of evidence of probability. The Bernoulli probability distribution is used to establish probabilistic logical states that identify the superposition of states and quantum entanglement with the equations and determine the state vectors located inside the interlaced Bilattice. In the proposed logical probabilistic paraquantum logic model (pPQL Model), we introduce the operation of logical conflation into interlaced bilattice. We verify that in the pPQL Model, the operation of logical conflation is responsible for providing a suitable model for various phenomena of quantum mechanics, mainly the quantum entanglement. The results obtained from the entanglement equations demonstrate the formalization and completeness of paraquantum logic that allows for interpretations of similar phenomena of quantum mechanics, including EPR paradox and the wave-particle theory.
基金partially supported by the National Key Research and Development Program of China [grant number 2016YFA0600203]the National Natural Science Foundation of China [grant number 41575100]
文摘Analyzes the shortcomings of the classic capital market theories based on EMH and discloses the complexity essence of the capital market. Considering the capital market a complicated, interactive and adaptable dynamic system, with complexity science as the method for researching the operation law of the capital market, this paper constructs a nonlinear logical model to analyze the applied realm, focal point and interrelationship of such theories as dissipative structure theory, chaos theory, fractal theory, synergetics theory, catastrophe theory and scale theory, and summarizes and discusses the achievements and problems of each theory. Based on the research, the paper foretells the developing direction of complexity science in a capital market.
基金Supported by National Natural Science Foundation of China(Grant No.51375212)Priority Academic Program Development(PAPD)of Jiangsu Higher Education Institutions of China+1 种基金Research Fund for the Doctoral Program of Higher Education of China(Grant No.20133227130001)China Postdoctoral Science Foundation(Grant No.2014M551518)
文摘The control problems associated with vehicle height adjustment of electronically controlled air suspension (ECAS) still pose theoretical challenges for researchers, which manifest themselves in the publications on this subject over the last years. This paper deals with modeling and control of a vehicle height adjustment system for ECAS, which is an example of a hybrid dynamical system due to the coexistence and coupling of continuous variables and discrete events. A mixed logical dynamical (MLD) modeling approach is chosen for capturing enough details of the vehicle height adjustment process. The hybrid dynamic model is constructed on the basis of some assumptions and piecewise linear approximation for components nonlinearities. Then, the on-off statuses of solenoid valves and the piecewise approximation process are described by propositional logic, and the hybrid system is transformed into the set of linear mixed-integer equalities and inequalities, denoted as MLD model, automatically by HYSDEL. Using this model, a hybrid model predictive controller (HMPC) is tuned based on online mixed-integer quadratic optimization (MIQP). Two different scenarios are considered in the simulation, whose results verify the height adjustment effectiveness of the proposed approach. Explicit solutions of the controller are computed to control the vehicle height adjustment system in realtime using an offline multi-parametric programming technology (MPT), thus convert the controller into an equivalent explicit piecewise affine form. Finally, bench experiments for vehicle height lifting, holding and lowering procedures are conducted, which demonstrate that the HMPC can adjust the vehicle height by controlling the on-off statuses of solenoid valves directly. This research proposes a new modeling and control method for vehicle height adjustment of ECAS, which leads to a closed-loop system with favorable dynamical properties.
基金supported by the National Natural Science Foundation of China(Grant No.60776034)the Open Fund of Key Laboratory of Complex Electromagnetic Environment Science and Technology,China Academy of Engineering Physics(Grant No.2015-0214.XY.K)
文摘The instantaneous reversible soft logic upset induced by the electromagnetic interference(EMI) severely affects the performances and reliabilities of complementary metal–oxide–semiconductor(CMOS) inverters. This kind of soft logic upset is investigated in theory and simulation. Physics-based analysis is performed, and the result shows that the upset is caused by the non-equilibrium carrier accumulation in channels, which can ultimately lead to an abnormal turn-on of specific metal–oxide–semiconductor field-effect transistor(MOSFET) in CMOS inverter. Then a soft logic upset simulation model is introduced. Using this model, analysis of upset characteristic reveals an increasing susceptibility under higher injection powers, which accords well with experimental results, and the influences of EMI frequency and device size are studied respectively using the same model. The research indicates that in a range from L waveband to C waveband, lower interference frequency and smaller device size are more likely to be affected by the soft logic upset.