ベイジアンネットワーク－入門から応用まで
Abstract: ( ) ( ) ( ) 1. ( ) 2. (Bayesian network, Bayesnet, belief network) [1, 2, 3, 4, 5] [6, 7, 8, 9, 10] 0 1 1 0 Xi, Xj Xi → Xj Xj Xi X1 X2 X4 X3 X5 X2 0 1 X4 0 0.8 0.4 1 0.2 0.6 条件付確率表 P(X4|X2) P(X3|X1,X2） Ｐａ（Ｘ３） Ｐａ（Ｘ５） Ｐａ（Ｘ４） P(X５|X３,X４） 1: Bayesian network Xj Pa(Xj) Xj Pa(Xj) ( Pa(Xj) ) P(Xj | Pa(Xj)) (1) n X1 · · · , Xn (2) P(X1, · · · , Xn) = n � j=1 P(Xj | Pa(Xj)). (2) 1 1 3 Pa(Xj) = x1
Opinion：君はベイジアン・ネットワークを知っているか？（7/9） - ＠IT
多摩川がタマちゃん騒動で盛り上がっていた2002年9月1日、「ベイジアンネットセミナーBN2002」という研究会が東京一ツ橋の学術総合センターで開かれていた。 ベイジアン・ネットワーク（Bayesian Network）とは、不確かな出来事の連鎖について、確率の相互作用を集計する手法で、知能情報システム構築の有力な手段になっている。「不確実性を扱うための計算モデル」として、認知科学（知能の仕組みや働きなどを解明する科学）、機械学習（経験や学習によって自身が進化するような機械システム）、データ・マイニング（膨大な量のデータの中から特徴や「意味」などを見つけ出す技術。マイニング【mining】とは山から資源などを掘り出す、採鉱／採掘という意味）、ロボティクス（ロボット工学）、ゲノム解析などに応用が広がっている。このセミナーは、産業総合技術研究所（元電子技術総合研究所、経済産業省傘下）が中心にな
bn.dvi
ベイジアンネットワーク 岐阜大学 工学研究科 博士後期課程 2 年 志賀元紀 平成 17 年 1 月 27 日 1 はじめに ベイジアンネットワークは，確率的な因果関係のモデル化や確率的な推論を目的として，様々に用い られている．ベイジアンネットワークを利用する際の問題点としては，大きく分けて 2 つある．一つ目 は，標本が与えられたときに，どれだけ良い精度で，確率的な構造を推定できるか，つまり，ネットワー ク構築 (または，学習) の問題である．2 つ目は，確率的な構造が既知のとき，推論のための周辺確率の 計算効率に関する問題である．この文章では，後者の問題のみ述べる．ネットワーク構築の問題1 を知り たい方は，他の文献を参考して頂きたい． 2 2.1 ベイジアンネットワーク ベイジアンネットワークとは ベイジアンネットワークとは，確率的な因果関係をモデル化する手法であるグ
Bioinformatics - Wikipedia
Early bioinformatics—computational alignment of experimentally determined sequences of a class of related proteins; see § Sequence analysis for further information. Map of the human X chromosome (from the National Center for Biotechnology Information (NCBI) website) Bioinformatics (/ˌbaɪ.oʊˌɪnfərˈmætɪks/ ⓘ) is an interdisciplinary field of science that develops methods and software tools for under
UMLとモデル検証 | オブジェクトの広場
1.はじめに 私は主に組み込み分野における開発に携わってきました。近年、組み込み分野では、品質に対する要求はどんどん厳しくなっています。現在、品質向上のための様々なアプローチが行われています。今回は、人間にわかりやすいモデルを、抜け漏れなく検証するという観点で、UMLとモデル検証の組み合わせの可能性を探ってみました。 本記事では、UMLの状態マシン図で記載したモデルに、モデル検証ツールspinを適用していきます。 spinとは、ベル研究所で開発されたオープンソースのモデル検証ツールです。検証対象のモデルの取りうる全ての状態において、検証条件を満たしているか確認することができます。また、複数のタスクで動作するシステムにおけるデッドロックの発生なども検出することができます。デッドロックの検出例は、書籍やWebサイトでも多く紹介されています。 組み込みシステムにおいては、現在でもRTOS（リアル
Domain-specific language - Wikipedia
A domain-specific language (DSL) is a computer language specialized to a particular application domain. This is in contrast to a general-purpose language (GPL), which is broadly applicable across domains. There are a wide variety of DSLs, ranging from widely used languages for common domains, such as HTML for web pages, down to languages used by only one or a few pieces of software, such as MUSH s
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium will be held in April 10-11 2023 in
SPINモデルチェッカ - Wikipedia
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある SPIN ユーザーや研究者による SPIN ワークショップが開催されている。 概要[編集] SPIN(Simple Promela INterpreter)は、オートマトンに基づく模型検査器(model checker)。検査対象のシステムは専用の言語Promela (Process Meta Language) で記述される。Promela は、非同期分散アルゴリズムを非決定的オートマトンとしてモデル化する
モデル検査ツールSpinによる組込みソフトウェアの検証 受講メモ
================================================================================ 8/26 13:20〜15:00 チュートリアル２ セッションS2-3-1:「モデル検査ツールSpinによる組込みソフトウェアの検証」 講師: 青木 利晃（北陸先端科学技術大学院大学） 席数 ：約30席 参加者：約20名 ================================================================================ モデル検証がいろいろいわれているが、モデル検査ツールであるSpinを紹介する。 また、組込みソフトウェアにどう使われているか説明する。 ・ソフトウェアの信頼性 現在、社会システムの様々な場所にソフトウェアが組み込まれている。 -バンキングシステム、航空管
モデル検査
モデル検査入門 モデル検査入門 高橋孝一 高橋孝一 ２００４年２月４日 ２００４年２月４日 言うまでもなく… 言うまでもなく • 検証は重要 • できるだけ自動検証が望ましい 一つの解：モデル検査ツール 仕組みはともかく… 仕組みはともかく • モデル検査ツールを使ってみよう – 何ができて何ができないか理解するための早道 • 最低限必要な基礎の説明 • デモ • ソースコードのモデル検査ツール モデル検査の基礎 モデル検査の基礎 • 検査対象は状態遷移系 – 状態がどのように遷移していくかを表すもの • 検査項目は時相論理式 システムのモデル化 システムのモデル化 • 状態＝システムのある瞬間のスナップショット • 遷移＝時間経過やイベントに伴う状態の変化 例：信号機 例：信号機 • 状態＝｛赤、青、黄｝ • 遷移＝赤から青、青から黄、黄から青 状態遷移図 状態遷移
モデル駆動型アーキテクチャ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "モデル駆動型アーキテクチャ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2021年6月） モデル駆動型アーキテクチャ（モデルくどうがたアーキテクチャ、Model-Driven Architecture、MDA）とは、Object Management Group (OMG) が2001年に公式に発表したソフトウェア設計手法である[1]。MDA はソフトウェアシステムにおけるモデル駆動工学サポートを意図したものである。 概要[編集] モデル駆動型アーキテクチャ (MDA) は、モデルとして表現される構造的仕様のガイドラインを提供するソフ
SOA - Wikipedia
SOA ソア（韓:서아, 英語:soa,1996年11月15日 - ） - 日本東京都出身のバスビデオ ライバー（配信者）、Instagramソアスタグラムを更新。本名は非公開。愛称はソア（韓: 서아）,そあちゃん サービス指向アーキテクチャ 【Service-Oriented Architecture】 半導体光増幅器 【Semiconductor Optical Amplifier】 安全動作領域（英語版） 【Safety Operating Area】 アメリカ陸軍米州学校【U.S.ARMY School Of Americas】- 現在の西半球安全保障協力研究所。 スターオーシャン:アナムネシス【STAR OCEAN anamnesis】 - スクウェア・エニックス配信のスマホゲーム。 セガ・オブ・アメリカ 【Sega Of America, Inc】 SOAレコード（英語版）【S
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Microsoft PowerPoint - Talk.selic.ppt
Domain-specific modeling - Wikipedia
SPIN 2008
モデル検査とSPIN入門 - ソフトウェアさかば
NameBright - Coming Soon
The Open Groupサンフラシスコ・カンファレンス ハイライト