Layered Fixed Point Logic

We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases the complexity result specializes to the worst case time complexity of the classical methods

Alaska Army National Guard Construction Planning Process Improvement

A Project Submitted in Partial Fulfillment of the Requirements for the Degree of MASTER OF SCIENCE in Project ManagementThe Alaska Army National Guard (AKARNG) is a jointly funded agency run under a cooperative agreement between the federal and state governments. Recognized as a state agency, the AKARNG reports to the governor for domestic response and trains for federal missions. With this relationship, the AKARNG receives funds from the National Guard Bureau (NGB) and the Alaska State Legislature for the execution of construction projects. Under the cooperative agreement, the AKARNG follows state procedures and uses the Alaska Department of Transportation and Public Facilities (ADOT/PF) to manage projects. The AKARNG Construction and Facilities Maintenance Officer (CFMO) ensures federal oversight of all AKARNG facilities. This project looks at the relationship between the AKARNG CFMO and ADOT/PF as they collaborate and plan construction projects for the AKARNG. The primary deliverables for this project are a current state swim lane chart (SLC) with written description and an improved state SLC with a written description. The goal of this project is to offer the AKARNG a roadmap for process improvement. The current and improved SLCs were produced by conducting research and engaging with stakeholders through interviews and questionnaires. Stakeholders were engaged throughout and offered quality oversight of the deliverables. The improved state SLC incorporated regulatory compliance and previously omitted policy requirements. When necessary, the improved state SLC included the addition or subtraction of steps to add value to the process. This project delivered the AKARNG a scalable depiction of their construction planning process and recommendations for improvement.Title Page / Table of Contents / List of Exhibits / List of Appendices / Project Management / Project Execution / Project Outcomes / Future Research and Project Conclusions / Appendice

Study aids accuracy of turbopump axial thrust analysis

Test program to verify theory used in calculating axial thrust uses turbopump instrumented with /a/ proximity transducers for measuring shaft position, /b/ a strain gage thrust bearing carrier to measure axial thrust, and /c/ internal pressure taps to define component pressure gradients used in thrust calculations