11 |
A hardware-software co-design system for embedded real-time applicationsCavalcante, Sergio Vanderlei January 1997 (has links)
No description available.
|
12 |
Economic evaluation of malaria control interventions in Surat, IndiaBhatia, Mrigesh Roopchandra January 2000 (has links)
No description available.
|
13 |
The use of Petri Nets to Personal process modeling and verificationChen, Lin-Ya 27 July 2005 (has links)
A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. In this thesis, we model a personal process using Petri Nets to describe both the control flow and data flow pertaining to the personal process. We redefine the correctness of a personal process and address the verification method based on Petri Nets. In our architecture, we add an online execution engine for the user to execute and verify the correctness of a personal process in real time¡@through the Internet. A personal process can also be managed by a personal workflow management system (PWFMS) running on a handheld device. Because of the strict limitations on their computation power and battery consumptions, we support verification only when the wireless connection is available.
|
14 |
Untersuchungen über kurvennetze ohne umwege ...Reckers, Otto Anton, January 1910 (has links)
Inaug.-diss.--Münster. / Cover title. Lebenslauf.
|
15 |
Statistical modelling of the selectivity of trawl netsHoltrop, G. January 1998 (has links)
This thesis develops statistical methodology for modelling the selectivity of fishing nets, using data from covered codend experiments of fishing trawls. First, the effects of subsampling an experimental catch instead of measuring the entire catch are investigated. Often the subsample is not taken at random. This leads to bias in the selectivity parameter estimates. Simulations show that the effects of non-random subsampling are minimised when equal proportions are sampled from the test and the control net. A model is developed for describing the selectivity of a net with a window panel inserted. This model quantifies the selectivity of both the codend and the window panel, which can then be combined. The model is used to investigate the selectivity of different window panels and their contribution to the combined selectivity. Traditionally, selectivity has been modelled as a fixed and random effects model, estimated in two stages. As an alternative, Markov chain Monte Carlo techniques are explored. A Bayesian selectivity model is formulated, and the effect of the prior distribution on the variance components is investigated. The posterior distribution is relatively insensitive to a prior distribution having variation of similar magnitude as the variation present in the data. For model selection, the p-value approach applied to the posterior marginal densities is more useful than the Bayes and pseudo-Bayes factors. The Bayesian selectivity model is extended to include variation between seasons and variation between trips. The new model is applied to a data set containing seasonal variation. Finally, a Bayeisan multi-species model is developed that accounts for dependencies between species. This gives more precise selectivity parameter estimates. It also reduces bias in the parameter estimates by accounting for mechanisms behind non-random missing data.
|
16 |
Automated translation of dynamic programming problems to Java code and their solution via an intermediate Petri net representationMauch, Holger January 2005 (has links)
Thesis (Ph. D.)--University of Hawaii at Manoa, 2005. / Includes bibliographical references (leaves 197-202). / Also available by subscription via World Wide Web / xi, 202 leaves, bound ill. 29 cm
|
17 |
Modelling and analysis of railway network control logic using coloured petri netsJanczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
|
18 |
Modelling and analysis of railway network control logic using coloured petri netsJanczura, Chris January 1998 (has links)
Thesis (PhD)--University of South Australia, 1998
|
19 |
Untersuchungen über kurvennetze ohne umwege ...Reckers, Otto Anton, January 1910 (has links)
Inaug.-diss.--Münster. / Cover title. Lebenslauf.
|
20 |
Assessment of mesh size selectivity under commercial fishing conditions /Perez-Comas, José Antonio. January 1996 (has links)
Thesis (Ph. D.)--University of Washington, 1996. / Vita. Includes bibliographical references (p. [196]-205).
|
Page generated in 0.0229 seconds