GAMS: a framework for the management of scientific software

Boisvert, Ronald F.; Howe, Sally E.; Kahaner, David K.

doi:10.1145/6187.6188

Cited by 82 publications

(39 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The explicit solution has been computed using the Multi-Parametric Toolbox called MPT [11] while implicit MPC has been implemented using GAMS [12] and MATLAB. In particular, the MINOS solver [13] is used.…”

Section: Optimal Transient Control Via Mpcmentioning

confidence: 99%

Optimal Model Predictive Control of Timed Continuous Petri Nets

Mahulea

Giua

Recalde

et al. 2008

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

This paper addresses the optimal control problem of timed continuous Petri nets under infinite servers semantics. In particular, our goal is to find a control input optimizing a certain cost function that permits the evolution from an initial marking (state) to a desired steady-state. The solution we propose is based on a particular discrete-time representation of the controlled continuous Petri net system, as a certain linear constrained system. An upper bound on the sample period is given in order to preserve important information of the timed continuous net, in particular the positiveness of the markings. The reachability space of the sampled system in relation to autonomous continuous Petri nets is also studied.Based on the resulting linear constrained model, the optimal control problem is studied through Model Predictive Control (MPC). Implicit and explicit procedures are presented together with a comparison between the two schemes. Stability of the closed-loop system is also studied.

show abstract

Section: Optimal Transient Control Via Mpcmentioning

confidence: 99%

Optimal Model Predictive Control of Timed Continuous Petri Nets

Mahulea

Giua

Recalde

et al. 2008

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

show abstract

“…5. Observe that Q ,1 = P 2 S ,1 M ,1 P ,1 1 and compute the matrix T = P 4 P ,1 2 Q ,1 P 1 P ,1 5 : It is easily veri ed that T is equal to P 4 S ,1 M ,1 P ,1 5 .…”

Section: Matrix Multiplicationsmentioning

confidence: 99%

Secure outsourcing of scientific computations

Atallah

Pantazopoulos

Rice

et al. 2002

Advances in Computers

195

112

View full text Add to dashboard Cite

We i n vestigate the outsourcing of numerical and scienti c computations using the following framework: A customer who needs computations done but lacks the computational resources computing power, appropriate software, or programming expertise to do these locally, w ould like to use an external agent to perform these computations. This currently arises in many practical situations, including the nancial services and petroleum services industries. The outsourcing is secure if it is done without revealing to the external agent either the actual data or the actual answer to the computations. The general idea is for the customer to do some carefully designed local preprocessing disguising of the problem and or data before sending it to the agent, and also some local postprocessing of the answer returned to extract the true answer. The disguise process should be as lightweight as possible, e.g., take time proportional to the size of the input and answer. The disguise preprocessing that the customer performs locally to hide" the real computation can change the numerical properties of the computation so that numerical stability m ust be considered as well as security and computational performance. We present a framework for disguising scienti c computations and discuss their costs, numerical properties, and levels of security. We show that no single disguise technique is suitable for a broad range of scienti c computations but their is an array of disguise techniques available so that almost any scienti c computation could be disguised at a reasonable cost and with very high levels of security. These disguise techniques can be embedded in a very high level, easy-to-use system problem solving environment that hides their complexity.

show abstract

“…In response to the general problem of managing such disparate but parallel subroutine libraries, the National Bureau of Standards developed a classification scheme called GAMS, Guide to Available Mathematical Software (Boisvert, Howe, & Kahaner, 1983;Boisvert, Howe, & Kahaner, 1985). GAMS gave us a standardized yet adaptable framework in which to develop synonym-enriched passage retrieval for DFT's subroutine documentation.…”

Section: The Gams Schemementioning

confidence: 99%

Extended subject access to hypertext online documentation. Parts I and II: The search-support and maintenance problems

Girill

Griffin

Jones

1991

J. Am. Soc. Inf. Sci.

View full text Add to dashboard Cite

The DFT (DOCUMENT, FIND, THESEUS) online documentation system resembles other hypertext software in managing a full-text database with reference links (pointers) between passages (nodes). But DFT's prime role as an end-user reference service at a computer center where text updates are frequent required extra access methods often neglected in hypertext systems. To solve the problem of rapid, high-recall search for specific answer passages we combined syntactical interface features (substring and fuzzy matching of search terms) with a semantic expansion of the system's entry vocabulary. Extensive aliasing increased the number of descriptions under which any passage could be found. Conversion of the NBS GAMS classification scheme for mathematical software into descriptors allowed us to impose a virtual organization on our subroutine documentation that supports easy, task-oriented retrieval without tedious path walking. To solve the problem of reliable database maintenance amid frequent passage revisions we developed software tools for flexible input of text and entry-term changes, as well as for thorough and versatile status reporting. These, together with special features for testing and privately simulating changes and for coordinating the sequence of text and entry-term updates for maximum efficiency, yielded a robust and practical answer-delivery system.

show abstract

GAMS: a framework for the management of scientific software

Cited by 82 publications

References 7 publications

Optimal Model Predictive Control of Timed Continuous Petri Nets

Optimal Model Predictive Control of Timed Continuous Petri Nets

Secure outsourcing of scientific computations

Extended subject access to hypertext online documentation. Parts I and II: The search-support and maintenance problems

Contact Info

Product

Resources

About