ESI ULM
主頁研究調查組

調查組

調查組


人工智能與表示 (AIR) 研究小組於 2014 年在卡斯蒂利亞-拉曼恰大學成立,此後其總部設在雷亞爾城的 Escuela Superior de Informática (ESI),以促進該研究,設計,開發和實際應用人工智能技術,以解決與公司或作為研究項目的研發項目框架中的實際問題,其中 ESI 學生有機會合作甚至撰寫博士論文。

 

其成員在知識表示形式及其智能操作的研究方面具有豐富的經驗,突出了增強現實背景下信息的圖形表示和非交互式渲染過程的優化,以及系統學習、決策系統、知識的開發。 - 基礎系統、專家系統、多智能體系統在各個領域的應用,突出電子商務和視頻監控。 正是在這條線上,他們開發了他們的項目。

研究線

AIR 研究小組將研究重點放在三個軸上,這三個軸決定了其研究路線。 首先,應用人工智能軸決定了智能監控、移動機器人和自動學習的路線。 其次,可視化和渲染軸與增強現實、真實圖像合成和運動自動分析的線相關聯。最後,電子商務軸是從專注於業務設計和開發的一般角度接近的。其中基於人工智能的算法技術被部署和開發,專注於改進內部流程和用戶體驗。

聯絡資料

大衛·瓦列霍·費爾南德斯
大衛·瓦列霍@uclm.es
電話:+34 926 29 53 00(分機 6494)

網站

http://air.esi.uclm.es/

該研究小組的工作重點是開發新的方法、技術、工具和流程,以幫助軟件和計算機工程師構建更高質量的信息系統。 Alarcos 小組涉及眾多研究領域,特別強調軟件測量和質量、軟件過程改進、知識管理、軟件分析、設計、測試和維護以及軟件安全和審計等方面。

該研究小組在區域和國家以及國際上開發了許多關於這些領域的研究項目,並與該領域的眾多公司合作,提供積極的技術轉讓和諮詢服務。 此外,該集團還為公司提供質量軟件開發領域最先進技術和方法的培訓計劃。

調查線

Alarcos 小組目前正在開發許多研究方向,所有這些研究都與軟件質量有關,可分為以下幾類:

  • 數據和信息質量
  • 軟件開髮質量
  • 全球軟件開發和知識管理
  • 政府、審計和安全
  • 商業工程
  • 維護、再造和現代化
  • 研究方法
  • 軟件過程
  • 軟件測試
  • 軟件可持續性

 

聯繫信息

Mario Piattini Velthuis 博士
Mario.Piattini@uclm.es
電話:(+34) 926 295 300 分機。 3715
傳真:(+ 34)926 295 354

網站

http://alarcos.esi.uclm.es

ARCO 小組的研究重點是複雜異構系統(硬件-軟件)的設計和高級通信服務的開發。 該小組的成員在開展 R+D+i 項目方面擁有豐富的經驗,參與了許多國家(科學與創新和工業部、Junta de Castilla-La Mancha 等)和公共資助的項目。國際(歐盟、北約、綜合行動......)。

作為一個致力於技術轉讓的大學研究小組,通過機構計劃(PROFIT、CENIT...)和公司本身資助的項目,與該行業的公司的關係得到了特別加強,他們都是行業的領導者。 ICT 行業(Indra、Telefónica I+D、Tecnobit、Infoglobal...)。 在這方面,該集團還在上述領域和基於自由軟件的開發中提供培訓和諮詢服務。

調查線

複雜異構系統的設計(硬件-軟件):

該研究領域的重點是開髮用於設計具有硬件和軟件組件(嵌入式系統)的複雜系統的方法和工具。 它包括規範、驗證、規劃和分配、硬件綜合、軟件代碼生成、仿真、原型設計等方面,特別強調可重構架構的設計。 特別是,這項工作側重於定義架構和方法,以促進硬件和軟件元素的透明集成,允許所述元素之間進行交互,而不受其位置、實現形式和建立的通信機制的影響。同時,在新系統的未來開發中促進了它們的後續重用。

先進的通信網絡和服務:

在這條線上,分佈式系統和通信基礎設施的使用旨在提供新一代服務(數字家庭、移動服務、遠程監控......)。 這項工作的重點是定義軟件架構(通過使用中間件),使用有線和無線通信技術,包括嵌入式系統、傳感器網絡等,允許集成異構網絡和系統以及創建和建模基於通信的新服務。 這些類型的服務及其在家庭、辦公室、大型公共場所等環境中的應用……正在推動新的研究領域的發展,這些領域使得創造環境智能和普適計算等術語成為可能。

