パリ 6 コンピューター研究所 - 定義

導入

パリ第 6 コンピューターサイエンス研究所(LIP6) は、ピエール & マリーキュリー大学と CNRS の監督下にある研究研究所です。 LIP6 は、150 人の常勤研究員と 250 人の博士課程の学生を擁し、フランスの主要なコンピュータサイエンス研究所の 1 つであり、パリ地域最大のコンピュータサイエンス研究所です。

この研究室は、次の 5 つの部門にグループ化された幅広い活動をカバーしています。意思決定、インテリジェントシステム、およびオペレーショナルリサーチ;データと人工学習;ネットワークと分散システム。システムオンチップ。

LIP6 には、国内、ヨーロッパ、国際的な数多くのプロジェクトにおいてメーカーと協力してきた長い伝統があります。これらのパートナーと協力して、CERME と Euronetlab という 2 つの欧州研究センターが設立されました。欧州マイクロエレクトロニクス研究センターである CERME は、ST マイクロエレクトロニクスおよびシルバコと提携して組み込みシステムに取り組んでいます。 Euronetlab は、 Thales 、 6wind 、ENST と共同で、インターネットとネットワークに関する共同研究研究所です。

LIP6 は、Digital Lab および System@tic 競争力クラスターにも関与しています。 INRIAとの共同チームもある。

研究室の活動には国際協力が欠かせません。 LIP6 は、いくつかの優れたネットワークのメンバーであり、ブラジル、米国などの国々との継続的な関係も築いています。この研究所は、協力プロジェクトや科学者の訪問を広く受け入れています。

この研究室は、ピエール・アンド・マリ・キュリー大学の修士号「科学と技術」で提供される研究関連の教育に携わっています。 EDITE (パリのコンピューターサイエンス、電気通信および電子工学の博士課程) は、LIP6 からの博士課程の学生を歓迎します。

5つの部門

科学計算

科学計算部門では、記号計算と数値計算に関する活動をまとめています。

プロジェクトは、代数方程式または不等式を解くことに専念します。主な目的は、保証された結果を提供する効率的なアルゴリズムを確立して実装することです。このプロジェクトの重要な貢献の一部は、暗号化、コードエラー修正、ロボット工学、信号理論などの応用科学に関係しています。

別のプロジェクトは、有限浮動小数点または固定小数点演算で得られる結果の数値精度を推定および研究するためのCADNAライブラリと SOFAソフトウェアワークショップの開発に焦点を当てています。このプロジェクトには、CPC ライブラリやカオスシステムなどの科学コードのデジタル品質の研究が含まれています。

他のアクションも実行されます。 1 つ目は、シンボリックアルゴリズムとデジタルアルゴリズムを組み合わせて、結果の保証された側面を維持しながら効率を向上させます。 2 つ目は、グリッドを計算するための効率的で適応性のある数値アルゴリズムの開発に当てられます。最後のアクションは画像分析に関するものです。これには、データ収集、低レベルのプロセスから、三次元データやイメージングにおける構造の時間的進化などの高レベルのプロセスまで、画像プロセスのすべての段階が含まれます。

意思決定、インテリジェントシステム、およびオペレーショナルリサーチ

「DEcision、インテリジェントシステム、および運用研究」(DESIR) 部門の活動は、人工知能と運用研究に関係しています。彼らは意思決定の問題、最適化、適応システムに焦点を当てています。実行された研究は、理論的側面 (形式モデル、公理的分析、複雑さの研究)、複雑な問題を解決するための効率的なアルゴリズム (正確または近似) の開発、インテリジェントシステムの設計 (適応エージェント、マルチ-エージェントシステム、意思決定支援システム、トレーニングサポート)、および産業アプリケーション内でのそれらの実装。 DESIR 部門は 5 つのチームで構成されています。

RO (複雑性、組み合わせ最適化、スケジューリング、満足可能性、ネットワーク内のルーティング)、
DECISION (複数基準による意思決定と最適化、集団的意思決定、不確実性とリスクの中での意思決定、意思決定支援システム、コンテキスト)、
SMA (調整、分散型意思決定とマルチエージェント計画、対話と対話、シミュレーション)、
ANIMAT（生体模倣人工システムの学習、開発、進化）
MOCAH (対話型人間学習環境、学習者モデリング、メタデータ、認知モデリング)。

部門内のチーム間の主な協力分野は、多目的組み合わせ最適化 (DECISION/RO)、意思決定理論に基づく計画 (DECISION/ANIMAT/SMA)、人間と人工の学習 (ANIMAT/SMA/MOCAH) です。

データと人工学習

データおよび人工学習部門の研究は、自動学習、統計的または記号的、分散型データベースを中心にしています。 DAPA によって開発された基礎および応用研究に一般的に使用される手法には、確率的手法、ニューラルネットワーク、ファジーロジック、集計手法、説明ベースの学習、およびメタ知識が含まれます。この部門が対象とするアプリケーションは、さまざまなメディア(テキスト、Web、画像、ビデオ) での適応的または選択的な情報検索から、大規模ネットワーク (ピアツーピア、グリッド、PC) でのデータの効率的な管理まで、幅広い範囲をカバーしています。クラスタ）。

