著者

鈴木 一哉 吉田 たけお 三浦 幸也

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術

巻号頁・発行日

vol.96, no.425, pp.41-48, 1996-12-13

参考文献数

10

---

本稿では設計されたハードウェアの構造がその動作仕様を満たしているかどうかを検証する方法を提案する.従来の検証法で用いられている一階述語論理は再帰的な表現ができないため,順序回路を含むようなハードウェアを表現できない.本稿では高階述語論理を用いることによってこの問題を解決する.本稿ではまず仕様である動作記述およびその設計である構造記述をそれぞれ高階述語論理式に変換する方法を示す.仕様記述および設計記述を表す論理式から"設計が仕様を満たしている"という意味を表す論理式を作り,この論理式を証明することによって検証を行なう.さらに本稿ではこの論理式を定理証明系を用いて証明する際の手順も示す.

著者

鈴木 一哉 森本 昌治 岩井 孝法

出版者

一般社団法人 電子情報通信学会

雑誌

電子情報通信学会 通信ソサイエティマガジン (ISSN:21860661)

巻号頁・発行日

vol.12, no.1, pp.12-20, 2018-06-01 (Released:2018-06-01)

参考文献数

32

被引用文献数

1

---

近年全ての'もの’をインターネットにつなぐという IoT(Internet of Things)という考え方に基づき,実社会の課題解決を目指した技術の研究・開発が盛んに行われている.IoTでは,気温や監視カメラの映像など実社会に関わる情報をインターネットに接続された `もの’により収集し,クラウド上にて動作するデータ分析技術を用いて分析・判断し,更にはインターネットを通じて実社会にフィードバックする.IoTが大きく注目されている背景には,モバイル網に代表されるネットワーク及びクラウドの成熟と各種データ分析技術の発展が挙げられる.しかし,IoTを活用した様々なユースケースの実現を考えたとき,既存のクラウドネットワークには様々な課題が存在する.本論文では,IoTを活用する上でのクラウドネットワークの課題を挙げ,課題解決のための技術を解説する.

著者

鈴木 一哉

巻号頁・発行日

2011

---

筑波大学博士 (システムズ・マネジメント) 学位論文・平成23年7月25日授与 (甲第5890号)

著者

狩野 秀一 鈴木 一哉 地引 昌弘

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. IA, インターネットアーキテクチャ (ISSN:09135685)

巻号頁・発行日

vol.104, no.377, pp.21-26, 2004-10-21

---

ルータクラスタにおけるニ重パケット処理冗長方式を提案する。高機能ルータクラスタではフロー状態の冗長化が必要だが、従来方式では冗長化のための状態交換のオーバーヘッドが大きいという問題がある。本研究では、パケットを二重処理して状態を冗長化するために、状態交換のオーバーヘッドがかからない方式を提案する。また、メンバ数および故障回復時間をパラメータとして従来方式とスループット比較を行い、提案方式の優位性を検証する。