聯繫信息

胡安·卡洛斯·洛佩茲博士

胡安卡洛斯.洛佩茲@uclm.es

電話:(+34) 926 295 300 分機。 3739

傳真:(+ 34)926 295 354

網站

阿科研究

該小組的目標是將新的計算機工程方法、技術、工具和流程應用於教育計算和電子學習系統以及人機交互領域的科技發展。 它提出了用於設計和開發基於 Web 的應用程序的新技術,並使用了支持新交互範例(協作、普適計算、虛擬現實等)的先進設備。 該集團的核心按照以用戶為中心的方法,開展了 Web 應用程序、群件以及移動和普適計算設計的 R+D+I 項目。 隨著平板電腦、PDA和交互式白板的使用,以及WIFI、藍牙、超聲波、紅外線等各種網絡技術的使用,移動和泛在技術的發展已經開始。

調查線

教育計算和電子學習系統: 

  • 教育計算和電子學習系統。
  • 學習系統中的計算模型設計。
  • 電子學習系統中本體、標準和學習對象的交互。
  • 開發基於 Web 2.0 的電子學習系統。

人機交互:  人機交互:

  • 群件工程。
  • 多媒體工程。
  • 以交互式和/或協作系統用戶為重點的開發方法的設計和實施。
  • 協作和協作用戶界面的設計和規範。
  • 通過移動計算、無處不在和增強的現實範式進行交互設計。

 

聯繫信息

曼努埃爾·奧爾特加·坎特羅博士

曼努埃爾·奧爾特加@uclm.es

電話:(+34)926

傳真:(+ 34)926 295 354

網站

http://chico.esi.uclm.es

聲明式編程和自動程序轉換研究組(DEC-tau)成立於 2000 年 XNUMX 月,旨在促進應用形式化方法的研究和開發,特別是多範式聲明性語言的集成和所編寫的聲明性程序的轉換在這種類型的語言中。 我們在廣義上使用限定詞“多範式”,包括集成了邏輯、功能以及模糊邏輯特徵的語言。

近年來,我們將興趣集中在模糊邏輯語言的設計上,這些語言在其表達資源中以自然的方式處理不精確的信息。 具體來說,我們開發了一種基於相似統一的語言,我們稱之為Bousi~Prolog(BORroso Prolog with Unification by Similarity),它有一個高級實現和一個由機器原型支持的低級實現. 具有相似性的沃倫(SWAM)。 此外,我們小組還實現了一個執行多輔助程序的系統,我們稱之為 FLOPER(Fuzzy LOGic Programming Environment for Research 的首字母縮寫)。 值得注意的是,這些語言的第一個實際應用已經產生:Bousi~Prolog 已用於文本編目和 FLOPER 操作 XML 文本,實現了 XPath 和 XQuery 語言的模糊擴展。

今天,我們在完全集成的模糊邏輯編程語言 FASILL 的設計和實現中結合了這兩種方法。

調查線

邏輯和功能語言的集成

邏輯函數式編程(LF)旨在整合純邏輯和函數範式以獲得更具表現力和高效的語言。 由於這些嵌入式語言的標準操作語義是基於窄化(一些變體)的,因此我們的興趣在於窄化策略的形式和實現方面以及窄化與其他操作機制的結合。

模糊邏輯語言的設計與實現

該研究方向致力於設計和實現包含模糊邏輯特徵的邏輯語言,以便使用聲明性技術處理不精確性。 我們專注於基於弱統一(Bousi~Prolog)和多伴隨邏輯(FLOPER)的邏輯語言的開發,並研究它們的形式屬性和應用。

項目的轉型和專業化

程序轉換的目標是派生一個在語義上與另一個初始程序等效但在某些屬性(例如效率)方面具有更好行為的程序。 部分評估 (PE) 是一種程序轉換技術,它針對給定的輸入生成程序的專門版本。 我們小組在這一領域開展了開創性的工作。 例如,我們開發了一個基於規則+策略的LF程序轉換器,並針對此類語言改進了EP控制算法。 還定義了多輔助邏輯程序的轉換技術並研究了它們的形式屬性。

 

聯繫信息

