Groundwater Flow and Contaminant Transport Simulation with Imprecise Parameters

A methodology has been developed in this study wherein a genetic algorithm (GA) is used to find a global optimal solution to a groundwater flow and contaminant problem by incorporating an artificial neural network (ANN) to evaluate the objective function within the genetic algorithm. The study shows that an ANN-GA technique can be used to find the uncertainties in output parameters due to imprecision in input parameters. The ANN-GA methodology is applied to five case studies involving radial flow in a well, one-dimensional solute transport in steady uniform flow, a two-dimensional heterogeneous steady flow, a two-dimensional solute transport, and a two-dimensional unsteady groundwater flow to demonstrate the efficiency and effectiveness of the developed algorithm. The results show that, with this approach, one can successfully measure the uncertainty in groundwater flow and contaminant transport simulations and achieve a considerable reduction in computational effort when compared to the vertex method that has been widely used in the past.     

Feature Activated Molecular Dynamics: Parallelization and Application to Systems with Globally Varying Mechanical Fields

A recently developed hybrid molecular dynamics method (Feature Activated Molecular Dynamics, or FAMD), which was originally designed to extend the scope of certain types of molecular dynamics simulations, is extended here in two ways. First, the method is modified to execute on parallel computer architectures using the MPI communication interface. The parallel FAMD algorithm is demonstrated to be computationally efficient and to substantially increase the length scales accessible with molecular dynamics. The performance of the parallel algorithm is demonstrated using a crystalline system containing 1× 10⁶ atoms, in which 1000 supersaturated self-interstitials are introduced and allowed to aggregate for about 4 ns. In the second part of this paper, the FAMD method is applied to problems in which spatio-temporally varying stress fields are present throughout the simulation cell. In particular, we consider the evolution of a spherical void in a hydrostatically stressed silicon crystal and show that the method can capture the extremely rapid void cavitation dynamics following material failure. Once again, the FAMD approach is demonstrated to provide substantial computational advantages over standard molecular dynamics.     

The Thermal Conductivity, Thermal Diffusivity, and Heat Capacity of Gaseous Argon

This paper presents new absolute measurements for the thermal conductivity and thermal diffusivity of gaseous argon obtained with a transient hot-wire instrument. Six isotherms were measured in the supercritical dense gas at temperatures between 296 and 423 K and pressures up to 61 MPa. A new analysis for the influence of temperature-dependent properties and residual bridge unbalance is used to obtain the thermal conductivity with an uncertainty of less than 1% and the thermal diffusivity with an uncertainty of less than 4%. Isobaric heat capacity results were derived from measured values of thermal conductivity and thermal diffusivity using a density calculated from an equation of state. The heat capacities presented here have a nominal uncertainty of 4% and demonstrate that this property can be obtained successfully with the transient hot wire technique over a wide range of fluid states. The technique will be useful when applied to fluids which lack specific heat data.     

Human Stem Cell and Organoid Models to Advance Acute Kidney Injury Diagnostics and Therapeutics

Acute kidney injury (AKI) is an increasingly common problem afflicting all ages, occurring in over 20% of non-critically ill hospitalized patients and >30% of children and >50% of adults in critical care units. AKI is associated with serious short-term and long-term consequences, and current therapeutic options are unsatisfactory. Large gaps remain in our understanding of human AKI pathobiology, which have hindered the discovery of novel diagnostics and therapeutics. Although animal models of AKI have been extensively studied, these differ significantly from human AKI in terms of molecular and cellular responses. In addition, animal models suffer from interspecies differences, high costs and ethical considerations. Static two-dimensional cell culture models of AKI also have limited utility since they have focused almost exclusively on hypoxic or cytotoxic injury to proximal tubules alone. An optimal AKI model would encompass several of the diverse specific cell types in the kidney that could be targets of injury. Second, it would resemble the human physiological milieu as closely as possible. Third, it would yield sensitive and measurable readouts that are directly applicable to the human condition. In this regard, the past two decades have seen a dramatic shift towards newer personalized human-based models to study human AKI. In this review, we provide recent developments using human stem cells, organoids, and in silico approaches to advance personalized AKI diagnostics and therapeutics.     

