Thesis (Ph. D.)--University of Wisconsin--Madison, 1957. / Vita. Abstracted in Dissertation abstracts, v. 17 (1957) no. 10, p. 2202-2203. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Inaug.-diss.--Bonn. / Lebenslauf.

This study was designed to investigate whether a public school adult education centre opened in a low socio-economic, urban neighbourhood attracted those for whom it was intended; that is, people who lived in the area under investigation, and had the low socio-economic characteristics typical of the residents in this target area. The implications of the results are relevant to future adulteducation efforts directed towards reaching people presently unreachable. Data describing the socio-economic and motivational characteristics of 127 participants were collected using a Survey Questionnaire and the Education Participation Scale. These participants were divided according to area of residence with approximately one half residing within the target area and the balance outside. The data were compared, where relevant, with census-tract data, and statistically tested using Pearson's chi square, Analysis of Variance and Pearson Product-Moment Correlation Coefficients. The study showed that the socio-economic characteristics of the participants living in the target area were different from those of the general population of the area, and were similar to the characteristics of participants coming to the new centre from all other parts of the city. Of the characteristics studied, level of education and prestige of occupation, shown in previous research reports to have the greatest influence on whether a person will participate or not, were higher for the participants living in the target area than for the general population of the area. The motivational characteristics of all the participants were similar. From this it was concluded that the new centre, though situated in the midst of a low socioeconomic neighbourhood, was not attracting people living in the area who had the socio-economic characteristics indigenous to the general population of the area. The area participants exhibited elitist characteristics usually associated with adult learners. Suggestions were made for attracting the majority target population. Motivational characteristics of all the participants were studied by sex, age, place of birth, education level and course enrollment. Statistically significant differences were noted for sex, age, education level and course enrollment. / Education, Faculty of / Educational Studies (EDST), Department of / Graduate

Call number: LD2668 .T4 1931 K55

<p>Ocean-based wireless sensor networks serve many important purposes ranging from tsunami early warning to anti-submarine warfare. Developing energy harvesting devices that make these networks self-sufficient allows for reduced maintenance cost and greater reliability. Many methods exist for powering these devices, including internal batteries, photovoltaic cells and thermoelectric generators, but the most reliable method, if realized, would be to power these devices with an internal kinetic energy harvester capable of reliably converting wave motion into electrical power. Designing such a device is a challenge, as the ocean excitation environment is characterized by shifting frequencies across a relatively wide bandwidth. As such, traditional linear kinetic energy harvesting designs are not capable of reliably generating power. Instead, a nonlinear device is better suited to the job, and the task of this dissertation is to investigate the behaviors of devices that could be employed to this end.</p><p>This dissertation is motivated by the design and analysis of an ocean energy harvester based on a horizontal pendulum system. In the course of investigating the dynamics of this system, several discoveries related to other energy harvesting systems were made and are also reported herein. It is found that the most reliable method of characterizing the behaviors of a nonlinear energy harvesting device in the characteristically random forcing environment of the ocean is to utilize statistical methods to inform the design of a functional device. It is discovered that a horizontal pendulum-like device could serve as an energy harvesting mechanism in small self-</p><p>sufficient wireless sensor buoys if properly designed and if the proper transduction mechanisms are designed and employed to convert the mechanical energy of the device into electrical power.</p> / Dissertation

This thesis is concerned with ways of proving the correctness of computer programs. The first part of the thesis presents a new method for doing this. The method, called continuation induction, is based on the ideas of symbolic execution, the description of a given program by a virtual program, and the demonstration that these two programs are equivalent whenever the given program terminates. The main advantage of continuation induction over other methods is that it enables programs using a wide variety of programming constructs such as recursion, iteration, non-determinism, procedures with side-effects and jumps out of blocks to be handled in a natural and uniform way. In the second part of the thesis a program verifier which uses both this method and Floyd's inductive assertion method is described. The significance of this verifier is that it is designed to be extensible, and to this end the user can declare new functions and predicates to be used in giving a natural description of the program's intention. Rules describing these new functions can then be used when verifying the program. To actually prove the verification conditions, the system employs automatic simplification, a relatively clever matcher, a simple natural deduction system and, most importantly, the user's advice. A large number of commands are provided for the user in guiding the system to a proof of the program's correctness. The system has been used to verify various programs including two sorting programs and a program to invert a permutation 'in place' the proofs of the sorting programs included a proof of the fact that the final array was a permutation of the original one. Finally, some observations and suggestions are made concerning the continued development of such interactive verification systems.

