Regional Process Modeling for Design for Environment

This research is an effort towards providing higher level Design for Environment (DFE) tools for a broad industrial region. Issues ranging from the levels immediately above existing design tools, to the envisioned highest level for a broad geographical region are discussed. A tool for the regional planning of the DFE activities is proposed, considering a model construction based on material flows across the industry. The Multi-Lifecycle approach is supported by organizing the input/output flows for industries, potentially utilizing waste material, side products and recycling. Capitalizing on the conceptual integration of the design and process activities, an Abstract Design Environment is used for the design of the basically process oriented material flow tool. Within the context, the relations among design, process and flow-modeling concepts are discussed.     

Bayesian Landmark Learning for Mobile Robot Localization

To operate successfully in indoor environments, mobile robots must be able to localize themselves. Most current localization algorithms lack flexibility, autonomy, and often optimality, since they rely on a human to determine what aspects of the sensor data to use in localization (e.g., what landmarks to use). This paper describes a learning algorithm, called BaLL, that enables mobile robots to learn what features/landmarks are best suited for localization, and also to train artificial neural networks for extracting them from the sensor data. A rigorous Bayesian analysis of probabilistic localization is presented, which produces a rational argument for evaluating features, for selecting them optimally, and for training the networks that approximate the optimal solution. In a systematic experimental study, BaLL outperforms two other recent approaches to mobile robot localization.     

Mapping of continuous floristic gradients in grasslands using hyperspectral imagery

Transitions between plant species assemblages are often continuous with the form of the transition dependent on the ‘slope’ of environmental gradients and on the style of self-organization in vegetation. Image segmentation can present misleading or even erroneous results if applied to continuous spatial changes in vegetation. Even methods that allow for multiple-class memberships of pixels presuppose the existence of ideal types of species assemblages that constitute mixtures—an assumption that does not fit the case of continua where any section of a gradient is as ‘pure’ as any other section like in modulations of grassland species composition.Thus, we attempted to spatially model floristic gradients in Bavarian meadows by extrapolating axes of an unconstrained ordination of species data. The models were based on high-resolution hyperspectral airborne imagery. We further modelled the distribution of plant functional response types (Ellenberg indicator values) and the cover values of selected species. The models were made with partial least squares (PLS) regression analyses. The realistic utility of the regression models was evaluated by full leave-one-out cross-validation.The modelled floristic gradients showed a considerable agreement with ground-based observations of floristic gradients (R²=0.71 and 0.66 for the first two axes of ordination). Apart from mapping the most important continuous floristic differences, we mapped gradients in the appearance of plant functional response groups as represented by averaged Ellenberg indicator values for soil pH (R²=0.76), water supply (R²=0.66) and nutrient supply (R²=0.75), while models for the cover of single species were weak.Compared to many other vegetation attributes, plant species composition is difficult to detect with remote sensing techniques. This is partly caused by a lack of compatibility between methods of vegetation ecology and remote sensing. We believe that the present study has the potential to increase compatibility as neither spectral nor vegetation information gets lost by a classifying step.     

A 2 MV Van de Graaff accelerator as a tool for planetary and impact physics research

Investigating the dynamical and physical properties of cosmic dust can reveal a great deal of information about both the dust and its many sources. Over recent years, several spacecraft (e.g., Cassini, Stardust, Galileo, and Ulysses) have successfully characterised interstellar, interplanetary, and circumplanetary dust using a variety of techniques, including in situ analyses and sample return. Charge, mass, and velocity measurements of the dust are performed either directly (induced charge signals) or indirectly (mass and velocity from impact ionisation signals or crater morphology) and constrain the dynamical parameters of the dust grains. Dust compositional information may be obtained via either time-of-flight mass spectrometry of the impact plasma or direct sample return. The accurate and reliable interpretation of collected spacecraft data requires a comprehensive programme of terrestrial instrument calibration. This process involves accelerating suitable solar system analogue dust particles to hypervelocity speeds in the laboratory, an activity performed at the Max Planck Institut fu?r Kernphysik in Heidelberg, Germany. Here, a 2 MV Van de Graaff accelerator electrostatically accelerates charged micron and submicron-sized dust particles to speeds up to 80 km s(-1). Recent advances in dust production and processing have allowed solar system analogue dust particles (silicates and other minerals) to be coated with a thin conductive shell, enabling them to be charged and accelerated. Refinements and upgrades to the beam line instrumentation and electronics now allow for the reliable selection of particles at velocities of 1-80 km s(-1) and with diameters of between 0.05 μm and 5 μm. This ability to select particles for subsequent impact studies based on their charges, masses, or velocities is provided by a particle selection unit (PSU). The PSU contains a field programmable gate array, capable of monitoring in real time the particles' speeds and charges, and is controlled remotely by a custom, platform independent, software package. The new control instrumentation and electronics, together with the wide range of accelerable particle types, allow the controlled investigation of hypervelocity impact phenomena across a hitherto unobtainable range of impact parameters.     

Axiomatizing the Monodic Fragment of

