人工智能與表示 (AIR) 研究小組於 2014 年在卡斯蒂利亞-拉曼恰大學成立,此後其總部設在雷亞爾城的 Escuela Superior de Informática (ESI),以促進該研究,設計,開發和實際應用人工智能技術,以解決與公司或作為研究項目的研發項目框架中的實際問題,其中 ESI 學生有機會合作甚至撰寫博士論文。
其成員在知識表示形式及其智能操作的研究方面具有豐富的經驗,突出了增強現實背景下信息的圖形表示和非交互式渲染過程的優化,以及系統學習、決策系統、知識的開發。 - 基礎系統、專家系統、多智能體系統在各個領域的應用,突出電子商務和視頻監控。 正是在這條線上,他們開發了他們的項目。
AIR 研究小組將研究重點放在三個軸上,這三個軸決定了其研究路線。 首先,應用人工智能軸決定了智能監控、移動機器人和自動學習的路線。 其次,可視化和渲染軸與增強現實、真實圖像合成和運動自動分析的線相關聯。最後,電子商務軸是從專注於業務設計和開發的一般角度接近的。其中基於人工智能的算法技術被部署和開發,專注於改進內部流程和用戶體驗。
大衛·瓦列霍·費爾南德斯
大衛·瓦列霍@uclm.es
電話:+34 926 29 53 00(分機 6494)
該研究小組的工作重點是開發新的方法、技術、工具和流程,以幫助軟件和計算機工程師構建更高質量的信息系統。 Alarcos 小組涉及眾多研究領域,特別強調軟件測量和質量、軟件過程改進、知識管理、軟件分析、設計、測試和維護以及軟件安全和審計等方面。
該研究小組在區域和國家以及國際上開發了許多關於這些領域的研究項目,並與該領域的眾多公司合作,提供積極的技術轉讓和諮詢服務。 此外,該集團還為公司提供質量軟件開發領域最先進技術和方法的培訓計劃。
Alarcos 小組目前正在開發許多研究方向,所有這些研究都與軟件質量有關,可分為以下幾類:
Mario Piattini Velthuis 博士
Mario.Piattini@uclm.es
電話:(+34) 926 295 300 分機。 3715
傳真:(+ 34)926 295 354
ARCO 小組的研究重點是複雜異構系統(硬件-軟件)的設計和高級通信服務的開發。 該小組的成員在開展 R+D+i 項目方面擁有豐富的經驗,參與了許多國家(科學與創新和工業部、Junta de Castilla-La Mancha 等)和公共資助的項目。國際(歐盟、北約、綜合行動......)。
作為一個致力於技術轉讓的大學研究小組,通過機構計劃(PROFIT、CENIT...)和公司本身資助的項目,與該行業的公司的關係得到了特別加強,他們都是行業的領導者。 ICT 行業(Indra、Telefónica I+D、Tecnobit、Infoglobal...)。 在這方面,該集團還在上述領域和基於自由軟件的開發中提供培訓和諮詢服務。
複雜異構系統的設計(硬件-軟件):
該研究領域的重點是開髮用於設計具有硬件和軟件組件(嵌入式系統)的複雜系統的方法和工具。 它包括規範、驗證、規劃和分配、硬件綜合、軟件代碼生成、仿真、原型設計等方面,特別強調可重構架構的設計。 特別是,這項工作側重於定義架構和方法,以促進硬件和軟件元素的透明集成,允許所述元素之間進行交互,而不受其位置、實現形式和建立的通信機制的影響。同時,在新系統的未來開發中促進了它們的後續重用。
先進的通信網絡和服務:
在這條線上,分佈式系統和通信基礎設施的使用旨在提供新一代服務(數字家庭、移動服務、遠程監控......)。 這項工作的重點是定義軟件架構(通過使用中間件),使用有線和無線通信技術,包括嵌入式系統、傳感器網絡等,允許集成異構網絡和系統以及創建和建模基於通信的新服務。 這些類型的服務及其在家庭、辦公室、大型公共場所等環境中的應用……正在推動新的研究領域的發展,這些領域使得創造環境智能和普適計算等術語成為可能。
胡安·卡洛斯·洛佩茲博士
電話:(+34) 926 295 300 分機。 3739
傳真:(+ 34)926 295 354
該小組的目標是將新的計算機工程方法、技術、工具和流程應用於教育計算和電子學習系統以及人機交互領域的科技發展。 它提出了用於設計和開發基於 Web 的應用程序的新技術,並使用了支持新交互範例(協作、普適計算、虛擬現實等)的先進設備。 該集團的核心按照以用戶為中心的方法,開展了 Web 應用程序、群件以及移動和普適計算設計的 R+D+I 項目。 隨著平板電腦、PDA和交互式白板的使用,以及WIFI、藍牙、超聲波、紅外線等各種網絡技術的使用,移動和泛在技術的發展已經開始。
教育計算和電子學習系統:
人機交互: 人機交互:
曼努埃爾·奧爾特加·坎特羅博士
電話:(+34)926
傳真:(+ 34)926 295 354
聲明式編程和自動程序轉換研究組(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 博士
電話:(+34) 926 295 300 分機。 3716
傳真:(+ 34)926 295 354
SMILe(互聯網和學習的軟管理)研究小組在互聯網信息檢索、學習系統和決策幫助等領域的軟計算技術(特別是模糊邏輯)應用領域開展了工作情緒和意見分析與數據和大數據的智能分析。 在這個框架內,在允許對 Web 和其他大型數據庫上的信息進行語義搜索、動態文檔存儲庫的有效管理等模型中做出的貢獻脫穎而出。 所有這些科學貢獻都以深刻的實踐方法為標誌,這反映在近年來已實施和投入運行的不同搜索和知識管理工具(FISS、Zoom、GUMSe、BUDI、AGORA 等)中。
何塞·安吉爾·奧利瓦斯·瓦雷拉博士
JoseAngel.Olivas@uclm.es
電話:(+34) 926 295 300 分機。 6476
傳真:(+ 34)926 295 354
GSyA 小組的研究重點是安全軟件工程和安全管理。 具體來說,該小組研究如何構建和使用更安全的軟件,為此它開發了軟件工程方法和流程、新的建模技術,以及為構建更安全的軟件提供自動化支持的工具,解決軟件的所有階段開發過程並考慮開發範式和最先進的技術。 此外,該小組致力於開發以系統和可預測的方式衡量和管理公司信息技術安全的方法和技術,開發新的安全成熟度模型和信息安全管理系統。大型公司,並尊重主要的國際 ICT 安全標準。
GsyA 小組將其活動從根本上集中在兩個研究領域:
安全軟件工程:
安全管理:
Eduardo Fernandez-Medina Paton 博士
愛德華多·FdezMedina@uclm.es
電話:(+34) 926295300 分機。 3744
傳真:(+34)926295354
該小組專門研究應用於滾動表面地板的聲學。 在西班牙,道路和環境管理部門越來越需要對道路滾動表面的行為進行聲學評估。 全球定位系統 (GPS) 與聲學監測方法一起允許將聲學參數集成到道路管理系統中。 這些研究方向的目標是通過對路面的地理參考特徵,為控制交通噪聲和新路面的設計和開發做出貢獻。
測量是使用 CPX 方法進行的,該方法需要足夠的數據處理軟件,從而得出結論,從而改善城市道路和高速公路的舒適度。
應用於滾動表面的聲學 - 路面:
聲學應用於材料的設計和表徵:
Fernando J. Terán Sierra 博士
費爾南多·特蘭@uclm.es
電話:(+34) 926 295 300 分機。 3721
傳真:(+ 34)926 295 354
研究組 建模環境智能 (MAmI) 致力於環境智能的計算範式(環境智能) 和普適計算 (普適計算)。 在這個廣泛的範式中,該小組開發了與移動計算、智能用戶界面和上下文感知應用程序相關的研究方向。 該小組開展了強有力的應用研究,特別是在護理系統、健康監測和行為分析領域。
很多 研究項目 最近有:
常任理事國 該組:
應用環境智能和適應技術
主要應用領域
何塞·布拉沃·羅德里格斯博士
Jose.Bravo@uclm.es
電話:(+34) 926 295 300 分機。 3713
傳真:(+ 34)926 295 354
運輸系統模型和算法 (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 博士。
鑑於當前問題的複雜性,實驗和理論方法需要計算對應物。 正是在這種背景下,我們小組的工作重點是:創建數學計算模型並將其應用於研究具有科學或工程興趣的實際問題。 我們的小組通過構建物理數學模型來解決這一任務,我們將其轉化為高效的軟件工具。
我們目前的興趣集中在對相關元素系統的處理上。 這種方法(複雜網絡)儘管很新穎,但已被證明對於分析、解釋和預測複雜系統的行為非常有用。 典型的例子是:經濟系統、社交網絡、互聯網、萬維網、新陳代謝系統、基因組或一組基於遺傳的人類疾病。 在該領域進行的研究表明,無論其物理性質(經濟、社會、生物或技術)如何,網絡描述的系統都存在共同行為。 在這個廣闊的領域中,我們的工作重點是開發和應用計算模型和技術,以識別、描述和控制複雜網絡的內部結構。 此上下文中的關鍵點是網絡中相關實體(社區)組的識別。
小組常任成員
阿方索·尼諾·拉莫斯博士
塞巴斯蒂安·雷耶斯·阿維拉博士
在我們的小組中,我們考慮以下研究方向:
方法論
應用
特別是應用組件代表了一種與其他學科團隊合作的非凡方式。
阿方索·尼諾·拉莫斯博士
阿方索.尼諾@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
3D 視覺計算和機器人組於 1998 年在系統工程和自動化領域內創建。 其工作重點是通過 3D 傳感器在多種應用中提供智能解決方案:零件數字化(藝術、健康和製造環境)、大空間(民用或文物建築、考古公園等)的數字化和重建,機器人與機器人的智能交互3D 視覺和沈浸式增強現實技術。 由於多年來的工作,已在計算機視覺領域最相關的期刊和會議上發表了大約一百篇論文。 這些年來,在競爭系統中開發了多達七個州和地區項目。 目前,該小組由 12 名研究人員組成,在 3D 數字化系統(激光系統和結構光)、機器人(工業和移動)和虛擬現實係統(沉浸式和触覺)方面擁有廣泛的技術。
數字化和 3D 感官系統:
基於視覺的機器人交互:
沉浸式虛擬現實:
安東尼奧·亞當·奧利弗博士
安東尼奧·阿丹@uclm.es
電話:(+34) 926 295 300 分機。 3737
傳真:(+ 34)926 295 354
餅乾 | 為期 | 描述 |
---|---|---|
cookielawinfo-複選框廣告 | 1年 | 由 GDPR Cookie Consent 插件設置,此 cookie 用於記錄用戶對“廣告”類別中的 cookie 的同意。 |
cookielawinfo-複選框分析 | 11個月 | 該Cookie由GDPR Cookie同意插件設置。 cookie用於將用戶對cookie的同意存儲在“ Analytics”類別中。 |
cookielawinfo-複選框功能 | 11個月 | 該cookie由GDPR cookie同意設置,以將用戶對cookie的同意記錄在“功能”類別中。 |
cookielawinfo-checkbox-必要 | 11個月 | 該Cookie由GDPR Cookie同意插件設置。 cookie用於將用戶對cookie的同意存儲在“必需”類別中。 |
cookielawinfo-複選框-其他 | 11個月 | 該Cookie由GDPR Cookie同意插件設置。 Cookie用於將用戶對Cookie的同意存儲在“其他”類別中。 |
cookielawinfo-複選框性能 | 11個月 | 該Cookie由GDPR Cookie同意插件設置。 cookie用於將用戶對cookie的同意存儲在“性能”類別中。 |
CookieLawInfo同意 | 1年 | 記錄對應類別的默認按鈕狀態和CCPA的狀態。 它僅與主 cookie 配合使用。 |
已查看_cookie_策略 | 11個月 | cookie由GDPR Cookie同意插件設置,用於存儲用戶是否同意使用cookie。 它不存儲任何個人數據。 |
餅乾 | 為期 | 描述 |
---|---|---|
_ga | 2年 | _ga cookie 由 Google Analytics 安裝,用於計算訪問者、會話和活動數據,並跟踪站點使用情況以獲取站點分析報告。 cookie 以匿名方式存儲信息並分配一個隨機生成的數字來識別唯一訪問者。 |
_ga_660H2MJ19C | 2年 | 此 cookie 由 Google Analytics 安裝。 |
_gat_gtag_UA_199993715_1 | 1 分鐘 | 由 Google 設置以區分用戶。 |
_gid | 1 天 | 由 Google Analytics 安裝的 _gid cookie 存儲有關訪問者如何使用網站的信息,同時還創建網站性能的分析報告。 收集的一些數據包括訪問者的數量、他們的來源以及他們匿名訪問的頁面。 |
同意 | 2年 | YouTube 通過嵌入的 youtube 視頻設置此 cookie 並註冊匿名統計數據。 |
餅乾 | 為期 | 描述 |
---|---|---|
VISITOR_INFO1_LIVE | 5個月27天 | YouTube 設置的 cookie,用於衡量帶寬,決定用戶是獲得新的還是舊的播放器界面。 |
YSC | 會議 | YSC cookie 由 Youtube 設置,用於跟踪 Youtube 頁面上嵌入視頻的觀看次數。 |
yt遠程連接的設備 | 決不 | YouTube 設置此 cookie 以存儲使用嵌入式 YouTube 視頻的用戶的視頻首選項。 |
yt-遠程設備 ID | 決不 | YouTube 設置此 cookie 以存儲使用嵌入式 YouTube 視頻的用戶的視頻首選項。 |