Pascual Julian Iranzo 博士

帕斯誇爾.朱利安@uclm.es

電話:(+34) 926 295 300 分機。 3716

傳真:(+ 34)926 295 354

網站

http://dectau.uclm.es/

SMILe(互聯網和學習的軟管理)研究小組在互聯網信息檢索、學習系統和決策幫助等領域的軟計算技術(特別是模糊邏輯)應用領域開展了工作情緒和意見分析與數據和大數據的智能分析。 在這個框架內,在允許對 Web 和其他大型數據庫上的信息進行語義搜索、動態文檔存儲庫的有效管理等模型中做出的貢獻脫穎而出。 所有這些科學貢獻都以深刻的實踐方法為標誌,這反映在近年來已實施和投入運行的不同搜索和知識管理工具(FISS、Zoom、GUMSe、BUDI、AGORA 等)中。

調查線

  • 基於文檔中包含的概念特徵開發網絡信息檢索方法。
  • 協作模型、電子學習和學習對象。
  • 開發知識表示模型。
  • 開發基於知識的系統。
  • 開發預測系統。 元數據管理模型。

 

聯繫信息

何塞·安吉爾·奧利瓦斯·瓦雷拉博士
JoseAngel.Olivas@uclm.es
電話:(+34) 926 295 300 分機。 6476
傳真:(+ 34)926 295 354

 

網站

http://smile.esi.uclm.es

GSyA 小組的研究重點是安全軟件工程和安全管理。 具體來說,該小組研究如何構建和使用更安全的軟件,為此它開發了軟件工程方法和流程、新的建模技術,以及為構建更安全的軟件提供自動化支持的工具,解決軟件的所有階段開發過程並考慮開發範式和最先進的技術。 此外,該小組致力於開發以系統和可預測的方式衡量和管理公司信息技術安全的方法和技術,開發新的安全成熟度模型和信息安全管理系統。大型公司,並尊重主要的國際 ICT 安全標準。

調查線

GsyA 小組將其活動從根本上集中在兩個研究領域:

安全軟件工程:

  • 安全需求工程
  • 安全模式和架構
  • 業務流程中的安全性
  • 商業智能中的安全性
  • SOA 和網格計算中的安全性
  • 模型驅動開發中的安全性
  • 安全本體
  • 雲遷移安全
  • 大數據安全
  • CPS 和物聯網中的安全性

安全管理:

  • 安全成熟度模型
  • 安全管理系統
  • 風險分析與管理
  • 安全儀表板
  • 安全指標
  • 安全審計
  • 安全標準
  • 雲安全治理

 

聯繫信息

Eduardo Fernandez-Medina Paton 博士
愛德華多·FdezMedina@uclm.es
電話:(+34) 926295300 分機。 3744
傳真:(+34)926295354

網站

http://gsya.esi.uclm.es/

該小組專門研究應用於滾動表面地板的聲學。 在西班牙,道路和環境管理部門越來越需要對道路滾動表面的行為進行聲學評估。 全球定位系統 (GPS) 與聲學監測方法一起允許將聲學參數集成到道路管理系統中。 這些研究方向的目標是通過對路面的地理參考特徵,為控制交通噪聲和新路面的設計和開發做出貢獻。

測量是使用 CPX 方法進行的,該方法需要足夠的數據處理軟件,從而得出結論,從而改善城市道路和高速公路的舒適度。

調查線

應用於滾動表面的聲學 - 路面:

  • 城市環境中輪胎/路面相互作用噪聲的連續測量和評估。 滾動噪聲圖。
  • 高速公路的地聲聽診。
  • 研究路段的表面、縱向和橫向均勻性。
  • 通過重複使用廢棄路面 (RAP) 的材料來監測磨損過程。
  • 作為聲波減速器的路面編目。
  • 計算機處理數據以獲取其地理參考表示。

聲學應用於材料的設計和表徵:

  • 吸聲。 測量材料的特性和聲學傳輸。
  • 具有聲學特性的材料的設計和加工。
  • 材料的聲學特性。
  • 紋理和表面粗糙度與聲學特性的相關性研究。
  • 應用於環境的聲學:
  • 道路網絡噪聲污染研究。
  • 環境噪聲評價。 道路噪音地圖。
  • 研究輪胎的聲音特性。

 

聯繫信息

Fernando J. Terán Sierra 博士
費爾南多·特蘭@uclm.es
電話:(+34) 926 295 300 分機。 3721
傳真:(+ 34)926 295 354

