[技術・研究報告] Eclipse上で動作する効率の良いオンラインおよびオフライン動的解析プラットフォーム

ソフトウェア工学のさまざまな分野において動的解析技術が用いられている．動的解析とは，プログラムの実行時の情報を収集し解析を行うプログラム解析技術で，解析対象となるプログラムの実行終了後に解析を行うオフライン解析と，実行の途中でそれまでに収集された情報の解析を行うオンライン解析に分類することができる．本論文では，オンラインおよびオフライン解析ツールの開発を支援するため，Eclipse上で動作する動的解析プラットフォームを開発したので報告する．具体的には，これまで，特にオンライン解析においてツール毎に個別に実装されてきた実行時情報の収集処理を共通化し，さらに収集された実行時情報を解析するための共通基盤をEclipse上で提供することによって開発の効率化を図る．本プラットフォームが提供する収集処理は，幅広い動的解析手法で利用できるよう詳細な実行時情報を効率よく収集できるという特長を持つ．またオンライン解析の共通基盤としては，解析アルゴリズムをオンライン化することによって生じるオーバーヘッドをできる限り抑えるよう設計上の工夫を行っている．本論文ではその設計を採用した場合と採用しない場合の解析速度の比較を行い，設計の妥当性について評価を行ったので報告する

骨欠損再建における培養細胞シートを併用した培養人工骨移植の有用性

AIM: To determine the effects of transplanting osteogenic matrix cell sheets and beta-tricalcium phosphate (TCP) constructs on bone formation in bone defects. METHODS: Osteogenic matrix cell sheets were prepared from bone marrow stromal cells (BMSCs), and a porous TCP ceramic was used as a scaffold. Three experimental groups were prepared, comprised of TCP scaffolds (1) seeded with BMSCs; (2) wrapped with osteogenic matrix cell sheets; or (3) both. Constructs were implanted into a femoral defect model in rats and bone growth was evaluated by radiography, histology, biochemistry, and mechanical testing after 8 wk. RESULTS: In bone defects, constructs implanted with cell sheets showed callus formation with segmental or continuous bone formation at 8 wk, in contrast to TCP seeded with BMSCs, which resulted in bone non-union. Wrapping TCP constructs with osteogenic matrix cell sheets increased their osteogenic potential and resulting bone formation, compared with conventional bone tissue engineering TCP scaffolds seeded with BMSCs. The compressive stiffness (mean ± SD) values were 225.0 ± 95.7, 30.0 ± 11.5, and 26.3 ± 10.6 MPa for BMSC/TCP/Sheet constructs with continuous bone formation, BMSC/TCP/Sheet constructs with segmental bone formation, and BMSC/TCP constructs, respectively. The compressive stiffness of BMSC/TCP/Sheet constructs with continuous bone formation was significantly higher than those with segmental bone formation and BMSC/TCP constructs. CONCLUSION: This technique is an improvement over current methods, such as TCP substitution, and is useful for hard tissue reconstruction and inducing earlier bone union in defects.博士（医学）・乙第1366号・平成27年11月27日Copyright ©The Author(s) 2015. Published by Baishideng Publishing Group Inc. All rights reserved. This article is an open-access article which was selected by an in-house editor and fully peer-reviewed by external reviewers. It is distributed in accordance with the Creative Commons Attribution Non Commercial (CC BY-NC 4.0) license,which permits others to distribute, remix, adapt, build upon this work non-commercially, and license their derivative works on different terms, provided the original work is properly cited and the use is non-commercial. See: http://creativecommons.org/ licenses/by-nc/4.0

[技術・研究報告] プロキシオブジェクトの導入リファクタリングの提案とその自動化

ソフトウェアの内部構造は，機能追加や不具合修正の繰り返しによって少しずつ劣化していく．内部構造の劣化の典型的な形の一つが，ソフトウェアを構成しているモジュール間の結合度の増加である．そこで我々の研究グループは，Javaプログラムを対象に，クラス間の結合度が増加したソースコードに新しいクラスを導入することによって，複数クラスの疎結合化を行う複合リファクタリングを提案した．しかしながら，このリファクタリングにはクラス間の継承関係を考慮していないという問題点があった．そこで本研究では，クラス間の継承関係を考慮に入れた疎結合化リファクタリングとしてプロキシオブジェクトの導入を提案し，そのリファクタリングを自動化するアルゴリズムの検討を行う

