情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発
情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発
批准号:
15700060
负责人:
岡村 寛之
金额:
$0.9万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Young Scientists (B)
财政年份:
2003
资助国家:
日本
项目状态:
已结题
起止时间:
2003 至 2004
中文摘要
点击翻译按钮获取中文摘要
英文摘要
平成16年度の主な成果として,確率モデルによるコンピュータウィルスの挙動解析,統計的不正検知アルゴリズムの開発,チェックポイント生成アルゴリズムの開発を行った.(1)確率モデルによるコンピュータウイルスの挙動解析確率モデルによるコンピュータウイルスの挙動解析では,連続時間マルコフ連鎖を使ったウイルス増殖のモデル化を行った.特に,ウイルス増殖における確率的事象に着目して,ウイルスの増殖能力を定量的に評価する尺度の導出を行った.また,現存するウイルス感染数のデータを用いて提案した尺度を算出し,ウイルスに関する特徴分析を行った.この結果は平成16年度に出版された学術雑誌で発表された.(2)統計的不正検知アルゴリズムの開発統計的不正検知アルゴリズムの開発では,サーバの利用状況(プロファイル)を常に監視して,DoSアタックなどの異常を検知するためのモデルを構築した.異常を検知する技術として,ベイジアンネットワークを導入することで,従来の統計的な手法よりも多くのデータを矛盾なく利用することが可能となり,検知の精度が向上した.この結果を平成16年度8月に開催された国際会議で発表した.(3)チェックポイント生成アルゴリズムの開発リアルタイム制御が必要なアプリケーションに対するチェックポイントアルゴリズムを新たに提案した.提案されたアルゴリズムは動的計画法に基づいており,従来のアルゴリズムと比較してどのような環境でも安定して解を算出することができる.この結果を平成17年度8月に開催される国際ワークショップで発表する予定である.その他にも本研究に関連するものでは,ソフトウェアシステムの信頼性を向上させるための予防保全手続きの一種であるソフトウェアレジュビネーションに関する研究と,ソフトウェア開発工程で利用されるソフトウェア信頼度成長モデルに関する研究がある.これらの成果も学術雑誌や国際会議で発表を行った.
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
強化学習に基づいた分散チェックポイントの最適生成
基于强化学习的分布式检查点优化生成
DOI:
--
发表时间:
2005
期刊:
数理科学講究録1409-決定理論と最適化アルゴリズム
影响因子:
--
作者:
[秋岡明香, 竹房あつ子, 中田秀基, 松岡聡, 三浦謙一, Atsuko Takefusa, 岡村寛之]
通讯作者:
岡村寛之
本田紘介: "モジュールサイズの分布に基づいたソフトウェア欠陥密度の評価に関する考察"電子情報通信学会論文誌. Vol.J86-A, No.6. 713-717 (2003)
Hirosuke Honda:“基于模块尺寸分布的软件缺陷密度评估”,电子、信息和通信工程师协会学报,第 J86-A 卷,第 713-717 期(2003 年)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
Hiroyuki Okamura: "Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. Vol.E86-A, No.8. 2081-2090 (2003)
Hiroyuki Okamura:“基于事务的多服务器系统的可靠性分析与复兴”IEICE 电子、通信和计算机科学基础事务。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
一般化ガンマソフトウェア信頼性モデル
广义伽马软件可靠性模型
DOI:
--
发表时间:
2004
期刊:
電子情報通信学会論文誌 J87-D-I(8)
影响因子:
--
作者:
[秋岡明香, 竹房あつ子, 中田秀基, 松岡聡, 三浦謙一, Atsuko Takefusa, 岡村寛之, 小林尚志, 岡村寛之]
通讯作者:
岡村寛之
土肥正: "コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定"電子情報通信学会論文誌. Vol.J86-A, No.3. 269-277 (2003)
Tadashi Doi:“基于成本效益的离散时间软件更新计划”,电子、信息和通信工程师学会汇刊,第 J86-A 卷,第 3 期(2003 年)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 12 条
Application of perfect sampling with SAT/SMT solvers
-
批准号:23K10998
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.91万
-
财政年份:2023
-
负责人:岡村 寛之
-
依托单位:
脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築
-
批准号:18700064
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$0.77万
-
财政年份:2006
-
负责人:岡村 寛之
-
依托单位:
コンピュータネットワークにおけるPower Managementモデルの構築
-
批准号:11780332
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.77万
-
财政年份:1999
-
负责人:岡村 寛之
-
依托单位:
海外基金