Design and optimization of IGBT gate drivers for high insulation voltage up to 30kV

International audienceIn this article, a design methodology tooptimize IGBT gate drivers for high insulation voltage capability(up to 30kV) is proposed. A Pot core ferrite with circular coilstransformer is used for high insulation capabilities. Theinsulation voltage level is defined by the air gap length and thedielectric material. The pulse width modulation (PWM) signaltransmission and power transmission functions of IGBT gatedriver are studied and optimized. For both functions, theobjective of the studies is to optimize the geometric elements oftransformer and the associated electrical components by the helpof a virtual prototyping tool. Therefore, the optimization resultsare proposed under Pareto fronts: optimization objectives for aset of the barrier insulation thickness. Finally, the experimentalverifications are shown to validate the proposed methodology

Detecting Regimes of Predictability in the U.S. Equity Premium

We investigate the stability of predictive regression models for the U.S. equity premium. A new approach for detecting regimes of temporary predictability is proposed using se- quential implementations of standard (heteroskedasticity-robust) regression t-statistics for predictability applied over relatively short time periods. Critical values for each test in the sequence are provided using subsampling methods. Our primary focus is to develop a real-time monitoring procedure for the emergence of predictive regimes using tests based on end-of-sample data in the sequential procedure, although the procedure could be used for an historical analysis of predictability. Our proposed method is robust to both the degree of persistence and endogeneity of the regressors in the predictive regression and to certain forms of heteroskedasticity in the shocks. We discuss how the detection procedure can be designed such that the false positive rate is pre-set by the practitioner at the start of the monitoring period. We use our approach to investigate for the presence of regime changes in the predictability of the U.S. equity premium at the one-month horizon by traditional macroeconomic and financial variables, and by binary technical analysis indicators. Our results suggest that the one-month ahead equity premium has temporarily been predictable (displaying so-called ‘pockets of predictability’), and that these episodes of predictability could have been detected in real-time by practitioners using our proposed methodology

Identifying dynamical modules from genetic regulatory systems: applications to the segment polarity network

BACKGROUND It is widely accepted that genetic regulatory systems are 'modular', in that the whole system is made up of smaller 'subsystems' corresponding to specific biological functions. Most attempts to identify modules in genetic regulatory systems have relied on the topology of the underlying network. However, it is the temporal activity (dynamics) of genes and proteins that corresponds to biological functions, and hence it is dynamics that we focus on here for identifying subsystems. RESULTS Using Boolean network models as an exemplar, we present a new technique to identify subsystems, based on their dynamical properties. The main part of the method depends only on the stable dynamics (attractors) of the system, thus requiring no prior knowledge of the underlying network. However, knowledge of the logical relationships between the network components can be used to describe how each subsystem is regulated. To demonstrate its applicability to genetic regulatory systems, we apply the method to a model of the Drosophila segment polarity network, providing a detailed breakdown of the system. CONCLUSION We have designed a technique for decomposing any set of discrete-state, discrete-time attractors into subsystems. Having a suitable mathematical model also allows us to describe how each subsystem is regulated and how robust each subsystem is against perturbations. However, since the subsystems are found directly from the attractors, a mathematical model or underlying network topology is not necessarily required to identify them, potentially allowing the method to be applied directly to experimental expression data

Literature-based discovery of diabetes- and ROS-related targets