Approved for public release; distribution is unlimited / This thesis examines the movement of personnel into, through, and out of the enlisted forces of the U.S. military services during the period FY1974-FY1987. The vehicle for this analysis is the Enlisted Transition Matrix, which is used by DOD and the Office of Management and Budget (OMB), to track the transition characteristics of the enlisted forces. The Matrix data were supplied by the Defense Manpower Data Center, Monterey, CA. The data were aggregated to the service-wide and years-of-service (YOS) level. The main conclusion of this thesis is that analysis of data aggregated to this level does not yield useful information. Economic and demographic factors fluctuated significantly during the period of interest; however, the effects of those fluctuations are not evidenced in enlisted force information aggregated to the force or YOS level. / http://archive.org/details/trendsinenlisted00good / Lieutenant Commander, United States Navy

In this paper, the ramified Cauchy problem in C² for operator with multiple characteristics of constant multiplicity and second member ramified around some analytic set is studied.

Pars 1 and 2 are devoted to study of solutions of certain differential inequalities. Namely, in Part 1 we show that a germ of an analytic set (real or complex) admits a Gagliardo-Nirenberg type inequality with a certain exponent s>=1. At a regular point s=1, and the inequality becomes classical. As our examples show, s can be strictly greater than 1 even for an isolated singularity. In Part 2 we prove the property of unique continuation for solutions of differential inequality |\Delta u|<=|Vu| for a large class of potentials V. This result can be applied to the problem of absence of positive eigenvalues for self-adjoint Schroedinger operator -\Delta+V defined in the sense of the form sum. The results of Part 2 are joint with Leonid Shartser. In Parts 3 and 4 we derive the basic elements of complex function theory within some subalgebras of holomorphic functions (including extension from submanifolds, corona type theorem, properties of divisors, approximation property). Our key instruments and results are the analogues of Cartan theorems A and B for the `coherent sheaves' on the maximal ideal spaces of these subalgebras, and of Oka-Cartan theorem on coherence of the sheaves of ideals of the corresponding complex analytic subsets. More precisely, in Part 3 we consider the algebras of holomorphic functions on regular coverings of complex manifolds whose restrictions to each fiber belong to a translation-invariant Banach subalgebra of bounded functions endowed with sup-norm. The model examples of such subalgebras are Bohr's holomorphic almost periodic functions on tube domains, and all fibrewise bounded holomorphic functions on regular coverings of complex manifolds. In Part 4 the primary object of study is the subalgebra of bounded holomorphic functions on the unit disk whose moduli can have only boundary discontinuities of the first kind. The results of Parts 3 and 4 are joint with Alexander Brudnyi.

Pars 1 and 2 are devoted to study of solutions of certain differential inequalities. Namely, in Part 1 we show that a germ of an analytic set (real or complex) admits a Gagliardo-Nirenberg type inequality with a certain exponent s>=1. At a regular point s=1, and the inequality becomes classical. As our examples show, s can be strictly greater than 1 even for an isolated singularity. In Part 2 we prove the property of unique continuation for solutions of differential inequality |\Delta u|<=|Vu| for a large class of potentials V. This result can be applied to the problem of absence of positive eigenvalues for self-adjoint Schroedinger operator -\Delta+V defined in the sense of the form sum. The results of Part 2 are joint with Leonid Shartser. In Parts 3 and 4 we derive the basic elements of complex function theory within some subalgebras of holomorphic functions (including extension from submanifolds, corona type theorem, properties of divisors, approximation property). Our key instruments and results are the analogues of Cartan theorems A and B for the `coherent sheaves' on the maximal ideal spaces of these subalgebras, and of Oka-Cartan theorem on coherence of the sheaves of ideals of the corresponding complex analytic subsets. More precisely, in Part 3 we consider the algebras of holomorphic functions on regular coverings of complex manifolds whose restrictions to each fiber belong to a translation-invariant Banach subalgebra of bounded functions endowed with sup-norm. The model examples of such subalgebras are Bohr's holomorphic almost periodic functions on tube domains, and all fibrewise bounded holomorphic functions on regular coverings of complex manifolds. In Part 4 the primary object of study is the subalgebra of bounded holomorphic functions on the unit disk whose moduli can have only boundary discontinuities of the first kind. The results of Parts 3 and 4 are joint with Alexander Brudnyi.