網站

http://www.uclm.es/organos/vic_invest...

研究組 建模環境智能 (MAmI) 致力於環境智能的計算範式(環境智能) 和普適計算 (普適計算)。 在這個廣泛的範式中,該小組開發了與移動計算、智能用戶界面和上下文感知應用程序相關的研究方向。 該小組開展了強有力的應用研究,特別是在護理系統、健康監測和行為分析領域。

很多 研究項目 最近有:

  • PIA:個人 IADL 助理(歐盟項目,AAL 計劃)
  • Ubihealth(歐盟項目,瑪麗居里計劃)
  • 句子:通過步態分析早期發現虛弱和癡呆。 (經濟與競爭力部)
  • M4S:基於移動計算的多任務處理,用於輕度認知障礙監測和早期篩查(科學、創新和大學部)

常任理事國 該組:

  • José Bravo Rodríguez 教授 博士(主任)
  • Ramón Hervás Lucas 教授 博士
  • Jesús Fontecha Diezma 教授 博士
  • 伊万岡薩雷斯迪亞茲博士
  • Inocente Sánchez City 教授
  • 弗朗西斯科·哈維爾·納瓦羅教授 博士

調查線

應用環境智能和適應技術

  • 知識管理和情境意識
  • 自然交互和智能用戶界面
  • 智能係統和機器學習
  • 視頻和音頻分析。
  • 移動計算
  • 傳感、可穿戴和生物醫學設備

主要應用領域

  • 健康監測 (慢性疾病、步態分析、癡呆、虛弱)
  • 輔助技術 (隱式互動、嚴肅遊戲、身體和認知康復、分析)
  • 行為計算 (交互式和沈浸式環境、情感計算、神經科學、生物反饋)

聯繫信息

何塞·布拉沃·羅德里格斯博士
Jose.Bravo@uclm.es
電話:(+34) 926 295 300 分機。 3713
傳真:(+ 34)926 295 354

網站

http://mami.uclm.es

運輸系統模型和算法 (MAT) 小組在運籌學領域開展研究。 所追求的目標是開發適用於交通系統規劃、設計和控制的新優化模型,其中包含問題的最多相關方面,以便規劃人員和/或管理人員擁有分析工具,在決策過程中幫助他們。 為此目的最常用的數學工具是具有平衡約束的數學程序。 這些工具允許將用戶在系統中的行為與所做的決定相結合。

調查線

  • 交通網絡的設計和管理(地鐵路線的確定、高速公路的位置、公共交通網絡的頻率優化、多式聯運城市交通網絡中的事故管理)。
  • 運輸模型的校準(起點-目的地旅行矩陣的估計,弧中成本函數的校準,平衡分配模型的校準)。
  • 優化。 為可通過網絡流模型製定的運籌學問題開發精確和啟發式算法。

 

聯繫信息

里卡多·加西亞·羅德納斯博士
里卡多·加西亞@uclm.es
電話:(+34) 926 295 300 分機。 6222
傳真:(+ 34)926 295 354

Oreto 研究小組於 1997 年誕生於位於西班牙雷亞爾城的卡斯蒂利亞-拉曼恰大學計算機科學高等學院。該小組的工作自成立以來一直致力於將知識應用於計算機技術人工智能應用於不同的領域和活動。 專注於非經典邏輯(多值和模糊)、近似推理、定性和語言建模等軟計算系統的使用和開發,已成功開發了不同的研究項目。 在這些項目中,不同類型的事件和行動在復雜系統中被建模、識別和誘導,其中不確定性和模糊性是內在因素。

通過傳感器和攝像機的集成,提出了以下建議:大型裝置中的智能監控系統,識別和分類保護高速公路和高速公路的圍欄可能遭受的不同類型的影響,以及描述由給定駕駛員執行的駕駛類型。
從傳感器、數據庫、網絡、攝像機等獲得的數據構建信息,使得有必要回顧自動學習的經典技術。 大數據等術語為我們提供了新的視角,具有新的特徵和需求。 為了應對這一新挑戰,研究小組的願景是設計和使用大量以分散和並行方式協作、學習和協調的小型系統,利用群體智能技術獲得多分類器系統。

小組常任成員:

