A shock is essentially a propagating variation in the pressure or density of a medium. If the medium is transparent, such as air, and the shock radially symmetric, the refractive fringe diagnostic can be used to examine its general features. A laser beam probes the shock, the central part of the beam, refracted to different degrees by the different density features within the shock, interferes with itself and with the outer unrefracted part creating a series of coarse and fine fringes. By examining this interference pattern one can gain insight into the density profile underlying the shock. A series of such experiments was conducted by the Plasma Physics Research Institute at the University of Natal in 1990. To model the situation computationally, they developed a ray-tracer which produced interference patterns for modified theoretical density profiles based on those predicted by Sedov. After numerous trials, an intensity pattern was produced which agreed approximately with experimental observations. Thus encouraged, the institute then sought to determine density profiles directly from the interference patterns, but a true mathematical deconvolution proved non-trivial and is still awaited. The work presented in this thesis reconstructs the ray-tracer using software engineering techniques and achieves the desired deconvolution by training a neural network of the back-propagation type to behave as an inverse ray-tracer. The ray-tracer is first used to generate numerous density profile - interference pattern pairs. The neural network is trained with this theoretical data to provide a density profile when presented with an interference pattern. The trained network is then tested with experimental interference patterns extracted from captured images. The density profiles predicted by the neural network are then fed back to the ray-tracer and the resultant theoretically determined interference patterns compared to those obtained experimentally. The shock is examined at various times after the initial explosion allowing its propagation to be tracked by its evolving density profile and interference pattern. The results obtained prove superior to those first published by the institute and confirm the neural network's promise as a research tool. Instead of lengthy trial and error sessions with the unaided ray-tracer, experimental interference patterns can be fed directly to an appropriately trained neural network to yield an initial density profile. The network, not the researcher, does the pattern association. / Thesis (M.Sc.)-University of Natal, 1996.

Thesis (M.S.)--Mississippi State University. Department of Computer Science. / Title from title screen. Includes bibliographical references.

Tarptautiniai tyrimai rodo, jog moderniosios ugdymo priemonės gali pagerinti mokymą ir mokymąsi. Analitiniu būdu nustatyta, kad, mokant fizikos, mokomosios kompiuterinės priemonės (toliau MKP) naudojamos rečiausiai, nes daugelis programų yra užsienio kalba, jos nesuderintos su ugdymo programa ir nepritaikytos pamokoms, pernelyg sudėtingos. Atsižvelgiant į MKP analizės rezultatus, sukurta interkatyvi su bendrosiomis programomis ir išsilavinimo standartais suderinta mokomoji fizikos svetainę 8-ai klasei „Tiesiaeigis tolyginis judėjimas“. Projektuojant mokomąją svetainę, pirmenybė suteikta aktyviems ir mišriems interaktyvumo tipams bei labai aukštam, aukštam ir vidutiniam interaktyvumo lygiui. Išanalizavus tiesiaeigio tolyginio judėjimo teorinę ir praktinę dalį, parinkti mokomosios medžiagos pateikimo svetainėje būdai. Išanalizavus svetainių kūrimo priemones, parinkta Front Page 2003 programa. Svetainės interaktyvumas programuotas su Java Script kalba. Iš kelių animacijos kurimo priemonių parinkta 2D & 3D Animator programa. Su svetaine ir jos galimybėmis buvo supažindinti 8-os klasės moksleiviai. Moksleiviai teigiamai įvertino mokomąją svetainę. Svetainės mokomosios medžiagos dalys, kurių interaktyvumo lygis aukščiausias, gavo aukščiausius įvertinimus. Todėl interaktyvi mokomoji fizikos svetainė 8-ai klasei „Tiesiaeigis tolyginis judėjimas“ gali būti naudojama kaip mokymo ir mokymosi priemonė. / International researchers demonstrate that modern training aids may improve teaching and learning process. It is appointed in analytic way that interactive learning computer-aided software tools are used more rarely than in other subjects. There are some reasons for that: programess are too complicated, they are not adjusted to curriculum and most of them is in foreign language. Analysis of internet sites on physics subject indicates that they mostly are accessible easily and have suitable, comprehensible navigation, also they are quite well animated. Considering results of analysis it is decided to create an interactive internet site which is coordinated with common curriculum and with standarts of education and would be devoted for training physics subject in 8 classes. This internet site was named “Rectilineal gradual moving”. When this training internet site was being designed, preference was given to active and mixed active types as well as to very high, high and medium high level of interaction since active learning computer-aided software tools interaction type directly stimulates actions of students. When the part of theory of rectilineal gradual moving was analysed, ways of presentation training material were chosen. The site was designed with programme Front Page 2003. For creation of interaction there are explored two language in script writing: VBScript and Java Script. Considering that these languages have not essential differences interaction of learning site... [to full text]

