52 research outputs found

    Asynchronous Rhythm of Steroidogenic Factor 1 and Period Homolog 2 mRNA Expression in Mouse Y1 Adrenocorticol Tumor Cells

    Get PDF
    The relationship between the expression of Steroidogenic factor 1 (Sf1) and the circadian-related gene, period homolog 2 (Per2), in the adrenal cortex is still unknown. We show here that in Y1 adrenocortical tumor cells, expression of steroidogenic-related genes such as P450scc mRNA and Sf1 mRNA were asynchronous with Per2 mRNA. SF1 promoter analyses showed that the E-box element functions in a rhythmic pattern. Rhythmic expression of Upstream factor 1 mRNA, correlated well with Sf1 mRNA expression. We propose that tumorigenesis of adrenocortical lesions cause disruption of synchronous expression of steroidogenic-related and circadian-related genes

    Formal verification of dynamically reconfigurable systems

    Get PDF
    A dynamically reconfigurable system can perform complicated operations with dynamically changing the configuration. For ensuring the safety of the system, a model checking is one of the efficient formal approach. In our work, we define the specification language of a dynamically reconfigurable system and propose the model checking algorithm of verifying safety properties. © 2015 IEEE

    Development of model checker of dynamic linear hybrid automata

    Get PDF
    Dynamically reconfigurable systems have attracted public attention from the point of view of miniaturization and saving power consumption for embedded systems in recent years. In this study, we propose dynamic linear hybrid automata as specification language of dynamically reconfigurable systems and the verification technique of reachability analysis. A dynamic linear hybrid automaton(DLHA) is a linear hybrid automaton extended with actions of creation and destruction. This paper presents the model checker and applies it to the model of an embedded system consisting CPU and DRP. © 2013 IEEE

    同軸対称鏡型 AES-EELS 同時計数装置(ALECS)の開発

    Get PDF
    We have attempted to develop a new electron-electron coincidence apparatus for Auger and energy-loss electron coincidence spectroscopy (ALECS). It consists of an axially symmetric mirror electron energy analyzer (ASMA), a miniature double-pass cylindrical mirror electron energy analyzer(DPCMA)and a miniature time-of-flight mass spectrometer(TOF-MS)on a Conflat flange with a tilt-adjustment mechanism. A sample surface was irradiated by electron beam,and emitted electrons were energy-analyzed and detected by the ASMA and the DPCMA. Electron-energy-loss-spectroscopy (EELS) spectra of Ni metal were measured for preliminarily checking performance of the electron energy analyzers. It is observed that the measured weight in reflected EELS spectra of Ni core-levels is shifted to the higher loss-energy side than that evaluated from XPS data

    Public Infrastructure Strategically Supplied by Governments and Trade in a Ricardian Economy

    Get PDF
    In a simple two-country Ricardian economy with public infrastructures, we consider a simultaneous and non-cooperate game between governments with respect to public infrastructure supply. Then it is shown that a country with larger (smaller) factor endowment exports a good whose production is more (less) dependent on public infrastructures, and both countries will gain from trade as long as factor endowment differs between countries. However, the following special features appear. (i) Any incompletely specialising country produces two goods at an inner point of the production possibility set. (ii) If factor endowment is the same between countries, the trading equilibrium is attained by the pattern of specialisation such that each country specialises in one good different from each other and both countries become better off. Which country specialises in which good is indeterminate. The result shows a typical case of symmetric breaking

    A Two-country Model of Public Infrastructure Capital : Trade Patterns and Trade Gains in the Long Run

    No full text

    Versatile Simple Doping Technique for Diamond by Solid Dopant Source Immersion during Microwave Plasma CVD

    Get PDF
    We demonstrate a new doping technique for (CVD) growth of diamond. The method involves immersing a solid-state dopant source into the plasma of microwave plasma-assisted CVD. We applied this simple and versatile technique to the growth of boron-doped diamond. The grown films were characterized by X-ray diffraction (XRD), Raman spectroscopy, glow discharge optical emission spectroscopy (GDOES) and electrical conductivity measurement. The average concentration of boron was 0.5 atomic % and the conductivity was 1.5 x 10-2 Ωcm, which showed irregular behavior at low temperature

    Semitransparent conductive carbon films synthesized by sintering spin-coated sp(3)-based network polymer

    Get PDF
    We synthesized semitransparent conducting thin films of amorphous carbon from sp(3)-rich network polymer. The films showed a reasonable optical transparency (58-73% transmission in the wavelength range of 380-2200 nm), a low electric resistivity (6.7 x 10(-3) Omega cm), and durability against corrosive chemical reagents. The sintering of the amorphous films results in the formation of a carbon honeycomb lattice in the films. (C) 2018 The Japan Society of Applied Physic
    corecore