Micromechanical digital-to-analog converter for out-of-plane motion

This paper describes a novel micromechanical digital-to-analog converter (MDAC) for out-of-plane motion using electrostatic parallel-plate actuators. The proposed mechanism converts an N-bit digital signal to a mechanical out-of-plane displacement that is proportional to the analog value represented by the N-bit binary word. The mechanism is analogous to that of an electrical binary-weighted-input digital-to-analog converter (DAC). It consists of a movable platform, an array of parallel-plate microactuators each operating in an ON/OFF mode and a set of connection springs that connect the actuators to the platform. The spring constants of the connection springs are weighted so that the stiffness of successive springs is related by a factor of 2. A 4-bit mechanism has been fabricated using the Poly-MUMPS process, achieving a total stroke of 675 nm (full-scale output) and step size (LSB) of 45 nm in a highly repeatable and stable manner. The linearity error (LE) of the device is within /spl plusmn/0.28 LSB, and the differential linearity error (DLE) is within /spl plusmn/0.25 LSB. This mechanism can be configured for many promising applications, particularly in optical devices and systems such as tunable external cavity diode laser, tunable VCSELs, adaptive micromirror array and tunable wavelength filter.     

A survey of recent advances in SAT-based formal verification

Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows.     

A multi-institutional, multinational study of programming concepts using card sort data

Abstract: This paper presents a case study of the use of a repeated single‐criterion card sort with an unusually large, diverse participant group. The study, whose goal was to elicit novice programmers' knowledge of programming concepts, involved over 20 researchers from four continents and 276 participants drawn from 20 different institutions. In this paper we present the design of the study and the unexpected result that there were few discernible systematic differences in the population. The study was one of the activities of the National Science Foundation funded Bootstrapping Research in Computer Science Education project (2003).     

Infrarottrocknung von Furnieren

Zusammenfassung Es wurde über eine Versuchsreihe über die Infrarottrocknung von Furnieren berichtet, die zur Kl?rung offener Fragen beitragen sollte. Als Strahler wurden Philips-Lampen, 250 W, mit innen liegenden Reflektoren verwendet. Betrachtet man die Trocknungsgeschwindigkeit und die Erhitzungsgeschwindigkeit in Abh?ngigkeit von der Holzfeuchtigkeit, so lassen sich drei Perioden erkennen. Die Kurven haben ?hnlichkeit mit denen, die bei der Trocknung fester K?rper durch Konvektion erhalten werden. Der Energieverbrauch je kg Wasserentzug schwankte zwischen 1,6 und 5,2 kWh/kg. Der Zustand der getrockneten Furniere war zufriedenstellend. Der Wirkungsgrad wurde in den günstigen F?llen zu 59%, in den ungünstigen zu 30% ermittelt. Weitere Versuche sind geplant. Vorl?ufige Mitteilung.     

An Efficient Data Delivery Scheme in WBAN to Deal with Shadow Effect due to Postural Mobility

The body movement and change in posture exhibit high mobility in sensor nodes which causes shadowing in the Wireless Body Area Network (WBAN). Due to this, the connectivity between the nodes in WBAN is affected which further causes failure in data delivery. This article presents a MAC protocol in WBAN to deal with the problem of data delivery due to body movement and postural mobility. It uses an Improved Initial Centroid K-means clustering technique for classification of various human body postures followed by back propagation neural network as a classifier to recognize human body posture. This article proposes a posture aware dynamic data delivery (PA-DDD) protocol to deliver data dynamically. The PA-DDD protocol can be used under varying speed walking scenario. The simulation results show that it prolongs the network lifetime and is energy efficient.

     

BETaaS: A Platform for Development and Execution of Machine-to-Machine Applications in the Internet of Things

Wireless Personal Communications - The integration of everyday objects into the Internet represents the foundation of the forthcoming Internet of Things (IoT). Smart objects will be the building...