Application of a full potential method for analysis of complex aircraft geometries

A supersonic potential flow solver was developed to analyze the flow over complex realistic aircraft geometries. Enhancements to the method were made to accommodate regions of subsonic flow, the effect of trailing wakes on other aircraft components, and the modeling/gridding of complete configurations. Validation of the method was demonstrated by comparisons with experimental aerodynamic force and surface pressure measurements. The predicted results are in very good agreement with the experimental data. The bibliography contains additional information on the use of the potential flow code to predict the aerodynamics of high-speed wing/body configurations, waverider concepts, TAV, and the Space Shuttle orbiter package

Effect of nanoencapsulation using PLGA on antioxidant and antimicrobial activities of guabiroba fruit phenolic extract.

Guabiroba fruit has been highlighted for its high phytochemical content, particularly of phenolic compounds. The stability, bioavailability, and bioactivity of these compounds can be enhanced by nanoencapsulation, to improve functionality. Poly (D,L-lactic-co-glycolic) acid (PLGA) nanoparticles containing phenolic extract of guabiroba (GPE) were synthesized by an adapted emulsion-evaporation method and their physico-chemical and functional properties were studied at two lactic to glycolic acid ratios (50:50 and 65:35). Higher (P < 0.05) or equivalent antioxidant capacity compared to free GPE were observed for GPE-loaded nanoparticles. Free extract and PLGA nanoparticles were effective inhibitors of Listeria innocua, with lower (P < 0.05) GPE concentrations required for inhibition when nanoencapsulated. Also, reduction of ROS generation in non-cancer cells was achieved with lower GPE concentrations (P < 0.05) after encapsulation. These results suggest that PLGA nanoparticles can be used as a delivery system for phenolic compounds at lower levels than originally required for enhanced functional properties

A Component-oriented Framework for Autonomous Agents

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components

On security analysis of periodic systems: expressiveness and complexity

Development of automated technological systems has seen the increase in interconnectivity among its components. This includes Internet of Things (IoT) and Industry 4.0 (I4.0) and the underlying communication between sensors and controllers. This paper is a step toward a formal framework for specifying such systems and analyzing underlying properties including safety and security. We introduce automata systems (AS) motivated by I4.0 applications. We identify various subclasses of AS that reflect different types of requirements on I4.0. We investigate the complexity of the problem of functional correctness of these systems as well as their vulnerability to attacks. We model the presence of various levels of threats to the system by proposing a range of intruder models, based on the number of actions intruders can use

Differing instructional needs for children of similar reading achievement grades two, four, and six

Thesis (Ed.M.)--Boston Universit

Translational design for limited resource settings as demonstrated by Vent-Lock, a 3D-printed ventilator multiplexer

BACKGROUND: Mechanical ventilators are essential to patients who become critically ill with acute respiratory distress syndrome (ARDS), and shortages have been reported due to the novel severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). METHODS: We utilized 3D printing (3DP) technology to rapidly prototype and test critical components for a novel ventilator multiplexer system, Vent-Lock, to split one ventilator or anesthesia gas machine between two patients. FloRest, a novel 3DP flow restrictor, provides clinicians control of tidal volumes and positive end expiratory pressure (PEEP), using the 3DP manometer adaptor to monitor pressures. We tested the ventilator splitter circuit in simulation centers between artificial lungs and used an anesthesia gas machine to successfully ventilate two swine. RESULTS: As one of the first studies to demonstrate splitting one anesthesia gas machine between two swine, we present proof-of-concept of a de novo, closed, multiplexing system, with flow restriction for potential individualized patient therapy. CONCLUSIONS: While possible, due to the complexity, need for experienced operators, and associated risks, ventilator multiplexing should only be reserved for urgent situations with no other alternatives. Our report underscores the initial design and engineering considerations required for rapid medical device prototyping via 3D printing in limited resource environments, including considerations for design, material selection, production, and distribution. We note that optimization of engineering may minimize 3D printing production risks but may not address the inherent risks of the device or change its indications. Thus, our case report provides insights to inform future rapid prototyping of medical devices