Ester del Castillo Herrera 博士女士。
D. Juan Giral Muiña 博士
D. Luis Jimenez Linares 博士
D. Juan Moreno Garcia 博士
D. Luis Rodríguez Benítez 博士。

鑑於當前問題的複雜性,實驗和理論方法需要計算對應物。 正是在這種背景下,我們小組的工作重點是:創建數學計算模型並將其應用於研究具有科學或工程興趣的實際問題。 我們的小組通過構建物理數學模型來解決這一任務,我們將其轉化為高效的軟件工具。

我們目前的興趣集中在對相關元素系統的處理上。 這種方法(複雜網絡)儘管很新穎,但已被證明對於分析、解釋和預測複雜系統的行為非常有用。 典型的例子是:經濟系統、社交網絡、互聯網、萬維網、新陳代謝系統、基因組或一組基於遺傳的人類疾病。 在該領域進行的研究表明,無論其物理性質(經濟、社會、生物或技術)如何,網絡描述的系統都存在共同行為。 在這個廣闊的領域中,我們的工作重點是開發和應用計算模型和技術,以識別、描述和控制複雜網絡的內部結構。 此上下文中的關鍵點是網絡中相關實體(社區)組的識別。

小組常任成員
阿方索·尼諾·拉莫斯博士
塞巴斯蒂安·雷耶斯·阿維拉博士

調查線

在我們的小組中,我們考慮以下研究方向:

方法論

  1. 生成測試模型, 基準,以及社區檢測方法的驗證
  2. 社區檢測方法的開發,用於處理大容量問題的分佈式計算環境(大數據)

應用

  1. 網絡安全
  2. 社交網絡中社區的演變
  3. 鑑定具有相似生物活性的生物活性化合物並預測副作用

特別是應用組件代表了一種與其他學科團隊合作的非凡方式。

聯繫信息

阿方索·尼諾·拉莫斯博士
阿方索.尼諾@uclm.es

電話:(+34) 926 295 300 分機。 6474 / 3720
傳真:(+ 34)926 295 354

該小組由位於雷亞爾城的卡斯蒂利亞-拉曼恰大學 (UCLM) 電氣、電子、自動化和通信工程系 - IEEAC -(系統工程和自動化領域 -ISA-)的教授和研究人員組成。 自 1999 年以來一直致力於開發視覺和人工智能工具,並應用於安全系統和生物識別、質量控制、診斷成像、決策支持系統和生物醫學工程。

調查線

  • 基於診斷成像的生物醫學應用開發。
  • 計算機視覺在安全和人機交互中的應用。
  • 電子病歷和本體的開發
  • 工程中的決策支持系統。
  • 質量控制應用開發:材料和產品分析。

聯繫信息

Jesús Salido Tercero 博士(教授 TU) @jsalido
Jesus.Salido@uclm.es
電話號碼:(+34) 926 295 427

網站

http://visilab.esi.uclm.es

3D 視覺計算和機器人組於 1998 年在系統工程和自動化領域內創建。 其工作重點是通過 3D 傳感器在多種應用中提供智能解決方案:零件數字化(藝術、健康和製造環境)、大空間(民用或文物建築、考古公園等)的數字化和重建,機器人與機器人的智能交互3D 視覺和沈浸式增強現實技術。 由於多年來的工作,已在計算機視覺領域最相關的期刊和會議上發表了大約一百篇論文。 這些年來,在競爭系統中開發了多達七個州和地區項目。 目前,該小組由 12 名研究人員組成,在 3D 數字化系統(激光系統和結構光)、機器人(工業和移動)和虛擬現實係統(沉浸式和触覺)方面擁有廣泛的技術。

研究線

數字化和 3D 感官系統:

  • 基於結構光和激光投影的靜態或動態環境獲取 3D 信息的系統。
  • 內部和外部部件的完整紋理數字化。
  • 3D場景分析:
  • 複雜場景中物體的分割、識別和空間定位。

基於視覺的機器人交互:

  • 複雜場景下機器人路徑規划算法與智能動作
  • 固體中的擒抱策略。

沉浸式虛擬現實:

  • 通過增強現實在虛擬環境中進行沉浸式導航。
  • 用於對合成零件進行觸覺探索的觸覺系統。

 

聯絡資料

安東尼奧·亞當·奧利弗博士
安東尼奧·阿丹@uclm.es
電話:(+34) 926 295 300 分機。 3737
傳真:(+ 34)926 295 354

網站

http://isa.esi.uclm.es