• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 119
  • 116
  • 42
  • 26
  • 12
  • 6
  • 4
  • 4
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 369
  • 369
  • 110
  • 110
  • 53
  • 50
  • 45
  • 45
  • 44
  • 42
  • 39
  • 36
  • 34
  • 32
  • 31
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Noodle: a three-dimensional net-based object-oriented development environment

鄭則平, Cheng, Chuk-ping. January 1994 (has links)
published_or_final_version / Computer Science / Master / Master of Philosophy

Uniting formal and structured methods for the development of reliable software

Shi, Lihua January 1998 (has links)
No description available.

A unified approach to the study of asynchronous communication mechanisms in real-time systems

Clark, Ian George January 2000 (has links)
No description available.

Parallel simulation of marked graphs

Sellami, Hatem 05 1900 (has links)
No description available.

Performance analysis of queueing networks via Taylor series expansions

Seo, Dong-Won 08 1900 (has links)
No description available.

Inheritance in systems comprising reactive components : a behaviour perspective

El-Hassan, A. S. January 2000 (has links)
The aggregation hierarchy is one of the most significant data abstraction mechanisms that emerged as a result to semantic extensions to traditional systems analysis and design methods. The way inheritance works in this hierarchy is studied in this thesis. Special emphasis is placed on the behaviour of objects which are related via an aggregation hierarchy. A framework is introduced for capturing the behaviour of a system from the respective behaviour(s) of its components. This framework is based on a 3-level behaviour modelling hierarchy. One of the most significant contributions of this framework is the ability to apply inter-object interactions when building a behaviour model of a system. These interactions are significant in that they can yield totally distinct models of the systems functionality. Some of the notions that are supported by the behaviour modelling framework include unreachable and transient states, transition chains (cascades) and concurrency. The framework also enables the creation of behaviour model (semantic) hierarchies, wherein certain facets of the systems behaviour or functionality can be hidden (abstracted out) in a gradual fashion that suits the requirements of the problem domain. This creates what is effectively, distinct views of the behaviour or functionality of the system. The notions and concepts that are introduced here are verified and presented in a comprehensive case study that shows what can be achieved using these ideas. Suggestions are also made for future work which can help overcome some of the limitations introduced throughout this research.

Requirements analysis using petri nets

Gaylord, Bradley Colvin January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries

Petri net and statechart models for structured programmable logic controller software development /

Mlilo, Njabulo. Unknown Date (has links)
Thesis (MEng)--University of South Australia, 1997

Emission control in rotary kiln limestone calcination using Petri net models

Saini, Amit K. 08 1900 (has links)
Indiana University-Purdue University Indianapolis (IUPUI) / The idea of emission control is not new. Different industries have been putting in a lot of effort to limit the harmful emissions and support the environment. Keeping our earth green and safe for upcoming generations is our responsibility. Many cement plants have been shut down in recent years on account of high emissions. Controlling SO2, NOx and CO emissions using the Petri net models is an effort towards the clean production of cement. Petri nets do not just give a pictorial representation of emission control, but also help in designing a controller. A controlled Petri net can be potentially implemented to control the process parameters. In Chapter 2, we discuss the Petri nets in detail. In Chapter 3, we explain the modeling of emissions using the Petri nets. A controlled emission model is given in Chapter 4. A general Petri net model is considered to design the controller, which can be easily modified depending on the specific requirements and type of kiln in consideration. The future work given at the end is the work in progress and a neural network model will likely be integrated with the Petri net model.

A recursive algorithm to prevent deadlock in flexible manufacturing systems

Landrum, Chad Michael. January 2000 (has links)
Thesis (M.S.)--Ohio University, August, 2000. / Title from PDF t.p.

Page generated in 0.0753 seconds