小林 洋


リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン
伊藤 清人 小林 洋 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/07/01
Vol. J86-A  No. 7  pp. 749-757
論文種別:  論文
専門分野: 信頼性,保全性,安全性
キーワード: 
ソフトウェアパターン安全性イベントチェッカリアクティブシステム
 あらまし | 本文:PDF(1MB)

リアクティブシステムの要求仕様におけるタイミングの記述法
小林 洋 時藤 和夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/09/25
Vol. J82-D1  No. 9  pp. 1144-1153
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
タイミング分析要求分析イベントトレース図実時間論理リアクティブシステム
 あらまし | 本文:PDF(607.3KB)

PLZT光シャッタを用いた赤外線吸収方式CO2ガスセンサの製作および特性
谷口 義晴 村上 健介 村重 伸一 小林 洋志 田中 省作 
誌名:   電子情報通信学会論文誌 C
発行日: 1998/08/25
Vol. J81-C2  No. 8  pp. 727-734
論文種別:  論文
専門分野: 電子計測・制御
キーワード: 
焦電センサ赤外線吸収方式CO2ガスセンサPLZT光シャッタ
 あらまし | 本文:PDF(537.6KB)

ステートフェンス図:リアクティブシステム設計のための一図式表現
小林 洋 一ノ瀬 悟 師玉 康成 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/06/25
Vol. J81-D1  No. 6  pp. 861-871
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
ステートフェンス図イベントトレース図リアクティブシステム図式表現安全設計
 あらまし | 本文:PDF(769.2KB)

ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
 浩 師玉 康成 江口 正義 小林 洋 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/05/25
Vol. J79-A  No. 5  pp. 1058-1064
論文種別:  論文
専門分野: 非線形問題
キーワード: 
最適制御非線形フィードバックニューラルネットワークコンパクト性
 あらまし | 本文:PDF(383.2KB)

ダイヤフラム上のPZT薄片を感受部とした焦電形赤外線センサ
谷口 義晴 村上 健介 小林 洋志 田中 省作 
誌名:   電子情報通信学会論文誌 C
発行日: 1996/01/25
Vol. J79-C2  No. 1  pp. 24-32
論文種別:  論文
専門分野: 電子計測・制御
キーワード: 
焦電センサ赤外線センサPZTセラミックダイヤフラム構造
 あらまし | 本文:PDF(660.1KB)

Nearest Neighborメッシュ網の階層的性質
小林 洋 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/12/25
Vol. J78-A  No. 12  pp. 1672-1674
論文種別:  レター
専門分野: 
キーワード: 
メッシュ結合ハイパキューブ相互結合網グループ化フォールトトレランス
 あらまし | 本文:PDF(189.2KB)

環グループ完全結合ネットワークの性質
船木 英岳 小林 洋 山本 博章 山浦 弘夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/10/25
Vol. J77-D1  No. 10  pp. 683-692
論文種別:  論文
専門分野: 計算機システム
キーワード: 
環グループ完全結合有弦環結合グループ化自律分散システム
 あらまし | 本文:PDF(559KB)

ノード障害時のネットワーク型コンピュータ上でのバイトニックソートの改良法
小林 洋 船木 英岳 山本 博章 山浦 弘夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/03/25
Vol. J77-D1  No. 3  pp. 266-270
論文種別:  レター
専門分野: 
キーワード: 
超並列処理バイトニックソートノード障害フォールトトレランス
 あらまし | 本文:PDF(281KB)

ノード障害時のネットワーク型コンピュータ上でのバイトニックソート
小林 洋 山本 博章 山浦 弘夫 船木 英岳 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/09/25
Vol. J76-D1  No. 9  pp. 465-472
論文種別:  論文
専門分野: 計算機システム
キーワード: 
超並列処理バイトニックソートノード障害有弦環結合
 あらまし | 本文:PDF(487.2KB)

ステップ数を増やさずにできるノード障害時のネットワーク型コンピュータ上でのバイトニックソート
小林 洋 山本 博章 山浦 弘夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/10/25
Vol. J75-D1  No. 10  pp. 958-961
論文種別:  レター
専門分野: 
キーワード: 
超並列処理バイトニックソートノード障害有弦環結合
 あらまし | 本文:PDF(245.5KB)

リンク障害時の有弦環結合コンピュータにおけるソーティング
小林 洋 山本 博章 山浦 弘夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/05/25
Vol. J75-D1  No. 5  pp. 280-287
論文種別:  論文
専門分野: 計算機システム
キーワード: 
超並列処理有弦環結合リンク障害代替経路バイトニックソート
 あらまし | 本文:PDF(501.6KB)

有弦環結合ネットワーク型コンピュータによるソーティング
小林 洋 古賀 義亮 
誌名:   電子情報通信学会論文誌 D
発行日: 1985/03/25
Vol. J68-D  No. 3  pp. 253-260
論文種別:  論文
専門分野: 計算機システム・構成要素
キーワード: 
 あらまし | 本文:PDF(561.3KB)