نتایج جستجو برای: linear program

تعداد نتایج: 909791  

2013
S. Kavitha S. P. Krishna Chaitanya

This paper describes the theories and techniques for designing linear and planar fractal arrays and compare their radiation pattern with conventional arrays. Fractals are recursively generated object having fractional dimension. We have compared radiation pattern of cantor linear arrays with conventional linear arrays using MATLAB program. Another program was developed to characterize the radia...

2014
Corentin Briat

Copositive linear Lyapunov functions are used along with dissipativity theory for stability analysis and control of uncertain linear positive systems. Unlike usual results on linear systems, linear supply-rates are employed here for robustness and performance analysis using L1and L∞-gains. Robust stability analysis is performed using Integral Linear Constraints (ILCs) for which several classes ...

2004
Sumit Gulwani George C. Necula

We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted functions. We assume that conditionals are abstracted as boolean variables, which may be repeated to reflect equivalent conditionals. We introduce free conditional expression diagrams (FCEDs), which extend binary decisio...

2004
Alexander Serebrenik Frédéric Mesnard

Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to the fact that some of the recent approaches to termination of logic programs abstract the input program to a binary CLP program and conclude termination of the input program from termination of the abstracted program. In this paper we introduce a clas...

Journal: :Electr. Notes Theor. Comput. Sci. 1999
Kyoung-Sun Kang Naoyuki Tamura

In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover multiplicative connectives which are important for a resource-sensitive feature of linear logic. Our method, in contrast, covers multi...

Journal: :European Journal of Operational Research 2009
Huseyin Topaloglu

For network revenue management problems, it is known that the bid prices computed through the socalled deterministic linear program are asymptotically optimal as the capacities on the flight legs and the expected numbers of product requests increase linearly with the same rate. In this paper, we show that the same asymptotic optimality result holds for the bid prices computed through the so-cal...

1999
Artur Andrzejak Komei Fukuda

We present two versions of an algorithm based on the reverse search technique for enumerating all k-sets of a point set in R d. The key elements include the notion of a k-set polytope and the optimization of a linear function over a k-set polytope.

2014
S. K. Bharati S. R. Singh

Present paper is an application study of intuitionistic fuzzy optimization technique in agricultural production planning problem particularly a case of smallholder farmer in north Bihar, India. Generally, the crop planning problem is formulated as linear programming problems. but in realistic situation there are many uncertain factors in agricultural production planning problems and hence futur...

2012
Robert Fourer

We do not feel that the linear programming user’s most pressing need over the next few years is for a new optimizer that runs twice as fast on a machine that costs half as much (although this will probably happen). Cost of optimization is just not the dominant barrier to LP model implementation. The process required to manage the data, formulate and build the model, report on and analyze the re...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید