論文の概要: Modeling and Analysis of the Landing Gear System with the Generalized Contracts

• arxiv url: http://arxiv.org/abs/2111.10426v3
• Date: Mon, 26 May 2025 19:27:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-06 14:20:11.875242
• Title: Modeling and Analysis of the Landing Gear System with the Generalized Contracts
• Title（参考訳）: 一般契約による着陸機システムのモデル化と解析
• Authors: Abdelkader Khouass, christian attiogbé, mohamed messabihi,
• Abstract要約: 本稿では,ミナレット法が着陸装置システムのモデリング,構成,解析の難しさをいかに軽減するかを説明する。 提案手法は、より多くのファセットをカバーするために使用または拡張することができ、モデリング、多面契約の構成、そして最終的に異種システムの検証を通じて支援ツールを強化することができる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made of various specific components built with different languages and environments. The modeling, assembly and analysis of such open and complex heterogeneous systems are challenges in software engineering. This paper describes how the Minarets method decreases the difficulty of modeling, composition and analysis of the well known case study of the landing gear system. The method consists in: equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components according to their facets and verifying the resulting system with respect to the involved facets as well. The proposed method may be used or extended to cover more facets, and by strengthening assistance tool through proactive aspects in modeling, composing multi-facets contracts and finally the verification of the heterogeneous systems.
• Abstract（参考訳）: 現在、航空、航空管制など様々な分野に複雑なシステムが存在する。 これらのシステムは正確な範囲を持っておらず、オープンであり、異なる言語や環境で構築された様々な特定のコンポーネントで構成されている。 このようなオープンで複雑な異種システムのモデリング、組み立て、分析は、ソフトウェア工学における課題である。 本稿では,ミナレット法が降着装置システムのモデリング,構成,解析の難しさをいかに軽減するかを述べる。 この方法は、個々のコンポーネントに、異なる関心事に関連する様々なファセットを統合する一般化された契約を付与し、それらのコンポーネントをファセットに従って構成し、関連するファセットに関して結果のシステムも検証する。 提案手法は、より多くのファセットをカバーするために使用または拡張することができ、モデリング、多面契約の構成、そして最終的に異種システムの検証を通じて支援ツールを強化することができる。

関連論文リスト

• Shannon invariants: A scalable approach to information decomposition [41.60443091960594]
  シャノン不変量(英: Shannon invariants)とは、高次情報処理の基本特性を捉える量である。 我々の理論的結果は、シャノン不変量がどのように長期間のあいまいさを解決するために用いられるかを示す。 この結果から,様々なディープラーニングアーキテクチャの特異な情報処理シグネチャが明らかになった。
  論文  参考訳（メタデータ） (2025-04-22T10:41:38Z)
• ArtGS: Building Interactable Replicas of Complex Articulated Objects via Gaussian Splatting [66.29782808719301]
  コンピュータビジョンにおいて、音声で表現されたオブジェクトを構築することが重要な課題である。 既存のメソッドは、しばしば異なるオブジェクト状態間で効果的に情報を統合できない。 3次元ガウスを柔軟かつ効率的な表現として活用する新しいアプローチであるArtGSを紹介する。
  論文  参考訳（メタデータ） (2025-02-26T10:25:32Z)
• A quantitative framework for evaluating architectural patterns in ML systems [49.1574468325115]
  本研究では,MLシステムにおけるアーキテクチャパターンの定量的評価のための枠組みを提案する。 コスト効率のよいCPUベースの推論のためのスケーラビリティとパフォーマンスメトリクスに注目します。
  論文  参考訳（メタデータ） (2025-01-20T15:30:09Z)
• Specifications: The missing link to making the development of LLM systems an engineering discipline [65.10077876035417]
  我々は、構造化出力、プロセスの監督、テストタイム計算など、これまでの分野の進歩について論じる。 モジュール型かつ信頼性の高いLCMシステムの開発に向けた研究の今後の方向性について概説する。
  論文  参考訳（メタデータ） (2024-11-25T07:48:31Z)
• Algorithmic Scenario Generation as Quality Diversity Optimization [8.010900084313414]
  人と対話するロボットや自律エージェントの複雑さの増大は、デプロイ前にそれらを体系的にテストするアプローチに対する重要なニーズを強調している。 本稿では,フレームワークの各コンポーネントの開発から得られた知見について述べるとともに,これらのコンポーネントの統合が,さまざまな現実的かつ困難なシナリオの発見につながっていることを示す。
  論文  参考訳（メタデータ） (2024-09-07T05:20:41Z)
• MergeNet: Knowledge Migration across Heterogeneous Models, Tasks, and Modalities [72.05167902805405]
  異種モデルのパラメータ空間のギャップを埋めることを学ぶMergeNetを提案する。 MergeNetの中核となるメカニズムはパラメータアダプタにあり、ソースモデルの低ランクパラメータをクエリすることで動作する。 MergeNetは両方のモデルと共に学習され、我々のフレームワークは、現在のステージに関する知識を動的に転送し、適応することができます。
  論文  参考訳（メタデータ） (2024-04-20T08:34:39Z)
• A Survey of Graph-based Deep Learning for Anomaly Detection in Distributed Systems [2.3551989288556774]
  分散システムにおける異常を識別するグラフベースのアルゴリズムの可能性を探る。 私たちの目標の1つは、現実の課題に対処する能力を概念的に分析するグラフベースのアプローチについて、詳細な調査を行うことです。 本研究は,その分野における現状研究論文の概要と,その特性を比較比較・比較するものである。
  論文  参考訳（メタデータ） (2022-06-08T20:19:28Z)
• A Machine-Learning-Aided Visual Analysis Workflow for Investigating Air Pollution Data [18.972547412113567]
  大気汚染データの分析は、特徴(何)、空間(どこに)、時間(いつ)といった様々な側面からの分析に焦点を当てているため、困難である。 我々は、フレキシブルな分析ワークフローをサポートするビジュアル分析システムを開発し、ドメインの専門家が分析ニーズに基づいて様々な側面を自由に探索できるようにする。
  論文  参考訳（メタデータ） (2022-02-11T02:24:21Z)
• Explainable AI for Engineering Design: A Unified Approach of Systems Engineering and Component- Based Deep Learning Demonstrated by Energy- Efficient Building Design [0.8265473560266577]
  機械学習(ML)による部分的コンポーネントモデル作成のためのコンポーネントベースアプローチを提案する。 このコンポーネントベースのアプローチは、ディープラーニングをシステム、エンジニアリング(SE)と整合させる アプローチは、モデル構造をシステム工学とドメイン知識の工学的手法に適応させる。
  論文  参考訳（メタデータ） (2021-08-30T07:20:58Z)

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

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