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.展开更多
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.展开更多
It is common for wind turbines to be installed in remote locations on land or offshore, leading to difficulties in routine inspection and maintenance. Further, wind turbines in these locations are often subject to har...It is common for wind turbines to be installed in remote locations on land or offshore, leading to difficulties in routine inspection and maintenance. Further, wind turbines in these locations are often subject to harsh operating conditions. These challenges mean there is a requirement for a high degree of maintenance. The data generated by monitoring systems can be used to obtain models of wind turbines operating under different conditions, and hence predict output signals based on known inputs. A model-based condition monitoring system can be implemented by comparing output data obtained from operational turbines with those predicted by the models, so as to detect changes that could be due to the presence of faults. This paper discusses several techniques for model-based condition monitoring systems: linear models, artificial neural networks, and state dependent parameter "pseudo" transfer functions.The models are identified using supervisory control and data acquisition(SCADA) data acquired from an operational wind firm. It is found that the multiple-input single-output state dependent parameter method outperforms both multivariate linear and artificial neural network-based approaches. Subsequently, state dependent parameter models are used to develop adaptive thresholds for critical output signals. In order to provide an early warning of a developing fault, it is necessary to interpret the amount by which the threshold is exceeded, together with the period of time over which this occurs. In this regard, a fuzzy logic-based inference system is proposed and demonstrated to be practically feasible.展开更多
Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is ...Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.展开更多
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 eomplexity science in a capital market.展开更多
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.展开更多
A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models ...A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events （elementary causes）, which can lead to a root event （a particular fault）. Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.展开更多
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.展开更多
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.展开更多
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.展开更多
Multiplicity of the chemical, biological, electrochemical and operational variables and nonlinear behavior of metal extraction in bioleaching environments complicate the mathematical modeling of these systems. This re...Multiplicity of the chemical, biological, electrochemical and operational variables and nonlinear behavior of metal extraction in bioleaching environments complicate the mathematical modeling of these systems. This research was done to predict copper and iron recovery from a copper flotation concentrate in a stirred tank bioreactor using a fuzzy logic model. Experiments were carried out in the presence of a mixed culture of mesophilic bacteria at 35° C, and a mixed culture of moderately thermophilic bacteria at 50° C. Input variables were method of operation (bioleaching or electrobioleaching), the type of bacteria and time (day), while the recoveries of copper and iron were the outputs. A relationship was developed between stated inputs and the outputs by means of “if-then” rules. The resulting fuzzy model showed a satisfactory prediction of the copper and iron extraction and had a good correlation of experimental data with R-squared more than 0.97. The results of this study suggested that fuzzy logic provided a powerful and reliable tool for predicting the nonlinear and time variant bioleaching processes.展开更多
As shale gas development is advancing continuously and rapidly,how to deeply analyze the production performance of shale gas wells and evaluate their production characteristics has become an urgent problem in the eval...As shale gas development is advancing continuously and rapidly,how to deeply analyze the production performance of shale gas wells and evaluate their production characteristics has become an urgent problem in the evaluation of shale gas productivity construction zone,the formulation of new area development scheme and the preparation of planning program.Some scholars have applied the Logical Growth Model(LGM)in the production decline analysis of unconventional gas wells,but the influences of shale gas reservoir and development characteristics are not taken into consideration.Therefore,this method still has some space of further development and improvement.In this paper,a Logistic Growth Model considering shale gas reservoirs and development characteristics(RB-LGM)was established based on the previous research results.Then,it was applied to the shale gas development wells in the Changning Block of the Sichuan Basin to analyze their production performance,and the analysis results were compared with thefitting and prediction results provided by the Arps hyperbolic decline model.Finally,the optimal well spacing of horizontal wells was determined using RB-LGM.And the following research results were obtained.First,shale gas is produced by deploying horizontal wells in the clustered pattern in a large number,so on the basis of LGM,RB-LGM takes shale gas reservoir parameters(thickness,shale density,gas content)and development parameters(horizontal section length,well spacing and recovery factor)as the logic control factors of horizontal-well gas productionfitting,so that the production prediction result of gas well is more reasonable.Second,RB-LGM can not only wellfit the early production data of gas well,but ensure the convergence of the later prediction results under the control of logical conditions.Third,RB-LGM takes into account the influence of shale gas reservoir and development characteristics so as to optimize the horizontal well pattern and analyze the change trend of reservoir parameters in the development area through data inversion.展开更多
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.展开更多
In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gat...In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gates have the same propagation delay. The main advantages of this method over other techniques are its accuracy, as it is deterministic and it requires less computational effort compared to exhaustive simulation approaches. The methodology uses the Logic Pictures concept for obtaining the nodes’ toggle rates. The proposed method is applied to well-known circuits and the results are compared to exhaustive simulation and Monte Carlosimulation methods.展开更多
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 potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic ...The potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic belt in the future. Reliable seismic hazard assessment is a critical element in development of policy for seismic hazard mitigation and risk reduction. In this study, we conduct probabilistic seismic hazard assessment using three different seismogenic source models(smoothed gridded, linear, and areal sources)based on the complicated tectonics of the study area. Two sets of ground motion prediction equations are combined in a standard logic tree by taking into account the epistemic uncertainties in hazard estimation. Long-term slip rates and paleoseismic records are also incorporated in the linear source model. Peak ground acceleration and spectral acceleration at 0.2 s and 1.0 s for 2% and 10%probabilities of exceedance in 50 years are estimated. The resulting maps show significant spatial variation in seismic hazard levels. The region of the Lesser Himalaya is found to have high seismic hazard potential. Along the Main Himalayan Thrust from east to west beneath the Main Central Thrust, large earthquakes have occurred regularly in history; hazard values in this region are found to be higher than those shown on existing hazard maps. In essence, the combination of long span earthquake catalogs and multiple seismogenic source models gives improved seismic hazard constraints in Nepal.展开更多
基金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 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 UK Engineering and Physical Sciences Research Council(EPSRC)(No.EP/I037326/1)
文摘It is common for wind turbines to be installed in remote locations on land or offshore, leading to difficulties in routine inspection and maintenance. Further, wind turbines in these locations are often subject to harsh operating conditions. These challenges mean there is a requirement for a high degree of maintenance. The data generated by monitoring systems can be used to obtain models of wind turbines operating under different conditions, and hence predict output signals based on known inputs. A model-based condition monitoring system can be implemented by comparing output data obtained from operational turbines with those predicted by the models, so as to detect changes that could be due to the presence of faults. This paper discusses several techniques for model-based condition monitoring systems: linear models, artificial neural networks, and state dependent parameter "pseudo" transfer functions.The models are identified using supervisory control and data acquisition(SCADA) data acquired from an operational wind firm. It is found that the multiple-input single-output state dependent parameter method outperforms both multivariate linear and artificial neural network-based approaches. Subsequently, state dependent parameter models are used to develop adaptive thresholds for critical output signals. In order to provide an early warning of a developing fault, it is necessary to interpret the amount by which the threshold is exceeded, together with the period of time over which this occurs. In this regard, a fuzzy logic-based inference system is proposed and demonstrated to be practically feasible.
基金supported by National Natural Science Foundation of China under Grant No. 61003079
文摘Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives in detecting these complex attack patterns.To solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks.On this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic.Compared with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct attacks.The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.
文摘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 eomplexity science in a capital market.
基金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 Hi-tech Research and Development Program of China (No.2006AA420203)
文摘A combined logic- and model-based approach to fault detection and identification （FDI） in a suction foot control system of a wall-climbing robot is presented in this paper. For the control system, some fault models are derived by kinematics analysis. Moreover, the logic relations of the system states are known in advance. First, a fault tree is used to analyze the system by evaluating the basic events （elementary causes）, which can lead to a root event （a particular fault）. Then, a multiple-model adaptive estimation algorithm is used to detect and identify the model-known faults. Finally, based on the system states of the robot and the results of the estimation, the model-unknown faults are also identified using logical reasoning. Experiments show that the proposed approach based on the combination of logical reasoning and model estimating is efficient in the FDI of the robot.
基金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.
基金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.
文摘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.
文摘Multiplicity of the chemical, biological, electrochemical and operational variables and nonlinear behavior of metal extraction in bioleaching environments complicate the mathematical modeling of these systems. This research was done to predict copper and iron recovery from a copper flotation concentrate in a stirred tank bioreactor using a fuzzy logic model. Experiments were carried out in the presence of a mixed culture of mesophilic bacteria at 35° C, and a mixed culture of moderately thermophilic bacteria at 50° C. Input variables were method of operation (bioleaching or electrobioleaching), the type of bacteria and time (day), while the recoveries of copper and iron were the outputs. A relationship was developed between stated inputs and the outputs by means of “if-then” rules. The resulting fuzzy model showed a satisfactory prediction of the copper and iron extraction and had a good correlation of experimental data with R-squared more than 0.97. The results of this study suggested that fuzzy logic provided a powerful and reliable tool for predicting the nonlinear and time variant bioleaching processes.
基金Project supported by the National Major Science and Technology Project“Evaluation of industrial shale gas productivity construction zone and research on main factors controlling high yield”(No.2017ZX05035-004)。
文摘As shale gas development is advancing continuously and rapidly,how to deeply analyze the production performance of shale gas wells and evaluate their production characteristics has become an urgent problem in the evaluation of shale gas productivity construction zone,the formulation of new area development scheme and the preparation of planning program.Some scholars have applied the Logical Growth Model(LGM)in the production decline analysis of unconventional gas wells,but the influences of shale gas reservoir and development characteristics are not taken into consideration.Therefore,this method still has some space of further development and improvement.In this paper,a Logistic Growth Model considering shale gas reservoirs and development characteristics(RB-LGM)was established based on the previous research results.Then,it was applied to the shale gas development wells in the Changning Block of the Sichuan Basin to analyze their production performance,and the analysis results were compared with thefitting and prediction results provided by the Arps hyperbolic decline model.Finally,the optimal well spacing of horizontal wells was determined using RB-LGM.And the following research results were obtained.First,shale gas is produced by deploying horizontal wells in the clustered pattern in a large number,so on the basis of LGM,RB-LGM takes shale gas reservoir parameters(thickness,shale density,gas content)and development parameters(horizontal section length,well spacing and recovery factor)as the logic control factors of horizontal-well gas productionfitting,so that the production prediction result of gas well is more reasonable.Second,RB-LGM can not only wellfit the early production data of gas well,but ensure the convergence of the later prediction results under the control of logical conditions.Third,RB-LGM takes into account the influence of shale gas reservoir and development characteristics so as to optimize the horizontal well pattern and analyze the change trend of reservoir parameters in the development area through data inversion.
文摘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.
文摘In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gates have the same propagation delay. The main advantages of this method over other techniques are its accuracy, as it is deterministic and it requires less computational effort compared to exhaustive simulation approaches. The methodology uses the Logic Pictures concept for obtaining the nodes’ toggle rates. The proposed method is applied to well-known circuits and the results are compared to exhaustive simulation and Monte Carlosimulation methods.
基金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 grants of the National Nature Science Foundation of China (No. 41761144076, 41490611)the collaborative research program of the Disaster Prevention Research Institute of Kyoto University (No. 29W-03)+2 种基金the COX visiting professor fellowship of the Stanford University to L.B.the Chinese Academy of Sciences (CAS)The World Academy of Sciences (TWAS) President’s Ph D Fellowship to M.M.R
文摘The potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic belt in the future. Reliable seismic hazard assessment is a critical element in development of policy for seismic hazard mitigation and risk reduction. In this study, we conduct probabilistic seismic hazard assessment using three different seismogenic source models(smoothed gridded, linear, and areal sources)based on the complicated tectonics of the study area. Two sets of ground motion prediction equations are combined in a standard logic tree by taking into account the epistemic uncertainties in hazard estimation. Long-term slip rates and paleoseismic records are also incorporated in the linear source model. Peak ground acceleration and spectral acceleration at 0.2 s and 1.0 s for 2% and 10%probabilities of exceedance in 50 years are estimated. The resulting maps show significant spatial variation in seismic hazard levels. The region of the Lesser Himalaya is found to have high seismic hazard potential. Along the Main Himalayan Thrust from east to west beneath the Main Central Thrust, large earthquakes have occurred regularly in history; hazard values in this region are found to be higher than those shown on existing hazard maps. In essence, the combination of long span earthquake catalogs and multiple seismogenic source models gives improved seismic hazard constraints in Nepal.
