In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
A shape hardening function is developed that improves the predictive capabilities of the generalized bounding surface model for cohesive soils, especially when applied to overconsolidated specimens. This improvement i...A shape hardening function is developed that improves the predictive capabilities of the generalized bounding surface model for cohesive soils, especially when applied to overconsolidated specimens. This improvement is realized without any changes to the simple elliptical shape of the bounding surface, and actually reduces the number of parameters associated with the model by one.展开更多
Two non-probabilistic, set-theoretical methods for determining the maximum and minimum impulsive responses of structures to uncertain-but-bounded impulses are presented. They are, respectively, based on the theories o...Two non-probabilistic, set-theoretical methods for determining the maximum and minimum impulsive responses of structures to uncertain-but-bounded impulses are presented. They are, respectively, based on the theories of interval mathematics and convex models. The uncertain-but-bounded impulses are assumed to be a convex set, hyper-rectangle or ellipsoid. For the two non-probabilistic methods, less prior information is required about the uncertain nature of impulses than the probabilistic model. Comparisons between the interval analysis method and the convex model, which are developed as an anti-optimization problem of finding the least favorable impulsive response and the most favorable impulsive response, are made through mathematical analyses and numerical calculations. The results of this study indicate that under the condition of the interval vector being determined from an ellipsoid containing the uncertain impulses, the width of the impulsive responses predicted by the interval analysis method is larger than that by the convex model; under the condition of the ellipsoid being determined from an interval vector containing the uncertain impulses, the width of the interval impulsive responses obtained by the interval analysis method is smaller than that by the convex model.展开更多
The Shuiyindong deposit is one of the largest (more than 100 tonnes of Au) and highest grade (more than 7×10-6-10×10-6), strata-bound Carlintype gold deposits in southwestern Guizhou Province, China. The dep...The Shuiyindong deposit is one of the largest (more than 100 tonnes of Au) and highest grade (more than 7×10-6-10×10-6), strata-bound Carlintype gold deposits in southwestern Guizhou Province, China. The deposit is controlled by both structure and favorable lithology. It is situated near the axis of the striking Huijiabao anticline and is hosted in bioclastic limestone of the Permian Longtan Formation. Gold mineralization occurred under low temperature with Th of 220℃± and is closely associated with decarbonation, silicification, sulfidation and dolomitization. The deposit has a characteristic elemental assemblage of Au-As-Hg-Tl. Studies of geochemistry and isotope compositions indicated that the ore-bearing materials and fluids of the gold deposit mainly originated from a plutonic source, and possess a mixing feature with the strata matter during transportation from mantle to crust. Fluid inclusions in vein quartz from the gold deposit are rich in volatile flux, indicating that metallogenic fluid is an overpres-sured one. The activity and geothermal state of the Earth's crust in the long period of time are favorable for the formation of overpressured fluids in a large area, and extensive structures would drive the fluids into ore-forming sys-tem and make gold deposits formed. The complexity of structural movement in the upper crust of southwestern Guizhou Province resulted in complicated gold mineralization. Through metallogenic prognosis and exploration, the proven reserves of the deposit increased by tens of tonnes of Au and the deposit has become a super-large strata-bound Carlin-type gold deposit.展开更多
We investigate how the driving field affects the bound states in the one-dimensional two-particle Bose-Hubbard model with an impurity. In the high-frequency regime, compared with the static lattice [Phys. Rev. Lett. 1...We investigate how the driving field affects the bound states in the one-dimensional two-particle Bose-Hubbard model with an impurity. In the high-frequency regime, compared with the static lattice [Phys. Rev. Lett. 109 （2012） 116405], a new type of Floquet bound state can be obtained even for a weak particle-particle interaction by tuning the driving amplitude. Moreover, the localization degree of the F1oquet bound molecular state can be adjusted by tuning the driving frequency, and even the Floquet bound molecular state can be changed into the Floquet extended state when the driving frequency is below a critical value. Our results provide an efficient way to manipulate bound states in the many-body systems.展开更多
Estimation of bounded populations and carrying capacity in the presence of a sample frame is considered. Models based on Logistic model are proposed. Like the existing estimators, this estimation technique deals with ...Estimation of bounded populations and carrying capacity in the presence of a sample frame is considered. Models based on Logistic model are proposed. Like the existing estimators, this estimation technique deals with initial condition and is based on yearly population totals in order to fit in a model within a given period of time in this study. The proposed Logistic model technique has shown to be efficient especially with large data. The empirical study indicated that the Logistic model is efficient and can estimate properly even in the presence of outliers.展开更多
In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong sol...In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong solutions are obtained when the initial value is near the equilibrium state in H<sup>2</sup> (Ω). Furthermore, the exponential convergence rates of the pressure and velocity are also proved by delicate energy methods.展开更多
In this paper, we study the long-time behavior of solutions of the single-layer quasi-geostrophic model arising from geophysical fluid dynamics. We obtain the lower bound of the decay estimate of the solution. Utilizi...In this paper, we study the long-time behavior of solutions of the single-layer quasi-geostrophic model arising from geophysical fluid dynamics. We obtain the lower bound of the decay estimate of the solution. Utilizing the Fourier splitting method, under suitable assumptions on the initial data, for any multi-index α, we show that the solution Ψ satisfies .展开更多
This article proposes a finite element model （FEM） for predicting the acoustic scattering from an encapsulated microbubble near rigid boundary. The validity of the model is first examined by comparing the acoustic n...This article proposes a finite element model （FEM） for predicting the acoustic scattering from an encapsulated microbubble near rigid boundary. The validity of the model is first examined by comparing the acoustic nonlinear response of a free microbubble with that obtained by the Church model. Then this model is used to investigate the effect of the rigid boundary on acoustic scattering signals from microbubble. The results indicate that the resonance frequency decreases while the oscillation amplitude increases as the microbubble approaches the rigid boundary. In addition, the fundamental component of the acoustic scattering signal is enhanced compared with that of the free microbubble.展开更多
A method for estimating the component reliability is proposed when the probability density functions of stress and strength can not be exactly determined. For two groups of finite experimental data about the stress an...A method for estimating the component reliability is proposed when the probability density functions of stress and strength can not be exactly determined. For two groups of finite experimental data about the stress and strength, an interval statistics method is introduced. The processed results are formulated as two interval-valued random variables and are graphically represented component reliability are proposed based on the by using two histograms. The lower and upper bounds of universal generating function method and are calculated by solving two discrete stress-strength interference models. The graphical calculations of the proposed reliability bounds are presented through a numerical example and the confidence of the proposed reliability bounds is discussed to demonstrate the validity of the proposed method. It is showed that the proposed reliability bounds can undoubtedly bracket the real reliability value. The proposed method extends the exciting universal generating function method and can give an interval estimation of component reliability in the case of lake of sufficient experimental data. An application example is given to illustrate the proposed method展开更多
In this paper, a new branch-and-bound algorithm based on the Lagrangian dual relaxation and continuous relaxation is proposed for discrete multi-factor portfolio selection model with roundlot restriction in financial ...In this paper, a new branch-and-bound algorithm based on the Lagrangian dual relaxation and continuous relaxation is proposed for discrete multi-factor portfolio selection model with roundlot restriction in financial optimization. This discrete portfolio model is of integer quadratic programming problems. The separable structure of the model is investigated by using Lagrangian relaxation and dual search. Computational results show that the algorithm is capable of solving real-world portfolio problems with data from US stock market and randomly generated test problems with up to 120 securities.展开更多
This paper studies the two-vibron bound states in the β- Fermi Pasta-Ulam model by means of the number conserving approximation combined with the number state method. The results indicate that on-site, adjacent-site ...This paper studies the two-vibron bound states in the β- Fermi Pasta-Ulam model by means of the number conserving approximation combined with the number state method. The results indicate that on-site, adjacent-site and mixed two-vibron bound states may exist in the model. Specially, wave number has a significant effect on such bound states, which may be considered as the quantum effects of the localized states in quantum systems.展开更多
【目的】市场中的参与者决策主要体现在市场交易行为中。研究市场交易有助于理解市场的运行机制。本文旨在评估大语言模型(Large Language Models,LLMs)能否复现人类在市场交易中的有限理性行为,探究LLMs在市场交易模拟中的潜力和局限...【目的】市场中的参与者决策主要体现在市场交易行为中。研究市场交易有助于理解市场的运行机制。本文旨在评估大语言模型(Large Language Models,LLMs)能否复现人类在市场交易中的有限理性行为,探究LLMs在市场交易模拟中的潜力和局限。【方法】行为经济学中的框架效应、禀赋效应和心账理论揭示了认知偏差和情感等因素对人类市场交易行为的影响。基于此,本文设计并实施了四类实验:问卷实验、公平价格实验、兑换券和商品交易实验。通过分析LLMs在模拟实验中的回答及交易决策,评估其模拟人类行为的能力。【结果】实验结果表明,LLMs在问卷实验中的表现与人类高度一致,人设、问题表述和事件描述顺序均会影响其决策。但LLMs在定价决策和商品价值评估方面与人类存在差异,未能复现心账理论和禀赋效应。【结论】LLMs在特定情境下能模拟人类的市场交易决策,但在完全复现人类的有限理性决策方面仍存在局限。展开更多
This paper proposes a simple solution for the stabilization of a mini-quadcopter carrying a 3DoF（degrees of freedom） manipulator robot in order to enhance its achievable workspace and application profile. Since the ...This paper proposes a simple solution for the stabilization of a mini-quadcopter carrying a 3DoF（degrees of freedom） manipulator robot in order to enhance its achievable workspace and application profile. Since the motion of the arm induces torques which degrade the stability of the system, in the present work, we consider the stabilization of both subsystems： the quadcopter and the robotic arm. The mathematical model of the system is based on quaternions. Likewise, an attitude control law consisting of a bounded quaternion-based feedback stabilizes the quadcopter to a desired attitude while the arm is evolving. The next stage is the translational dynamics which is simplified for control（nonlinear） design purposes. The aforementioned controllers are based on saturation functions whose stability is explicitly proved in the Lyapunov sense. Finally, experimental results and a statistical study validate the proposed control strategy.展开更多
This paper presents a method of state estimation for uncertain nonlinear systems described by multiple models approach. The uncertainties, supposed as norm bounded type, are caused by some parameters＇ variations of t...This paper presents a method of state estimation for uncertain nonlinear systems described by multiple models approach. The uncertainties, supposed as norm bounded type, are caused by some parameters＇ variations of the nonlinear system. Linear matri~ inequalities （LMIs） have been established in order to ensure the stability conditions of the multiple observer which lead to determine the estimation gains. A sliding mode gain has been added in order to compensate the uncertainties. Numerical simulations through a state space model of a real process have been realized to show the robustness of the synthesized observer.展开更多
In this paper,we studied the approximate sampleddata observer design for a class of stochastic nonlinear systems.Euler-Maruyama approximation was investigated in this paper because it is the basis of other higher prec...In this paper,we studied the approximate sampleddata observer design for a class of stochastic nonlinear systems.Euler-Maruyama approximation was investigated in this paper because it is the basis of other higher precision numerical methods,and it preserves important structures of the nonlinear systems.Also,the form of Euler-Maruyama model is simple and easy to be calculated.The results provide a reference for sampled-data observer design method for such stochastic nonlinear systems,and may be useful to many practical control applications,such as tracking control in mechanical systems.And the effectiveness of the approach is demonstrated by a simulation example.展开更多
In this paper, by means of combining non-probabilistic convex modeling with perturbation theory, an improvement is made on the first order approximate solution in convex models of uncertainties. Convex modeling is ext...In this paper, by means of combining non-probabilistic convex modeling with perturbation theory, an improvement is made on the first order approximate solution in convex models of uncertainties. Convex modeling is extended to largely uncertain and non-convex sets of uncertainties and the combinational convex modeling is developed. The presented method not only extends applications of convex modeling, but also improves its accuracy in uncertain problems and computational efficiency. The numerical example illustrates the efficiency of the proposed method.展开更多
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
基金supported by the Fulbright Colombia-Colciencias Scholarship and Universidad Militar Nueva Granada
文摘A shape hardening function is developed that improves the predictive capabilities of the generalized bounding surface model for cohesive soils, especially when applied to overconsolidated specimens. This improvement is realized without any changes to the simple elliptical shape of the bounding surface, and actually reduces the number of parameters associated with the model by one.
基金The project supported by the National Outstanding Youth Science Foundation of China (10425208)the National Natural Science Foundation of ChinaInstitute of Engineering Physics of China (10376002) The English text was polished by Keren Wang
文摘Two non-probabilistic, set-theoretical methods for determining the maximum and minimum impulsive responses of structures to uncertain-but-bounded impulses are presented. They are, respectively, based on the theories of interval mathematics and convex models. The uncertain-but-bounded impulses are assumed to be a convex set, hyper-rectangle or ellipsoid. For the two non-probabilistic methods, less prior information is required about the uncertain nature of impulses than the probabilistic model. Comparisons between the interval analysis method and the convex model, which are developed as an anti-optimization problem of finding the least favorable impulsive response and the most favorable impulsive response, are made through mathematical analyses and numerical calculations. The results of this study indicate that under the condition of the interval vector being determined from an ellipsoid containing the uncertain impulses, the width of the impulsive responses predicted by the interval analysis method is larger than that by the convex model; under the condition of the ellipsoid being determined from an interval vector containing the uncertain impulses, the width of the interval impulsive responses obtained by the interval analysis method is smaller than that by the convex model.
基金supported jointly by the State Science and Technology Supporting Program (2006BAB01A13)the self-research project funded by the State Key Laboratory of Ore Deposit Geochemistry (Ore Deposit Special Research Project 2008.3-2)Guizhou Provincial Bureau of Geology and Mineral Resource Exploration and Development [Qian Di Kuang Ke (2009) No. 11]
文摘The Shuiyindong deposit is one of the largest (more than 100 tonnes of Au) and highest grade (more than 7×10-6-10×10-6), strata-bound Carlintype gold deposits in southwestern Guizhou Province, China. The deposit is controlled by both structure and favorable lithology. It is situated near the axis of the striking Huijiabao anticline and is hosted in bioclastic limestone of the Permian Longtan Formation. Gold mineralization occurred under low temperature with Th of 220℃± and is closely associated with decarbonation, silicification, sulfidation and dolomitization. The deposit has a characteristic elemental assemblage of Au-As-Hg-Tl. Studies of geochemistry and isotope compositions indicated that the ore-bearing materials and fluids of the gold deposit mainly originated from a plutonic source, and possess a mixing feature with the strata matter during transportation from mantle to crust. Fluid inclusions in vein quartz from the gold deposit are rich in volatile flux, indicating that metallogenic fluid is an overpres-sured one. The activity and geothermal state of the Earth's crust in the long period of time are favorable for the formation of overpressured fluids in a large area, and extensive structures would drive the fluids into ore-forming sys-tem and make gold deposits formed. The complexity of structural movement in the upper crust of southwestern Guizhou Province resulted in complicated gold mineralization. Through metallogenic prognosis and exploration, the proven reserves of the deposit increased by tens of tonnes of Au and the deposit has become a super-large strata-bound Carlin-type gold deposit.
基金Supported by the National Natural Science Foundation of China under Grants Nos 11374375,11574405,11465008 and 11547125the Hunan Provincial Natural Science Foundation under Grant Nos 2015JJ4020 and 2015JJ2114the Scientific Research Fund of Hunan Provincial Education Department under Grant No 14A118
文摘We investigate how the driving field affects the bound states in the one-dimensional two-particle Bose-Hubbard model with an impurity. In the high-frequency regime, compared with the static lattice [Phys. Rev. Lett. 109 （2012） 116405], a new type of Floquet bound state can be obtained even for a weak particle-particle interaction by tuning the driving amplitude. Moreover, the localization degree of the F1oquet bound molecular state can be adjusted by tuning the driving frequency, and even the Floquet bound molecular state can be changed into the Floquet extended state when the driving frequency is below a critical value. Our results provide an efficient way to manipulate bound states in the many-body systems.
文摘Estimation of bounded populations and carrying capacity in the presence of a sample frame is considered. Models based on Logistic model are proposed. Like the existing estimators, this estimation technique deals with initial condition and is based on yearly population totals in order to fit in a model within a given period of time in this study. The proposed Logistic model technique has shown to be efficient especially with large data. The empirical study indicated that the Logistic model is efficient and can estimate properly even in the presence of outliers.
文摘In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong solutions are obtained when the initial value is near the equilibrium state in H<sup>2</sup> (Ω). Furthermore, the exponential convergence rates of the pressure and velocity are also proved by delicate energy methods.
文摘In this paper, we study the long-time behavior of solutions of the single-layer quasi-geostrophic model arising from geophysical fluid dynamics. We obtain the lower bound of the decay estimate of the solution. Utilizing the Fourier splitting method, under suitable assumptions on the initial data, for any multi-index α, we show that the solution Ψ satisfies .
基金Project supported by the National Natural Science Foundation of China (Grant No. 10774071)the National Basic Research Prgram 973 (Grant No. 2010CB732600)from Ministry of Science and Technology,China+1 种基金the Natural Science Foundation of Jiangsu Province,China (Grant No. BK2007518)the State Key Laboratory of Acoustics (Grant No. 200902)
文摘This article proposes a finite element model （FEM） for predicting the acoustic scattering from an encapsulated microbubble near rigid boundary. The validity of the model is first examined by comparing the acoustic nonlinear response of a free microbubble with that obtained by the Church model. Then this model is used to investigate the effect of the rigid boundary on acoustic scattering signals from microbubble. The results indicate that the resonance frequency decreases while the oscillation amplitude increases as the microbubble approaches the rigid boundary. In addition, the fundamental component of the acoustic scattering signal is enhanced compared with that of the free microbubble.
基金supported by the Foundation of Hunan Provincial Natural Science of China(13JJ6095,2015JJ2015)the Key Project of Science and Technology Program of Changsha,China(ZD1601010)
文摘A method for estimating the component reliability is proposed when the probability density functions of stress and strength can not be exactly determined. For two groups of finite experimental data about the stress and strength, an interval statistics method is introduced. The processed results are formulated as two interval-valued random variables and are graphically represented component reliability are proposed based on the by using two histograms. The lower and upper bounds of universal generating function method and are calculated by solving two discrete stress-strength interference models. The graphical calculations of the proposed reliability bounds are presented through a numerical example and the confidence of the proposed reliability bounds is discussed to demonstrate the validity of the proposed method. It is showed that the proposed reliability bounds can undoubtedly bracket the real reliability value. The proposed method extends the exciting universal generating function method and can give an interval estimation of component reliability in the case of lake of sufficient experimental data. An application example is given to illustrate the proposed method
基金Project supported by the National Natural Science Foundation of China （Grant Nos.70518001. 70671064）
文摘In this paper, a new branch-and-bound algorithm based on the Lagrangian dual relaxation and continuous relaxation is proposed for discrete multi-factor portfolio selection model with roundlot restriction in financial optimization. This discrete portfolio model is of integer quadratic programming problems. The separable structure of the model is investigated by using Lagrangian relaxation and dual search. Computational results show that the algorithm is capable of solving real-world portfolio problems with data from US stock market and randomly generated test problems with up to 120 securities.
基金Project supported by the Key Project of Hunan Provincial Educational Department of China (Grant No 04A058)
文摘This paper studies the two-vibron bound states in the β- Fermi Pasta-Ulam model by means of the number conserving approximation combined with the number state method. The results indicate that on-site, adjacent-site and mixed two-vibron bound states may exist in the model. Specially, wave number has a significant effect on such bound states, which may be considered as the quantum effects of the localized states in quantum systems.
文摘【目的】市场中的参与者决策主要体现在市场交易行为中。研究市场交易有助于理解市场的运行机制。本文旨在评估大语言模型(Large Language Models,LLMs)能否复现人类在市场交易中的有限理性行为,探究LLMs在市场交易模拟中的潜力和局限。【方法】行为经济学中的框架效应、禀赋效应和心账理论揭示了认知偏差和情感等因素对人类市场交易行为的影响。基于此,本文设计并实施了四类实验:问卷实验、公平价格实验、兑换券和商品交易实验。通过分析LLMs在模拟实验中的回答及交易决策,评估其模拟人类行为的能力。【结果】实验结果表明,LLMs在问卷实验中的表现与人类高度一致,人设、问题表述和事件描述顺序均会影响其决策。但LLMs在定价决策和商品价值评估方面与人类存在差异,未能复现心账理论和禀赋效应。【结论】LLMs在特定情境下能模拟人类的市场交易决策,但在完全复现人类的有限理性决策方面仍存在局限。
基金supported by CONACYT-Mexico,Lab Ex PERSYVAL-Lab(No.ANR-11-LABX-0025)Equipex ROBOTEX(No.ANR-10-EQPX-44-01)
文摘This paper proposes a simple solution for the stabilization of a mini-quadcopter carrying a 3DoF（degrees of freedom） manipulator robot in order to enhance its achievable workspace and application profile. Since the motion of the arm induces torques which degrade the stability of the system, in the present work, we consider the stabilization of both subsystems： the quadcopter and the robotic arm. The mathematical model of the system is based on quaternions. Likewise, an attitude control law consisting of a bounded quaternion-based feedback stabilizes the quadcopter to a desired attitude while the arm is evolving. The next stage is the translational dynamics which is simplified for control（nonlinear） design purposes. The aforementioned controllers are based on saturation functions whose stability is explicitly proved in the Lyapunov sense. Finally, experimental results and a statistical study validate the proposed control strategy.
文摘This paper presents a method of state estimation for uncertain nonlinear systems described by multiple models approach. The uncertainties, supposed as norm bounded type, are caused by some parameters＇ variations of the nonlinear system. Linear matri~ inequalities （LMIs） have been established in order to ensure the stability conditions of the multiple observer which lead to determine the estimation gains. A sliding mode gain has been added in order to compensate the uncertainties. Numerical simulations through a state space model of a real process have been realized to show the robustness of the synthesized observer.
基金supported by the National High Technology Research and Development Program of China(863 Program)(2014AA06A503)the National Natural Science Foundation of China(61422307,61673361)+3 种基金the Scientific Research Starting Foundation for the Returned Overseas Chinese Scholars and Ministry of Education of Chinasupports from the Youth Top-notch Talent Support Programthe 1000-talent Youth Programthe Youth Yangtze River Scholarship
文摘In this paper,we studied the approximate sampleddata observer design for a class of stochastic nonlinear systems.Euler-Maruyama approximation was investigated in this paper because it is the basis of other higher precision numerical methods,and it preserves important structures of the nonlinear systems.Also,the form of Euler-Maruyama model is simple and easy to be calculated.The results provide a reference for sampled-data observer design method for such stochastic nonlinear systems,and may be useful to many practical control applications,such as tracking control in mechanical systems.And the effectiveness of the approach is demonstrated by a simulation example.
基金The project supported by the National Outstanding Youth Science Foundation of China the National Post Doctor Science Foundation of China
文摘In this paper, by means of combining non-probabilistic convex modeling with perturbation theory, an improvement is made on the first order approximate solution in convex models of uncertainties. Convex modeling is extended to largely uncertain and non-convex sets of uncertainties and the combinational convex modeling is developed. The presented method not only extends applications of convex modeling, but also improves its accuracy in uncertain problems and computational efficiency. The numerical example illustrates the efficiency of the proposed method.
