On the credibility of manet simulations

Simulation is useful for evaluating protocol performance and operation. However, the lack of rigor with which it's applied threatens the credibility of the published research within the manet research community. Mobile ad hoc networks (manets) allow rapid deployment because they don't depend on a fixed infrastructure. Manet nodes can participate as the source, the destination, or an intermediate router. This flexibility is attractive for military applications, disaster-response situations, and academic environments where fixed net working infrastructures might not be available.     

Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols

Secure routing protocols for mobile ad hoc networks provide the required functionality for proper network operation. If the underlying routing protocol cannot be trusted to follow the protocol operations, additional trust layers, such as authentication, cannot be obtained. Threat models drive analysis capabilities, affecting how we evaluate trust. Current attacker threat models limit the results obtained during protocol security analysis over ad hoc routing protocols. Developing a proper threat model to evaluate security properties in mobile ad hoc routing protocols presents a significant challenge. If the attacker strength is too weak, we miss vital security flaws. If the attacker strength is too strong, we cannot identify the minimum required attacker capabilities needed to break the routing protocol. In this paper we present an adaptive threat model to evaluate route discovery attacks against ad hoc routing protocols. Our approach enables us to evaluate trust in the ad hoc routing process and allows us to identify minimum requirements an attacker needs to break a given routing protocol.     

Smooth Shape‐Aware Functions with Controlled Extrema

Functions that optimize Laplacian‐based energies have become popular in geometry processing, e.g. for shape deformation, smoothing, multiscale kernel construction and interpolation. Minimizers of Dirichlet energies, or solutions of Laplace equations, are harmonic functions that enjoy the maximum principle, ensuring no spurious local extrema in the interior of the solved domain occur. However, these functions are only C⁰ at the constrained points, which often causes smoothness problems. For this reason, many applications optimize higher‐order Laplacian energies such as biharmonic or triharmonic. Their minimizers exhibit increasing orders of continuity but lose the maximum principle and show oscillations. In this work, we identify characteristic artifacts caused by spurious local extrema, and provide a framework for minimizing quadratic energies on manifolds while constraining the solution to obey the maximum principle in the solved region. Our framework allows the user to specify locations and values of desired local maxima and minima, while preventing any other local extrema. We demonstrate our method on the smoothness energies corresponding to popular polyharmonic functions and show its usefulness for fast handle‐based shape deformation, controllable color diffusion, and topologically‐constrained data smoothing.     

An analysis and design method for linear systems under nested saturation

This paper considers a linear system under nested saturation. Nested saturation arises, for example, when the actuator is subject to magnitude and rate saturation simultaneously. A condition is derived in terms of a set of auxiliary feedback gains for determining if a given ellipsoid is contractively invariant. Moreover, this condition is shown to be equivalent to linear matrix inequalities (LMIs) in the actual and auxiliary feedback gains. As a result, the estimation of the domain of attraction for a given set of feedback gains can be formulated as an optimization problem with LMI constraints. By viewing the feedback gains as extra free parameters, the optimization problem can be used for controller design.     

Acute exposure to gas‐supersaturated water does not affect reproductive success of female adult chinook salmon late in maturation

At times, total dissolved gas concentrations in the Columbia and Snake rivers have been elevated due to involuntary spill from high spring runoff and voluntary spill used as a method to pass juvenile salmonids over dams. The goal of this project was to determine if acute exposure to total dissolved gas supersaturation (TDGS) affects the reproductive performance of female chinook salmon late in their maturation. During this study, adult female spring chinook salmon were exposed to mean TDGS levels of 114.1% to 125.5%. We ended exposures at first mortality, or at the appearance of impending death. Based on this criterion, exposures lasted from 10 to 68 h and were inversely related to TDGS. There was no effect of TDGS on pre‐spawning mortality or fecundity when comparing treatment fish to experimental controls or the general hatchery population four to six weeks after exposures. Egg quality, based on egg weight and egg diameter, did not differ between treatment and control fish. Fertilization rate and survival to eyed‐stage was high ( > 94%) for all groups. With the exception of Renibacterium salmoninarum (the causative agent of bacterial kidney disease; BKD), no viral or bacterial fish pathogens were isolated from experimental fish. The prevalence (about 45%) and severity of R. salmoninarum did not differ among the groups or the general hatchery population. We conclude that these acute exposures to moderate levels of gas‐supersaturated water—perhaps similar to that experienced by immigrating adult salmon as they approach and pass a hydropower dam on the Columbia River—did not affect reproductive success of female chinook salmon late in their maturation. These results are most applicable to summer and fall chinook salmon, which migrate in the summer/fall and spawn shortly after reaching their natal streams. Published in 2004 by John Wiley & Sons, Ltd.     

Photopolymerizable liquid encapsulants for microelectronic devices: Thermal and mechanical properties of systems with reduced in‐mold cure times

Photopolymerizable liquid encapsulants (PLEs) for microelectronic devices may offer important advantages over traditional transfer molding compounds, including reduced in‐mold cure times, lower thermal stresses, and reduced wire sweep. In this contribution, we discuss an encapsulation process based upon a low viscosity resin that cures rapidly upon exposure to UV light. These highly filled PLEs are comprised of an epoxy novolac‐based vinyl ester resin (～25 wt %), fused silica filler (70–74 wt %), photoinitiator, silane coupling agent, and, in some cases, a thermal initiator. We have characterized the material properties (flexural strength and modulus, coefficient of thermal expansion, glass transition temperature, and thermal stress parameter) of PLEs cured with UV illumination times of 60, 90, and 120 s, as well as, the thermal conductivity and adhesive peel strength of PLEs photocured for 90 s. In addition, we investigated the effect of the fused silica loading and the initiation scheme on these properties. The results indicate that the PLEs are very promising for microelectronic encapsulation. These liquid encapsulants cure (to an ejectable hardness) in 1 min for an initiating light intensity of 200 mW/cm², and exhibit appropriate values for the thermal and mechanical properties listed above. © 2001 John Wiley & Sons, Inc. J Appl Polym Sci 81: 3449–3461, 2001