Integration of Direct-Write (DW) and Ultrasonic Consolidation (UC) Technologies to Create Advanced Structures with Embedded Electrical Circuitry

In many instances conductive traces are needed in small, compact and enclosed areas. However, with traditional manufacturing techniques, embedded electrical traces or antenna arrays have not been a possibility. By integrating Direct Write and Ultrasonic Consolidation technologies, electronic circuitry, antennas and other devices can be manufactured directly into a solid metal structure and subsequently completely enclosed. This can achieve a significant reduction in mass and volume of a complex electronic system without compromising performance.Mechanical Engineerin

HvZ Website: The Re-Engineering

As part of our Software Design and Development class, we were given a customer and tasked with providing them a product that they specifically request. Our customer was the Humans vs Zombies (HvZ) student group here on campus. They are a group that periodically plays a campus-wide game of tag using their own online resources, and they requested that we provide them a new, updated website. Their problem was that they needed to both update their site and acquire a more maintable version. The current site that they own now is three years old with code that is difficult to decipher

Ubic: Bridging the gap between digital cryptography and the physical world

Advances in computing technology increasingly blur the boundary between the digital domain and the physical world. Although the research community has developed a large number of cryptographic primitives and has demonstrated their usability in all-digital communication, many of them have not yet made their way into the real world due to usability aspects. We aim to make another step towards a tighter integration of digital cryptography into real world interactions. We describe Ubic, a framework that allows users to bridge the gap between digital cryptography and the physical world. Ubic relies on head-mounted displays, like Google Glass, resource-friendly computer vision techniques as well as mathematically sound cryptographic primitives to provide users with better security and privacy guarantees. The framework covers key cryptographic primitives, such as secure identification, document verification using a novel secure physical document format, as well as content hiding. To make a contribution of practical value, we focused on making Ubic as simple, easily deployable, and user friendly as possible.Comment: In ESORICS 2014, volume 8712 of Lecture Notes in Computer Science, pp. 56-75, Wroclaw, Poland, September 7-11, 2014. Springer, Berlin, German

Nanotailoring Stereolithography Resins for Unique Applications using Carbon Nanotubes

Nanostructured materials and exploiting their properties in stereolithography (SL) may open new markets for unique rapidly manufactured functional devices. Controlled amounts of multiwalled carbon nanotubes (MWCNTs) were successfully dispersed in SL epoxy-based resins and complex three-dimensional (3D) parts were successfully fabricated by means of a multi-material SL setup. The effect of the nanosized filler was evaluated using mechanical testing. Small dispersions of MWCNTs resulted in significant effects on the physical properties of the polymerized resin. A MWCNT concentration of .05 wt% (w/v) in DSM Somos® WaterShed™ 11120 resin increased the ultimate tensile stress and fracture stress an average of 17% and 37%, respectively. Electron microscopy was used to examine the morphology of the nanocomposite and results showed affinity between the MWCNTs and SL resin and identified buckled nanotubes that illustrated strong interfacial bonding. These improved physical properties may provide opportunities for using nanocomposite SL resins in end-use applications. Varying types and concentrations of nanomaterials can be used to tailor existing SL resins for particular applications.Mechanical Engineerin

Xeroderma Pigmentosum Group C Deficiency Alters Cigarette Smoke DNA Damage Cell Fate and Accelerates Emphysema Development

Cigarette smoke (CS) exposure is a major risk factor for the development of emphysema, a common disease characterized by loss of cells comprising the lung parenchyma. The mechanisms of cell injury leading to emphysema are not completely understood but are thought to involve persistent cytotoxic or mutagenic DNA damage induced by CS. Using complementary cell culture and mouse models of CS exposure, we investigated the role of the DNA repair protein, xeroderma pigmentosum group C (XPC), on CS-induced DNA damage repair and emphysema. Expression of XPC was decreased in mouse lungs after chronic CS exposure and XPC knockdown in cultured human lung epithelial cells decreased their survival after CS exposure due to activation of the intrinsic apoptosis pathway. Similarly, cell autophagy and apoptosis were increased in XPC-deficient mouse lungs and were further increased by CS exposure. XPC deficiency was associated with structural and functional changes characteristic of emphysema, which were worsened by age, similar to levels observed with chronic CS exposure. Taken together, these findings suggest that repair of DNA damage by XPC plays an important and previously unrecognized role in the maintenance of alveolar structures. These findings support that loss of XPC, possibly due to chronic CS exposure, promotes emphysema development and further supports a link between DNA damage, impaired DNA repair, and development of emphysema

Formal Verification of Neural Network Controlled Autonomous Systems

In this paper, we consider the problem of formally verifying the safety of an autonomous robot equipped with a Neural Network (NN) controller that processes LiDAR images to produce control actions. Given a workspace that is characterized by a set of polytopic obstacles, our objective is to compute the set of safe initial conditions such that a robot trajectory starting from these initial conditions is guaranteed to avoid the obstacles. Our approach is to construct a finite state abstraction of the system and use standard reachability analysis over the finite state abstraction to compute the set of the safe initial states. The first technical problem in computing the finite state abstraction is to mathematically model the imaging function that maps the robot position to the LiDAR image. To that end, we introduce the notion of imaging-adapted sets as partitions of the workspace in which the imaging function is guaranteed to be affine. We develop a polynomial-time algorithm to partition the workspace into imaging-adapted sets along with computing the corresponding affine imaging functions. Given this workspace partitioning, a discrete-time linear dynamics of the robot, and a pre-trained NN controller with Rectified Linear Unit (ReLU) nonlinearity, the second technical challenge is to analyze the behavior of the neural network. To that end, we utilize a Satisfiability Modulo Convex (SMC) encoding to enumerate all the possible segments of different ReLUs. SMC solvers then use a Boolean satisfiability solver and a convex programming solver and decompose the problem into smaller subproblems. To accelerate this process, we develop a pre-processing algorithm that could rapidly prune the space feasible ReLU segments. Finally, we demonstrate the efficiency of the proposed algorithms using numerical simulations with increasing complexity of the neural network controller