本研究の目的は、制御則設計と実時間計算制約との間のギャップを大規模で分散し効率的かつリアルタイムに縮むための、高信頼なサイバー物理システム（HiCoCPS）の新しいモデルを提案することです。その成果は、スマートホームおよび他のCPSベースのアプリケーションにおけるHiCoCPSの3つのモデルを設計および提案することを含む。以下の結果も含む：（1）Satisfiability Module Theoriesに基づく新規リアルタイムスケジューリング方法論フレームワークとタスクモデル、（2）2つのsafe-to-processスキームを用い...

This report introduces two educational practices. One is the class of Computing Exercise IVin Department of Industrial Business and Engineering in Fukui University of Technology, and another is the class of Environment Remote Sensing in Department of Architecture and Ci...

In recent years, shade coffee certification programs have attracted increased attention from conservation and development organizations. The certification programs offer an opportunity to link environmental and economic goals by providing a premium price to producers an...

This study uses remote sensing data to quantitatively examine the impact of establishing participatory forest management associations in Ethiopia. The results indicate that where there is a forest association, forest area declines more in the year the association is est...

In this paper, a multi-level image representation model is developed and used to mine semantic feature hidden in the original remote sensing image. This model is consisted of three levels : region level, region feature level and semantic level. The first two levels aim ...

In forest area, there are few landmarks to be ground control points (GCPs) used for registration of satellite images or maps. Additionally, geographic information from the Global Positioning System (GPS) in field measurement survey is insufficient accuracy to identify i...