- 著者
- 中村 正幸 楊 毓英 窪田 昭真 清水 洋 三浦 裕 和崎 克己 師玉 康成 滝沢 正臣
- 出版者
- 一般社団法人 日本医学物理学会
- 雑誌
- 医学物理 (ISSN:13455354)
- 巻号頁・発行日
- vol.23, no.1, pp.30-39, 2003
A network of the emergency telemedicine for mountain climbers in Japan Alps area has been developed. The network consists of 2.4GHz wireless LAN with over 30 km distance to be connected the Cable TV LAN. We confirmed that this network is able to transfer the high quality video and audio signal suitable for the telemedicine between the mountain huts and hospitals. In this paper, we pointed out the shortcomings of wireless LAN system and cable TV network system in use, for the telemedicine, and wireless LAN module covered more than 30km and a extension system of upstream frequency bandwidth for Cable TV network. Experiments suggested that a low cost and long distance wireless LAN is useful for mountain climber's emergency telemedicine.
1 0 0 0 OA 形式手法による暗号の安全性証明自動検証システムの開発
本研究では、形式的定理証明系Mizarとモデル検査器ProVerifを用いて、計算機援用による暗号システムの安全性形式的評価システムを開発した。Mizarでは暗号理論に関わる形式化数学ライブラリを開発した。本成果は確率、統計、関数解析、計算アルゴリズムや計算量等の計算機科学の基礎の形式化であるので、暗号理論以外にも応用できる。一方、ProVerifでは、基本的な暗号プロトコルのみならず、従来より抽象度が低くより現実のシステムや実装に近いモデルでの安全性検証手法を提案した。これにより暗号学的ハッシュ関数やブロック暗号の利用モード等の開発時の設計支援や形式的安全性検証を行うことが可能となった。
1 0 0 0 リアクティブシステム設計のためのグラフィカルな一表現法
- 著者
- 小林 洋 師玉 康成
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. FTS, フォールトトレラントシステム
- 巻号頁・発行日
- vol.96, no.519, pp.41-48, 1997-02-13
本論文においては,まず,リアクティブシステムの一種である工場の生産ラインのシーケンス制御システム等のシステム分析/設計に有効と考えられる,ステートフエンス図(SFD)と名づけて先に我々が提案した図式の定式化を行うと共にイベントトレース図(ETD)との相互の関係について示す。 SFDとしてOSFD, TSFD, NSFD及びESFD の三つの形式を示す。このうち, TSFDは状態空間と時間的順序を一つの図で表現したものである。 ESFDはイベントを種類別に集約して表したもので,同期関係を見やすく表現したものである。 またオブジェクト毎にSFDを表したときのイベントのマスタ/スレーブ関係の一表記法についても示す。さらに,踏切問題により安全設計への応用例も示す