リソースに基づく代数的アーキテクチャモデルのプロセス代数CCSによる実装について

近年, システムの高分散化に伴い, ソフトウェアアーキテクチャを構成する上で, コンポーネント間のデータ転送方式の選択の重要性が高まってきている. データの転送方式は大きくPUSH型とPULL型に分けることができるが, いずれのデータ転送方式を採用するかが, システム全体の最終的な性能に大きな影響を及ぼす. そのため, 開発の初期の段階で適切にデータ転送方式を評価できることが望まれる.一般にアーキテクチャ設計を正しく評価するためには, アーキテクチャの設計内容を厳密に定義できる体系が必要となる. そのため, アーキテクチャモデル及びアーキテクチャ記述言語の研究が広く行われてきた. 本研究室では, データ転送方式の選択および評価の支援を目的とした代数的アーキテクチャモデルの提案を行っている. 提案アーキテクチャモデルは, 制御の流れに関する情報を捨象することによって, プロセス代数などのプロセスに基づく他の記述体系よりも抽象度の高い情報を記述することを可能にしている. そのため, 提案アーキテクチャモデルによって記述されたアーキテクチャ情報は, データ転送方式の選択の影響を受けないという特徴を持つ.本論文では, 既存の記述体系としてプロセス代数CCS を選び, 提案アーキテクチャモデルの記述から, データ転送方式の選択に応じてCCS による実装を自動生成できることを示し, 生成されたCCS 実装が元のアーキテクチャモデルと等価となることを証明する. また, 等価性を保ちながらデータ転送方式を変更するための十分条件を示す. これらによって, 提案アーキテクチャモデルに基づいてデータ転送方式をリファクタリングするための理論的な基盤の構築が可能となる

スタック ケンサ キノウ オ モツ プログラム ニ タイスル セキュリティ ケンショウ

https://library.naist.jp/mylimedio/dllimedio/show.cgi?bookid=100033751&oldid=60896博士 (Doctor)工学 (Engineering)博第241号甲第241号博士（工学）奈良先端科学技術大学院大

An extension of pushdown system and its model checking method

In this paper, we present a class of infinite transition systems which is an extension of pushdown systems (PDS), and show that LTL (linear temporal logic) model checking for the class is decidable. Sincthe class is defined as a subclass of term rewriting systems, pushdown stack of PDS is naturally extended to tree structure. By this extension, we can model recursive programs with exception handling.http://library.naist.jp/mylimedio/dllimedio/show.cgi?bookid=100037131&oldid=6791

A fingerprint of metal-oxide powders: energy-resolved distribution of electron traps

Here we propose a method for the identification of metal-oxide powders with the energy-resolved distribution of electron traps and conduction-band bottom position reflecting a surface structure and a bulk structure, respectively, as a fingerprint, based on the degree of coincidence for a given pair of samples, measured using newly developed reversed double-beam photoacoustic spectroscopy

Reversed double-beam photoacoustic spectroscopy of metal-oxide powders for estimation of their energy-resolved distribution of electron traps and electronic-band structure

A novel instrumental methodology, reversed double-beam photoacoustic spectroscopy (RDB-PAS), was developed for measuring the energy-resolved distribution of electron traps (ERDT) of metal-oxide powders. In the RDB-PAS measurement, electrons in the valence band of a powder sample are directly excited to electron traps (ETs) and accumulated in the ETs from the deeper (anodic) side to the shallower (cathodic) side by wavelength-scanned continuous light, and the increase in photoabsorption of electron-filled ETs is measured by modulated light at a fixed wavelength by PAS. It was shown that ERDT/CBB (conduction-band bottom) patterns measured by RDB-PAS can be used for not only identification and detailed characterization of a wide range of metal-oxide powder samples but also estimation of difference in apparent valence-band top (VBT) position. (c) 2018 Elsevier Ltd. All rights reserved