Optimal Timer Based Selection Schemes

Timer-based mechanisms are often used to help a given (sink) node select the best helper node among many available nodes. Specifically, a node transmits a packet when its timer expires, and the timer value is a monotone non-increasing function of its local suitability metric. The best node is selected successfully if no other node's timer expires within a 'vulnerability' window after its timer expiry, and so long as the sink can hear the available nodes. In this paper, we show that the optimal metric-to-timer mapping that (i) maximizes the probability of success or (ii) minimizes the average selection time subject to a minimum constraint on the probability of success, maps the metric into a set of discrete timer values. We specify, in closed-form, the optimal scheme as a function of the maximum selection duration, the vulnerability window, and the number of nodes. An asymptotic characterization of the optimal scheme turns out to be elegant and insightful. For any probability distribution function of the metric, the optimal scheme is scalable, distributed, and performs much better than the popular inverse metric timer mapping. It even compares favorably with splitting-based selection, when the latter's feedback overhead is accounted for.Comment: 21 pages, 6 figures, 1 table, submitted to IEEE Transactions on Communications, uses stackrel.st

Void Formation Study of Flip Chip in Package Using No-Flow Underfill

©2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or distribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.DOI: 10.1109/TEPM.2008.2002951The advanced flip chip in package (FCIP) process using no-flow underfill material for high I/O density and fine-pitch interconnect applications presents challenges for an assembly process that must achieve high electrical interconnect yield and high reliability performance. With respect to high reliability, the voids formed in the underfill between solder bumps or inside the solder bumps during the no-flow underfill assembly process of FCIP devices have been typically considered one of the critical concerns affecting assembly yield and reliability performance. In this paper, the plausible causes of underfill void formation in FCIP using no-flow underfill were investigated through systematic experimentation with different types of test vehicles. For instance, the effects of process conditions, material properties, and chemical reaction between the solder bumps and no-flow underfill materials on the void formation behaviors were investigated in advanced FCIP assemblies. In this investigation, the chemical reaction between solder and underfill during the solder wetting and underfill cure process has been found to be one of the most significant factors for void formation in high I/O and fine-pitch FCIP assembly using no-flow underfill materials

Experimental Dual-mode Control of a Flexible Robotic Arm

This paper focuses on the implementation of a dual-mode controller for the maneuver of a single link flexible robotic arm. The joint angle trajectory tracking is accomplished by a proportional and derivative PD and a feedforward controller. Based on the pole placement technique, a linear stabilizer is designed for elastic mode stabilization. The stabilizer is switched on when the trajectory reaches the vicinity of the terminal state, and the effect of . switching time on arm vibration is investigated. An optical deflection sensor is used for on-line measurements of elastic deflections, and also used for the prediction of the static deflection of the arm in the target position. The robustness of the linear stabilizer at varying payloads is presented

Next Generation Neutron Detection for Next Generation Nuclear Reactors

Track I: Power GenerationIncludes audio file (31 min.)As the demand for nuclear energy increases worldwide, and MO reactors come online, so does the availability of spent fuel that may be used as a medium of terror. That is, fuel for and waste or byproducts from fissile material refining and nuclear reactors (e.g. plutonium) pose a serious threat with respect to radiological dispersal and nuclear bomb detonation. Radiological dispersal can include fallout by means of water or atmospheric transport (e.g., dumping waste in a river) while fissile trafficking can include the transport of plutonium across a border by seaport entry. In order to safely increase the use of nuclear energy in Missouri, sensitive techniques for nuclear detection must be developed. Presently available commercial detectors are not sensitive enough to detect even large (~3kg) quantities of weapons grade plutonium that are hidden in a barrel of water; our borders are effectively open to critical mass sized plutonium transport. Profs. Caruso, Ching and Kruger (UMKC Physics) are developing detectors capable of a ten times increase in detection sensitivity over existing commercial detectors that will provide a critical component to the future Missouri nuclear safeguarding infrastructure

Inverse Control and Stabilization of Free-flying Flexible Robots

