mathematical programming

1.1 WORD PROCESSORS A word processor is an application program that is acquired for running on a particular computer. It enables one to type and display text on a page: retrieving, amending, adding to, and arranging in different ways before printing text is generally entered as a keyboard or scanned file.

53p minhngannt 08-04-2013 68 9   Download

Bài giảng "Kỹ thuật lập trình - Chapter 1: Mathematical induction and recursive programming" trình bày các nội dung: Quy nạp toán học, chương trình đệ quy, các loại đệ quy. Mời các bạn cùng tham khảo nội dung chi tiết.

116p thangnamvoiva20 20-09-2016 72 7   Download

The dissertation has four chapters: Chapter 1 - Background Materials; Chapter 2 - Analysis of an Algorithm in Indefinite Quadratic Programming; Chapter 3 - Qualitative Properties of the Minimum Sum-of-Squares Clustering Problem; Chapter 4 - Some Incremental Algorithms for the Clustering Problem.

142p armyofthedead 23-06-2021 34 3   Download

The dissertation has four chapters: Chapter 1 - Existence of solutions; Chapter 2 - Stability for global, local and stationary solution sets; Chapter 3 - Continuity and directional differentiability of the optimal value function; Chapter 4 - Stability for extended trust region subproblems.

143p monsterhunterer 20-06-2021 9 4   Download

Purpose of the study: Based on the theories and actual application, unraveling the concept of Problem-solving and creative abilities in Mathematics, typical manifestations of Problem-solving and creative abilities in Math students, the manifestations of Problem-solving and creative abilities in students who live in mountainous areas in solving Grade 8 geometry problem.

27p tunelove 10-06-2021 48 4   Download

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 20 5   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 45 4   Download

This Paper presents a framework for time crashing a mega project by using the linear programming technique such to earned least total crashing cost.

11p guineverehuynh 17-06-2020 24 5   Download

The present research aimed to give a relatively comprehensive answer to these questions using a mathematical model of the pickup and delivery system with transfers.

18p tohitohi 22-05-2020 16 1   Download

Một phát biểu bài toán như vật đôi khi được gọi là một quy hoạch toán học (mathematical program). Nhiều bài toán thực tế và lý thuyết có thể được mô hình theo cách tổng quát trên. Miền xác định A của hàm f được gọi là không gian tìm kiếm.

20p sakuraphuong 03-06-2013 54 5   Download

We exhibit a counterexample to Elliott’s classification conjecture for simple, separable, and nuclear C∗ -algebras whose construction is elementary, and demonstrate the necessity of extremely fine invariants in distinguishing both approximate unitary equivalence classes of automorphisms of such algebras and isomorphism classes of the algebras themselves.

17p dontetvui 17-01-2013 74 6   Download

In this paper we give a geometric version of the Satake isomorphism [Sat]. As such, it can be viewed as a first step in the geometric Langlands program. The connected complex reductive groups have a combinatorial classification by their root data. In the root datum the roots and the co-roots appear in a symmetric manner and so the connected reductive algebraic groups come ˇ in pairs.

50p noel_noel 17-01-2013 46 6   Download

The purpose of this paper is to carry out the abelianization program proposed by Atiyah [1] and Hitchin [9] for the geometric quantization of SU(2) Wess-Zumino-Witten model. Let C be a Riemann surface of genus g. Let Mg be the moduli space of semi-stable rank 2 holomorphic vector bundles on C with trivial determinant. For a positive integer k, let Γ(Mg , Lk ) be the space of holomorphic sections of the k-th tensor product of the determinant line bundle L on Mg . An element of Γ(Mg , Lk ) is called a rank 2 theta function...

50p noel_noel 17-01-2013 65 9   Download

This paper is a continuation of Fefferman’s program [7] for studying the geometry and analysis of strictly pseudoconvex domains. The key idea of the program is to consider the Bergman and Szeg¨ kernels of the domains as o analogs of the heat kernel of Riemannian manifolds. In Riemannian (or conformal) geometry, the coefficients of the asymptotic expansion of the heat kernel can be expressed in terms of the curvature of the metric; by integrating the coefficients one obtains index theorems in various settings. ...

18p noel_noel 17-01-2013 51 5   Download

We develop an analogue for sphere packing of the linear programming bounds for error-correcting codes, and use it to prove upper bounds for the density of sphere packings, which are the best bounds known at least for dimensions 4 through 36. We conjecture that our approach can be used to solve the sphere packing problem in dimensions 8 and 24. Contents 1. Introduction 2. Lattices, Fourier transforms, and Poisson summation 3. Principal theorems 4. Homogeneous spaces 5. Conditions for a sharp bound 6. Stationary points 7. Numerical results 8. Uniqueness Appendix A. ...

27p tuanloccuoi 04-01-2013 50 6   Download

EURASIP Journal on Applied Signal Processing 2003:8, 841–859 c 2003 Hindawi Publishing Corporation A Domain-Independent Window Approach to Multiclass Object Detection Using Genetic Programming Mengjie Zhang School of Mathematical and Computing Sciences, Victoria University of Wellington, P.O. Box 600, Wellington, New Zealand Email: mengjie@mcs.vuw.ac.nz Victor B. Ciesielski School of Computer Science and Information Technology, RMIT University, GPO Box 2476v Melbourne, 3001 Victoria, Australia Email: vc@cs.rmit.edu.

19p sting12 10-03-2012 68 5   Download

Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Department of Mathematic dành cho các bạn yêu thích môn toán học đề tài: Linear programming and the worst-case analysis of greedy algorithms on cubic graphs...

29p thulanh7 04-10-2011 56 8   Download

Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Department of Mathematic dành cho các bạn yêu thích môn toán học đề tài:New Upper Bounds for the Size of Permutation Codes via Linear Programming...

9p thulanh7 04-10-2011 51 4   Download

Các kết quả thu được được minh họa bằng các ví dụ. 2000 Toán Phân loại Chủ đề: 90C20, 90C26, 90C31. Từ khóa: Không giới hạn chương trình bậc hai, tuyến tính nhiễu loạn, KKT điểm thiết lập, semicontinuity thấp hơn.

12p phalinh21 01-09-2011 43 3   Download

Mục tiêu của đề tài là trình bày các định lý tách tập lồi. Các định lý này có nhiều ứng dụng trong quy hoạch toán học. ABSTRACT The aim of this topic is to introduce separation theorem of convex sets. This theorem has many applications in mathematical programming. 1. Mở đầu. Khái niệm tập lồi trong không gian vectơ là sự khái quát khái niệm hình lồi trong hình học sơ cấp. Nó giữ vai trò quan trọng trong nhiều vấn đề giải tích hàm. Đặc biệt, lý thuyết các hàm và tập lồi ( gọi là giải tích lồi)...

4p meoden89nd 21-01-2011 321 59   Download