論文の概要: Framework and Methodology for Verification of a Complex Scientific
Simulation Software, Flash-X
- arxiv url: http://arxiv.org/abs/2308.16180v1
- Date: Wed, 30 Aug 2023 17:57:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-23 11:53:48.053221
- Title: Framework and Methodology for Verification of a Complex Scientific
Simulation Software, Flash-X
- Title（参考訳）: 複雑な科学シミュレーションソフトウェア flash-x の検証のためのフレームワークと方法論
- Authors: Akash Dhruv, Rajeev Jain, Jared O'Neal, Klaus Weide, Anshu Dubey
- Abstract要約: 計算科学は科学的発見の主要な道具として科学ソフトウェアに依存している。
科学的なソフトウェア検証は、ユーザーが科学的な研究の一環としてソフトウェアを変更する必要があるため、特に難しい。
本稿では,複数の科学領域を対象としたコミュニティシミュレーションソフトウェアであるFlash-Xを開発した方法論について述べる。
- 参考スコア（独自算出の注目度）: 0.8437187555622163
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Computational science relies on scientific software as its primary instrument
for scientific discovery. Therefore, similar to the use of other types of
scientific instruments, correct software and the correct operation of the
software is necessary for executing rigorous scientific investigations.
Scientific software verification can be especially difficult, as users
typically need to modify the software as part of a scientific study. Systematic
methodologies for building test suites for scientific software are rare in the
literature. Here, we describe a methodology that we have developed for Flash-X,
a community simulation software for multiple scientific domains, that has
composable components that can be permuted and combined in a multitude of ways
to generate a wide range of applications. Ensuring sufficient code coverage by
a test suite is particularly challenging due to this composability. Our
methodology includes a consideration of trade-offs between meeting software
quality goals, developer productivity, and meeting the scientific goals of the
Flash-X user community.
- Abstract（参考訳）: 計算科学は科学的発見の主要な道具として科学ソフトウェアに依存している。
したがって、厳密な科学的調査を行うには、他の種類の科学機器の使用と同様に、正しいソフトウェアやソフトウェアの正しい操作が必要となる。
科学的なソフトウェア検証は、ユーザーが科学的な研究の一環としてソフトウェアを変更する必要があるため、特に難しい。
科学ソフトウェアのためのテストスイートを構築するための体系的な方法論は文献ではまれである。
本稿では,複数の科学領域を対象としたコミュニティシミュレーションソフトウェア flash-x のために開発した手法について述べる。
この構成性のため、テストスイートによる十分なコードカバレッジを確保することは特に難しい。
当社の方法論では,ソフトウェア品質目標の達成,開発者の生産性,Flash-Xユーザコミュニティの科学的目標の達成のトレードオフについて検討している。
関連論文リスト
- Requirements Engineering for Research Software: A Vision [2.2217676348694213]
ほとんどの研究者は、科学的な目的のためにソフトウェアを作成するが、ソフトウェア工学では訓練されていない。
研究ソフトウェアは、しばしば厳密なプロセスに従うことなくアドホックに開発される。
本稿では,研究者が研究ソフトウェアに必要な要件を抽出し,文書化し,分析する方法について述べる。
論文 参考訳（メタデータ） (2024-05-13T14:25:01Z) - A Review of Neuroscience-Inspired Machine Learning [58.72729525961739]
バイオプルーシブル・クレジット・アサインメントは、事実上あらゆる学習条件と互換性があり、エネルギー効率が高い。
本稿では,人工ニューラルネットワークにおける信用代入の生体評価可能なルールをモデル化する,いくつかの重要なアルゴリズムについて検討する。
我々は,このようなアルゴリズムを実用アプリケーションでより有用にするためには,今後の課題に対処する必要があることを論じる。
論文 参考訳（メタデータ） (2024-02-16T18:05:09Z) - Ten simple rules for teaching sustainable software engineering [0.0]
高品質な研究ソフトウェアを開発するには、多くのソフトウェア開発スキルを開発する必要がある。
計算研究における基礎的・優れた開発プラクティスの確保に重点が置かれている。
10 Simple Rulesコレクションの最近の記事は、生物学の学生にコンピュータサイエンスとコーディング技術の教育について論じている。
我々は、科学者が持続可能なソフトウェアパッケージを開発するために必要なスキルを効果的に教えるための具体的な手順を説明することによって、この議論を進める。
論文 参考訳（メタデータ） (2024-02-07T10:16:20Z) - SciCat: A Curated Dataset of Scientific Software Repositories [4.77982299447395]
我々は、FLOSS(Free-Libre Open Source Software)プロジェクトの包括的なコレクションであるSciCatデータセットを紹介します。
私たちのアプローチは、World of Codeのデータソースから、1億3100万の削除されたリポジトリのプールからプロジェクトを選択することです。
本分類は, 科学的目的のために設計されたソフトウェア, 研究関連プロジェクト, 研究支援ソフトウェアに焦点をあてる。
論文 参考訳（メタデータ） (2023-12-11T13:46:33Z) - GFlowNets for AI-Driven Scientific Discovery [74.27219800878304]
我々はGFlowNetsと呼ばれる新しい確率論的機械学習フレームワークを提案する。
GFlowNetsは、実験科学ループのモデリング、仮説生成、実験的な設計段階に適用できる。
我々は、GFlowNetsがAIによる科学的発見の貴重なツールになり得ると論じている。
論文 参考訳（メタデータ） (2023-02-01T17:29:43Z) - KnowledgeShovel: An AI-in-the-Loop Document Annotation System for
Scientific Knowledge Base Construction [46.56643271476249]
KnowledgeShovelは、研究者が科学的知識基盤を構築するための、Al-in-the-Loop文書アノテーションシステムである。
KnowledgeShovelの設計では、多段階のマルチモーダルAIコラボレーションパイプラインを導入し、データの正確性を向上し、人的負担を軽減する。
7つの地学研究者によるフォローアップユーザ評価では、知識ショベルは、十分な精度で科学的知識ベースを効率的に構築できることを示している。
論文 参考訳（メタデータ） (2022-10-06T11:38:18Z) - Automated Creation and Human-assisted Curation of Computable Scientific
Models from Code and Text [2.3746609573239756]
ドメインエキスパートは、コードに詳しくなければ、科学的モデルの実装を完全に理解することはできない。
我々は,科学モデルの自動作成と人手によるキュレーションのためのシステムを開発した。
本研究では,NASAのハイパーソニック・エアロダイナミックス(Hypersonic Aerodynamics)のウェブサイトから得られたコードと関連テキストのデータセットを用いて実験を行った。
論文 参考訳（メタデータ） (2022-01-28T17:31:38Z) - Simulation Intelligence: Towards a New Generation of Scientific Methods [81.75565391122751]
シミュレーション知能の9つのモチーフ」は、科学計算、科学シミュレーション、人工知能の融合に必要な重要なアルゴリズムの開発と統合のためのロードマップである。
シミュレーションインテリジェンスのモチーフは、オペレーティングシステムのレイヤ内のコンポーネントとよく似ています。
我々は、モチーフ間の協調的な努力が科学的な発見を加速する大きな機会をもたらすと信じている。
論文 参考訳（メタデータ） (2021-12-06T18:45:31Z) - Applications and Techniques for Fast Machine Learning in Science [11.578814969632552]
このレポートは、Fast ML for Scienceコミュニティが開催する2つのワークショップに基づいている。
さまざまな科学的領域にわたる高速MLのアプリケーション、パフォーマンスとリソース効率のアルゴリズムのトレーニングと実装のテクニック、これらのアルゴリズムをデプロイするアーキテクチャ、プラットフォーム、テクノロジの3つの分野をカバーする。
このレポートは、統合および加速されたMLソリューションによる科学的発見のための多くの例とインスピレーションを提供することを目的としている。
論文 参考訳（メタデータ） (2021-10-25T15:25:25Z) - An Extensible Benchmark Suite for Learning to Simulate Physical Systems [60.249111272844374]
我々は、統一されたベンチマークと評価プロトコルへの一歩を踏み出すために、一連のベンチマーク問題を導入する。
本稿では,4つの物理系と,広く使用されている古典的時間ベースおよび代表的なデータ駆動手法のコレクションを提案する。
論文 参考訳（メタデータ） (2021-08-09T17:39:09Z) - A backend-agnostic, quantum-classical framework for simulations of
chemistry in C++ [62.997667081978825]
本稿では,量子古典ソフトウェアをプロトタイピング,開発,デプロイするためのプラットフォームとして,XACCシステムレベルの量子コンピューティングフレームワークを提案する。
現在XACCで実装されている最先端の化学アルゴリズムのいくつかを示す一連の例を示す。
論文 参考訳（メタデータ） (2021-05-04T16:53:51Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。