タグ

検証とsimulationに関するkgbuのブックマーク (2)

  • UP4ALL Inc - uppaal.com

    The world-leading and internationally acclaimed model-checking tool UPPAAL now available for commercial use! The latest version is distributed by VeriAal

    kgbu
    kgbu 2008/01/21
    リアルタイムシステムの検証システム
  • ブラックホールの内部構造をスパコンで検証 | スラド サイエンス

    英国の物理学者であるホーキング博士は1974年、ブラックホールが光などを放出しながら 少しずつ小さくなり、最終的に蒸発してしまうという、いわゆるホーキング輻射の存在を理論的に示したが、 高エネルギー加速器研究機構のリリースによれば、このホーキング博士の理論において、ブラックホール内部に熱源が存在するという予測がKEKのスパコンによるモデル計算で検証されたようである。リリース文の解説では、 素粒子の究極理論とされる「超弦理論」においては、すべての素粒子を極めて小さな「弦」の様々な振動のしかたとして表すが、その中には重力を媒介する粒子も含まれ、一般相対性理論を素粒子のスケールまで自然に拡張することができる。このことから超弦理論を用いればブラックホールの内部構造を解明できると期待されていたが、弦の間に働く相互作用が強いため具体的な計算は難しく、超弦理論の予測を実証できるかどうかについて世界の理論

    kgbu
    kgbu 2008/01/17
    ホーキング博士によるブラックホールの蒸発のモデルと、超弦理論が整合するだろうというシミュレーション結果が出たそうだ。
  • 1