Testentwurfsverfahren werden in die beiden Kategorien White-Box und Black-Box eingeteilt. Die Black-Box-Verfahren setzen auf der Spezifikation auf, um daraus systematisch Testfälle abzuleiten. Die White-Box-Verfahren nutzen hierfür zusätzlich den Programmtext. Oft werden beide als gleichwertig angesehen, wobei die White-BoxVerfahren eher auf den unteren Teststufen (Komponentenund Integrationste...

A Boolean network with unknown components can be modeled as an AIG with black boxes (bb-AIG). The delay of an AIG is measured in terms of its maximum level after it is balanced. We propose a delay model for a black box which is consistent in that if a bb-AIG is refined by replacing an internal black box with another bb-AIG, its delay cannot decrease. It is also tight in that there exists an AIG...

Phytoplankton biomass within the Saginaw Bay ecosystem (Lake Huron, Michigan, USA) was characterized as a function of select physical/chemical indicators. The complexity and variability of ecological systems typically make it difficult to model the influences of anthropogenic stressors and/or natural disturbances. Here, Artificial Neural Networks (ANNs) were developed to model chlorophyll a con...

Title of dissertation: A STUDY OF SEPARATIONS IN CRYPTOGRAPHY: NEW RESULTS AND NEW MODELS Arkady Yerukhimovich, Doctor of Philosophy, 2011 Dissertation directed by: Professor Jonathan Katz Department of Computer Science For more than 20 years, black-box impossibility results have been used to argue the infeasibility of constructing certain cryptographic primitives (e.g., key agreement) from oth...

This paper presents an abbreviated method for estimating exergy destruction in a heat exchanger, requiring only black-box data of the exchanger’s inputs and outputs, and eliminating part of the mathematical difficulties associated with the calculations. A well-known model for temperature distributions in an exchanger is adapted for this case, and is used to distinguish between the contributions...