Transportation problem has many real world applications, it can be solved by linear programming model, but in most time the model exists more for less paradox, this paper considers the reasons for the paradox and s...Transportation problem has many real world applications, it can be solved by linear programming model, but in most time the model exists more for less paradox, this paper considers the reasons for the paradox and search the way to eliminate the phenomenon. First this paper formulates a loose constrained linear programming model for the transportation problem, and gives the definition of the paradox which exists in it, some preliminary notions and one example is also given. Then it gives a table based algorithm for the loose constrained model, the steps of the algorithm and example will follow. The examples show that: (1) It is not a contradictory that transportation problem exists more for less paradox. (2) The loose constrained model is better used in practice for its less total cost. (3) The algorithm is easy to calculate, to study and highly speed to convergence. Finally, comparied with other ways it shows that the loose constrained model can thoroughly eliminate the paradox.展开更多
This paper discusses the stability of theoretical solutions for nonlinear multi-variable delay perturbation problems (MVDPP) of the form x′(t)=f(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t...This paper discusses the stability of theoretical solutions for nonlinear multi-variable delay perturbation problems (MVDPP) of the form x′(t)=f(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), and εy′(t)=g(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), where 0<ε1. A sufficient condition of stability for the systems is obtained. Additionally we prove the numerical solutions of the implicit Euler method are stable under this condition.展开更多
There are some problems related to the titles of academic papers, such as, titles incorresponding to the contents, and titles being too general or colloquial. It is imperative to increase the title quality of an acade...There are some problems related to the titles of academic papers, such as, titles incorresponding to the contents, and titles being too general or colloquial. It is imperative to increase the title quality of an academic paper through peer-review, or by checking grammar mistakes with computer tools. The editors should also aim to improve their academic level of knowledge.展开更多
In this paper, we first consider the position restriction scheduling problems on a single machine. The problems have been solved in certain special cases, especially for those obtained by restricting the processing ti...In this paper, we first consider the position restriction scheduling problems on a single machine. The problems have been solved in certain special cases, especially for those obtained by restricting the processing time pj = 1. We introduce the bipartite matching algorithm to provide some polynomial-time algorithms to solve them. Then we further consider a problem on unrelated processors.展开更多
This paper presents an overview of the recent progress of potential theory method in the analysis of mixed boundary value problems mainly stemming from three-dimensional crack or contact problems of multi-field couple...This paper presents an overview of the recent progress of potential theory method in the analysis of mixed boundary value problems mainly stemming from three-dimensional crack or contact problems of multi-field coupled media. This method was used to derive a series of exact three dimensional solutions which should be of great theoretical significance because most of them usually cannot be derived by other methods such as the transform method and the trial-and-error method. Further, many solutions are obtained in terms of elementary functions that enable us to treat more complicated problems easily. It is pointed out here that the method is usually only applicable to media characterizing transverse isotropy, from which, however, the results for the isotropic case can be readily obtained.展开更多
This paper, based on the Chinese audience's aesthetic and cultural anticipation and the application of Peter Newmark's translation theory on translating film rifles, discusses the features and translation of film ti...This paper, based on the Chinese audience's aesthetic and cultural anticipation and the application of Peter Newmark's translation theory on translating film rifles, discusses the features and translation of film title from English to Chinese. The four main translation methods--literal translation, transliteration, free translation, semantic translation and/or communicative translation and the different translation strategies of film titles used in Hong Kong and Taiwan are introduced in detail with sufficient examples.展开更多
In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, inclu...In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, including human lives. In order to make the coexistence with such natural disasters possible, most particularly with floods, a integration is required among the technical, political, environmental, and human knowledge. Measures that encompass integrated actions for the entire river basin, with the help from an updated technical cadastre and tools, such as the GIS, allow the development of planning tools that might effectively help the people to live with the water, or else to cope with floods in a more appropriate manner. This paper attempts to propose a methodology for urban flood control, based on the integration among the several public entities involved in the flood control, along with the CTM (Multipurpose Technical Cadastre) and GIS tool. In order to solve or minimize the problems, the model proposed here aims at promoting a balance between the agents involved, and enables to rank the degrees of importance assigned to the different needs, thus allowing to eliminate or to improve those areas and processes that are duplicated or superimposed.展开更多
Father Joseph-Adrien Lelarge de Lignac was born in Poitiers (France) in the year 1697. He died in Paris in 1762. In 1731, he was ordained priest and he became an oratorian the following year. His Letters to an Ameri...Father Joseph-Adrien Lelarge de Lignac was born in Poitiers (France) in the year 1697. He died in Paris in 1762. In 1731, he was ordained priest and he became an oratorian the following year. His Letters to an American is an attempt to refute Buffon and Condillac; this book was prepared in collaboration with Rraumur (J. Roger, P. Charbonnat). Here, we present some elements of the correspondence between Lignac and Rraumur which show a scientific dialogue about 1736-1748 and we try to bring some foundations of the thought of Lignac to light. Between empiricism and ontology, Lignac stands up for scientific questions being subject to literal reading of the Bible. But Lignac is also the first one to perceive a way of thinking in Buffon Natural History (T. Hoquet). According to him, the thought of Buffon is a deviation in an order of knowledge, because Natural History would especially be based on observation and experiment. So in this paper, we emphasize two original sources in the thought of Father de Lignac: Malebranche philosophy and his collaboration with Reaumur.展开更多
The authors consider the simplest quantum mechanics model of solids, the tight binding model, and prove that in the continuum limit, the energy of tight binding model converges to that of the continuum elasticity mode...The authors consider the simplest quantum mechanics model of solids, the tight binding model, and prove that in the continuum limit, the energy of tight binding model converges to that of the continuum elasticity model obtained using Cauchy-Born rule. The technique in this paper is based mainly on spectral perturbation theory for large matrices.展开更多
This paper studies the stabilization problem of uniform Euler-Bernoulli beam with a nonlinear locally distributed feedback control. By virtue of nonlinear semigroup theory, energy-perturbed approach and polynomial mul...This paper studies the stabilization problem of uniform Euler-Bernoulli beam with a nonlinear locally distributed feedback control. By virtue of nonlinear semigroup theory, energy-perturbed approach and polynomial multiplier skill, the authors show that, corresponding to the different values of the parameters involved in the nonlinear locally distributed feedback control, the energy of the beam under the proposed feedback decays exponentially or in negative power of time t as t →∞.展开更多
An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals...An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.展开更多
We consider a nonlinear integral eigenvalue problem, which is a reformulation of the transmission eigenvalue problem arising in the inverse scattering theory. The boundary element method is employed for discretization...We consider a nonlinear integral eigenvalue problem, which is a reformulation of the transmission eigenvalue problem arising in the inverse scattering theory. The boundary element method is employed for discretization, which leads to a generalized matrix eigenvalue problem. We propose a novel method based on the spectral projection. The method probes a given region on the complex plane using contour integrals and decides whether the region contains eigenvalue(s) or not. It is particularly suitable to test whether zero is an eigenvalue of the generalized eigenvalue problem, which in turn implies that the associated wavenumber is a transmission eigenvalue. Effectiveness and efficiency of the new method are demonstrated by numerical examples.展开更多
By using Fourier multiplier theorems, the maximal B-regularity of ordinary integro-differential operator equations is investigated. It is shown that the corresponding differential operator is positive and satisfies co...By using Fourier multiplier theorems, the maximal B-regularity of ordinary integro-differential operator equations is investigated. It is shown that the corresponding differential operator is positive and satisfies coercive estimate. Moreover, these results are used to establish maximal regularity for infinite systems of integro-differential equations.展开更多
文摘Transportation problem has many real world applications, it can be solved by linear programming model, but in most time the model exists more for less paradox, this paper considers the reasons for the paradox and search the way to eliminate the phenomenon. First this paper formulates a loose constrained linear programming model for the transportation problem, and gives the definition of the paradox which exists in it, some preliminary notions and one example is also given. Then it gives a table based algorithm for the loose constrained model, the steps of the algorithm and example will follow. The examples show that: (1) It is not a contradictory that transportation problem exists more for less paradox. (2) The loose constrained model is better used in practice for its less total cost. (3) The algorithm is easy to calculate, to study and highly speed to convergence. Finally, comparied with other ways it shows that the loose constrained model can thoroughly eliminate the paradox.
文摘This paper discusses the stability of theoretical solutions for nonlinear multi-variable delay perturbation problems (MVDPP) of the form x′(t)=f(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), and εy′(t)=g(x(t),x(t-τ 1(t)),...,x(t-τ m(t)),y(t),y(t-τ 1(t)),...,y(t-τ m(t))), where 0<ε1. A sufficient condition of stability for the systems is obtained. Additionally we prove the numerical solutions of the implicit Euler method are stable under this condition.
文摘There are some problems related to the titles of academic papers, such as, titles incorresponding to the contents, and titles being too general or colloquial. It is imperative to increase the title quality of an academic paper through peer-review, or by checking grammar mistakes with computer tools. The editors should also aim to improve their academic level of knowledge.
文摘In this paper, we first consider the position restriction scheduling problems on a single machine. The problems have been solved in certain special cases, especially for those obtained by restricting the processing time pj = 1. We introduce the bipartite matching algorithm to provide some polynomial-time algorithms to solve them. Then we further consider a problem on unrelated processors.
基金Project (No. 10372088) supported by the National Natural Science Foundation of China
文摘This paper presents an overview of the recent progress of potential theory method in the analysis of mixed boundary value problems mainly stemming from three-dimensional crack or contact problems of multi-field coupled media. This method was used to derive a series of exact three dimensional solutions which should be of great theoretical significance because most of them usually cannot be derived by other methods such as the transform method and the trial-and-error method. Further, many solutions are obtained in terms of elementary functions that enable us to treat more complicated problems easily. It is pointed out here that the method is usually only applicable to media characterizing transverse isotropy, from which, however, the results for the isotropic case can be readily obtained.
文摘This paper, based on the Chinese audience's aesthetic and cultural anticipation and the application of Peter Newmark's translation theory on translating film rifles, discusses the features and translation of film title from English to Chinese. The four main translation methods--literal translation, transliteration, free translation, semantic translation and/or communicative translation and the different translation strategies of film titles used in Hong Kong and Taiwan are introduced in detail with sufficient examples.
文摘In the State of Santa Catarina, Brazil, especially in the Itajai valley, there are records of accidents and disasters mainly associated to landslides and floods, which have caused significant damages and losses, including human lives. In order to make the coexistence with such natural disasters possible, most particularly with floods, a integration is required among the technical, political, environmental, and human knowledge. Measures that encompass integrated actions for the entire river basin, with the help from an updated technical cadastre and tools, such as the GIS, allow the development of planning tools that might effectively help the people to live with the water, or else to cope with floods in a more appropriate manner. This paper attempts to propose a methodology for urban flood control, based on the integration among the several public entities involved in the flood control, along with the CTM (Multipurpose Technical Cadastre) and GIS tool. In order to solve or minimize the problems, the model proposed here aims at promoting a balance between the agents involved, and enables to rank the degrees of importance assigned to the different needs, thus allowing to eliminate or to improve those areas and processes that are duplicated or superimposed.
文摘Father Joseph-Adrien Lelarge de Lignac was born in Poitiers (France) in the year 1697. He died in Paris in 1762. In 1731, he was ordained priest and he became an oratorian the following year. His Letters to an American is an attempt to refute Buffon and Condillac; this book was prepared in collaboration with Rraumur (J. Roger, P. Charbonnat). Here, we present some elements of the correspondence between Lignac and Rraumur which show a scientific dialogue about 1736-1748 and we try to bring some foundations of the thought of Lignac to light. Between empiricism and ontology, Lignac stands up for scientific questions being subject to literal reading of the Bible. But Lignac is also the first one to perceive a way of thinking in Buffon Natural History (T. Hoquet). According to him, the thought of Buffon is a deviation in an order of knowledge, because Natural History would especially be based on observation and experiment. So in this paper, we emphasize two original sources in the thought of Father de Lignac: Malebranche philosophy and his collaboration with Reaumur.
基金Project supported by the Natural Science Foundation(No. DMS 04-07866)the "Research Team on Complex Systems" of Chinese Academy of Sciences.
文摘The authors consider the simplest quantum mechanics model of solids, the tight binding model, and prove that in the continuum limit, the energy of tight binding model converges to that of the continuum elasticity model obtained using Cauchy-Born rule. The technique in this paper is based mainly on spectral perturbation theory for large matrices.
基金This research is supported by the National Science Foundation of China under Grant Nos. 10671166 and 60673101.
文摘This paper studies the stabilization problem of uniform Euler-Bernoulli beam with a nonlinear locally distributed feedback control. By virtue of nonlinear semigroup theory, energy-perturbed approach and polynomial multiplier skill, the authors show that, corresponding to the different values of the parameters involved in the nonlinear locally distributed feedback control, the energy of the beam under the proposed feedback decays exponentially or in negative power of time t as t →∞.
文摘An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.
基金supported by National Natural Science Foundation of China (Grant Nos. 11501063 and 11371385)National Science Foundation of USA (Grant No. DMS-1521555)+2 种基金the US Army Research Laboratory and the US Army Research Office (Grant No. W911NF-11-2-0046)the Start-up Fund of Youth 1000 Plan of Chinathat of Youth 100 plan of Chongqing University
文摘We consider a nonlinear integral eigenvalue problem, which is a reformulation of the transmission eigenvalue problem arising in the inverse scattering theory. The boundary element method is employed for discretization, which leads to a generalized matrix eigenvalue problem. We propose a novel method based on the spectral projection. The method probes a given region on the complex plane using contour integrals and decides whether the region contains eigenvalue(s) or not. It is particularly suitable to test whether zero is an eigenvalue of the generalized eigenvalue problem, which in turn implies that the associated wavenumber is a transmission eigenvalue. Effectiveness and efficiency of the new method are demonstrated by numerical examples.
文摘By using Fourier multiplier theorems, the maximal B-regularity of ordinary integro-differential operator equations is investigated. It is shown that the corresponding differential operator is positive and satisfies coercive estimate. Moreover, these results are used to establish maximal regularity for infinite systems of integro-differential equations.