Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Parser for signomial and geometric programs

a signomial and geometric program technology, applied in the field of mathematical optimization, can solve the problems of hundreds of optimization variables and thousands of constraints, too cumbersome to perform by hand, and more complex gps effectively to be solved with the aid of computer programs

Inactive Publication Date: 2008-03-20
SYNOPSYS INC
View PDF0 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

A very simple GP can be solved by hand, but more complex GPs effectively must be solved with the aid of computer programs.
For example, a very complex GP that may be used to describe a circuit design problem may have hundreds of optimization variables and thousands of constraints.
The mathematical operations needed to solve a GP of this magnitude would be too cumbersome to perform by hand; therefore, optimization programs are needed to solve most GPs.
Parsing a GP into this particular format typically requires extensive labor by one or more people.
Moreover, if this compact numeric format were generated by hand, any changes to the functions, variables or coefficients contained in the GP would require extensive labor to modify the problem.
However, these programs are very general in function and lack the sophistication required to identify and / or parse a GP.
Similarly, there is a need for a parser program that can identify and parse a GP because current optimization software tools lack the ability to accomplish these tasks.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Parser for signomial and geometric programs
  • Parser for signomial and geometric programs
  • Parser for signomial and geometric programs

Examples

Experimental program
Comparison scheme
Effect test

example 3

[0044] problem=GP

[0045] status=optimal

[0046] obj_value=1606.14

[0047] x1=29.999680001707

[0048] x2=37.433796562618

[0049] x3=0.69919504957707

Alternate Embodiment of the Invention

[0050] One embodiment of the invention exists which implements the identical blocks shown in FIG. 1 with the exception of block 130. FIG. 3 shows a more detailed look at the operations included in block 130 for an alternate embodiment. From block 120 the Parser begins processing source file 115 to locate algebraic expressions, as shown is block 300. If a line contains a variable declaration, then the Parser stores the variables into memory, or if a line contains an internal variable assignment, then GBLAB stores the internal variable and its assigned expression into memory. From block 300 the Parser will read a new algebraic expression at block 310. At block 320 the Parser recognizes, in the algebraic expression, any internal variables representing a previously assigned expression and, if necessary, make...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

A method and apparatus for parsing signomial and geometric programs, referred to herein as “the Parser”. Signomial and Geometric programming is a unique class of mathematical problems that is useful in the study of optimization problems. The Parser is a program designed to recognize and parse both signomial and geometric programs such that they may be accepted and solved by signomial and geometric program solvers. The Parser accepts an optimization problem from a user in the form of algebraic expressions. The Parser can then identify the problem as a signomial program and can further determine if it reduces to a geometric program. If either a signomial or geometric program exists, the Parser converts the algebraic expressions to a compact numeric format that can be accepted by a computer-aided solver. In the case of a geometric program, the solver may find a global solution to the optimization problem. However, in the case of signomial program, the solver may only find a local solution. The solution found by the solver is routed back to the Parser which reports it in a user-readable format.

Description

FIELD OF THE INVENTION [0001] The invention relates to the field of mathematical optimization, particularly the recognition and parsing of signomial and geometric programs such that they may be accepted and solved by signomial and geometric program solvers. BACKGROUND AND PRIOR ART [0002] Geometric programming is a unique class of mathematical problems that is useful in the study of optimization problems. The theory of Geometric Programming was initially developed over three decades ago and culminated in a publication by R. J. Duffin, E. L. Peterson and C. M. Zener (Geometric Programming, John Wiley & Sons, 1967). This publication describes a Geometric Program (GP) as an optimization problem having an objective function and a set of constraints which all must meet certain mathematical criteria. Perhaps the most important property of GPs is that they can be solved, with great efficiently, and globally, using recently developed interior-point methods. [0003] Since the impact of GPs ca...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(United States)
IPC IPC(8): G06F9/44
CPCG06F17/11G06F8/427
Inventor BOYD, STEPHENSHEN, XILINGHERSHENSON, MARVANDENBERGHE, LIEVENCRUSIUS, CESARCOLLERAN, DAVEMOHAN, SUNDERARJAN
Owner SYNOPSYS INC
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products