Typescript, etc. / Digitized by Kansas Correctional Industries

Typescript, etc. / Digitized by Kansas Correctional Industries

The integration of a functional component into a logic language extends the expressive power of the language. One logic language which would benefit from such an extension is Godel, a prototypical language at the leading edge of the research in logic programming. We present a modification of the Godel parser which enables the parsing of evaluable functions in Godel. As the first part of an extended Godel, the parser produces output similar to the output from the original Godel parser, ensuring that Godel modules are properly handled by the extended-Godel parser. Parser output is structured to simplify, as much as possible, the future task of creating an extended compiler implementing evaluation of functions using narrowing. We describe the structure of the original Godel parser, the objects produced by it, the modifications made for the implementation of the extended Godel and the motivation for those modifications. The ultimate goal of this research is production of a functional component for Godel which evaluates user-defined functions with needed narrowing, a strategy which is sound, complete, and optimal for inductively sequential rewrite systems.

No description available.

Thesis (M.S.)--Oregon Graduate Center, 1983.

The objectives of this study are to revise and reformulate a previous simulation model of the Calapooia River and proposed Holley Dam project and to critically investigate the anadromous fish enhancement function of the project. The Corps of Engineers proposes a 145,000 acre-foot reservoir for the Calapooia River at Holley, Oregon. Previously, a 97,000 acre-foot reservoir was proposed. The larger project's justification is based mainly on anadromous fish enhancement. Investigation revealed that there is a great deal of uncertainty and lack of information about: (1) temperature requirements of anadromous fish in the Calapooia River and whether they can be met, (2) the affects of high streamflow discharges on spawning, incubation, and rearing of anadromous fish in the Calapooia River, (3) the affects of variability in food supply due to fluctuations in the level of the water in the reservoir, and (4) the survival rates of salmon eggs to fry, fry to smolts, and ocean survival. A simulation model in DYNAMO computer language is formulated and includes the following components: (1) hydrology generator, (2) reservoir regulation and flood control procedures, (3) freshwater life cycle of Spring Chinook and Fall Chinook Salmon, (4) supply of recreation user days, (5) supply of resident fishing angler days, and (6) supply of irrigation water. The model calculates the daily, monthly, and yearly variability of various physical, economic, and intangible outcomes. The simulation of floods and their regulation corresponds to historical data and regulation hypothesized by the Corps of Engineers. The dynamic nature of the Spring and Fall Chinook Salmon populations are modeled and computer results indicate that the likelihood of conservation and enhancement is not great enough to justify the 145,000 acre-foot reservoir. Due to the fluctuations in the reservoir level which accompany flood control regulation and reflect the variability in the hydrology, the recreational use and resident fishing angler use is highly variable and the average use is unlikely to reach the estimated supply potential. The reservoir, as simulated by the model, has sufficient capacity to supply water for the proposed irrigation project. However, it appears that uncertainty remains concerning the dollar benefits that are obtainable from irrigating soils along the Calapooia River. Further study is necessary to determine whether the 97,000 acre-foot reservoir is a feasible alternative to the proposed 145,000 acre-foot reservoir. The computer model is general in formulation and can be utilized to provide information to decision makers in determining the feasibility of further dam and reservoir construction. / Graduation date: 1972

Thesis (M.Sc.)--York University, 2003. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 107-113). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: LINK NOT YET AVAILABLE.

M.S. / Computer Science & Engineering / Programming in a multiprocessing environment creates additional complexity issues above those encountered in a uniprocessing model. Animation of the underlying software data structures has been shown to help in management of such issues in uniprocessing environments. Animation tools for multiprocessing environments should also be of assistance to software engineers constructing parallel processing software systems. MPA is an environment that supports creation ofanimations that support multiprocessing applications in the Smalltalk programming environment.

Thesis (M.S. in)--Naval Postgraduate School, June 2004. / Thesis advisor(s): Matt Carlyle. Includes bibliographical references (p. 29). Also available online.

Thesis (M.S.)--West Virginia University, 2004. / Title from document title page. Document formatted into pages; contains viii, 92 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 89-92).