論文の概要: International System of Quantities library in VDM

• arxiv url: http://arxiv.org/abs/2311.09704v1
• Date: Thu, 16 Nov 2023 09:29:02 GMT
• ステータス: 処理完了
• システム内更新日: 2023-11-17 15:37:34.119461
• Title: International System of Quantities library in VDM
• Title（参考訳）: VDMにおける国際量ライブラリー
• Authors: Leo Freitas
• Abstract要約: 1960年にISQ(International Systems of Quantities)標準が公表され、世界中の様々な測定システムが開発されている。 このような標準は、非互換な単位間の変換における自明な'(あるいはエラーを起こしやすい)誤りの可能性を強く動機付けている。 この問題に対して,textbf-ISQ VDM-library – Simple, Accurate, Fast, Effective – を提供することで対処する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The International Systems of Quantities (ISQ) standard was published in 1960 to tame the wide diversity of measurement systems being developed across the world, such as the centimetre-gram-second versus the meter-kilogram-second for example. Such a standard is highly motivated by the potential of ``trivial'' (rather error-prone) mistakes in converting between incompatible units. There have been such accidents in space missions, medical devices, etc. Thus, rendering modelling or simulation experiments unusable or unsafe. We address this problem by providing a \textbf{SAFE}-ISQ VDM-library that is: Simple, Accurate, Fast, and Effective. It extends an ecosystem of other VDM mathematical toolkit extensions, which include a translation and proof environment for VDM in Isabelle at https://github.com/leouk/VDM_Toolkit.
• Abstract（参考訳）: 1960年にISQ(International Systems of Quantities)標準が公表され、例えばメートルキログラム秒に対してセンチメートルグラム秒のような世界中の様々な測定システムが開発されている。 このような標準は、互換性のないユニット間の変換における ``trivial''' (エラーが発生しやすい) の潜在的な誤りに非常に動機づけられている。 宇宙飛行や医療機器等ではこのような事故があった。 したがって、モデリングやシミュレーションの実験は使用不可能または安全ではない。 本稿では, 単純, 高精度, 高速, 有効である textbf{SAFE}-ISQ VDM-library を提供することによりこの問題に対処する。 これは他のVDM数学的ツールキット拡張のエコシステムを拡張しており、Isabelle の https://github.com/leouk/VDM_Toolkit での VDM の翻訳と証明環境を含んでいる。

関連論文リスト

• SEA: State-Exchange Attention for High-Fidelity Physics Based Transformers [1.1650821883155187]
  シーケンシャルネットワークを用いた最近のアプローチは、動的システムのフィールド変数の推定において有望であることを示している。 ロールアウトエラーの蓄積に関する未解決の問題は、ネットワークが将来予測するときに、信頼できない見積もりをもたらす。 本稿では、符号化されたフィールド間の情報交換を可能にする新しいトランスフォーマーベースのモジュールである、ステート・エクスチェンジ・アテンション(SEA)モジュールを紹介する。
  論文  参考訳（メタデータ） (2024-10-20T20:25:01Z)
• ACDC: Autoregressive Coherent Multimodal Generation using Diffusion Correction [55.03585818289934]
  自己回帰モデル(ARM)と拡散モデル(DM)は、生成モデルにおける2つの主要なパラダイムを表す。 拡散補正(Diffusion Correction: ACDC)を用いた自己回帰型コヒーレント多モード生成について紹介する。 ACDCは、追加の微調整を必要とせず、推論段階でARMとDMの両方の強度を組み合わせる。
  論文  参考訳（メタデータ） (2024-10-07T03:22:51Z)
• A Comprehensive Library for Benchmarking Multi-class Visual Anomaly Detection [52.228708947607636]
  本稿では,新しい手法のモジュラーフレームワークであるADerを包括的視覚異常検出ベンチマークとして紹介する。 このベンチマークには、産業ドメインと医療ドメインからの複数のデータセットが含まれており、15の最先端メソッドと9つの包括的なメトリクスを実装している。 我々は,異なる手法の長所と短所を客観的に明らかにし,多クラス視覚異常検出の課題と今後の方向性について考察する。
  論文  参考訳（メタデータ） (2024-06-05T13:40:07Z)
• SpatialVLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities [59.39858959066982]
  空間的関係についての理解と推論は、視覚質問応答(VQA)とロボット工学の基本的な能力である。 我々は,1000万枚の実画像に対して,最大20億個のVQAサンプルをスケール可能な3次元空間VQAデータ自動生成フレームワークを開発した。 このようなデータに基づいてVLMを訓練することにより、定性的空間的VQAと定量的空間的VQAの両方において、その能力を大幅に向上する。
  論文  参考訳（メタデータ） (2024-01-22T18:01:01Z)
• Exploring Plain ViT Reconstruction for Multi-class Unsupervised Anomaly Detection [128.40330044868293]
  Vision Transformer (ViT) では、より単純なアーキテクチャが複数のドメインで有効であることが証明されている。 ViTADはMVTec AD、VisA、Uni-Medicalデータセット上で最先端の結果と効率を達成する。
  論文  参考訳（メタデータ） (2023-12-12T18:28:59Z)
• BLEURT Has Universal Translations: An Analysis of Automatic Metrics by Minimum Risk Training [64.37683359609308]
  本研究では,機械翻訳システムの学習指導の観点から,各種の主流および最先端の自動測定値について分析する。 BLEURT や BARTScore における普遍的逆変換の存在など,ある種の指標は堅牢性欠陥を示す。 詳細な分析では、これらのロバスト性障害の主な原因は、トレーニングデータセットにおける分布バイアスと、メートル法パラダイムの傾向である。
  論文  参考訳（メタデータ） (2023-07-06T16:59:30Z)
• Mass-Producing Failures of Multimodal Systems with Language Models [37.11288679887794]
  MultiMonは、システム障害を自動的に識別するシステムである。 誤った合意の例としてコーパスをスクラップする。 その後、言語モデルに障害の系統的なパターンを見つけるように促す。
  論文  参考訳（メタデータ） (2023-06-21T08:43:29Z)
• UVCGAN v2: An Improved Cycle-Consistent GAN for Unpaired Image-to-Image Translation [10.689788782893096]
  I2I (unpaired image-to-image) 翻訳技術は、完全に教師なしの方法で2つのデータ領域間のマッピングを求める。 DMはFrechet distance(FID)の観点からI2I翻訳ベンチマークの最先端を保っている この研究は、最近のUVCGANモデルを改善し、モデルアーキテクチャとトレーニング手順の近代化に資する。
  論文  参考訳（メタデータ） (2023-03-28T19:46:34Z)
• ViTAE: Vision Transformer Advanced by Exploring Intrinsic Inductive Bias [76.16156833138038]
  コンボリューション, ie, ViTAEから内在性IBを探索するビジョントランスフォーマーを提案する。 ViTAEはいくつかの空間ピラミッド縮小モジュールを備えており、入力イメージをリッチなマルチスケールコンテキストでトークンに埋め込む。 各トランス層では、ViTAEはマルチヘッド自己保持モジュールと平行な畳み込みブロックを持ち、その特徴は融合されフィードフォワードネットワークに供給される。
  論文  参考訳（メタデータ） (2021-06-07T05:31:06Z)
• Counterfactual Explanations for Machine Learning on Multivariate Time Series Data [0.9274371635733836]
  本稿では、教師付き機械学習フレームワークに対して、対実的説明を提供するための新しい説明可能性手法を提案する。 提案手法は,信頼性やロバスト性など,いくつかの異なるMLフレームワークやデータセット上での最先端の説明可能性手法よりも優れている。
  論文  参考訳（メタデータ） (2020-08-25T02:04:59Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。