Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Life extension of structural components via an improved nondestructive testing methodology

Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Materials Science and Engineering, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 337-355).An experimental study was performed to determine the flaw detection sensitivity of advanced nondestructive testing (NDT) techniques with respect to structural applications. The techniques analyzed exemplify the incorporation of digital technology into NDT and includes the following: meandering winding magnetometer array (MWM-array@) eddy current, phased-array ultrasonic (PA-UT), three dimensional computed tomography (3DCT), and digital radiography (DR). The three classes of samples inspected with these techniques consisted of alloy block specimens containing flat bottom hole (FBH) arrays, probability of detection (POD) wedding cake samples, and actual airplane engine components. Results from the sensitivity analyses were compared to current NDT techniques used industrially. An image analysis program called Cellprofiler was used to optimize the threshold correction factor for selected results. The Cellprofiler output was analyzed in conjunction with POD software, and the integration of digitally advanced NDT techniques with image analysis software resulted in approximately a threefold improvement in the minimum detectable flaw size at the 90/95 POD/CL level. An improved inspection methodology was presented which incorporated redundancy in the in-service inspection plan with the use of Bayesian updating techniques to forecast remnant life. Reliability block diagrams for structural disk and blade aircraft engine components were presented as examples of the methodology. Implementation of the proposed NDT methodology significantly increases the feasibility of a retirement-forcause (RFC) approach to be applied to aging structural components in a cost-effective manner.by Brian P. Hohmann.Sc.D

DRONE DELIVERY OF CBNRECy – DEW WEAPONS Emerging Threats of Mini-Weapons of Mass Destruction and Disruption (WMDD)

Drone Delivery of CBNRECy – DEW Weapons: Emerging Threats of Mini-Weapons of Mass Destruction and Disruption (WMDD) is our sixth textbook in a series covering the world of UASs and UUVs. Our textbook takes on a whole new purview for UAS / CUAS/ UUV (drones) – how they can be used to deploy Weapons of Mass Destruction and Deception against CBRNE and civilian targets of opportunity. We are concerned with the future use of these inexpensive devices and their availability to maleficent actors. Our work suggests that UASs in air and underwater UUVs will be the future of military and civilian terrorist operations. UAS / UUVs can deliver a huge punch for a low investment and minimize human casualties.https://newprairiepress.org/ebooks/1046/thumbnail.jp