Yapay Zeka ve Temsil (AIR) araştırma grubu, 2014 yılında Castilla-La Mancha Üniversitesi'nde kuruldu ve o zamandan beri, çalışmayı teşvik etmek için Ciudad Real'deki Escuela Superior de Informática'da (ESI) merkezini kurdu. ESI öğrencilerinin işbirliği yapma ve hatta doktora tezleri yazma fırsatı buldukları şirketlerle Ar-Ge projeleri veya araştırma projeleri çerçevesinde gerçek problemlerin çözümü için Yapay Zeka tekniklerinin tasarımı, geliştirilmesi ve pratik uygulaması.
Üyeleri, artırılmış gerçeklik bağlamında bilgilerin grafik temsilini ve etkileşimli olmayan oluşturma sürecinin optimizasyonunu vurgulayan bilgi temsili formalizmleri ve akıllı manipülasyonu ve sistem öğrenimi, karar sistemleri, bilgi geliştirme konularında deneyime sahiptir. tabanlı sistemler, uzman sistemler, çeşitli uygulama alanlarında çok etmenli sistemler, elektronik ticaret ve video gözetimi öne çıkıyor. Projelerini bu doğrultuda geliştiriyorlar.
AIR araştırma grubu, araştırmasını araştırma alanlarını belirleyen üç eksene odaklar. İlk etapta Uygulamalı Yapay Zeka ekseni Akıllı Gözetleme, Mobil Robotik ve Otomatik Öğrenme hatlarını belirler. İkinci olarak, Görselleştirme ve Rendering ekseni Artırılmış Gerçeklik, Gerçekçi Görüntü Sentezi ve Hareketlerin Otomatik Analizi çizgileriyle ilişkilendirilir.Son olarak, Elektronik Ticaret eksenine, iş tasarımı ve geliştirmeye odaklanan genel bir perspektiften yaklaşılır. teknikler konuşlandırılır ve geliştirilir, dahili süreçleri ve kullanıcı deneyimini iyileştirmeye odaklanır.
David Vallejo Fernandez
David.Vallejo@uclm.es
Telefon: +34 926 29 53 00 (Dahili 6494)
Araştırma grubu, yazılım ve bilgisayar mühendislerinin daha kaliteli bilgi sistemleri oluşturmasına yardımcı olan yeni yöntemler, teknikler, araçlar ve süreçler geliştirmeye odaklanır. Alarcos grubu, yazılım ölçümü ve kalitesi, yazılım süreçlerinin iyileştirilmesi, bilgi yönetimi, yazılım analizi, tasarım, test ve bakım ve yazılım güvenliği ve denetimi konularına özel vurgu yaparak çok sayıda araştırma alanıyla ilgilenir.
Araştırma grubu, bu hatlar üzerinde hem bölgesel hem de ulusal ve uluslararası düzeyde çok sayıda araştırma projesi geliştirmekte ve sektördeki çok sayıda şirketle işbirliği yaparak aktif teknoloji transferi ve danışmanlık hizmetleri sunmaktadır. Ayrıca grup, şirkete kaliteli yazılım geliştirme alanında en ileri teknoloji ve metodolojilerde eğitim programları sunmaktadır.
Alarcos grubu şu anda tümü yazılım kalitesiyle ilgili olan ve aşağıdaki gibi gruplandırılabilecek çok sayıda araştırma dizisi geliştirmektedir:
Doktor Mario Piattini Velthuis
Mario.Piattini@uclm.es
Tel.: (+34) 926 295 300 dahili. 3715
Faks: (+ 34) 926 295 354
ARCO grubu, araştırmalarını karmaşık heterojen sistemlerin (donanım-yazılım) tasarımına ve gelişmiş iletişim hizmetlerinin geliştirilmesine odaklanır. Grup üyeleri, hem ulusal (Bilim ve Yenilik ve Sanayi Bakanlıkları, Junta de Castilla-La Mancha, vb.) uluslararası (Avrupa Birliği, NATO, Entegre Eylemler...).
Teknoloji transferine yönelik belirgin bir mesleğe sahip bir üniversite araştırma grubu olarak, sektördeki şirketlerle olan ilişki, özellikle hem kurumsal programlar (PROFIT, CENIT...) hem de tamamı sektör lideri olan şirketlerin kendileri tarafından finanse edilen projelerle güçlendirildi. BİT sektörü (Indra, Telefónica I+D, Tecnobit, Infoglobal...). Grup, bu alanda hem yukarıda belirtilen alanlarda hem de özgür yazılıma dayalı geliştirmede eğitim ve danışmanlık hizmetleri de sunmaktadır.
Karmaşık Heterojen Sistemlerin Tasarımı (Donanım-Yazılım):
Bu araştırma alanı, hem donanım hem de yazılım bileşenleri (gömülü sistemler) içeren karmaşık sistemlerin tasarımı için metodolojilerin ve araçların geliştirilmesine odaklanmıştır. Yeniden yapılandırılabilir mimariler üzerinde tasarıma özel önem verilerek, spesifikasyon, doğrulama, planlama ve atama, donanım sentezi, yazılım kodu oluşturma, simülasyon, prototipleme... yönlerini içerir. Özellikle, donanım ve yazılım öğelerinin şeffaf entegrasyonunu kolaylaştıran, söz konusu öğeler arasında konumlarından, uygulama biçimlerinden ve kurulan iletişim mekanizmalarından bağımsız bir etkileşime izin veren mimarilerin ve metodolojilerin tanımlanmasına odaklanmaktadır. aynı zamanda, yeni sistemlerin gelecekteki geliştirilmesinde sonraki yeniden kullanımları kolaylaştırılır.
Gelişmiş İletişim Ağları ve Hizmetleri:
Bu kapsamda dağıtık sistemler ve iletişim altyapılarının kullanımı yeni nesil hizmetler (dijital ev, mobil servisler, uzaktan gözetim...) sunmaya yöneliktir. Çalışma, hem kablolu hem de kablosuz iletişim teknolojilerini kullanarak ve gömülü sistemler, sensör ağları vb. iletişime dayalı yeni hizmetlerin Bu tür hizmetler ve bunların evler, ofisler, geniş kamusal alanlar gibi ortamlarda uygulanması... ortam zekası ve her yerde bulunan bilgi işlem gibi terimlerin ortaya çıkmasını mümkün kılan yeni araştırma alanlarının geliştirilmesine izin veriyor.
Juan Carlos Lopez
Tel.: (+34) 926 295 300 dahili. 3739
Faks: (+ 34) 926 295 354
Bu grubun amacı, Eğitimsel Hesaplama ve e-Öğrenim Sistemleri ve Bilgisayar-İnsan Etkileşimi alanlarında bilimsel ve teknolojik gelişmeye yeni bilgisayar mühendisliği yöntemleri, teknikleri, araçları ve süreçleri uygulamaktır. Web tabanlı uygulamaların tasarımı ve geliştirilmesi için yeni teknikler önermiş ve yeni etkileşim paradigmalarını (işbirliği, her yerde bulunan bilgi işlem, sanal gerçeklik, vb.) destekleyen gelişmiş cihazlar kullanmıştır. Grubun kalbi, kullanıcı merkezli metodolojileri takip ederek web uygulamaları, grup yazılımları ve mobil ve her yerde bulunan bilgi işlemin tasarımı için Ar+Ge+I projeleri yürütmüştür. Mobil ve her yerde bulunan teknolojilerin gelişimi, WIFI, Bluetooth, ultrason, kızılötesi vb. çeşitli ağ teknolojileri ile birlikte Tablet PC'ler, PDA'lar ve etkileşimli beyaz tahtaların kullanımı ile gerçekleştirilmiştir.
Eğitimsel Bilgi İşlem ve e-Öğrenim Sistemleri:
Bilgisayar-İnsan Etkileşimi: İnsan bilgisayar etkileşimi:
Dr.Manuel Ortega Cantero
Telefon: (+34) 926 295 481
Faks: (+ 34) 926 295 354
Deklaratif Programlama ve Otomatik Program Dönüşümü araştırma grubu (DEC-tau), özellikle çok paradigma bildirim dillerinin entegrasyonuna ve yazılı bildirim programlarının dönüştürülmesine uygulanan resmi yöntemlerin araştırılmasını ve geliştirilmesini teşvik etmek için Ekim 2000'de kuruldu. bu dilde. "Çok paradigma" niteleyicisini, mantıksal, işlevsel ve bulanık mantıksal özellikleri bütünleştiren dilleri kapsayan geniş anlamda kullanıyoruz.
Son yıllarda ilgimizi ifade kaynakları arasında kesin olmayan bilgilerin doğal bir şekilde işlenmesini içeren bulanık mantık dillerinin tasarımına odakladık. Spesifik olarak, benzerliğe göre birleştirmeye dayalı bir dil geliştirdik ve buna Bousi~Prolog (BORroso Prolog with Unification by Benzerlik) adını veriyoruz, bunun bir makine prototipi tarafından desteklenen yüksek seviyeli bir uygulaması ve düşük seviyeli bir uygulaması var. Benzerlik ile Warren (SWAM). Ayrıca grubumuz, FLOPER (Fuzzy LOGgic Programming Environment for Research'ün kısaltması) olarak adlandırdığımız, çoklu ek programları yürütmek için bir sistem uygulamıştır. Bu dillerin ilk pratik uygulamalarının zaten üretilmiş olması dikkat çekicidir: Metin kataloglama için Bousi~Prolog ve XML metnini işlemek için FLOPER, XPath ve XQuery dillerinin bulanık bir uzantısını uygulayarak kullanılmıştır.
Bugün, tam entegre bulanık mantık programlama dili FASILL'in tasarım ve uygulamasında her iki yaklaşımı da birleştiriyoruz.
Mantıksal ve İşlevsel Dillerin Entegrasyonu
Mantıksal-İşlevsel Programlama (LF), daha anlamlı ve verimli diller elde etmek için saf mantıksal ve işlevsel paradigmaları bütünleştirmeyi amaçlar. Bu gömülü dillerin standart operasyonel semantiği (bazı varyantları) daraltmaya dayandığından, ilgi alanımız daraltma stratejilerinin resmi ve uygulamalı yönleri ile daraltmanın diğer operasyonel mekanizmalarla birleşimidir.
Bulanık Mantık Dillerinin Tasarımı ve Gerçekleştirilmesi
Bu araştırma dizisi, belirsizliğin bildirimsel tekniklerle ele alınmasına izin vermek için bulanık mantıktan özellikler içeren mantıksal dillerin tasarımını ve uygulamasını takip eder. Zayıf birleştirmeye (Bousi~Prolog) ve çoklu eşlenik mantığa (FLOPER) dayalı mantık dillerinin geliştirilmesine ve ayrıca bunların biçimsel özelliklerinin ve uygulamalarının incelenmesine odaklanıyoruz.
Programların Dönüşümü ve Uzmanlaşması
Program dönüştürmenin amacı, anlamsal olarak başka bir başlangıç programına eşdeğer olan ancak bazı özellikler (örneğin verimlilik) için daha iyi davranışa sahip bir program türetmek. Kısmi değerlendirme (PE), verilen girdilere göre bir programın özel versiyonlarını üreten bir program dönüştürme tekniğidir. Grubumuzda bu alanda öncü çalışmalara imza attık. Örneğin, bu tür bir dil için kurallar+stratejilere ve rafine EP kontrol algoritmalarına dayalı bir LF program dönüştürücü geliştirdik. Çoklu yardımcı mantık programları için dönüştürme teknikleri de tanımlanmış ve biçimsel özellikleri incelenmiştir.
Pascual Julian Iranzo
Tel.: (+34) 926 295 300 dahili. 3716
Faks: (+ 34) 926 295 354
SMILe (İnternet ve Öğrenmenin Yumuşak Yönetimi) araştırma grubu, İnternet Üzerinden Bilgi Edinme, Öğrenme Sistemleri ve Karara Yardım ve daha yakın zamanda, Yumuşak Hesaplama tekniklerinin (özellikle Bulanık Mantık) uygulanması alanındaki çalışmalarını geliştirmektedir. Duygu ve Görüşlerin Analizi ile Veri ve Büyük Verinin Akıllı Analizi. Bu çerçevede Web ve diğer büyük veri tabanları üzerinde anlamsal bilgi aramasına, dinamik belge havuzlarının etkin yönetimine vb. olanak sağlayan modellerde yapılan katkılar öne çıkmaktadır. Tüm bu bilimsel katkılar, son yıllarda uygulanan ve faaliyete geçirilen farklı araştırma ve bilgi yönetimi araçlarına (FISS, Zoom, GUMSe, BUDI, AGORA, vb.) yansıyan derin bir pratik yaklaşımla işaretlenmiştir.
Jose Angel Olivas Varela
JoseAngel.Olivas@uclm.es
Tel.: (+34) 926 295 300 dahili. 6476
Faks: (+ 34) 926 295 354
GSyA grubu, araştırmalarını güvenli yazılım mühendisliği ve güvenlik yönetimine odaklamaktadır. Grup, özellikle, yazılım mühendisliği yöntemleri ve süreçleri, yeni modelleme teknikleri ve ayrıca yazılımın tüm aşamalarını ele alan daha güvenli yazılımların oluşturulması için otomatik destek sağlayan araçlar geliştirdiği daha güvenli yazılımların nasıl oluşturulacağını ve kullanılacağını araştırır. geliştirme süreci ve geliştirme paradigmalarını ve en ileri teknolojileri göz önünde bulundurarak. Ayrıca grup, şirketlerde bilgi teknolojisi güvenliğini sistematik ve öngörülebilir bir şekilde ölçmek ve yönetmek için metodoloji ve tekniklerin geliştirilmesi, yeni güvenlik olgunluk modelleri ve bilgi güvenliği yönetim sistemlerinin geliştirilmesi üzerinde çalışmaktadır. ölçekli şirketler ve ana uluslararası ICT güvenlik standartlarına saygı.
GSyA grubu, faaliyetlerini temel olarak iki araştırma hattına odaklamaktadır:
Güvenli yazılım mühendisliği:
Güvenlik Yönetimi:
Dr. Eduardo Fernandez-Medina Paton
Eduardo.FdezMedina@uclm.es
Tel.: (+34) 926295300 dahili. 3744
Faks: (+34) 926295354
Bu grup, yuvarlanan yüzeyler-döşemelere uygulanan akustiğe adanmıştır. Yollardaki yuvarlanma yüzeyinin davranışının akustik değerlendirmesi, İspanya'da yol ve çevre idareleri için artan bir ihtiyaçtır. Akustik izleme yöntemleri ile birlikte küresel konumlandırma sistemleri (GPS), akustik parametrelerin yol yönetim sistemlerine entegrasyonuna izin veriyor. Bu araştırma hatlarının amaçları, yol yüzeyinin coğrafi referanslı karakterizasyonu yoluyla trafik gürültüsünün kontrolüne ve yeni yol yüzeylerinin tasarımına ve geliştirilmesine katkıda bulunmaktır.
Ölçümler, veri işleme için yeterli yazılım gerektiren ve kentsel yolların ve otoyolların iyileştirilmesine ve konforuna yol açan sonuçların çıkarılmasına izin veren CPX yöntemi kullanılarak gerçekleştirilir.
Yuvarlanan yüzeyler-kaldırımlara uygulanan akustik:
Malzemelerin tasarımına ve karakterizasyonuna uygulanan akustik:
Fernando J. Terán Sierra
Fernando.Teran@uclm.es
Tel.: (+34) 926 295 300 dahili. 3721
Faks: (+ 34) 926 295 354
araştırma grubu Ortam Zekasını Modelleme (MAmI) Ambient Intelligence'ın hesaplama paradigmaları üzerinde çalışır (Ortam Zekası) ve Ubiquitous Computing (Her yerde bilgi işlem). Bu geniş paradigma içinde grup, mobil bilgi işlem, akıllı kullanıcı arayüzleri ve bağlama duyarlı uygulamalarla ilgili araştırma dizileri geliştirir. Grup, özellikle bakım sistemleri, sağlık izleme ve davranış analizi alanlarında güçlü uygulamalı araştırmalar geliştirir.
Jardines de Viveros araştırma projeleri son olanlar:
daimi üyeler Grubun:
Uygulamalı Ortam Zekası ve Uyarlanmış Teknolojiler
Temel uygulama alanları
Dr.Jose Bravo Rodriguez
Jose.Bravo@uclm.es
Tel.: (+34) 926 295 300 dahili. 3713
Faks: (+ 34) 926 295 354
Taşıma Sistemlerinde Modeller ve Algoritmalar (MAT) grubu, araştırmalarını Yöneylem Araştırması alanında geliştirir. Hedeflenen amaç, planlamacıların ve/veya yöneticilerin analitik araçlara sahip olmalarını sağlamak için, problemin en fazla sayıda ilgili yönünün dahil edildiği ulaşım sistemlerinin planlanması, tasarımı ve kontrolüne uygulanan yeni optimizasyon modelleri geliştirmektir. karar verme sürecinde onlara yardımcı olun. Bu amaçla en çok kullanılan matematiksel araç, denge kısıtlamaları olan matematiksel programlardır. Bu araçlar, alınan kararlara karşı kullanıcıların davranışlarının sisteme dahil edilmesini sağlar.
Dr.Ricardo Garcia Rodenas
Ricardo.Garcia@uclm.es
Tel.: (+34) 926 295 300 dahili. 6222
Faks: (+ 34) 926 295 354
Oreto araştırma grubu, 1997 yılında Ciudad Real'de (İspanya) Castilla-La Mancha Üniversitesi Bilgisayar Bilimleri Yüksek Okulu'nda doğdu. Grubun çalışmaları, kuruluşundan bu yana, bilginin tekniklerde uygulanmasına yönelik olmuştur. yapay zekayı farklı alanlara ve faaliyetlere Klasik olmayan mantıklar (çok değerli ve bulanık), yaklaşık akıl yürütme, nitel ve dilsel modelleme gibi yumuşak bilgi işlem sistemlerinin kullanımı ve geliştirilmesine odaklanan farklı araştırma projeleri başarıyla geliştirilmiştir. Bu projelerde, belirsizliğin ve belirsizliğin içsel unsurlar olduğu karmaşık sistemlerde farklı türde olaylar ve eylemler modellenmiş, tanımlanmış ve teşvik edilmiştir.
Sensörlerin ve video kameraların entegrasyonu yoluyla, aşağıdakiler önerilmiştir: büyük tesislerde akıllı gözetim sistemleri, otoyolları ve otoyolları koruyan çitlerin maruz kalabileceği farklı etki türlerinin tanımlanması ve sınıflandırılması ve ayrıca Belirli bir sürücü tarafından gerçekleştirilen sürüş türü.
Sensörlerden, veri tabanlarından, web'den, video kameralardan vb. elde edilen verilerden bilgilerin oluşturulması, klasik otomatik öğrenme tekniklerinin gözden geçirilmesini gerekli kılmaktadır. BÜYÜK VERİ gibi terimler bize yeni özellikler ve ihtiyaçlarla yeni bir bakış açısı sunuyor. Bu yeni zorlukla yüzleşmek için araştırma grubunun vizyonu, merkezi olmayan ve paralel bir şekilde işbirliği yapan, öğrenen ve koordine eden çok sayıda küçük sistemin tasarımını ve kullanımını dahil ederek, çoklu sınıflandırıcı sistemler elde etmek için sürü zekası tekniklerini kullandı.
Grubun daimi üyeleri:
Dr. Bayan Ester del Castillo Herrera.
D. Juan Giral Muiña
Dr.D. Luis Jimenez Linares
Dr. D. Juan Moreno Garcia
Dr. D. Luis Rodriguez Benitez.
Mevcut problemlerin karmaşıklığı göz önüne alındığında, deneysel ve teorik yaklaşımlar bir hesaplama karşılığı gerektirir. Grubumuzun çalışmalarının odaklandığı yer bu bağlamdadır: matematiksel-hesaplamalı modellerin oluşturulması ve uygulanması, bilimsel veya mühendislikle ilgili gerçek problemlerin incelenmesine yöneliktir. Grubumuz, verimli yazılım araçlarına çevirdiğimiz fiziksel-matematiksel modeller oluşturarak bu görevi yerine getiriyor.
Mevcut ilgimiz, birbiriyle ilişkili elementlerin sistemlerinin işlenmesine odaklanmaktadır. Bu yaklaşımın (karmaşık ağlar), yeniliğine rağmen, karmaşık sistemlerin davranışının analizi, yorumlanması ve tahmini için son derece yararlı olduğu kanıtlanmıştır. Bunların tipik örnekleri şunlardır: ekonomik sistem, sosyal ağlar, İnternet, www, metabolik sistem, genom veya genetik temelli insan hastalıkları seti. Bu alanda yapılan çalışmalar, fiziksel doğasına (ekonomik, sosyal, biyolojik veya teknolojik) bakılmaksızın ağların tanımladığı sistemlerin ortak bir davranışının varlığını göstermektedir. Bu geniş alanda, karmaşık ağların iç yapısının tanımlanması, tanımlanması ve kontrolü için hesaplama modellerinin ve tekniklerinin geliştirilmesi ve uygulanmasına odaklandık. Bu bağlamda kilit nokta, ağdaki ilgili varlık (topluluk) gruplarının tanımlanmasıdır.
Grubun kalıcı üyeleri
Alfonso Nino Ramos
Sebastian Reyes Avila
Grubumuzda aşağıdaki araştırma satırlarını ele alıyoruz:
metodolojik
Uygulamalı
Özellikle uygulanan bileşen, diğer disiplinlerden ekiplerle işbirliği yapmanın olağanüstü bir yolunu temsil ediyor.
Alfonso Nino Ramos
Alfonso.nino@uclm.es
Tel.: (+34) 926 295 300 dahili. 6474 / 3720
Faks: (+ 34) 926 295 354
Grup, Ciudad Real'deki Castilla-La Mancha Üniversitesi'nin (UCLM) Elektrik, Elektronik, Otomasyon ve Haberleşme Mühendisliği – IEEAC – (Sistem Mühendisliği ve Otomasyon alanı –ISA-) Bölümünden profesörler ve araştırmacılardan oluşmaktadır. 1999'dan beri güvenlik sistemleri ve biyometri, kalite kontrol, tanısal görüntüleme, karar destek sistemleri ve biyomedikal mühendisliği uygulamalarıyla birlikte Görme ve Yapay Zeka araçlarının geliştirilmesine adanmıştır.
Jesús Salido Tercero (Prof. TU) @jsalido
İsa.Salido@uclm.es
Ph.#: (+34) 926 295 427
3D Görsel Hesaplama ve Robotik grubu, 1998 yılında Sistem Mühendisliği ve Otomasyon Alanı içinde kuruldu. Çalışmaları, çoklu uygulamalarda 3D sensörler aracılığıyla akıllı çözümler sunmaya odaklanıyor: parçaların sayısallaştırılması (sanatsal, sıhhi ve üretim ortamları), geniş alanların sayısallaştırılması ve yeniden inşası (sivil veya miras yapıları, arkeolojik parklar, vb.), robotların akıllı etkileşimi 3D görüntü ve sürükleyici artırılmış gerçeklik teknikleri. Yıllar içinde yapılan çalışmaların bir sonucu olarak, Bilgisayarla Görme alanında en alakalı dergi ve konferanslarda yüze yakın makale yayınlanmıştır. Bu yıllar boyunca, rekabetçi bir sistem içinde yediye kadar eyalet ve bölgesel proje geliştirilmiştir. Grup şu anda 12 araştırmacıdan oluşuyor ve 3D sayısallaştırma sistemlerinde (lazer sistemleri ve yapılandırılmış ışık), robotlarda (endüstriyel ve mobil) ve sanal gerçeklik sistemlerinde (sürükleyici ve dokunsal) kapsamlı teknolojiye sahip.
Dijitalleştirme ve 3D duyusal sistemler:
Görme tabanlı robot etkileşimi:
Sürükleyici sanal gerçeklik:
Antonio Adam Oliver
Antonio.Adan@uclm.es
Tel.: (+34) 926 295 300 dahili. 3737
Faks: (+ 34) 926 295 354
