Thesis (M.S.)--Rochester Institute of Technology, 1988. / Typescript. Includes bibliographical references (leaves 75-77).

No description available.

No description available.

Thesis (Ph.D)--Computing, Georgia Institute of Technology, 2010. / Committee Chair: Yannis Smaragdakis; Committee Member: Oege de Moor; Committee Member: Richard LeBlanc; Committee Member: Santosh Pande; Committee Member: Spencer Rugaber. Part of the SMARTech Electronic Thesis and Dissertation Collection.

Various techniques are used in the process of software development. The requirements of the system being designed and the constraints dictate the selection of a particular method to be used. This thesis attempts to explain the various types of development techniques available to software designers and programmers. It places specific emphasis on the Object Oriented style of design that is presently widely used in all areas of industry. Object Oriented Programming (OOP) involves a number of new concepts that make software design and development more modular. The actual problem is broken down into a number of smaller components and the functionality of each component is coded separately. These pieces of code are then integrated to form the final application. All the concepts that make this type of programming possible are explained. The thesis presents a detailed account of the development process of a system used to make measurements on polyurethane pads that are used in the Chemical Mechanical Planarization (CMP) process. The setup uses a combination of a number of instruments to provide excitation to the pad and measure its response. A computer controls all these instruments using a single application. Microsoft Visual C++ was used to develop this application. It makes extensive use of a Graphic User Interface (GUI), Microsoft Foundation Classes (MFC) and driver libraries from instrument manufacturers in order to present a user-friendly interface to the operator. System Integration, which is the technique used to make the instruments involved interact with the software is explained. The application involves the use of a number of C++ classes and dialog boxes. Each of these is explained along with the underlying algorithms.

Abstraction mechanisms in programming languages aim to allow orthogonal pieces of functionality to be developed separately; complex software can then be constructed through the composition of these pieces. The effectiveness of such mechanisms lies in their support for modularity and reusability: The behavior of a piece of code should be reasoned about modularly---independently of the specific compositions it may participate in; the computation of a piece of code should allow specialization, so that it is reusable for different compositions. This dissertation introduces structural abstraction: a mechanism that advances the state of the art by allowing the writing of highly reusable code---code whose structure can be specialized per composition, while maintaining a high level of modularity. Structural abstraction provides a disciplined way for code to inspect the structure of its clients in composition, and declare its own structure accordingly. The hallmark feature of structural abstraction is that, despite its emphasis on greater reusability, it still allows modular type checking: A piece of structurally abstract code can be type-checked independently of its uses in compositions---an invaluable feature for highly reusable components that will be statically composed by other programmers. This dissertation introduces two structural abstraction techniques: static type conditions, and morphing. Static type conditions allow code to be conditionally declared based on subtyping constraints. A client of a piece of code can configure a desirable set of features by composing the code with types that satisfy the appropriate subtyping conditions. Morphing allows code to be iteratively declared, by statically reflecting over the structural members of code that it would be composed with. A morphing piece of code can mimic the structure of its clients in composition, or change its shape according to its clients in a pattern-based manner. Using either static type conditions or morphing, the structure of a piece of code is not statically determined, but can be automatically specialized by clients. Static type conditions and morphing both guarantee the modular type-safety of code: regardless of specific client configurations, code is guaranteed to be well-typed.

Submitted by Maria Cristina (library@lncc.br) on 2017-04-06T18:00:17Z No. of bitstreams: 1 thesis nardes.pdf: 2049603 bytes, checksum: 3e70b3af2120ccb2b18a9454fbbb0719 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-04-06T18:00:31Z (GMT) No. of bitstreams: 1 thesis nardes.pdf: 2049603 bytes, checksum: 3e70b3af2120ccb2b18a9454fbbb0719 (MD5) / Made available in DSpace on 2017-04-06T18:00:42Z (GMT). No. of bitstreams: 1 thesis nardes.pdf: 2049603 bytes, checksum: 3e70b3af2120ccb2b18a9454fbbb0719 (MD5) Previous issue date: 2016-03-04 / Agência Nacional do Petróleo, Gás Natural e Biocombustíveis / Computer modeling of reservoirs is the tool that provides the accurate description of the existing physical phenomena in the oil and gas recovery process, being of interest to both the industry and science. In oil and gas industry, the demand of commercial simulators is remarkable. At the same time, scientific simulators are able to provide researchers with the freedom and control needed by the academic activity. Among the major demands of scientific software are: (i) the scalable design, which is correlated with organized and modular code development, and (ii) the scalable execution, related to the implementation of techniques for parallel and high performance computing, due to the large amount of manipulated data and the compute-intensive numerical models produced by science. This dissertation aims to the application of techniques for modular object-oriented programming and parallel computing, with OpenMP and MPI, in a scientific simulator, developed in Fortran and used in the numerical modeling of problems related to gas flow on unconventional gas-shale reservoirs. / A modelagem computacional de reservatórios é o instrumento que permite a descrição precisa dos fenômenos físicos existentes no processo de recuperação de óleo e gás, tendo grande interesse tanto para a indústria quanto para a ciência. Na indústria de óleo e gás, é grande a demanda por simuladores comerciais de reservatórios. Por outro lado, simuladores científicos são capazes de oferecer aos pesquisadores do domínio, o controle e a liberdade necessários à atividade acadêmica. Dentre as principais demandas do software científico em geral estão (i) o design escalável, relacionado ao desenvolvimento de código de maneira organizada e modular, contribuindo para sua evolução e (ii) a execução escalável, relacionada à implementação de técnicas de computação paralela e de alto desempenho, em razão das grandes massas de dados manipuladas e dos modelos numéricos computacionalmente intensivos produzidos pela ciência. Este trabalho trata do emprego de técnicas de programação modular com orientação a objetos e de computação paralela com OpenMP e MPI em um simulador científico, escrito em Fortran e utilizado na modelagem numérica de problemas de escoamento em reservatórios não convencionais de gás em folhelhos.