コンテンツベースの情報検索とデータベースクエリは、異種データを処理するための 2 つの補完的なアプローチです。構造化情報または半構造化情報は、たとえばベイジアンネットワークを使用して XML ドキュメントを自動的に整理したり、特定の情報を抽出したりするなど、特に研究されています。データレプリケーションとロードバランシングは、DAPA で使用される高度なデータベース技術の 1 つであり、論理ネットワーク構成、分散インデックス、およびシステムのクエリに効果的な適応ルーティングも活用します。マルチメディア情報検索はセマンティックインデックスに基づいており、複数のメディアを共同使用することで強化されます。

リスク分析、異種情報の融合、知識発見などの問題は、大規模なデータベースで解決されます。インターネットの使用状況を分析し、関心を予測し、推奨する方法は、ユーザーが Web を操作して関連情報を抽出するのに役立ちます。より一般的には、インターフェイスやインタラクティブシステムのユーザーモデリングとパーソナライゼーションに関する研究が、たとえば適応ナビゲーションやペンインターフェイスに関して DAPA 部門で開発されています。

ネットワークと分散システム

「ネットワークおよび分散システム」部門は、将来のネットワークとシステムを構築および管理するためのソリューションの設計に重点を置いています。 MoVe (モデリングと検証)、REGAL (大規模アプリケーションの配布と管理)、NPA (ネットワークとパフォーマンス分析)、PHARE の 4 つのチームで構成されています。

MoVE チームは、分散型の相互運用可能なコンポーネントのモデリングと分析に研究を集中させています。システム設計者が分散アプリケーションを構築できるように、モデリング技術、検証ツール、プログラムジェネレーターを提供することを目的としています。これらの手法は、MDD (モデル駆動開発) アプローチのコンテキストで機能することを目的としています。

REGALはINRIAとの共同研究チームです。 REGAL の研究活動は、大規模な分散アプリケーションの管理を対象としており、分散アプリケーションをグリッドおよびピアツーピア構成に適応させることを可能にします。フォールトトレランス、レプリカ管理、動的適応に重点を置いています。基本的に、REGAL は、実行環境の制約とアプリケーションの動作の進化に動的に適応しながら、障害を許容し、データアクセス時間を短縮するためにアクティブレプリケーションの使用を提案します。

NPA チームは、将来のインターネットのビジョンを開発し、それを表現および制御するソリューションを設計することを目指しています。チームの目標は、プライベート環境やプロフェッショナル環境のあらゆる場所で増加しているユビキタス、モバイル、柔軟なネットワークの制御です。私たちの仕事の中心は、マルチメディアとモバイルネットワーク、リソース管理、スケーラビリティ、アンビエントネットワーク、およびコンテンツネットワーキングに関連する問題に関係しています。さらに、インターネットの測定、トラフィックのモデリング、エンジニアリングを中心に重要な研究が開発されています。

PHARE チームは、次世代の電気通信ネットワークの開発を目指しています。 IP (インターネットプロトコル)、TCP (伝送制御プロトコル)、および UDP (ユーザーデータグラムプロトコル) プロトコルにより、インターネットの世界での通信が可能になります。これらのプロトコルは、新世代のネットワーク、特にセンサーネットワークやアドホックネットワークにはあまり適していません。 PHARE の目的は、環境に適応できる新世代プロトコルを提供することです。このインテリジェントなプロトコルは、ローカル制約を考慮してリンクからリンクに変換できなければなりません。この研究では、自律ネットワーク、アクティブネットワーク、マルチエージェントシステムなどのさまざまなソリューションがテストされ、比較されます。

組み込みシステムオンチップ

LIP6 の「組み込みシステムオンチップ」部門は、チップ上に統合されたマルチプロセッサシステム (MPSoC) を設計するための方法とツールの研究に重点を置いています。

「システム」レベルでは、ハードウェア/ソフトウェア共同設計技術 (DSX 環境)、仮想プロトタイピング (SoCLib プロジェクト)、組み込みリアルタイムオペレーティングシステム (MUTEK プロジェクト)、チップ上に統合されたマイクロネットワーク (SPIN プロジェクト)、ハードウェア/ソフトウェア通信モデル、形式的検証方法、マルチコアプロセッサアーキテクチャ、組み込みソフトウェアの反復コンパイル技術。 LiP6 は、MPSoC のモデリングとシミュレーションのためのオープンプラットフォームを開発することを目的とした国家 SoCLib プロジェクトを調整しています。

「回路」レベルでは、SOC 部門は CORIOLIS プロジェクトを通じて CAD/VLSI の研究を続けています。このプロジェクトは、ナノメートル製造プロセスに適応した新しい合成/配置/配線ツールの開発を目的としています。その他の研究は、相互接続とクロストークのモデリングに焦点を当てています。新しい組み込み FPGAマトリックスアーキテクチャと算術演算子の最適化に関する分析。 CAIRO+ プロジェクトは、アナログ/デジタルコンバーターなどの汎用的で再利用可能なアナログコンポーネントの設計環境を開発することを目的としています。

SOC 部門は、ST マイクロエレクトロニクス、タレス、ブル、インテル、 IBMなどの大手産業企業と協力しています。同センターは欧州マイクロエレクトロニクス研究センターを主催しており、 CNRS 、LIP6、業界パートナーが共同出資する混合研究構造となっている。過去 10 年間に元 LIP6 研究者によって 5 つのスタートアップ企業が設立されました。

参考資料