Abstract Background Reactive oxygen species (ROS) are known mediators of cellular damage in multiple diseases including diabetic complications. Despite its importance, no comprehensive database is currently available for the genes associated with ROS. Methods We present ROS- and diabetes-related targets (genes/proteins) collected from the biomedical literature through a text mining technology. A web-based literature mining tool, SciMiner, was applied to 1,154 biomedical papers indexed with diabetes and ROS by PubMed to identify relevant targets. Over-represented targets in the ROS-diabetes literature were obtained through comparisons against randomly selected literature. The expression levels of nine genes, selected from the top ranked ROS-diabetes set, were measured in the dorsal root ganglia (DRG) of diabetic and non-diabetic DBA/2J mice in order to evaluate the biological relevance of literature-derived targets in the pathogenesis of diabetic neuropathy. Results SciMiner identified 1,026 ROS- and diabetes-related targets from the 1,154 biomedical papers (http://jdrf.neurology.med.umich.edu/ROSDiabetes/). Fifty-three targets were significantly over-represented in the ROS-diabetes literature compared to randomly selected literature. These over-represented targets included well-known members of the oxidative stress response including catalase, the NADPH oxidase family, and the superoxide dismutase family of proteins. Eight of the nine selected genes exhibited significant differential expression between diabetic and non-diabetic mice. For six genes, the direction of expression change in diabetes paralleled enhanced oxidative stress in the DRG. Conclusions Literature mining compiled ROS-diabetes related targets from the biomedical literature and led us to evaluate the biological relevance of selected targets in the pathogenesis of diabetic neuropathy.http://deepblue.lib.umich.edu/bitstream/2027.42/78315/1/1755-8794-3-49.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/2/1755-8794-3-49-S7.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/3/1755-8794-3-49-S10.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/4/1755-8794-3-49-S8.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/5/1755-8794-3-49-S3.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/6/1755-8794-3-49-S1.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/7/1755-8794-3-49-S4.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/8/1755-8794-3-49-S2.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/9/1755-8794-3-49-S12.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/10/1755-8794-3-49-S11.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/11/1755-8794-3-49-S9.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/12/1755-8794-3-49-S5.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/13/1755-8794-3-49-S6.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/14/1755-8794-3-49.pdfPeer Reviewe

The Meaning of Memory Safety

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data.Comment: POST'18 final versio

Psychological type and attitude towards Celtic Christianity among committed Churchgoers in the United Kingdom: an empirical study

This article takes the burgeoning interest in Celtic Christianity as a key example of the way in which churches may be responding to the changing spiritual and religious landscape in the United Kingdom today and examines the power of psychological type theory to account for variation in the attitude of committed churchgoers to this innovation. Data provided by a sample of 248 Anglican clergy and lay church officers (who completed the Francis Psychological Type Scales together with the Attitude toward Celtic Christianity Scale) demonstrated that intuitive types, feeling types, and perceiving types reported a more positive attitude towards Celtic Christianity than sensing types, thinking types, and judging types. These findings are interpreted to analyse the appeal of Celtic Christianity and to suggest why some committed churchgoers may find this innovation less attractive

Nonconservative Lagrangian mechanics II: purely causal equations of motion

This work builds on the Volterra series formalism presented in [D. W. Dreisigmeyer and P. M. Young, J. Phys. A \textbf{36}, 8297, (2003)] to model nonconservative systems. Here we treat Lagrangians and actions as `time dependent' Volterra series. We present a new family of kernels to be used in these Volterra series that allow us to derive a single retarded equation of motion using a variational principle

TGFβ-induced osteogenic potential of human amniotic fluid stem cells via CD73-generated adenosine production

The human amniotic fluid stem cell (hAFSC) population consists of two morphologically distinct subtypes, spindle-shaped and round-shaped cells (SS-hAFSCs and RS-hAFSCs). Whilst SS-hAFSCs are routinely expanded in mesenchymal-type (MT) conditions, we previously showed that they acquire broader differentiation potential when cultured under embryonic-type (ET) conditions. However, the effects of culture conditions on RS-hAFSCs have not been determined. Here, we show that culturing RS-hAFSCs under ET conditions confers faster proliferation and enhances the efficiency of osteogenic differentiation of the cells. We show that this occurs via TGFβ-induced activation of CD73 and the associated increase in the generation of extracellular adenosine. Our data demonstrate that culture conditions are decisive for the expansion of hAFSCs and that TGFβ present in ET conditions causes the phenotype of RS-hAFSCs to revert to an earlier state of stemness. Cultivating RS-hAFSCs in ET conditions with TGFβ may therefore increase their therapeutic potential for clinical applications

Transplanting the leafy liverwort Herbertus hutchinsiae : A suitable conservation tool to maintain oceanic-montane liverwort-rich heath?

Thanks to the relevant landowners and managers for permission to carry out the experiments, Chris Preston for helping to obtain the liverwort distribution records and the distribution map, Gordon Rothero and Dave Horsfield for advice on choosing experimental sites and Alex Douglas for statistical advice. Juliane Geyer’s help with fieldwork was greatly appreciated. This study was made possible by a NERC PhD studentship and financial support from the Royal Botanic Garden Edinburgh and Scottish Natural Heritage.Peer reviewedPostprin

Cultural robotics : The culture of robotics and robotics in culture

Copyright 2013 Samani et al.; licensee InTech. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly citedIn this paper, we have investigated the concept of "Cultural Robotics" with regard to the evolution o social into cultural robots in the 21st Century. By defining the concept of culture, the potential development of culture between humans and robots is explored. Based on the cultural values of the robotics developers, and the learning ability of current robots, cultural attributes in this regard are in the process of being formed, which would define the new concept of cultural robotics. According to the importance of the embodiment of robots in the sense of presence, the influence of robots in communication culture is anticipated. The sustainability of robotics culture based on diversity for cultural communities for various acceptance modalities is explored in order to anticipate the creation of different attributes of culture between robot and humans in the futurePeer reviewe