太田 正孝


SDL仕様のLOTOSによる解釈
安藤 津芳 太田 正孝 高橋 薫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/06/25
Vol. J76-D1  No. 6  pp. 300-314
論文種別:  論文
専門分野: ネットワーク
キーワード: 
仕様記述形式的仕様記述技法SDLLOTOS交換サービス
 あらまし | 本文:PDF(1MB)

プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
朴 美娘 岡崎 直宣 太田 正孝 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 B
発行日: 1993/03/25
Vol. J76-B1  No. 3  pp. 264-273
論文種別:  論文
専門分野: 信号方式,通信プロトコル
キーワード: 
試験系列生成相互接続試験システム状態グラフ状態確認
 あらまし | 本文:PDF(697.8KB)

プロセス仕様の検証のための模倣性判定法
高橋 薫 山野 敬一郎 太田 正孝 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/01/25
Vol. J76-D1  No. 1  pp. 27-30
論文種別:  レター
専門分野: 
キーワード: 
仕様検証プロセス代数模倣関係判定手続きLOTOS
 あらまし | 本文:PDF(236.3KB)

各種遅延時間を考慮した共通線信号網ふくそう制御の解析
太田 正孝 
誌名:   電子情報通信学会論文誌 B
発行日: 1992/06/25
Vol. J75-B1  No. 6  pp. 401-415
論文種別:  論文
専門分野: 通信網,通信サービス
キーワード: 
ふくそう制御共通線信号網制御遅延伝送遅延トラヒック理論流体モデル
 あらまし | 本文:PDF(859.4KB)

通信網における異常ふくそう評価のための数学モデル
太田 正孝 
誌名:   電子情報通信学会論文誌 B
発行日: 1992/03/25
Vol. J75-B1  No. 3  pp. 135-149
論文種別:  論文
専門分野: 通信網,通信サービス
キーワード: 
異常ふくそう回線交換網トラヒック理論スループット呼損率
 あらまし | 本文:PDF(924.9KB)

電話交換網の流体モデルによる過負荷特性の解析
太田 正孝 
誌名:   電子情報通信学会論文誌 B
発行日: 1988/09/25
Vol. J71-B  No. 9  pp. 1003-1009
論文種別:  論文
専門分野: 通信網,通信サービス
キーワード: 
 あらまし | 本文:PDF(538.6KB)

流体近似による呼損率の解法
太田 正孝 
誌名:   電子情報通信学会論文誌 A
発行日: 1987/12/25
Vol. J70-A  No. 12  pp. 1803-1812
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
 あらまし | 本文:PDF(753.5KB)

流体近似による過負荷制御の解析
太田 正孝 
誌名:   電子情報通信学会論文誌 B
発行日: 1987/01/25
Vol. J70-B  No. 1  pp. 11-21
論文種別:  論文
専門分野: 通信網
キーワード: 
 あらまし | 本文:PDF(745.1KB)