Vast amounts of evolving data are created in the design of hard real-time software systems. This data must be managed so that it can be stored and retrieved according to the needs of design engineers. In the Computer-Aided Prototyping System (CAPS), a Design Database (DDB) must manage the storage and retrieval of the entire Prototype System Description Language (PSDL) program. This thesis presents a conceptual design and initial implementation of a Design Database (DDB) for the Computer-Aided Prototyping System (CAPS).

Thesis (Ph.D.) -- University of Western Sydney, 2004. / "Submitted as fulfilling the requirements for the Doctor of Philosophy Degree"-- t.p. "March 2004" Includes bibliographic references.

Orientador: Ricardo da Silva Torres / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-20T03:10:49Z (GMT). No. of bitstreams: 1 Toffoli_TicianaOniki_M.pdf: 3006898 bytes, checksum: 09832cb2965a248613f643435f1f9be6 (MD5) Previous issue date: 2012 / Resumo: Bibliotecas digitais são avançados e complexos sistemas de informação que armazenam, agregam e gerenciam informações correlatas para que comunidades específicas possam ter acesso a objetos digitais de interesse. Grandes volumes de dados de diferentes tipos e formatos vêm sendo gerados. Muitos desses dados são organizados em objetos digitais que podem ser objetos complexos, ou seja, objetos compostos de outros objetos digitais. Como a especificação e a implementação de uma biblioteca digital são tarefas cruciais para um gerenciamento eficaz de documentos, ferramentas vêm sendo criadas para auxiliar na especificação e na implementação de bibliotecas digitais. Entretanto, poucas ferramentas existentes permitem a especificação de objetos complexos em bibliotecas digitais. Além disso, dificuldades são encontradas na especificação, na modelagem e no reuso desse tipo complexo de dado. O objetivo desta dissertação foi propor um metamodelo de bibliotecas digitais de objetos complexos para especificar instâncias de bibliotecas digitais que gerenciem objetos complexos. O novo metamodelo foi incluído na ferramenta 5SGraph, ferramenta gráfica baseada no formalismo 5S (Streams, Structures, Spaces, Scenarios e Societies) que permite a especificação formal de bibliotecas digitais. A validação do novo metamodelo foi realizada por estudos de caso, por uma avaliação com usuários potenciais da ferramenta 5SGraph e pela implementação de um protótipo de uma biblioteca digital de documentos legais. Com os resultados obtidos, comprovou-se que a ferramenta 5SGraph estendida pode ser usada para especificar bibliotecas digitais de objetos complexos. As principais contribuições deste trabalho são: a caracterização de documentos legais como objetos complexos; a especificação de um metamodelo para especificação de bibliotecas digitais de objetos complexos; a implementação de um metamodelo para uso na ferramenta 5SGraph com o objetivo de especificar e instanciar bibliotecas digitais contendo objetos complexos; uma apresentação de estudos de casos para especificar objetos complexos de bibliotecas digitais na ferramenta 5SGraph; a validação do uso do novo metamodelo na ferramenta 5SGraph por usuários potenciais; e a especificação e a implementação de um protótipo de biblioteca digital de objetos complexos do tipo documento legal / Abstract: Digital libraries are advanced and complex information systems that store, aggregate, and manage correlated information. These systems are used by specific communities to access digital objects of interest. Due to the creation of huge collections of heterogeneous data (in terms of type and format), some of these data are organized in digital complex objects, in the sense that they are composed by other digital objects. Since specification and implementation of digital libraries are decisive tasks to achieve an effective management of documents, specific software tools have been created to help and facilitate the specification and implementation of digital libraries. However, few existing tools used to model digital libraries allow the specification of complex objects. Besides, this kind of complex data make more difficult the tasks of specification, modeling, and reusing of complex objects. The objective of this dissertation was to propose a digital library metamodel in order to specify instances of digital libraries that manage complex objects. The new metamodel was included in the 5SGraph tool. 5SGraph is a software tool based on the 5S theory (Streams, Structures, Spaces, Scenarios, and Societies) and provides a visual environment for the formal specification of digital libraries. The new metamodel was validated through: case studies, an evaluation with potential users, and the implementation of a digital library prototype containing legal documents. According to the results, the extended 5SGraph tool can be used to specify digital libraries of complex objects. The main contributions of this work are: the characterization of legal documents as complex objects; the specification of a metamodel to be used in the specification of digital libraries of complex objects; the implementation of a metamodel in the 5SGraph tool, making the tool capable of specifying digital libraries of complex objects; the presentation of some case studies using the 5SGraph tool to specify complex objects of digital libraries; validation of the new metamodel in the 5SGraph with potential users; and the specification and implementation of a digital library prototype containing complex objects related to legal documents / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

