Model Checking with Program Slicing Based on Variable Dependence Graphs

In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects, we propose a modeling method which can generate software models for model checking with a program slicing technique based on a variable dependence graph. We have applied the proposed method to one case in automotive control software and demonstrated the effectiveness of the method. Furthermore, we developed a software tool to automate model generation and achieved a 35% decrease in total verification time on model checking.Comment: In Proceedings FTSCS 2012, arXiv:1212.657

Risk Factors for Infection in Patients with Remitted Rheumatic Diseases Treated with Glucocorticoids

It is well known that infection is one of the major causes of morbidity and mortality in rheumatic disease patients treated with high-dose glucocorticoids, especially in the early phase after achievement of disease remission. The aim of this study was to identify the risk factors for infection, with a focus on the dose of glucocorticoids administered, following the achievement of disease remission in rheumatic diseases patients. We retrospectively analyzed the medical records of rheumatic disease patients who had been treated with glucocorticoids. The primary endpoint was the incidence rate of infection during a period from 1 to 2 months after the commencement of treatment. From April 2006 to March 2010, 19 of 92 patients suffered from infection during the observation period. Age≧65 yrs, presence of interstitial pneumonia, diagnosis of systemic vasculitis and serum creatinine level≧2.0mg/dl were found to be univariate predictors for infection. However, only the presence of interstitial pneumonia was an independent risk factor for infection (HR＝4.50, 95%CI＝1.65 to 14.44) by the Cox proportional hazard model. Even after achievement of clinical remission, careful observation is needed for patients with interstitial pneumonia, more so than for those receiving high-dose glucocorticoids

Cooking Vessels, Volumes, and Venues: Evidence from LM IIIC Kavousi Vronda and Karphi

Glowacki, K.T., and L.P. Day. “Cooking Vessels, Volumes, and Venues: Evidence from LM IIIC Kavousi Vronda and Karphi.” Abstract of paper read at Διατροφικές συνήθειες και πρακτικές στην Κρήτη διαχρονικά [Dietary Habits and Practices in Crete over Time], Museum of Cretan Ethnology, Voroi, Crete, Greece, September 9–10, 2017.Our understanding of diet and culinary practices at the Late Minoan IIIC settlement sites of Kavousi Vronda and Karphi is based upon several different types of physical evidence that have been recovered through excavation. These include the botanical and faunal remains of plants and animals available to and consumed by the inhabitants; ceramic vessels used for the cooking and consumption of food and drink; built and fixed cooking installations, such as hearths and ovens; and the architectural spaces within the settlements where food preparation and consumption most likely took place. Each type of evidence is, by itself, incomplete and dependent upon differential preservation resulting from site formation processes specific to each archaeological context. Taken together, however, they allow us to gain important insights into key aspects of food cultivation, provisioning, processing, preparation, and convivial practices on Crete in the 12th and 11th centuries BC. In this paper, we will compare and contrast the evidence for food preparation and dining at each site, paying special attention to the forms and sizes of ceramic vessels used for cooking and consumption

関西大学日本ポピュラー音楽アーカイブ・ミュージアムプロジェクト研究成果報告書

2014年度、2015年度 関西大学研究拠点形成支援経費報告

各地の深海底に存在する褐色変色域での微生物調査

BE11-P72ポスター要旨 / ブルーアース2011（2011年3月7日～8日, 東京海洋大学品川キャンパス）http://www.godac.jamstec.go.jp/darwin/cruise/natsushima/nt05-18/ehttp://www.godac.jamstec.go.jp/darwin/cruise/natsushima/nt10-06_leg2/ehttp://www.godac.jamstec.go.jp/darwin/cruise/natsushima/nt10-13_leg2/ehttp://www.godac.jamstec.go.jp/darwin/cruise/yokosuka/yk10-10/

Thermally Induced Unidirectional Crystallization of Charged Colloids(Poster session 1, New Frontiers in Colloidal Physics : A Bridge between Micro- and Macroscopic Concepts in Soft Matter)

この論文は国立情報学研究所の電子図書館事業により電子化されました。荷電コロイド粒子分散液は、粒子間の静電相互作用が十分大きいとき、粒子が規則配列した"結晶"構造を形成する。本研究では、昇温により粒子表面電荷数が増加して結晶化するコロイド系(ピリジン共存シリカ粒子/水分散液;粒径～100nm;粒子体積分率=0.035)を用い、加熱により結晶を一方向成長させた。大型(1mm×1cm×3cm)かつ試料セル壁面に良好に配列した、単一ドメイン結晶が生成した。結晶化機構および成長曲線について、試料温度分布の測定結果に基づいて議論する

An Introduction to the Serpentinite Biosphere in the Mariana Forearc : Capsule of the Deep Subsurface Biosphere from the Chamorro Seamount

n this paper we propose the possible existence of a new biosphere called the "serpentinite biosphere." We also suggest that serpentinites act as a receptacle of the deep biosphere. Analyses of geology, geophysics, biology, and chemistry of these "serpentinite capsules" are useful for determining the deepest limits of the subsurface biosphere. We obtained bathymetry, sediments, geochemical, and microbiological data from the Chamorro Seamount, a serpentinite seamount consisting of a pile of serpentinite flows in the Mariana forearc. These data reveal that serpentinite flows are products of upper mantle peridotite altered by the addition of water from the subducting slab. Alteration of peridotite to serpentinite provides hydrogen gas and methane, which are the most important energy sources for extremophile life. It also induces a buoyant rise of serpentinite diapirs, which are likely to capture and transport portions of the deep biosphere during their ascent to the surface. The conditions and the characteristics of serpentinite seamounts indicate that the serpentinite diapir is a transported capsule, or a "postcard" from the deep subsurface biosphere, as if meteorites are packages from space and snow is a letter from heaven. We should read them carefully to obtain a broader understanding of the subsurface biosphere.我々は蛇紋岩生物圏と呼ばれる新しい生物圏の存在と蛇紋岩が地下生物圏の容器として働いている可能性を提唱する.地質学,地球物理学,生物学そして化学的な検討から蛇紋岩カプセルが地下生物圏の深さ方向の限界を知るのに有用であることを示した.マリアナ前弧の蛇紋岩フローの積み重なりからなる蛇紋岩海山の一つ,チャモロ海山から地形,堆積物,化学,微生物の試料やデータを得た.これらのデータは蛇紋岩フローは上部マントルのカンラン岩が沈み込むスラブからの水の供給によって変質したものであることを示している.カンラン岩が変質して蛇紋岩になるときに極限の生命にとって有用なエネルギーである水素ガスやメタンを供給する.また蛇紋岩ダイアピルの浮力を生じそれが地表まで上昇してくる途中に地下生物圏の物質を捕獲する可能性がある.蛇紋岩海山は蛇紋岩ダイアピルが運搬されてきた地下生物圏のカプセルまたは手紙であることを示す.あたかも隕石が宇宙からの雪が空からの手紙であるように.地下生物圏を広く理解するためにこれらを注意深く読まなければならない