論文の概要: 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 の翻訳と証明環境を含んでいる。
関連論文リスト
- 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) - BLEURT Has Universal Translations: An Analysis of Automatic Metrics by
Minimum Risk Training [64.37683359609308]
本研究では,機械翻訳システムの学習指導の観点から,各種の主流および最先端の自動測定値について分析する。
BLEURT や BARTScore における普遍的逆変換の存在など,ある種の指標は堅牢性欠陥を示す。
詳細な分析では、これらのロバスト性障害の主な原因は、トレーニングデータセットにおける分布バイアスと、メートル法パラダイムの傾向である。
論文 参考訳(メタデータ) (2023-07-06T16:59:30Z) - ProbVLM: Probabilistic Adapter for Frozen Vision-Language Models [69.50316788263433]
本稿では,事前学習された視覚言語モデルの埋め込みに対する確率分布を推定する確率的アダプタProbVLMを提案する。
本稿では,検索タスクにおける不確実性埋め込みのキャリブレーションを定量化し,ProbVLMが他の手法よりも優れていることを示す。
本稿では,大規模な事前学習型潜伏拡散モデルを用いて,埋め込み分布を可視化する新しい手法を提案する。
論文 参考訳(メタデータ) (2023-07-01T18:16:06Z) - 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) - MuRAG: Multimodal Retrieval-Augmented Generator for Open Question
Answering over Images and Text [58.655375327681774]
我々は,Multimodal Retrieval-Augmented Transformer (MuRAG)を提案する。
MuRAGは外部の非パラメトリックマルチモーダルメモリにアクセスして言語生成を増強する。
以上の結果から, MuRAGは最先端の精度を達成し, 既存のモデルよりも10~20%精度が高いことがわかった。
論文 参考訳(メタデータ) (2022-10-06T13:58:03Z) - PLM-ICD: Automatic ICD Coding with Pretrained Language Models [35.161696760157824]
本稿では,事前学習言語モデルを用いた自動ICD符号化のためのフレームワークを開発する。
主な課題は、1)大きなラベル空間、2)長い入力シーケンス、3)事前学習と微調整のドメインミスマッチである。
提案するフレームワークは,MIMICのベンチマークデータにおける複数の指標を用いて,その課題を克服し,最先端のパフォーマンスを実現する。
論文 参考訳(メタデータ) (2022-07-12T03:56:28Z) - Deep Surrogate for Direct Time Fluid Dynamics [44.62475518267084]
グラフニューラルネットワーク(GNN)は、CFDシミュレーションで一般的に使用される不規則メッシュの特異性に対処することができる。
我々は、不規則メッシュのための新しい直接時間GNNアーキテクチャを設計するために、現在進行中の作業を示す。
論文 参考訳(メタデータ) (2021-12-16T10:08:20Z) - ViTAE: Vision Transformer Advanced by Exploring Intrinsic Inductive Bias [76.16156833138038]
コンボリューション, ie, ViTAEから内在性IBを探索するビジョントランスフォーマーを提案する。
ViTAEはいくつかの空間ピラミッド縮小モジュールを備えており、入力イメージをリッチなマルチスケールコンテキストでトークンに埋め込む。
各トランス層では、ViTAEはマルチヘッド自己保持モジュールと平行な畳み込みブロックを持ち、その特徴は融合されフィードフォワードネットワークに供給される。
論文 参考訳(メタデータ) (2021-06-07T05:31:06Z) - Robust Policies via Mid-Level Visual Representations: An Experimental
Study in Manipulation and Navigation [115.4071729927011]
エンド・ツー・エンドのRLフレームワークにおいて,中間レベルの視覚表現を汎用的かつ容易に認識可能な知覚状態として用いることの効果について検討した。
一般化を支援し、サンプルの複雑さを改善し、最終的なパフォーマンスを高めることを示します。
実際には、ドメインのランダム化やスクラッチからの学習が失敗したタスクのポリシーをうまくトレーニングするために、中間レベルの表現が使用できる。
論文 参考訳(メタデータ) (2020-11-13T00:16:05Z) - Counterfactual Explanations for Machine Learning on Multivariate Time
Series Data [0.9274371635733836]
本稿では、教師付き機械学習フレームワークに対して、対実的説明を提供するための新しい説明可能性手法を提案する。
提案手法は,信頼性やロバスト性など,いくつかの異なるMLフレームワークやデータセット上での最先端の説明可能性手法よりも優れている。
論文 参考訳(メタデータ) (2020-08-25T02:04:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。