Problems of operating research and power reactors; Reactor Operations Division meeting, Oct. 21-23, 1963, Ottawa, Ontario.

"Microcard edition" (2 cards. 8 x 13 cm) in pocket.

A study of the overall problems of the true-temperature, hypersonic wind tunnel having semi-continuous operation and the preferred methods of solution.

"Supported by the McDonnell Aircraft Corporation under Contract no. 6140-20 P. O. 7S4899-R. Purdue Research Foundation. Research project no. 1717. Project Ae-33.

Problems of the carless /

Cover title.

Theory of functions of a complex variable /

Mode of access: Internet.

The application of analog computers to traffic intersection problems

Photocopy of typescript.

The problems of water quality management,

"Presented at the Water quality management training course conducted by the Water Supply and Pollution Control Training Program, Robert A. Taft Sanitary Engineering Center, Cincinnati, Ohio, March 4, 1963."

Administrative guide covering public health problems in recreational areas.

Mode of access: Internet.

Dynamic Models under Uncertainty for Large-Scale Enterprise Systems

Thesis (Ph.D.)--University of Washington, 2016-06

Optimization and Machine Learning Frameworks for Complex Network Analysis

Thesis (Ph.D.)--University of Washington, 2016-06

Space-Time Smoothing Models for Surveillance and Complex Survey Data

Thesis (Ph.D.)--University of Washington, 2016-06

Robust multivariable control of complex biological processes

This paper addresses advanced control of a biological nutrient removal (BNR) activated sludge process. Based on a previously validated distributed parameter model of the BNR activated sludge process, we present robust multivariable controller designs for the process, involving loop shaping of plant model, robust stability and performance analyses. Results from three design case studies showed that a multivariable controller with stability margins of 0.163, 0.492 and 1.062 measured by the normalised coprime factor, multiplicative and additive uncertainties respectively give the best results for meeting performance robustness specifications. The controller robustly stabilises effluent nutrients in the presence of uncertainties with the behaviour of phosphorus accumulating organisms as well as to effectively attenuate major disturbances introduced as step changes. This study also shows that, performance of the multivariable robust controller is superior to multi-loops SISO PI controllers for regulating the BNR activated sludge process in terms of robust stability and performance and controlling the process using inlet feed flowrate is infeasible. (C) 2003 Elsevier Ltd. All rights reserved.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

The prediction and representation of phase equilibria and physicochemical properties in complex slag systems

The development of new experimental techniques for the determination of phase equilibria in complex slag systems, chemical thermodynamic, and viscosity models is reported. The new experimental data, and new thermodynamic and viscosity models, have been combined in a custom-designed computer software package to produce limiting operability diagrams for slag systems. These diagrams are used to describe phase equilibria and physicochemical properties in complex slag systems. The approach is illustrated with calculations on the system FeO-Fe2O3-CaO-SiO-Al2O3 at metallic iron saturation, slags produced in coal slagging gasifiers, and in the reprocessing of nonferrous smelting slags. This article was presented at the Mills Symposium Molten Metals, Slags and Glasses-Characterisation of Properties and Phenomena held in London in August 2000.

Engineering mRNA translation initiation to enhance transient gene expression in Chinese hamster ovary cells

To increase transient expression of recombinant proteins in Chinese hamster ovary cells, we have engineered their protein synthetic capacity by directed manipulation of mRNA translation initiation. To control this process we constructed a nonphosphorylatable Ser51Ala site-directed mutant of eIF2, a subunit of the trimeric eIF2 complex that is implicated in regulation of the global rate of mRNA translation initiation in eukaryotic cells. Phosphorylation of eIF2 by protein kinases inhibits eIF2 activity and is known to increase as cells perceive a range of stress conditions. Using single-and dual-gene plasmids introduced into CHO cells by electroporation, we found that transient expression of the eIF2 Ser51Ala mutant with firefly luciferase resulted in a 3-fold increase in reporter activity, relative to cells transfected with reporter only. This effect was maintained in transfected cells for at least 48 h after transfection. Expression of the wild-type eIF2 protein had no such effect. Elevated luciferase activity was associated with a reduction in the level of eIF2 phosphorylation in cells transfected with the mutant eIF2 construct. Transfection of CHO cells with the luciferase-only construct resulted in a marked decrease in the global rate of protein synthesis in the whole cell population 6 h post-transfection. However, expression of the mutant Ser51Ala or wild-type eIF2 proteins restored the rate of protein synthesis in transfected cells to a level equivalent to or exceeding that of control cells. Associated with this, entry of plasmid DNA into cells during electroporation was visualized by confocal microscopy using a rhodamine-labeled plasmid construct expressing green fluorescent protein. Six hours after transfection, plasmid DNA was present in all cells, albeit to a variable extent. These data suggest that entry of naked DNA into the cell itself functions to inhibit protein synthesis by signaling mechanisms affecting control of mRNA translation by eIF2. This work therefore forms the basis of a rational strategy to generically up-regulate transient expression of recombinant proteins by simultaneous host cell engineering.

Determination of a misfit dislocation complex in SiGe/Si heterostructures by image deconvolution technique in HREM

The core structure of a dislocation complex in SiGe/Si system composed of a perfect 60degrees dislocation and an extended 60 dislocation has been revealed at atomic level. This is attained by applying the image deconvolution technique in combination with dynamical diffraction effect correction to an image taken with a 200 kV field-emission high-resolution electron microscope. The possible configuration of the dislocation complex is analyzed and their Burgers vectors are determined. (C) 2003 Elsevier B.V. All rights reserved.