MATEMÁTICAS EN LA MIXTECA PROGRAMA€¦ · 28 y 29 de noviembre 2019 Huajuapan de León Oaxaca V C...
Transcript of MATEMÁTICAS EN LA MIXTECA PROGRAMA€¦ · 28 y 29 de noviembre 2019 Huajuapan de León Oaxaca V C...
MATEMÁTICAS EN LA MIXTECA
CAUTMIX-33
CAUTMIX-39
UNIVERSIDAD TECNOLÓGICA DE LA MIXTECA
28 y 29 de noviembre 2019 Huajuapan de León Oaxaca
V Ciclo de Conferencias
PROGRAMA
V CICLO DE CONFERENCIAS:MATEMATICAS EN LA MIXTECA
Instituto de Fısica y MatematicasUniversidad Tecnologica de la Mixteca
UNIVERSIDAD TECNOLOGICA DE LA MIXTECA
RECTORDr. Modesto Seara Vazquez
VICE-RECTOR ACADEMICODr. Agustın Santiago Alvarado
VICE-RECTOR ADMINISTRATIVOC.P. Javier Jose Ruiz Santiago
DIRECTORA DEL INSTITUTO DE FISICA Y MATEMATICASDra. Alicia Santiago Santos
JEFE DE CARRERA DE LICENCIATURA EN MATEMATCAS APLICADASDr. Franco Barragan Mendoza
PRESIDENTE DEL COMITE ORGANIZADORDr. Jesus Fernando Tenorio Arvide
COMITE ORGANIZADOR
Dra. Veronica Borja Macıas
Dra. Marisol Lopez Cerino
Dra. Alicia Santiago Santos
Dr. Franco Barragan Mendoza
Dr. Jose Margarito Hernandez Morales
Dr. Jesus Alejandro Hernandez Tello
Dr. Jose del Carmen Jimenez Hernandez
Dr. Salvador Sanchez Perales
Dr. Jesus Fernando Tenorio Arvide
Edicion de programa:Salvador Sanchez Perales
Diseno de portada:Daniela Isis Flores SilvaAlejandra Azucena Moran Acevedo
Diseno de logotipo del evento:Franco Barragan MendozaSergio Flores Rodrıguez
Universidad Tecnologica de la MixtecaCarretera a Acatlima, Km. 2.5 Huajuapan de Leon, 69000 Oaxaca
Indice general
1. Presentacion 1
2. Programa 5
Resumenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Indice alfabetico 18
1 Presentacion
Desde sus inicios, el SUNEO ha considerado que parte fundamental de la formacion profe-sional de los estudiantes en cada una de sus universidades, es la Matematica. De esta manera, seha procurado que los alumnos reciban catedras de Matematicas impartidas por profesionales enesta disciplina. Ademas, para solventar, incrementar y difundir el estudio de las Matematicas y susaplicaciones, el SUNEO cuenta con tres universidades que ofertan la Licenciatura en MatematicasAplicadas: UTM, UNISTMO y UNPA. Tambien, entendiendo la importancia de la Matematica ysus aplicaciones, la Division de Estudios de Posgrado de la UTM, oferta la Maestrıa en ModelacionMatematica y el Doctorado en Modelacion Matematica. De hecho, el SUNEO reconoce que loseventos y reuniones academicas juegan un papel fundamental en la formacion profesional de losestudiantes y son una fuente importante de motivacion, actualizacion y aprendizaje para todos losparticipantes. Por tales motivos, en la UTM, y en ocasiones con apoyo de otras universidades delSUNEO, nos hemos dado a la tarea de organizar eventos enmarcados en las ciencias matematicas.Especıficamente, se han llevado a cabo varias ediciones de los congresos denominados “Interna-tional Conference on Mathematical Modelling” y de los “Ciclos de Conferencias: Matematicas enla Mixteca”.
Entendiendo la importancia de estos eventos, el Cuerpo Academico Modelacion Matematica yTopologıa (UTMIX-CA-33) inicia, particularmente, con los “Ciclos de Conferencias: Matemati-cas en la Mixteca”. El primero de estos ciclos se realizo en junio de 2013, posteriormente, en2014, 2015 y 2017 se realizaron el segundo, tercer y cuarto ciclo de conferencias, respectivamen-te. Cabe senalar que en un inicio estos eventos estaban dirigidos solo a la comunidad academicade educacion superior y posgrado, sin embargo, en la ultima edicion, es decir, en el “IV Ciclo deConferencias: Matematicas en la Mixteca” se realizaron actividades (conferencias y talleres) queimpactaron a otros niveles educativos: medio superior y nivel basico. Dado el exito e importanciade estos eventos y considerando el impacto que se ha obtenido principalmente en la region mix-teca, en el presente ano se realizara el “V Ciclo de Conferencias: Matematicas en la Mixteca” losdıas 28 y 29 de noviembre en las instalaciones de la UTM.
Mediante la realizacion del “V Ciclo de Conferencias: Matematicas en la Mixteca” se ob-tendran grandes beneficios para la comunidad academica a nivel nacional y, principalmente, a
1
nivel regional y en nuestra Universidad. Ademas, este evento tendra gran impacto en estudiantes yprofesores y directamente a nivel institucional. A continuacion describimos de que manera impactaeste evento en cada uno de estos sectores:
Para nuestros estudiantes:
Contaran con la oportunidad de conocer temas y lıneas de investigacion que se cultivan enotras instituciones.
Daran a conocer, compartiran y retroalimentaran temas de su interes que los propios estu-diantes realicen, ademas pondran en practica sus conocimientos en cuanto a la divulgaciondel conocimiento cientıfico.
Tendran un panorama amplio acerca del area de accion de su carrera y lo que pueden realizaren un futuro.
Conoceran y tendran opciones para realizar estancias de investigacion y practicas profesio-nales.
Identificaran investigadores que trabajen con los temas de su interes e iniciaran vınculos conellos para que en un futuro puedan realizar colaboraciones.
Tendran la oportunidad de impartir algun curso o taller a niveles de educacion medio superiory/o basico; y de esta manera contribuiran a mejorar la educacion de la region.
Para los profesores-investigadores de la UTM:
Contaran con la posibilidad de actualizarse y fortalecerse en los temas y lıneas de investiga-cion en las que esten interesados.
Podran dar a conocer sus conocimientos y fortalecerlos mediante el intercambio de opinionesque se tiene con los profesores-investigadores invitados.
Fomentaran el desarrollo de proyectos en conjunto o convenios a traves de la creacion deredes de colaboracion entre investigadores de las diferentes instituciones participantes en elevento, permitiendo una posible movilidad academica o de investigacion.
Contribuiran en la mejora de la ensenanza de las matematicas, impartiendo algun curso otaller a profesores de nivel medio superior.
A nivel institucional:
Actualizacion de la planta docente y de investigacion.
2
Contribucion en la generacion y mejora de nuevo conocimiento.
Retroalimentar los temas de investigacion y los avances que se tienen en las lıneas de inves-tigacion que cultivan los investigadores de la UTM.
Realizacion de convenios de colaboracion y cooperacion entre grupos de investigacion ocuerpos academicos.
Iniciar proyectos de investigacion de impacto regional, estatal o nacional.
Favorecer la movilidad academica de profesores y estudiantes con otras instituciones.
Complementar la formacion de los estudiantes.
Favorecer y proporcionar un espacio en la region suroeste del paıs, donde participen inves-tigadores de renombre, provenientes de diferentes instituciones a nivel nacional, en los quese tengan intercambio de experiencias, ideas y que ademas se puedan exponer y discutiralgunos problemas que existen en la region.
Es de destacarse que el “V Ciclo de Conferencias: Matematicas en la Mixteca” esta dirigido atodas aquellas personas con formacion academica en matematicas y en areas afines, ademas a losprofesores y estudiantes de educacion media superior, e incluyendo a todos los interesados en lamatematica y sus aplicaciones, todo esto bajo los siguientes objetivos principales:
Divulgar y promover la matematica y sus aplicaciones en todos los niveles educativos antela sociedad en general.
Fortalecer la vinculacion en matematicas y en areas relacionadas entre estudiantes, investi-gadores e instituciones de nuestro paıs.
Crear, conservar y, en su caso, reforzar la vinculacion entre la comunidad academica de laUniversidad con otras instituciones nacionales reconocidas.
Para lograr los objetivos de este evento, las principales actividades que se realizaran el marcodel “V Ciclo de Conferencias: Matematicas en la Mixteca” son las siguientes:
Ponencias de investigacion.
Ponencias de divulgacion.
Realizacion de una feria matematica.
3
Las ponencias que se presentan en el “V Ciclo de Conferencias: Matematicas en la Mixteca”estan enmarcadas en areas de las matematicas tales como:
Topologıa y Sistemas dinamicos
Probabilidad y Estadıstica
Logica matematica
Inteligencia artificial
Aproximacion y Optimizacion
Analisis funcional
Biomatematicas
En esta ocasion contaremos con 21 conferencias, de las cuales 9 seran impartidas por investiga-dores que nos visitan de otras instituciones y 12 por profesores y estudiantes de licenciatura y deposgrado de la UTM.
Es importante mencionar que aun cuando estos ciclos fueron creados a iniciativa de un CA,durante la realizacion de los cuatro ciclos previos, se han incorporado profesores de otros cuerposacademicos, ası como estudiantes, para la organizacion de tales ciclos.
De antemano, agradecemos a los profesores-investigadores invitados, por brindarnos un espa-cio dentro de su apretada agenda y aceptar ser parte de este evento. Esperamos que su estanciasea grata y se lleven buenas impresiones de nuestra institucion y, que en un futuro, nuevamentecontemos con su presencia.
Motivamos a nuestro profesores y estudiantes a que aprovechen la presencia de nuestros invi-tados para crear, o en su caso, fortalecer vınculos.
Agradecemos tambien a todos los que han hecho posible la organizacion de este evento: estu-diantes, profesores, personal administrativo y autoridades de nuestra institucion.
Finalmente, esperamos que durante estos dos dıas tengamos una jornada cuya dinamica secentre en el dialogo, en el intercambio de ideas y experiencias y, ante todo, en intensificar lasinquietudes para continuar con la busqueda del conocimiento matematico.
¡Sean bienvenidos al V Ciclo de Conferencias: Matematicas en la Mixteca!
Dr. Jesus Fernando Tenorio ArvideDr. Franco Barragan Mendoza
4
2 Programa Jueves 28 de NoviembreLugar: PARANINFO
Hora Clave Conferencia Ponente
9:00-10:00 Inauguracion
10:00-10:50 J1 Semanticas algebraicas para logicas pa-raconsistentes
Dra. Veronica Borja Macıas
10:50-11:40 J2 Vinculacion y consultorıa estadıstica Dr. Jose Arturo Montoya Laos
11:40-11:50 Cafe
11:50-12:40 J3 Espacio HK-Sobolev Dr. Tomas Perez Becerra
12:40-13:30 J4 Modelacion matematica en la ecologıa Dr. Jose Geiser Villavicencio Puli-do
13:30-14:00 J5 ¿Como representar funciones en la logi-ca BL⊃?
Daniela Hernandez Grijalva
14:00-16:00 Comida
16:00-16:30 J6 Ajuste de temperaturas maximas en elestado de Oaxaca usando teorıa de va-lores extremos
Jose Luis Contreras Ruız
16:30-17:20 J7 Sobre unas propiedades del punto fijo yuniversalidad de funciones en hiperes-pacios
Dr. Florencio Corona Vazquez
17:20-17:30 Cafe
17:30-18:00 J8 Distribucion espectral de energıa de pa-redes curvas en discos protoplanetarios:Un modelo del sistema estelar LkCa 15
Francisco Rendon
18:00-18:50 J9 Hiperespacios de conjuntos de no corteen continuos
Dr. Javier Sanchez Martınez
19:00-22:00 Brindis de bienvenida
5
Viernes 29 de NoviembreLugar: PARANINFO
Hora Clave Tema Ponente
8:00-08:30 V1 Una excursion sobre Ideales en Latti-ces Vectorial
M.M.M. Jose Luis Carrasco Pacheco
8:30-09:00 V2 Sobre la representacion canonica li-neal a tramos y algunas aplicaciones
MIEC. Vıctor Manuel Tlapa Carrera
9:00-09:50 V3 Contrapunto en anillos no conmutati-vos
Dr. Octavio Alberto Agustın Aquino
9:50-10:40 V4 Aplicaciones de Answer Set Pro-gramming
Dra. Claudia Zepeda Cortes
10:40-10:50 Cafe
10:50-11:40 V5 Relaciones entre algunas logicasmulti-valuadas, sus propiedades basi-cas y aplicacion
Dr. Jose Luis Carballido Carranza
11:40-12:30 V6 Aplicaciones adicionales a la pruebade Q de Cochran
Dra. Marisol Lopez Cerino
12:30-13:20 V7 Por confirmar Dr. Miguel Antonio Jimenez Pozo
13:20-13:50 V8 Caos en producto de funciones M.M.M. Anahı Rojas Carrasco
14:00-16:00 Comida
16:00-16:30 V9 Sobre la separabilidad en algunos hi-perespacios
M.M.M. Victor M. Grijalva Altami-rano
16:30-17:20 V10 Aproximacion de funciones en espa-cios con peso
Dr. Jorge Bustamante Gonzalez
17:20-17:30 Cafe
17:30-18:00 V11 Entropıa: una forma de medir el caos Daniela Isis Flores Silva
18:00-18:50 V12 Identificacion de fuentes y anomalıasen el cerebro a partir del EEG
Dr. Jose Jacobo Oliveros Oliveros
18:50-19:00 Clausura
6
Resumenes
⇥
J1⇤
Semanticas algebraicas para logicas paraconsistentes
Veronica Borja MacıasUniversidad Tecnologica de la Mixteca
Las logicas paraconsistentes son sistemas logicos tolerantes a la inconsistencia, lo que significaque manejan contradicciones de forma diferente a logica clasica. Una logica es paraconsistente sipermite teorıas inconsistentes no triviales, es decir, son aquellas que no satisfacen el principiode explosion. Este principio establece que de una proposicion contradictoria se puede deducircualquier otra, p, ¬p ` q. En la literatura podemos encontrar excelentes trabajos panoramicossobre logicas paraconsistentes, claro ejemplo de ello son un breve artıculo de Priest [3] y un librocompleto de Batens et al. [1].
El principal enfoque que motivo los sistemas paraconsistentes es el de aislar las partes incon-sistentes de la teorıa dada. Pero otro de los objetivos es retener la mayor cantidad de la potenciade la logica clasica como sea posible evitando la explosion cuando exista una contradiccion. Perolograr ambas cosas no es un tarea sencilla y por ello han surgido una gama infinita de sistemasparaconsistentes. El problema que surge al estudiar estas familias desde un punto de vista de teorıade prueba es que en la mayorıa de los casos aquellas pruebas que sirven para demostrar ciertaspropiedades de un sistema pueden ser completamente inutiles para mostrar las propiedades de otropor muy parecido que este sea. Es por ello que tener una semantica que capture la esencia de estaslogicas se vuelve de gran ayuda al momento de estudiarlas no solo de manera individual sino desdeun enfoque universal. Si bien es cierto que existen variados tipos de semanticas para logicas para-consistentes, desde simples matrices multivaluadas, hasta construcciones topologicas complejas;tambien es cierto que existen unas pareja de semanticas que por su versatilidad se han convertidoen las favoritas de la comunidad logica. En este caso se trata de las semanticas algebraicas y lassemanticas tipo Kripke, en un libro sobre paraconsistencia de Odintsov [2] podemos encontrar unclaro ejemplo del uso y versatilidad de estas semanticas. En esta platica nos concentraremos en
7
estudiar unicamente las semanticas algebraicas ya que debido al gran desarrollo del algebra uni-versal muchos de los resultados existentes simplifican la obtencion de resultados importantes en elambito particular de las semanticas.
Referencias[1] Batens, D., Mortensen, C., Priest, G. & Van Bendegem, J. P. (2000). Frontiers of Paracon-
sistent Logic. Baldock: Research Studies Press.[2] Odintsov, S. P. (2008). Constructive Negations and Paraconsistency. London: Springer
Science+Business Media B.V.[3] Priest, G. (2002). Paraconsistent Logic. In Handbook of Philosophical Logic.Vol 6. Bal-
dock: Research Studies Press. 287-393.
⇥
J2⇤
Vinculacion y consultorıa estadıstica
Jose Arturo Montoya LaosUniversidad de Sonora
El objetivo general de esta ponencia es fomentar la generacion e intercambio de conocimientosa traves del analisis de experiencias de vinculacion y consultorıa estadıstica. En particular, sepresentaran diferentes problemas reales de vinculacion y consultorıa que seran examinados juntocon los principales actores de este evento, los estudiantes. La presentacion concluira con algunasreflexiones acerca del quehacer estadıstico.
⇥
J3⇤
Espacio HK-Sobolev
Tomas Perez BecerraUniversidad Tecnologica de la Mixteca
Algunas propiedades del espacio de Sobolev H1, definido como el espacio de funciones decuadrado integrable cuya derivada debil tambien es integrable, son una herramienta que permite
8
garantizar la existencia y unicidad de soluciones debiles de ciertos tipos de ecuaciones diferen-ciales ordinarias. En esta platica mostraremos algunas de estas propiedades si consideramos laintegrabilidad en el sentido de Henstock-Kurzweil.
⇥
J4⇤
Modelacion matematica en la ecologıa
Jose Geiser Villavicencio PulidoUniversidad Autonoma Metropolitana Unidad Lerma
En esta platica se mostraran y discutiran algunos modelos utilizados en la ecologıa matematica.En primer lugar se mostraran modelos de la epidemiologıa matematica, particularmente, se discu-tiran diferencias en las dinamicas de modelos SIR, en los cuales las tasas de infeccion pueden serconstantes o estacionales. En segundo lugar, se mostraran modelos de la ecologıa matematica enlos cuales se excluye la existencia de oscilaciones periodicas en las poblaciones interactuantes. Entercer lugar, se mostrara el efecto de un retardo en modelos matematicos de la ecologıa y de laepidemiologıa. Finalmente, se discutiran los resultados obtenidos en los modelos presentados.
⇥
J5⇤
¿Como representar funciones en la logica BL⊃?
Daniela Hernandez GrijalvaUniversidad Tecnologica de la Mixteca
En 1996 A. Avron y O. Arieli presentan una logica de cuatro valores jun- to con una axiomati-ca. Esta logica se llama BL⊃ y esta definida en terminos de los conectivos ¬, ^, _ y !. En estacharla hablaremos sobre BL⊃, primero mostraremos que esta es una logica paraconsistente ge-nuina ademas de ser paracompleta. Posteriormente mostraremos una metodologıa para representarfunciones arbitrarias en BL⊃, a traves de cuatro funciones identificadoras de sus valores de verdad.
⇥
J6⇤
9
Ajuste de temperaturas maximas en el estado de Oaxaca usando teorıa de valores extremos
Jose Luis Contreras RuızUniversidad Tecnologica de la Mixteca
zero [email protected]
Una de las incognitas que ha causado mayor intriga en diversos campos de estudio, es la pre-diccion de aquellos eventos que, por su magnitud, no suceden con frecuencia y que a su vez tieneun gran impacto en nuestro entorno. La teorıa de valores extremos (TVE) es una rama de la es-tadıstica que se encuentra en continuo crecimiento desde los comienzos del siglo XX. Se encargaprincipalmente de analizar eventos asociados a los valores mas altos y mas bajos de una variablealeatoria. La teorıa tiene aplicaciones en muchas areas, principalmente en las asociadas al medioambiente. En este trabajo se aplica la TVE a datos de temperatura maximas mensuales en algunasestaciones meteorologicas del estado de Oaxaca, se ajusta la distribucion de valores extremos, seestiman sus parametros, ası como algunos niveles de retorno.
⇥
J7⇤
Sobre unas propiedades del punto fijo y universalidad de funciones en hiperespacios
Florencio Corona VazquezUniversidad Autonoma de Chiapas
En el sentido clasico se dice que:• Un espacio X tiene la propiedad del punto fijo (ppf) si para cualquier funcion continua,
f : X ! X , existe un punto p 2 X tal que f(p) = p.• Una funcion continua, f : X ! Y , es universal si para cada funcion continua, g : X ! Y ,
existe un punto p 2 X tal que f(p) = g(p).Es facil ver que un espacio X tiene la ppf si y solo si la funcion identidad es universal.
Dados un continuo X y H(X) un subcontinuo de 2X , decimos que:• X tiene la H(X)-propiedad del punto fijo, si para cada funcion continua, F : X ! H(X),
existe p 2 X tal que p 2 F (p).• X tiene la H(X)-casi propiedad del punto fijo, si para cada funcion continua, G : H(X) !
H(X), existe A 2 H(X) tal que A ⇢ G(A).
10
Note que si H(X) tiene la ppf entonces X tiene la H(X)-cppf.
Decimos que una funcion continua, F : X ! H(Y ), es:• H(Y )-universal si para toda funcion continua, G : X ! H(Y ), existe un punto p 2 X tal
que F (p) ⇢ G(p).• H(Y )-debilmente universal siempre que para cada funcion continua, G : X ! H(Y ), existe
un punto p 2 X tal que F (p) \G(p) 6= ;.Es claro que cada funcion H(Y )-universal es H(Y )-debilmente universal.
En esta platica se presentan algunos resultados sobre estos conceptos y se plantean algunaspreguntas abiertas que pudieran ser de interes al respetable.
⇥
J8⇤
Distribucion espectral de energıa de paredes curvas en discos protoplanetarios: Un modelodel sistema estelar LkCa 15
Francisco RendonUniversidad del Papaloapan, Campus Loma Bonita
Los sistemas estelares jovenes estan constituidos principalmente por una protoestrella y undisco circumestelar de gas y polvo, en diferentes composiciones fısico-quımicas. Las medicionesobservcionales, realizadas por telescopios como Spitzer o ALMA, han detectado en los discos lapresencia de brechas o agujeros que practicamente carecen de polvo. Estas cavidades pueden, entreotros, ser el resultado del proceso de formacion planetaria. Las cavidades estan delimitadas por unapared, que se entiende como el lımite entre la cavidad y el disco externo. Esta pared juega un papelmuy importante en los modelos de discos, ya que parte de la radiacion emitida por el sistema yque se ve reflejada en la distribucion espectral de energıa (SED, por sus siglas en ingles) provienede ella. En el modelo de disco del sistema estelar LkCa 15 se encontro que la pared esta curvadadebido a la presencia de un planeta en formacion, a diferencia de otros modelos de discos dondepor simplicidad numerica se asume que la pared es vertical, hecho que no va en concordancia conla fısica estelar. Sin embargo, la SED sintetica, que se obtuvo en funcion de la pared curva, no lograexplicar el pico de silicatos que se observa a 10 micras en una medicion realizada por el Spitzer.Lo que implica la existencia de material opticamente delgado dentro de la cavidad.
11
⇥
J9⇤
Hiperespacios de conjuntos de no corte en continuos
Javier Sanchez MartınezUniversidad Autonoma de Chiapas
Un continuo es un espacio metrico, comacto, conexo y con mas de un punto. El objetivo dela platica es mostrar caracterizaciones de algunas clases de continuos, a traves de propiedades dealgunas familias de subconjuntos cerrados de complemento conexo de estos. Los resultados quese mostraran, generalizan dos de los teoremas clasicos de la teorıa de continuos, el primero queestablece que un continuo X es una curva cerrada simple si y solo si para cada par de puntosdistintos x, y 2 X se cumple que X − {x, y} no es conexo y el segundo que garantiza que todocontinuo tiene al menos dos puntos de complemento conexo.
⇥
V1⇤
Una excursion sobre Ideales en Lattices Vectorial
Jose Luis Carrasco PachecoUniversidad Tecnologica de la Mixteca
Las Lattices Vectoriales son estructuras algebraicas, que se interrelacionan con un orden parcialdonde existen elementos maximos y mınimos en un espacio vectorial real o complejo, dentro delestudio de las Lattices Vectoriales se caracterizan y se estudian los solidos, ideales y bandas queson importantes es esta area del Analisis Funcional, solo abordaremos algunos conceptos basicosque permitan entender los conceptos antes mencionados y daremos algunos ejemplos importantes.
⇥
V2⇤
Sobre la representacion canonica lineal a tramos y algunas aplicaciones
Vıctor Manuel Tlapa CarreraUniversidad Tecnologica de la Mixteca
12
Una forma compacta de representar funciones lineales a tramos (PWL por sus siglas en ingles),usando un mınimo de parametros, es conocida como representacion canonica (CPWL), esta con-siste en la suma de una funcion afın mas una combinacion pesada de distancias a los hiperplanosque determinan la particion del dominio. Desafortunadamente la existencia de esta representacionesta condicionada por la configuracion de dicha particion. Para superar esta problematica, la repre-sentacion CPWL evoluciono a una combinacion de funciones de valor absolutas anidadas, a esteesquema se le llama canonico lineal a tramos de alto nivel (HL-CPWL). Este esquema nace de lanecesidad de modelar y analizar sistemas no lineales en el area de la electronica, sin embargo, enlos ultimos anos ha sido utilizado eficientemente en diversas areas de la ingenierıa.
⇥
V3⇤
Contrapunto en anillos no conmutativos
Octavio Alberto Agustın AquinoUniversidad Tecnologica de Mixteca
En una colaboracion reciente con J. S. Arias, se verifico que el pequeno teorema de contrapuntoes valido para anillos no conmutativos; la busqueda de tal resultado proviene de tratar de darsignificado a los intervalos de contrapunto como gestos. Sin embargo, el calculo de dicotomıasfuertes en este contexto hace mandatorio el uso de la computadora. Mostraremos algunos avancesal respecto.
⇥
V4⇤
Aplicaciones de Answer Set Programming
Claudia Zepeda CortesBenemerita Universidad Autonoma de Puebla
Answer Set Programing es un lenguaje declarativo de programacion logica para la representa-cion del conocimiento, desarrollado por M. Gelfond y V. Lifschitz en 1988. Tiene bases teoricassolidas basadas en ideas de varias areas de Inteligencia Artificial y Logica Matematica. En estacharla presentare algunas de las aplicaciones para las cuales he utilizado este lenguaje tales comoplanificacion o actualizacion.
13
⇥
V5⇤
Relaciones entre algunas logicas multi-valuadas, sus propiedades basicas y aplicaciones
Jose Luis Carballido CarranzaBenemerita Universidad Autonoma de Puebla
En esta platica presentaremos las logicas tri-valuadas G3, G03 y L3 de Lukeziewicz, ası comouna logica de 4 valores. Veremos la motivacion para estudiar estos objetos y como se relacionanunas con otras. Hablaremos del concepto de paraconsistencia y su relacion con semanticas deprogramacion logica. Presentaremos varias preguntas comunes que se presentan como objeto deinvestigacion cuando uno se encuentra con una nueva logica.
⇥
V6⇤
Aplicaciones adicionales a la prueba de Q de Cochran
Marisol Lopez CerinoUniversidad Tecnologica de la Mixteca
Las pruebas no parametricas o de distribucion libre no estan sometidas a ciertos supuestos queson comunes en la pruebas parametricas, estos supuestos se refieren a la distribucion que presentala variable de la poblacion. Por otra parte son esencialmente utiles ante tamanos de muestras redu-cidos, en los casos en que la variable que nos interese este medida en escala ordinal. Es por elloque en este trabajo se describe la prueba de McNemar para muestras apareadas y posteriormentela prueba Q como una generalizacion.
14
⇥
V7⇤
Por confirmar
Miguel Antonio Jimenez PozoBenemerita Universidad Autonoma de Puebla
Pendiente.⇥
V8⇤
Caos en producto de funciones
Anahı Rojas CarrascoUniversidad Tecnologica de la Mixteca
Sean X un espacio metrico y f : X ! X una funcion. Se dice que f es:1. Sensible a las condiciones iniciales si existe ✏ > 0 tal que, para cada x 2 X y para cualquier
abierto U de X tal que x 2 U , existe x0 2 U y n 2 N tal que d(fn(x), fn(x0)) > ✏.2. Transitiva si para cada par de subconjuntos abiertos no vacıos U y V de X , existe n 2 N tal
que fn(U) \ V 6= ;.3. Caotica si f es sensible a las condiciones iniciales, transitiva y el conjunto de puntos pe-
riodicos de f es denso en X .Sean Y un espacio metrico y g : Y ! Y una funcion no necesariamente continua. Si f y g
son caoticas, es natural preguntarse si la funcion producto f ⇥ g : X ⇥ Y ! X ⇥ Y , dada por(f ⇥ g)((x, y)) = (f(x), g(y)), para cada (x, y) 2 X ⇥Y , es tambien una funcion caotica. En estaplatica se mostrara un ejemplo de funciones caoticas f y g para las cuales se tiene que la funcionproducto f ⇥ g no es caotica. Ademas se daran condiciones suficientes para que la funcion f ⇥ g
sea caotica.
⇥
V9⇤
Sobre la separabilidad en algunos hiperespacios
15
Victor Manuel Grijalva AltamiranoUniversidad del Papaloapan, Campus Loma Bonita
Sean X un espacio metrico y n 2 N. Definimos:
1. CB(X) = {A ⇢ X : A 6= ;, A acotado y A es cerrado en X},
2. 2X = {A ⇢ X : A 6= ; y A compacto },
3. Fn(X) = {A ⇢ X : A 6= ; y A tiene a lo mas n elementos},
4. F(X) =S{Fn(X) : n 2 N}.
Estos conjuntos se les conoce como hiperespacios de X , considerados con la metrica de Haus-dorff.En esta platica veremos condiciones necesarias y suficientes para la separabilidad de los hiperes-pacios CB(X), Fn(X) y F(X).
⇥
V10⇤
Aproximacion de funciones en espacios con peso
Jorge Bustamante GonzalezBenemerita Universidad Autonoma de Puebla
Se presentan algunos resultados sobre la aproximacion mediante operadores de Baskakov y deSzasz-Mirakyan en espacios con pesos de Jacobi. Ademas se introducen unos operadores del tipoKantorovich que reproducen a las funciones afines.
⇥
V11⇤
Entropıa: una forma de medir el caos
Daniela Isis Flores SilvaUniversidad Tecnologica de la Mixteca
16
Llamamos sistema dinamico discreto a la pareja (X, f), donde X es un espacio metrico com-pacto y f : X ! X es una funcion continua. La entropıa topologica, de manera intuitiva es unnumero real no negativo que mide la complejidad de un sistema dinamico y representa la tasa decrecimiento exponencial del numero de orbitas “distinguibles” a medida que avanza el tiempo. Laentropıa topologica se define mediante cubiertas abiertas. Otra forma de medir el comportamientoen un sistema dinamico es mediante la entropıa metrica, la cual se define de manera similar a la en-tropıa topologica, considerando particiones medibles en lugar de cubiertas abiertas. En esta charlahablaremos del Principio Variacional, el cual da una relacion precisa entre la entropıa metrica y laentropıa topologica. Analizaremos algunas nociones de teorıa del caos relacionadas con la entropıay, ademas, mostraremos como mediante el Principio Variacional se puede verificar que la entropıatopologica positiva de un sistema, implica que el sistema sea caotico en el sentido Li-Yorke.
⇥
V12⇤
Identificacion de fuentes y anomalias en el cerebro a partir del EEG
Jose Jacobo Oliveros OliverosBenemerita Universidad Autonoma de Puebla
En esta platica se presentan los elementos basicos que permiten modelar a los problemas deidentificacion de fuentes y anomalias a partir del EEG medido sobre el cuero cabelludo. Las co-rrelaciones entre las fuentes y anomalıas se establecen a traves de problemas de valores en lafrontera los cuales se deducen de la aproximacion cuasiestatica de las ecuaciones de Maxwell, delas propiedades conductoras del cerebro y de la zona que esta ocupada por la anomalıa. A partirde los problemas de contorno, se proponen algoritmos estables para identificar a las fuentes. Adi-cionalmente, se ha desarrollado una interfaz para el filtrado de las senales electroencefalograficas.Se platicara sobre su estado actual y los trabajos futuros, en particular, la implementacion de losalgoritmos de identificacion.
17
Indice alfabetico
Octavio Alberto Agustın Aquino, 13Veronica Borja Macıas, 7Jorge Bustamante Gonzalez, 16Jose Luis Carballido Carranza, 14Jose Luis Carrasco Pacheco, 12Jose Luis Contreras Ruız, 10Florencio Corona Vazquez, 10Daniela Isis Flores Silva, 16Vıctor M. Grijalva Altamirano, 16Daniela Hernandez Grijalva, 9Miguel Antonio Jimenez Pozo, 15Marisol Lopez Cerino, 14Jose Arturo Montoya Laos, 8Jose Jacobo Oliveros Oliveros, 17Tomas Perez Becerra, 8Francisco Rendon, 11Anahı Rojas Carrasco, 15Javier Sanchez Martınez, 12Vıctor Manuel Tlapa Carrera, 12Jose Geiser Villavicencio Pulido, 9Claudia Zepeda Cortes, 13
19