A conciencia un.
Una producción del Centro de Medios Audiovisuales de la UNED para la
Escuela Técnica Superior de Ingeniería Informática.
A conciencia es un pocas que realiza la profesora Covadonga Rodrigo,
con anécdotas y ejemplos
para mostrarnos la investigación científica desde dentro y conocer
las personas que lo llevan a cabo.
A. La hoy, con la profesora
Rodrigo uno de los profesores que ha promovido el desarrollo y puesta
en marcha de los laboratorios virtuales y remotos
y nuestra universidad, cuyas líneas de investigación prioritarias
son la ingeniería de líneas de productos,
software, la aplicación de la tecnología,
la enseñanza online y la bibliometría.
Mi acompañarlo dinerario, Gil,
es un compañero muchos menos viene de Rubén,
casi 20 pueden ser hace cada 20 años;
tiempo pasa volando; si siguen,
creemos que sí a la vez y nada bueno, pues ese es un compañero.
Está escrito un departamento que se llama el departamento
de ingeniería del software y sistemas informáticos y bueno,
pues vamos a ver qué pasa con su vida,
ya que se dedica buenos Rubén.
La primera pregunta sería.
Cómo vienes a la escuela todos los días,
cuando puedes, bueno.
La verdad que he tratado de venir, tenemos la suerte o bueno,
yo tengo la suerte de que vivo relativamente cerca del Madrid
y entonces fue venir en bicicleta.
Entonces, bueno, antes de tener niños,
pues casi casi lo hacía así de continuo,
no todos los días de la semana,
o sea que si bien es en mayas, no mayas, ciclistas,
si tenemos la suerte de tener aquí un coincide,
que el jardineros de este campus universitario
están en nuestro edificio, tienen los vestuarios,
y entonces, bueno, pues tengo la suerte que puedo llegar
de alguna ducha y ya está incorporarme al trabajo
van a ser eres deportista también no porque esto devenir bueno también
es me imagino que es un pueblo,
porque es una persona sostenible,
no, que o solamente te mueve el tema del deporte,
en coger la bicicleta para no las dos cosas,
y de hecho no, que hace ocho años,
no cuando nació mi segundo hijo y aquel que no en viviendo en Madrid
y la verdad que no necesitas el el conoce
y bueno más o menos me he apañado sin coche,
hasta que bueno, ya tenía dos hijos y era mucha tela.
Y bueno,
pues de vez en cuando un coche también no sé si lo de los hijos
queremos saber también cómo te ha influido
en la vida buenos.
Aquí podemos decir que el ciclismo quizás
alguna transporte no se puede jugar, un papel importante en tu vida,
el ciclismo para ti.
Qué es un desahogo?
Tienes algún
otro deporte que también te motive o habitualmente que la verdad,
que la manera en que foco así mi ocio?
Pues es bastante recreativo;
o sea que tampoco intento en mí hacer una constitución,
ni efectivamente ni ni con la bicicleta
ni yo que se posee.
Había pocas que juega el padre
del que nada o ahora ha empezado a montar en encalla,
pero no simplemente es eso recreativo, pasarlo bien,
ahora con los niños puesto tarde aficionados a ellos también,
y eso me interesa sobre el qué?
Porque claro, nosotros.
Los científicos, verdad?
También somos gente muy puntillosa, no somos muy perfeccionista,
sí?
Bueno, esto del calle como heridas das a conciencia también,
no es una cosa muy lúdica, te ayuda a relajar o bajo.
Mi enfoque personal es extremadamente, lo digo lo que pasa,
que, bueno, al final me he apuntado un club,
que tengo cerca de casa y y allí hay mucha gente excesivamente motivada
quizás no excesivamente, pero eso que les gusta y competir
y todo esto, no entre.
Bueno, pues pues yo trato un poco como con bastante más calma
de la filosofía,
y ya está, bueno, me lo pasa bastante mal,
que yo también intento hacer deporte, no.
Cuanto más mayor me hago, creo que más más deporte.
No necesito 9.
También es verdad que por lo menos nuestra forma de hacer ciencia
en muchos casos es muchas horas pegadas al ordenador,
con lo cual acabamos, por lo menos yo con la espalda,
muy machacada,
y al final, bueno, pues el hacer cualquier deporte por esa parte,
bueno, pues eso relaja,
no puedes fortalecer también todos los músculos
no del corre de la espalda,
que también para estar muchos ratos sentado esto.
Pues también es necesario, tú pasas mucho tiempo sentado,
no haciendo ciencia o sin crisis porque claro,
en informática, en general,
pues hacer delante de una pantalla no casi casi toda la investigación.
Entonces, bueno, pues es inevitable que sobrepase muchas horas
que la postura no sea buena en un caso casi siempre y bueno,
pues tratamos de contrarrestar un poco se va haciendo ejercicio
entonces, de esa investigación no que comentas que haces
con el ordenador y he estado un poco cotidiana
o tú tu perfil del Google escolar que te conozco un poco,
pero bueno, para ver tu trayectoria y no sé un poco también
lo que quieres hablar hoy, no, y bueno,
es verdad que tienes algunos, algunos artículos súper muy,
muy citados hablando de laboratorios remotos
es esto así y.
Exactamente qué investigación hacías con estos laboratorios remotos,
bueno la idea de los laboratorios virtuales y remotos,
que bueno los los alumnos pueden realizar prácticas
desde su casa, pero bueno, son en una universidad
como la nuestra.
Pues bueno, es muy interesante,
y entonces ahora no sé de aproximadamente 10 años
Sebastián dormido.
Me me dio la oportunidad de trabajar con su grupo en laboratorios
virtuales y remotos y bueno, pues básicamente esto perdona,
para que los nos escuchen algún día.
Sepan se basa en dormidos un gran Pope verdades
de la parte investigadora de nuestra de nuestra escuela,
y es una persona verdad?
Que ha tenido un catedrático ya emérito,
creo que está ya retirado,
pero que ha tenido un equipo grandísimo de profesores,
no en ese ese equipo.
De verdad,
precisamente en ese tema yo creo que éramos los 2.
Me dedico intensamente al tema, y eso, pero vamos,
si bien ha habido un momento que yo creo que éramos,
probablemente es el equipo, siendo los más punteros
de los dos o tres equipos más más punteros en laboratorios remotos
del mundo.
Qué tipo de laboratorios eran?
Eran porque me imagino que la gente estará pensando.
Vale, laboratorios remotos pero puede ser, pues no sé un sitio
en el cual tú hagas un trozo de software que se valide o pueden
ser, pues no sea un simulador o puede ser un laboratorio remoto
que manipule algo físico de forma distante.
El laboratorio virtual es un laboratorio
que viene a ser una simulación.
Bueno, trabajar con simulaciones está muy bien,
pero hay experimento bueno sobre todo.
Experimentos físicos o de ingeniería que, bueno,
la verdad que tiene un valor pedagógico muy fuerte
en el que el alumno ve aún vea que está sucediendo algo real
y luego además también lo que esos son los laboratorios remotos
en el laboratorio.
Remoto en el mundo está operando material,
un equipo que es real y hay una serie de cámaras
que bueno, que estamos teniendo lo que está sucediendo.
Entonces, lo que también se se daba era la posibilidad de superponer,
digamos, el modelo matemático de las simulaciones,
modelo de la lo que pasa a un experimento,
digamos del virtual sobre el remoto, donde esa manera,
bueno pues en el alumno toma conciencia de que,
bueno el que al final cualquier modelo matemático
no deja de ser una idealización y que en el mundo real
pues eso hay ruidos, hay perturbaciones ahí
es mucho más complicado,
y si la curva de datos que tú tienes eso no es idéntica la idílica,
no que sería la teórica y bueno pues luego analizas,
no lo que produce, no es esas divergentes.
Aquí en un principio los laboratorios eran de Ingeniería de control,
rápidamente, se nos dimos cuenta o señor Sebastián,
y su grupo se dio cuenta porque esto sucedió
antes de que yo enterara, de que al final bueno cada vez que hacía
un laboratorio de estos remotos implicaba un trabajo enorme,
pero con mucho ese trabajo era siempre el mismo.
Entonces, he tratado de factorizar ese trabajo y trabajo
en hacer una uno generadores de laboratorio,
no las diga, digamos, de ligación, mete a nivel de laboratorio
en plantillas,
quizás si fueran plantillas, un lenguaje visual,
digamos que, bueno, se podía introducir código
y tal y que tenía implementado.
Por debajo, solbes, ecuaciones diferenciales
y cuestiones así numéricas y también elementos gráficos
y tal bueno, para facilitar rápidamente el desarrollo,
no al final.
Bueno, pues eso es como que se se al principio.
Los laboratorios es muy artesanales y se trata de pasar
a una fase más industria no desarrollos.
Son laboratorios que cuando ya se estaba en esa fase,
lo que se hizo fue un intento por conseguir
que gente de otras personas de otras facultades,
pues se incorporaran al equipo.
Estuvimos trabajando con gente de físicas
y se incorporaron laboratorios, por ejemplo, de Óptica
y, bueno, pues sabíamos, he estado trabajando,
qué bonito es el que se amplió también a otros contextos,
no tus contextos
de si os ha estado siempre el uso de esos laboratorios
y luego esos laboratorios al final la otra cuestión es bueno,
porque al final esos laboratorios hay
que desplegarlos en algún Lagun elements, entonces tal una plataforma
no de aprendizaje, la plataforma de aprendizaje,
de manera que los alumnos puedan hacer experimentos
o puedan pausar esas experimentos que están realizando estas en casa,
haciendo un experimento lo que sea y tienes que pagar para ya
sabes que hablando de la UNED,
normalmente la media es eso en torno a los 30 años,
gente con familia,
con cosas de este tipo, no, que tienen que pasar el experimento
y a lo mejor lo continuadas dos días después,
te guardar desoficiados en la luz o bueno
o todo tipo de cosas no se te puedan ocurrir.
Entonces, bueno, pues también trabajamos bastante
en cómo integrar esos laboratorios, eso en un entorno de aprendizaje
en concreto nos centramos en muden porque era bueno, pues eso,
porque es un sistema abierto, que está muy bien,
muy bien documentado si no me hecho.
Gracias.
Comentando porque claro lo de pausa,
los experimentos, que ya fue cuando tenía los hijos pequeños
que estábamos en el parque con amigos,
no entonces dejaban la conversación a medias, no podías al día siguiente
retomaba la conversación como si no hubiera pasado
el tiempo, no, y claro.
Los experimentos puede ocurrir eso no hay que nuestros estudiantes
en casos se les compliquen la situación familiar
o cualquier cosa de logística, estén haciendo un experimento
no para una asignatura y lo tengan que parar y continuarlo.
No es que eso me parece muy complicado,
luego no de gestionar desde el punto de vista centralizado.
No sea todas esas, no.
Esa secuenciación controlados.
Ocurren, desgraciadamente, esos trajes o y luego aparte.
Bueno, pues bueno, la cosa se empieza a complicar rápidamente,
porque al final son laboratorios muy costoso
cuando son físico no lo laboratorios remotos normalmente,
lo que estaba perdóneme porque aquí en el este edificio
estaría la parte física instalada Claro,
claro, donde están juicio de varios laboratorios
a base de los cincos, en laboratorios y ciencias había
otros tanto yo sé que Manuel Castro lideraba el otro grupo puntero.
Hubo un momento en que la UNED realmente no sé si sigue siendo así;
pero vamos, cuando estaba ya hemos metido,
realmente éramos los dos grupos quizá de referencia mundial y bueno,
pues si me parece un trabajo interesantísimo, además, bueno,
seguro que para los estudiantes de la UNED,
que siempre, verdad, tenemos otros muchos problemas
para poder lograr convenios,
no y que tengan instalaciones físicas buenas.
Pues claro, esta manipulación remota de máquinas reales
y luego poder utilizar un simulador al mismo tiempo, no y, y bueno,
pues hacer la experimentación me parece me parece
lo que va a comentar que se me había olvidado, era eso.
No se trata de ir hacia hacia una red de compartición de laboratorios.
Entre un montón de universidades, no como eso es tan costoso,
pues al final tu universidad, no, tus alumno
nuestra utilizando el laboratorio constantemente,
no entonces por la idea, es que la montamos, que se llama,
que sigue funcionando sí pero con otras universidades presenciales
de todo punto esenciales.
Otra socialista estancias sí si no solo nacionales
sino también internacionales entonces bueno pues ese
gestionar todo eso no el dar unos pues eso, unas horas de acceso
a repartir los accesos, fue universidades,
tienen un alumno o que asegurarte que ningún alumno
te puede romper el, o sea, hacer que sean especialmente regusto,
no los laboratorios y claro, es que yo veo mucha complejidad.
Entonces, bueno, esto es como la logística de Amazon.
Quiere decir que ya solamente poner de acuerdo
es los de tiempo para diferentes estudiantes
de diferentes cursos o asignaturas de diferentes universidades,
incluso que físicamente están en el mundo
viviendo en sitios remotos.
La verdad es que, bueno, es magnífico el poder lograr.
No hay un sistema logístico que pueda que pueda dar respuesta,
no a todas las necesidades me parece, me parece increíble,
no que esté funcionando y luego, efectivamente,
si alguien manipula mal de forma remota,
me imagino que puede incluso llegar a romper.
No igual algún artilugio físico que hayan en la docencia
el, bueno, pues el problema, como no sé si como siempre,
pero en muchas ocasiones en este en este área,
creo que hay cómodo.
Grandes obstáculos, no, uno es la financiación,
porque al final esos laboratorios son en el material
para que se pueda teleoperador, y todo eso,
pues es supercara, o sea realmente ahí o te haces.
Tú los laboratorios que algunos nos hicimos debe
hacer utilizando impresoras tres D, todo esto,
pero sí si no por el equipo te lo venden.
Hay empresas como muy muy concretas que tienen el materiales,
carísimo, por ejemplo, con ser no los sino.
Las prácticas de control, pues no lo vendría a ellos,
y supercara, luego ese clavo, hace falta un mantenimiento
de ese material no entonces claro pues eso también cuesta dinero
y luego la longitud disponible que si se rompe algo,
claro, esos estudiantes, verdad?
Tienen una tendencia hacia un montón de experimentos
en fines de semana fiestas verdad porque luego claro
si hay algo que se desajusta lo que sea,
pues hace falta tener alguien, verdad?
Una persona humana que pueda entrar en el laboratorio agresoras
no para para arreglar no los desaguisados claro
Sí sí claro efectivamente entonces bueno pues igual no a su momento
otra pusimos un sistema regletas inteligentes toques encendía,
cuando el alumno se conectaba y todas esas cosas,
pero si al final tiene.
Yo le veo problema.
Número 1.
Asesoraba la financiación y luego, en el otro.
Además,
que como me imagino que habéis comentado en otros programas,
pues al final a los a los investigadores
investigadores, no nuestra promoción o incluso nuestra subsistencia
en los primeros pasos, pues depende mucho
de que consigamos publicar artículos de alto impacto.
Entonces, la cuestión es que este área,
bueno, pues realmente desde un punto de vista de ingenieril,
tampoco es muy complicado el problema que se está resolviendo,
pero tampoco estas un impacto tan, o sea realmente no hay una labor
digamos de investigación de innovación de que digamos
me invento yo que sea un protocolo nuevo de comunicaciones.
Realmente es muy complicado hacer una, una innovación fuerte, o sea,
algo que sea fuerte y lo puedo vender una revista de tipo ingenieril
y luego hay revistas de aplicación de ingeniería en la educación,
lo que sería un poco el hecho y entonces el problema
de esas revistas es que normalmente te exigen que validez
luego experimentalmente que el pedagógicamente.
Lo que estás haciendo tiene sentido, no tanto ejecución.
Los alumnos en los que son utilizadas o pasan aprende,
ya me he podido mejor respecto a años anteriores
y tal.
Entonces al final, pues también lo que sucede.
Es que necesitas tamaño muestral de grandes,
y entonces es complicado conseguir eso.
Tamaño muestral,
es porque normalmente las prácticas son, son voluntarias
y además estás trabajando con gente de la Unesco.
Como bien sabes, hay carreras que tienen muchísimos alumnos,
como esa psicología, cuyo derecho los derechos y tal te da,
y otras carreras las más de tipo de corte, más ingenieril,
o como estén si de las ciencias o tecnología,
que esas son más son maneras diarias.
Entonces, bueno, pues eso es un tren y exige un trabajo tremendo.
Poner en marcha el laboratorio, mantenerlo etc.
Y tienes que recabar datos a lo mejor durante 2,
tres años para simplemente para para para un artículo
desde un punto de vista académico?
Pues no es no es a lo mejor, la rama más rentable.
Entonces, eso quizás también.
Pujó motivo un poquillo no aquí exploradas otras áreas
no científicas, Cuéntame ahora un poco,
que lo que te estás dedicando, porque yo estaba leyendo los títulos
en inglés y no sabía muy bien exactamente bueno,
veo que hay sistemas configurable, no, no sé Bueno,
cuéntame un poco y bueno,
pues la verdad que esa esa rama,
básicamente es la que digamos en mi rama inicial
no yo empecé a hacer la tesina entonces un poco la originalmente.
Lo que se lo que se preferiría
era uno generadores del código no agilizar,
la creación de generadores de código,
o sea, la idea básicamente es que los lenguajes de propósito general
pues está genial, pero ahí hay un punto
en el que no puedes conseguir mayores niveles de abstracción;
o sea no conseguir que el lenguaje sea suficientemente,
sea más abstractos,
sin perder otro montón de cosas, no deficiencia, etc. En la manera
de conseguir esa, ese nivel de actuaciones
a que te resulte majo más sencillo programar,
o sea, que tengas que escribir menos código,
por decirlo de alguna manera.
El código textual o o gráfico,
o como sea, por la única manera diríamos,
de conseguir ganar un poquillo de músculo,
de abstracción?
Pues es bueno, pues eso, oyendo a dominios concretos,
o sea, la idea es positivas, trabajasen en aplicaciones.
Bueno, eso me imagino que cualquiera,
cualquiera que haya programado en dominio concreto lo ha vivido.
Si tú trabajas en aplicaciones de banco banca web
lo que sea, al final esos proyectos se parecen muchísimo, unos a otros,
mientras ahí hay una parte que al ser común poco digamos
que la puedes extraer exactamente a la posibilidad de matizarla,
no le dan constructores no para esa parte
y que todo sea mucho más sencilla,
tantas, a lo mejor, arrastrando cuatro elemento gráfico,
fuese capaz de generar toda esa infraestructura,
no que de otra manera te costaría muchísimo trabajo,
codificarlo y que además ser redundante y no aporta nada.
No.
Digamos que la idea es que el ingeniero
pues se ocupen labores que no sean rutinaria,
sino labores que se han quedado creativas, claro, francamente,
o pero claro, esto es una, es una panacea
porque sea me imagino que tiene algo que ver con el concepto igual
de patrones de diseño o no,
que se utilizan en ingeniero de software
o es incluso más abstracto que los patrones,
o también de alguna forma tenéis algún tipo de patrones
ha puesto a modo de,
o sea, son algoritmos lo que lo que como una especie caja negra
de un algoritmo, lo que lo que la idea del patrón de diciembre
efectivamente es bueno porque hay digamos fragmentos
de diseño conocido así son patrones arquitectónicos
por distintas incluso más grandes.
Hay fragmentos que digamos que ese son soluciones que son,
se han validado, que están bien probadas
y se sabe que funcionan muy bien,
y entonces efectivamente trabaja Juan de ese tipo de abstracciones,
no cuando hacen diseño porque voy a hacer
un lo que sea un factor y método,
no sólo en lo que sea.
Entonces esa está genial,
pero la la idea es que esos en general,
los patrones de diseño, bueno, son más o menos genéricos,
o sea, se pueden aplicar a para desarrollar cualquier tipo
de trabajáis en contextos concretos si hay más que patrones de diseño.
Bueno, que digamos que al final el soporte,
digamos que el patrón de diseño te ofrece mucho a nivel conceptual,
pero realmente bueno,
al final el código lo tienes que seguir escribiendo y claro,
entonces ya sobre otros foros de código y activos, digamos,
más que se trata de exactamente de hacer un lenguaje que sea
tener un generador,
tener un lo que vendría a ser un compilador, sea tú directamente,
utilizando lenguaje propio del dominio,
pues es lo que decíamos antes, una aplicación bancaria,
pues utilizando la terminología propia de eso,
de aplicación de materia de seguros de no sé lo que sea postuló,
empresas, en ese lenguaje más o menos abstracto
y luego por debajo, pues se genera todo esas dos líneas
que por supuesto, por debajo ese código,
pues para que sea fácil de mantener y todo eso,
pues también se.
Se intenta que utilices o bueno buenas prácticas de programación
y, por supuesto, patrones de diseño de todo este tipo de cosas
reciben creíble y utilizáis patrones,
o sea, quiero decir, meta lenguajes o realmente luego podéis generar
código en diferentes lenguajes, de programación.
Si si efectivamente el poder generar el lenguaje es en un código final,
no poder generar en distintas maneras,
y además a veces interesa que no solo se cree un apego,
un compilador, algo que produce código,
hemos hecho un tiempo de compilación, algo estático,
sino algo que, según interpretem,
queríamos en función de lo que está sucediendo a lo largo
de la ejecución del programa, pues varía su,
vaya adaptando su comportamiento, no lo que a lo que está sucediendo
y, bueno, pues un poco la mi tesis doctoral
iba un poco en esa línea.
Lo que sucede es que, bueno, hay un tipo
como más específico bueno, de su problema asociado a esto,
que son problemas, que son buenas, que son sistemas que son,
se llaman eso altamente configurable, no?
Entonces, el ejemplo paradigmático, pues es el ejemplo del.
No sea, como sabes, pues Linux se utiliza en,
pues no sea más del 70 por 100, probablemente,
de los móviles no en Android, todos los supercomputadores,
los 500 ordenadores mejor del mundo, utilizan Linux,
etc. En otras ese induce es un sistema súper adaptable,
que funciona en la diversidad de los grandes,
en mover en pequeños, y eso se consigue
porque es es súper configurable, es extremadamente configuran
entonces, en este caso digamos, el, lo que es el que han,
el del que lo que ha súper configurable disponer de.
Bueno, yo creo que ahora mismo
van por mar más de 10.000 opciones configurable
entonces realmente hay digamos en el lenguaje que.
El kernel pues sería ese lenguaje de configuración,
o sea, tú en ese lenguaje empresas
que con los diferentes parámetros, como quedan totalmente,
que componentes quiere que estén y cualesquiera,
es que no estén interés de manera automática.
Pues en general todo lo que sucede en este tipo de sistemas
es que, bueno, pues aparte de tener muchísimos componentes,
pues normalmente hay restricciones entre los componentes,
o sea que se dice, bueno pues se incluye esto.
Entonces también tiene que incluir esto y esto y esto
porque tengo una dependencia con esto con esto conecto,
sin embargo, soy incompatible con este otro y este
otro día que no.
Entonces estos sistemas que además van evolucionando con el tiempo
y tal, pues al final el esas dependencias,
pues son una, acaban siendo una auténtica locura,
no?
Entonces, para asegurar que esas configuraciones
satisfacen todas esas dependencias que son válidas, pues eso plantea,
pues es un desafío bastante grande,
porque digamos el espacio de configuraciones posibles,
pues es se nos grandísimo, claro si si has grandísimos a un ejemplo,
que se pone, bueno, igual me equivoco,
de luz de magnitud o de números.
Pero es algo así como si tienes 80 configuración;
o sea, así; 80 elementos componentes
de estos, que son, que fueran opcionales,
no sin sin que existiera restricciones;
diferencias entre ellos;
pues la cantidad de configuraciones posibles;
sería dos elevado a Cifor; 82, 2, 82,
creo que eso es el se estima que es el número de átomos
en el universo observable.
Entonces, si tienes en cuenta de que eso estamos,
se están a se está trabajando con un sistema bueno,
que son muchísimo más, que son dos elevado a algo que sea 8.000 pico
pues es una barbaridad no entonces bueno
pues garantizar cosas como que es una configuración es válida.
Pues no lo puedo hacer por enumeración no?
Pues coger y calcular online el conjunto
de todas las configuraciones válidas;
y cuando el usuario está configurando algo decir.
Oye, pues no, hasta esta solución no deberíamos contemplar exactamente
no?
Pues eso no lo puedo hacer.
Entonces, la manera en que se.
En qué se hace eso?
Pues es tirando de la lógica,
o sea, lo que se hace es transformar esos eso modelos
tan complicados, en una fórmula monstruosa lógica,
proposicional y entonces eso se trabaja con solbes
como un con, con motores lógicos que básicamente hay como un de enfoques.
Para realizar esos solbes la verdad,
que es un tema superinteresante porque, bueno, pues está eso,
está relacionada con problemas de estos, que son clásicos
de la computación.
No sea en concreto una cosa que se quiere,
que se suele ser sólo hacer, por ejemplo,
para validar lo que hablábamos antes de la configuración personas,
una configuración anualidad, pues simplemente si tú haces
el-el no dices.
La conjunción no se dice es esta configuración,
y la fórmula tremenda, pues situó a unos, a un aún sorber.
Ausaj sobre la hice soy.
Esto es satisfacía,
es decir, hay alguna asignación de las de valor.
El no verdadero falso que pueda ser eso que haga,
que la fórmula valga verdad entonces sí sí a satisfaci
-ble posee la.
La configuraciones correctas, y nos satisface.
Entonces, todo este problema se sabe cómo los problemas,
todas el del viajan y todos esos que se sabe
que son problemas que son en epe.
Entonces, eso significa que, en el peor caso posible,
pues pues eso te crece exponencialmente.
El tiempo que tarda sin dar respuesta,
crece exponencialmente con el número de variables,
no porque dentro del caso posible pues habría que digamos recorrer
todas todas todas todas las la todas las diferencias exactamente
sin embargo en concretamente en la cuestión es tasak,
pues pues de 20 años para que ha habido un desarrollo tremendo
y aunque aunque la aproximaciones heurística y tal en la mayor parte
de los casos son capaces de dar respuesta a este problema
con decenas de miles de variables poseen cosa de segundos,
o sea que sí que se puede saber si una configuración es válida,
por ejemplo, utilizando este tipo de cuestiones.
Me hace gracia, estoy pensando en los usuarios finales.
Supieran verdad,
cuando arrancan el móvil por primera vez instalan,
configuran su sistema operativo.
No sé si imaginarán, verdad,
sí si los usuarios finales imaginas en todo el trabajazo que hay detrás,
esto para, para poder activar todas las opciones,
no dentro de cada dispositivo que cada cosa
de nuevas extraordinary trabajando desde que se basa en el trabajo,
o sea que son como capaces,
una detrás de otro.
No sé por qué, por ejemplo,
en el caso este que hablamos del kernel,
se utiliza un lenguaje, sea macaco,
para especificar esas restricciones y esas opciones que son,
que están disponibles para los usuarios,
y ese lenguaje es imperativo.
Entonces, la primera dificultad es un lenguaje que, además,
nos hemos utilizado para el cambio de nuevos,
utilizando otro montón de proyectos o en sus así importantes,
no para sistemas embebidos hay uno que se llama
Tucky etc bueno entonces la cuestión es que simplemente traducir
la lógica proposición algún cosa que no es trivial,
en absoluto, no.
Entonces, del paso del lenguaje imperativo a exactamente, o sea,
eso tiene un trabajo tremendo.
Sacar la fórmula, luego a la fórmula,
pues a lo mejor no está el Sassoon,
requiere que la fórmula esté en un de una manera concreta,
no que se llama en concreto los a -por ejemplo, requieren
que la fórmula Abstenciones
-que es una forma de forma normal, conjuntiva
-sea que sea una conjunción de cosas, de cláusulas,
donde cada cláusula, a su vez,
es una disminución de literales, no, que son variables supuestas firmadas
o negadas.
Entonces, a su vez, cualquier fórmula lógica
se puede poner en forma normal, conjuntiva, pero esa transformación,
otra vez va a haber un crecimiento exponencial,
y puede ser que la falta de una fórmula,
relativamente de un tamaño, relativamente moderado,
y que aquello te explote, no?
Entonces, pues nuevamente un ruso
tal ceitil que fue capaz de eso, de dar con una manera
de traducir esa fórmulas introduciendo variables artificiales
no.
Mientras fuera polinómica, no fuera,
o sea, quiero decir que las ponencias no exactamente el bosque es
un tema que es bastante interesante.
Por eso, porque realmente ahí hay mucho conocimiento hay
que es imprescindible para más o menos tratar de ir resolviendo.
El problema es hay otro suele viaje que surgen al hilo más,
no me extenderé.
Necesite, es el que haya, pero vamos a ver,
para poder procesar todo esto, buenos.
Rubén, pues nada.
La verdad es que ha sido un placer charlar contigo hoy y bueno,
yo creo que también nos ha venido bien,
porque aparte de profundizar en algunas cosas complejas,
no y suponemos, acabado.
He empezado hablando de de laboratorios virtuales
acabamos hablando del kernel del inuit no pero bueno
yo creo que entre medias se puede poner en valor el trabajo,
el trabajazo no de los analistas,
programadores no y los programadores ,
que yo creo que es un trabajo importantísimo,
que yo no lo acabo de ver,
que realmente la sociedad lo entienda, lo valore,
no voy al final, bueno, pues son personas
tirando código, no, muchas veces como tú dices,
código que ya se ha hecho, volverlo a hacer,
refacturar y cerrarlo o copiar y pegar,
al final los sistemas, pues bueno, son muy complejos y todo eso
es un trabajo bueno,
que allí leerlo muy fino.
No estamos hablando de de programas
que tienen millones de líneas de código
y entonces, bueno, pues la verdad es que es que me parece importantísimo,
no en la parte científica,
ahora en la que estás metido y bueno,
creo que he entendido más o menos algunas cosas.
Pero bueno,
lo que está claro también para los que nos escuchen,
pues es que la interacción de nuestra disciplina
con otras áreas, verdad, como has comentado de la lógica
las matemáticas pues bueno está está clarísimo
pues nada Rubén que ha sido un placer estar cerrando contigo y bueno,
esperamos haber aclarado un poco a las personas de la calle también
qué es lo que hacemos aquí en la escuela.
Muchísimas gracias.
Muchísimas gracias a ti.
Haberme invitado y bueno,
espero que haya sido más o menos al menos,
y que si alguien ha escuchado esta grabación, pues bueno,
pues como consiga haber transmitido un poco el bueno, pues eso,
lo que es pequeño, granito de arena,
que tratamos, trato de poner yo,
pero vamos efectiva, como tú comentase,
en esta escuela dirigente de investigadores que surgió hace
un trabajo interesantísimo y; y, bueno, pues con mucho trabajo,
por detrás y tal,
y y, bueno, si nos escucha algún alumno,
pues tampoco hay ninguna moraleja en mi trayectoria académica.
Pero bueno, la verdad que cualquier yo diría
que eso que nunca sabes cualquier cosa,
que estudiando.
Que hay momentos que estudiar,
cosas que dice.
Bueno esto, porque si no lo utilizaré en mi vida,
lo que sea, puede, pues no sé en concreto en informática,
yo creo que aparte de porque se ha muy aplicada,
no que luego trabajes en otros dominios y interacciones
no con lo que pasa en esos dominios, fuese.
Hacer laboratorios de física, pues triaje Zubiarte,
que sea la ley de lo que el fenómeno físico vaya músico.
Lo clave, dar.
Pero, pero que eso es lo que nunca sabes.
Por la-te, o sea, que yo diría que cuando configurase el kernel del hilo
-que eso tiene algo que ver con los rollos,
escondo que estudian informática teórica
de los problemas en epes y la lógica proposicional,
y todo eso puede resultar.
Si realmente es un placer, y lo vemos por los pasillos.
Muy bien.
Muchas gracias.
A la profesora del departamento de lenguaje si sistemas informáticos,
Covadonga Rodrigo ha indagado en el perfil profesional
del catedrático del Departamento de ingeniería tesoro, París,
estimase informáticos, Rubén Darío Gil, que ha formado parte
del equipo que promovió hace unos años,
la implantación de los laboratorios virtuales y remotos
en nuestra universidad es investigador principal del grupo
de ingeniería de software y sistemas de la UNED y nos ha contado
que entre las áreas científicas de su interés.
Esta es la de los sistemas configurable.
La.
El.
A conciencia.
Una serie de programas divulgativos
desde la Escuela Técnica Superior de Ingeniería Informática, de la UNED,
pensada para explicar la ciencia desde dentro.
Lo hacemos con rigor y seriedad a conciencia,
pero también con anécdotas y entretenimiento para mostrar hoy
la investigación científica y las personas que estamos detrás
o en canal.
Punto UNED.
Punto es podéis consultar este y todos los casos
de esta serie os implantamos a la próxima edición
de un nuevo caso gracias por acompañarnos.