The question of control and stabilization of flexible space robots is considered. Although, this approach is applicable to space robots of other configurations, for simplicity, a flexible planar two-link robot, mounted on a rigid floating platform, is considered. The robotic arm has two revolute joints and its links undergo elastic deformation in the plane of rotation. Based on nonlinear inversion technique, a control law is derived for controlling output variables describing the position and orientation of the platform and the joint angles of the robot. Although, the inverse controller accomplishes reference trajectory tracking, it excites the elastic modes of the arm. For the vibration suppression, three different stabilizer are designed. Using linear quadratic optimal control theory, a composite stabilizer for stabilization of the rigid and flexible modes and a decoupled flexible mode stabilizer are designed for regulating the end point of the robot to the target point and vibration suppression. Stabilization using only elastic mode velocity feedback is also considered. For large maneuvers, first the inverse controller is active, and the stabilizer is switched for regulation when the motion of the robot lies in the neighborhood of the terminal equilibrium state. Simulation results are presented to show that in the closed-loop system including the inverse controller and each of the stabilizers, trajectory tracking and stabilization of elastic modes are accomplished

Woodpile and diamond structures by optical interference holography

We report the use of an optical interference holographic setup with a five-beam configuration, consisting of four side beams and one central beam from the same half space, to fabricate woodpile and diamond structures for the use as photonic bandgap materials in which electromagnetic waves are forbidden in the bandgap. By exploiting the advantage of the binarization of the interference pattern, using intensity cut-off, either linear or circular central beam can be used. More importantly, the beam configurations can be easily implemented experimentally as compared to other configurations in which the interfering beams are counter-propagating from both half spaces.Comment: 11 pages, 3 figures, and one tabl

Characterization of Mammalian Selenoprotein O: A Redox-Active Mitochondrial Protein

Selenoproteins exhibit diverse biological functions, most of which are associated with redox control. However, the functions of approximately half of mammalian selenoproteins are not known. One such protein is Selenoprotein O (SelO), the largest mammalian selenoprotein with orthologs found in a wide range of organisms, including bacteria and yeast. Here, we report characterization of mammalian SelO. Expression of this protein could be verified in HEK 293T cells by metabolic labeling of cells with 75Se, and it was abolished when selenocysteine was replaced with serine. A CxxU motif was identified in the C-terminal region of SelO. This protein was reversibly oxidized in a time- and concentration-dependent manner in HEK 293T cells when cells were treated with hydrogen peroxide. This treatment led to the formation of a transient 88 kDa SelO-containing complex. The formation of this complex was enhanced by replacing the CxxU motif with SxxC, but abolished when it was replaced with SxxS, suggesting a redox interaction of SelO with another protein through its Sec residue. SelO was localized to mitochondria and expressed across mouse tissues. Its expression was little affected by selenium deficiency, suggesting it has a high priority for selenium supply. Taken together, these results show that SelO is a redox-active mitochondrial selenoprotein

On the rocking behavior of rigid objects

A novel formulation for the rocking motion of a rigid block on a rigid foundation is presented in this work. The traditional piecewise equations are replaced by a single ordinary differential equation. In addition, damping effects are no longer introduced by means of a coefficient of restitution but understood as the presence of impulsive forces. The agreement with the classical formalism is very good for both free rocking regime and harmonic forcing excitation

A Stochastic Approach to Shortcut Bridging in Programmable Matter

In a self-organizing particle system, an abstraction of programmable matter, simple computational elements called particles with limited memory and communication self-organize to solve system-wide problems of movement, coordination, and configuration. In this paper, we consider a stochastic, distributed, local, asynchronous algorithm for "shortcut bridging", in which particles self-assemble bridges over gaps that simultaneously balance minimizing the length and cost of the bridge. Army ants of the genus Eciton have been observed exhibiting a similar behavior in their foraging trails, dynamically adjusting their bridges to satisfy an efficiency trade-off using local interactions. Using techniques from Markov chain analysis, we rigorously analyze our algorithm, show it achieves a near-optimal balance between the competing factors of path length and bridge cost, and prove that it exhibits a dependence on the angle of the gap being "shortcut" similar to that of the ant bridges. We also present simulation results that qualitatively compare our algorithm with the army ant bridging behavior. Our work gives a plausible explanation of how convergence to globally optimal configurations can be achieved via local interactions by simple organisms (e.g., ants) with some limited computational power and access to random bits. The proposed algorithm also demonstrates the robustness of the stochastic approach to algorithms for programmable matter, as it is a surprisingly simple extension of our previous stochastic algorithm for compression.Comment: Published in Proc. of DNA23: DNA Computing and Molecular Programming - 23rd International Conference, 2017. An updated journal version will appear in the DNA23 Special Issue of Natural Computin