As we can show that the two-variable monadic fragment of thefull first-order extension of the propositional branching time logic is not recursively enumerable, we show in thisarticle that the monodic fragment of can be axiomatized.     

JavAdaptor—Flexible runtime updates of Java applications

Software is changed frequently during its life cycle. New requirements come, and bugs must be fixed. To update an application, it usually must be stopped, patched, and restarted. This causes time periods of unavailability, which is always a problem for highly available applications. Even for the development of complex applications, restarts to test new program parts can be time consuming and annoying. Thus, we aim at dynamic software updates to update programs at runtime. There is a large body of research on dynamic software updates, but so far, existing approaches have shortcomings either in terms of flexibility or performance. In addition, some of them depend on specific runtime environments and dictate the program's architecture. We present JavAdaptor , the first runtime update approach based on Java that (a) offers flexible dynamic software updates, (b) is platform independent, (c) introduces only minimal performance overhead, and (d) does not dictate the program architecture. JavAdaptor combines schema changing class replacements by class renaming and caller updates with Java HotSwap using containers and proxies. It runs on top of all major standard Java virtual machines. We evaluate our approach's applicability and performance in non‐trivial case studies and compare it with existing dynamic software update approaches. Copyright © 2012 John Wiley & Sons, Ltd.     

Hyperinsulinemic Hypoglycemia Associated with a CaV1.2 Variant with Mixed Gain- and Loss-of-Function Effects

The voltage-dependent L-type calcium channel isoform Ca_V1.2 is critically involved in many physiological processes, e.g., in cardiac action potential formation, electromechanical coupling and regulation of insulin secretion by beta cells. Gain-of-function mutations in the calcium voltage-gated channel subunit alpha 1 C (CACNA1C) gene, encoding the Ca_V1.2 α₁-subunit, cause Timothy syndrome (TS), a multisystemic disorder that includes autism spectrum disorders and long QT (LQT) syndrome. Strikingly, TS patients frequently suffer from hypoglycemia of yet unproven origin. Using next-generation sequencing, we identified a novel heterozygous CACNA1C mutation in a patient with congenital hyperinsulinism (CHI) and associated hypoglycemic episodes. We characterized the electrophysiological phenotype of the mutated channel using voltage-clamp recordings and in silico action potential modeling experiments. The identified Ca_V1.2^L566P mutation causes a mixed electrophysiological phenotype of gain- and loss-of-function effects. In silico action potential modeling supports that this mixed electrophysiological phenotype leads to a tissue-specific impact on beta cells compared to cardiomyocytes. Thus, CACNA1C variants may be associated with non-syndromic hyperinsulinemic hypoglycemia without long-QT syndrome, explained by very specific electrophysiological properties of the mutated channel. We discuss different biochemical characteristics and clinical impacts of hypoglycemia in the context of CACNA1C variants and show that these may be associated with significant morbidity for Timothy Syndrome patients. Our findings underline that the potential of hypoglycemia warrants careful attention in patients with CACNA1C variants, and such variants should be included in the differential diagnosis of non-syndromic congenital hyperinsulinism.     

基于ZigBee无线通信的汽车倾斜度测量的应用

引言ZigBee是一种新的无线局域网传输标准,它是基于IEEE802.15.4协议基础的一个通信标准。IEEE802.15.4定义了协议的物理层和媒体介质访问控制层(MAC),而ZigBee定义了网络层、安全层和应用层,见图1。这样,     

Topical Capsaicin in Poly(lactic-co-glycolic)acid (PLGA) Nanoparticles Decreases Acute Itch and Heat Pain

Background: Capsaicin, the hot pepper agent, produces burning followed by desensitization. To treat localized itch or pain with minimal burning, low capsaicin concentrations can be repeatedly applied. We hypothesized that alternatively controlled release of capsaicin from poly(lactic-co-glycolic acid) (PLGA) nanoparticles desensitizes superficially terminating nociceptors, reducing burning. Methods: Capsaicin-loaded PLGA nanoparticles were prepared (single-emulsion solvent evaporation) and characterized (size, morphology, capsaicin loading, encapsulation efficiency, in vitro release profile). Capsaicin-PLGA nanoparticles were applied to murine skin and evaluated in healthy human participants (n = 21) for 4 days under blinded conditions, and itch and nociceptive sensations evoked by mechanical, heat stimuli and pruritogens cowhage, β-alanine, BAM8-22 and histamine were evaluated. Results: Nanoparticles (loading: 58 µg capsaicin/mg) released in vitro 23% capsaicin within the first hour and had complete release at 72 h. In mice, 24 h post-application Capsaicin-PLGA nanoparticles penetrated the dermis and led to decreased nociceptive behavioral responses to heat and mechanical stimulation (desensitization). Application in humans produced a weak to moderate burning, dissipating after 3 h. A loss of heat pain up to 2 weeks was observed. After capsaicin nanoparticles, itch and nociceptive sensations were reduced in response to pruritogens cowhage, β-alanine or BAM8-22, but were normal to histamine. Conclusions: Capsaicin nanoparticles could be useful in reducing pain and itch associated with pruritic diseases that are histamine-independent.