This thesis describes a visual programming language designed to describe and generate Ada program unit specifications. The author first describes the foundations for the work, and gives a brief introduction to some of the features of the language. Most of the thesis is dedicated to describing the visual representation for each portion of an Ada package specification. The BNF grammar of an Ada package specification is used as a basis for organization. By organizing the thesis via the package specification, all program unit specifications i.e., package, task, subprogram and generic specifications) are described and given a representation in the language. Toward the end of the thesis, the design and reference of a package specification is demonstrated in a hypothetical implementation. / Master of Science

Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has been extended by various means of expressivity to account for new, more complex application areas such as schema integration for data warehouses [12, 3, 13]. Designing a conceptual model with such enriched ER diagrams is a nontrivial task: there exist complex interactions between the various means of expressivity, which quite often result in unnoticed inconsistencies in the ER schemas and in implicit ramifications of the modeling that have not been intended by the designer. To address this problem, Description Logics (DLs) have been proposed and succesfully used as a tool for reasoning about ER diagrams and thereby detecting the aforementioned anomalies [5, 6, 8].

Thesis (M. Tech. (Engineering: Electrical)) -- Central University of technology, Free State, 2013 / The South African (SA) manufacturing industry requires developing similar levels of sophistication and expertise in automation as its international rivals to compete for global markets. To achieve this, manufacturing plants need to be managed extremely efficiently to ensure the quality of manufactured products and these plants must also have the relevant infrastructure. Furthermore, this industry must also compensate for rapid product introduction, product changes and short product lifespan. To support this need, this industry must engage in the current trend in automation known as reconfigurable manufacturing. The aim of the study is to develop a reconfigurable assembly system with enhanced control capabilities by utilizing virtual commissioning. In addition, this system must be capable of assembling multiple different products of a product range; reconfigure to accommodate the requirements of these products; autonomously reroute the product flow and distribute workload among assembly cells; handle erroneous products; and implement enhanced control methods. To achieve this, a literature study was done to confirm the type of components to be used, reveal design issues and what characteristics such a system must adhere to. Software named DELMIA was used to create a virtual simulation environment to verify the system and simultaneously scrutinize the methods of verification. On completion, simulations were conducted to verify software functions, device movements and operations, and the control software of the system. Based on simulation results, the physical system was built, and then verified with a multi agent system as overhead control to validate the entire system. The final results showed that the project objectives are achievable and it was also found that DELMIA is an excellent tool for system verification and will expedite the design of a system. By obtaining these results it is indicated that companies can design and verify their systems earlier through virtual commissioning. In addition, their systems will be more flexible, new products or product changes can be introduced more frequently, with minimum cost and downtime. This will enable SA manufacturing companies to be more competitive, ensure increased productivity, save time and so ensure them an advantage over their international competition.

Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T21:42:32Z (GMT). No. of bitstreams: 1 Maranesi_LuisAlfredoHarriss_M.pdf: 1573468 bytes, checksum: a5643eac32cc4886a7cfc43507758fd6 (MD5) Previous issue date: 2011 / Resumo: Soluções de Software de Gestão Empresarial (ERP - Enterprise Resource Planning) no Brasil são normalmente de código proprietário, caras de adquirir e implantar. No mercado brasileiro micro e pequenas empresas poderiam se beneficiar muito com a existência de soluções de ERP mais acessíveis. Uma possível solução seria o uso de programas de código livre para atender a essa demanda, tal como o projeto Apache Open For Business, um conjunto de aplicativos e um framework voltado para soluções de gestão empresarial. Neste estudo espera-se investigar a localização (processo de adaptação de um sistema para uma determinada cultura). Não apenas no que diz respeito a mera tradução dele, mas a aspectos legais, fiscais e contábeis, buscando aumentar sua usabilidade e viabilidade para empresários brasileiros / Abstract: In Brazil, Enterprise Resource Planning (ERP) software are usually proprietary, expensive to acquire and deploy. Micro and small businesses could benefit greatly from the existence of more affordable ERP solutions. One possible solution would be to use open source software to meet this demand. Of relevance in this scenario there is the project Apache Open For Business, a suite of applications and a framework aimed at business management solutions. The main purpose of this study is to investigate the localization (i.e. adapting computer software to different cultural contexts) of this software, not only regarding to mere translation, but also the legal, tax and accounting aspects, seeking to increase its usability and feasibility for Brazilian businessmen. / Mestrado / Ciência da Computação / Mestre em Ciência da Computação