The Unified Modeling Language (UML) is now a standard means of expressing object-oriented analysis and design (OOAD) for the Object Management Group since 1997. The UML is called a modeling language, not a method. That is, the modeling language is the graphic notation that methods use to express design. However, the principles or guidelines for each UML notation modeling are lacking and those are crucial for the UML modeling. To address this important issue, this study utilizes research and development method to investigate the guidelines for each UML notation modeling. An example of war game is used to illustrate the guideline and application. With these guidelines, analysts can more easily use the UML notations to express OOAD and thereby improve the efficiency and effectiveness of UML modeling.

In recent years, a theme for generally discussion in IC design domain is how to do the efficient verification in complex SoC environment and raise the confidence when chip taped-out. But when we face the different abstraction levels of verification environment like the System Modeling Level, Register Transfer Level, FPGA Emulation Level and Chip Level verification environment, how to unifiy test-patterns and makes them can be reused and do mutual-verification in different abstraction level verification environments is our main topic. Therefore, this thesis proposed a verification methodology that based on the 3D graphics SoC and unified the test patterns that let the different abstraction levels of verification environment can use the same test patterns. And to face the exetensive test patterns of 3DG SoC, we also proposed an automatic verification mechanism which can run the simulation and compare the simulation results automatically and improve the verification efficiency. Finally, we also share the 3DG SoC integration and verification experience from front-end to back-end, hope to makes everyone understand the related flow from RTL design to test-chip testing.

Thesis--School of Advanced Airpower Studies, Maxwell Air Force Base, Ala., 1992-93. / Title from title screen (viewed Nov. 5, 2003). "June 1993." Includes bibliographical references.

Thesis--School of Advanced Airpower Studies, Maxwell Air Force Base, Ala., 1994-95. / Title from title screen (viewed Nov. 5, 2003). "March 1996." Includes bibliographical references.

In this thesis we study classes of static spherically symmetric solutions to the Einstein and Einstein–Maxwell equations that may be used to model the interior of compact stars. We also study the spherical accretion of fluids on to bodies in both general relativity and the Newtonian theory of gravity. The condition for pressure isotropy is obtained upon specifying one of the gravitational potentials and the electric field intensity. A series solution was found after specifying a cubic form for the potential. The pressure and energy density appear to be non–singular and continuous inside the star. This solution admits an explicit equation of state that, in regions close to the stellar centre, may be approximated by a polytrope. Another class of exact solutions to the Einstein–Maxwell solutions was found with charge. These solutions are in the form of hypergeometric functions with two free parameters. For particular parameter values we recovered two previously known exact solutions that are reasonable models for the interior of compact stars. We demonstrated two new solutions for other choices of the parameters. One of these has well behaved pressure, energy density and electric field intensity variables within the star. The other was rejected as unphysical on the grounds that it has a negative energy density. This violates the energy conditions. We obtained the mass accretion rate and critical radius of a polytrope accreting onto a D– dimensional Schwarzschild black hole. The accretion rate, ˙M , is an explicit function of the black hole mass, M, as well as the gas boundary conditions and the dimensionality, D, of the spacetime. We also found the asymptotic compression ratios and temperature profiles below the accretion radius and at the event horizon. This generalises the Newtonian expressions of Giddings and Mangano (2008) which examined the accretion of TeV black holes. We obtained the critical radius and accretion rates of a generalised Chaplygin gas accreting on to body under a Newtonian potential. The accretion rate is about 2 - 4 times greater than that for neutral hydrogen. The Rankine–Hugoniot relations for shocked GCG flow were also found. We found general expressions for the pressure and density compression ratios. Some post shock states imply negative volumes. We suspect that these may be thermodynamically forbidden. / Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2012.

Thesis (M.S. in Joint Campaign Planning and Strategy)--Joint Forces Staff College, Joint Advanced Warfighting School, 2007. / Vita. "23 April 2007." Includes bibliographical references (p. 68-71). Also available via the Internet.

Thesis (M.S. in Joint Campaign Planning and Strategy)--Joint Forces Staff College, Joint Advanced Warfighting School, 2006. / "14 April 2006." Vita. "National Defense Univ Norfolk VA"--DTIC cover. Includes bibliographical references (p. 74-76). Also available via the Internet.

Thesis (Ed. D.)--UCLA, 2007. / Vita. Includes bibliographical references (leaves 119-122).

Thesis (Ph. D.)--Florida State University, 2004. / Advisor: Dr. Howard Baer, Florida State University, College of Arts and Sciences, Dept. of Physics. Title and description from dissertation home page (viewed Jan 13, 2005). Includes bibliographical references.

Thesis (M.S. in Joint Campaign Planning and Strategy)--Joint Forces Staff College, Joint Advanced Warfighting School, 2008. / Title from PDF title page; viewed on Dec. 12, 2008. "05 April 2008." Electronic version of original print document. Includes bibliographical references (p. 79-81).