2014/04/20

Drupal vs WordPress

Después de probar con Drupal, darle click por aquí, por allá, leer (sólo un poquitín, las exigencias y el limitado tiempo no me permiten meterme más en el asunto), de tratar con WordPress, creo que me quedo (por el momento) con este último. Aunque en general he leído que Drupal es hecho por programadores para programadores, y también (opino) que es cierto que su interfaz de administración y estructura es un poco menos "amigable" que WordPress, como que me costó trabajo "agarrarle" a Drupal (de hecho, no terminé por entenderle al 100%), a diferencia de WordPress, cuya interfaz me agradó más. Ahora bien, no creo que las cosas sean como leí: que en Drupal es más fácil hacer "adecuaciones" al proyecto, ya que está hecho por programadores para programadores; creo que si eres programador(a) también podrás hacerlo con WordPress, ya que, en teoría tienes los conocimientos y habilidades para "meterle mano" al código y lograr lo que quieras.

Digo, esa es mi opinión, espero en un futuro (no muy lejano) tenga oportunidad de interactuar más con Drupal, al menos la misma cantidad con la que interactué con WordPress.

Mientras tanto, les presento mi nuevo "hijito" que he desarrollado empleando WordPress: http://www.cisai.com.mx.

2012/06/18

Groovy, mis primeras impresiones


Mmm. . . después de varias horas probando con Groovy mis primeras impresiones (comparándolo con Java):
  1. Write less, do more? (Para los que no sabemos inglés: Escribe menos, haz más). ¡Sí! Efectivamente, en comparación con Java puede ahorrar más líneas de código para desarrollar un programa.
  2. Respecto a sintaxis no me agrada el hecho que se pueda obviar el punto y coma - ; - como fin de linea.
  3. El hecho de que sea "flexible" permite, al igual que en PHP, tener objetos sin tipo. Dicho de otra manera, no es un lenguaje fuertemente tipado. Claro que, al igual que en PHP y sobre todo con ZF, puede indicar la clase a la que pertenece cada objeto
  4. ¿Qué hay del performance? El hecho que sea un lenguaje dinámico para JVM parece hacer más lenta la ejecución de un programa.

Por el momento son mis primeras impresiones de Groovy vs Java. De lo arriba listado, el que parece introducir mucho miedo en la comunidad de desarrolladores es el performance Groovy vs Java, así que cuidado al emplear Groovy. Ciertamente reduce el tiempo de desarrollo, pero si su aplicación tardará en ejecutarse hay que evaluar a qué costo. . .

Mientras tanto seguiré probando de vez en cuando a Groovy, hasta que me familiarice más y entonces saltaré a Grails.

2012/01/02

XJML 1.0 lanzado/XJML 1.0 released

Español


¡Hola a todos! Primero que nada, ¡les deseo un Feliz Año Nuevo 2012! Ahora bien, es un placer para mí, y estoy muy feliz de presentarles el primer lanzamiento de XJML, es decir XJML 1.0. XJML es la arquitectura de Verificación y Validación resultante de mi tesis de maestría titulada "Verificación y validación modular externa de Sistemas Orientados a Objetos empleando Diseño por Contrato".


La X en XJML es por XML (es decir, podemos escribir contratos para las clases Java que deseemos verificar) y la JML es el acrónimo para Java Modeling Language, el lenguaje subyacente y soportado por XJML.


¡Pero basta de hablar! Puede acceder todos los recursos de XJML (código fuente, librerías, documentación, tesis, etc.) a través de SourceForge: https://sourceforge.net/p/xjml/.


Los desarrolladores que deseen contribuir con el proyecto XJML pueden acceder a través de SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/


Por último, pero no menos importante, puede encontrar en https://sourceforge.net/p/xjml/tickets/ algunas tareas con las que nos puede ayudar a mejorar XJML.


Esperamos sus opiniones sobre el proyecto, aportaciones, dudas, comentarios, críticas constructivas, todo aquello que persiga el objetivo de aportar conocimiento en esta área nos será valioso.


English


Hi everybody! First at all, I wish you a Happy New Year 2012! Now, is a pleasure for me, and I'm so glad to introduce you the first release of XJML, I mean XJML 1.0. XJML is the Verification and Validation architecture resulting from my master thesis called "Verification and validation modular external for Object Oriented Systems using Design By Contract".


The X in XJML is for XML (so, we can write contracts for the Java classes which want to verify) and the JML is the acronym for Java Modeling Language, the underlying language and supported by XJML.


Enough talk! You can access all the XJML resources (source code, libraries, documentation, thesis, etc.) through SourceForge: https://sourceforge.net/p/xjml/.


The developers who want contribute with the XJML project can access through SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/


Last but not least, you can find in https://sourceforge.net/p/xjml/tickets/ tickets describing some tasks where you can help us to improve XJML.


We welcome your views on the project, contributions, questions, comments, constructive criticism, all that work towards the goal of providing knowledge in this area it will be valuable.

2011/11/15

The way of the master...

Español


El título de este post es en honor a mi colega y amigo Genaro Alfonso, quien me imagino que usó tal título para su blogger haciendo alusión al camino del maestro, este camino que iniciamos de la Maestría en Sistemas Computacionales, en nuestra orgullosa y siempre amada División Académica de Informática y Sistemas, de la Universidad Juárez Autónoma de Tabasco. . .


Pero bueno, sin más, comparto un poco con ustedes (si es que hay alguien que me lee) sobre el área en la que estoy investigando. Mi tesis lleva por nombre "Verificación y validación modular externa de sistemas orientados a objetos empleando Diseño por Contrato. Caso: Comsión Estatal de Derechos Humanos" y claro, el área es Verificación y validación de sistemas, de la especialidad Ingeniería de Software.


En posteriores entradas les platicaré un poco más sobre lo que estoy proponiendo pues no me gustaría adelantar nada hasta no tener TODO lo más estable posible, de manera que no se "muevan" los componentes que estoy desarrollando y la propuesta y resultados están acordes con mis objetivos de investigación. Sólo compartiré un breve contexto de qué estoy usando y les platicaré un poco sobre la parte experimental y algunos conceptos del área de V&V.


Estoy trabajando con JML, acrónimo de Java Modeling Language el cual es un lenguaje para la especificación de interfaces de comportamiento que puede ser usado para especificar el comportamiento de módulos Java. Combina la técnica de Diseño por Contrato del lenguaje Eiffel y la especificación basada en modelos de la familia de lenguajes de especificación Larch, con algunos elementos del cálculo de refinamiento.


Hasta el momento llevo 80 experimentos realizados, de los cuales:


  • 40 sirvieron para evaluar resultados de la técnica de verificación conocida como Runtime Assertion Checking (RAC).

    RAC es una técnica basada en compilación para traducir especificaciones a bytecode de verificación en tiempo de ejecución. A diferencia de los verificadores estáticos (descritos en el siguiente párrafo) los cuales verifican propiedades del programa en tiempo de compilación, JML RAC permite la verificación dinámica mediante la generación de bytecode que verifica que las especificaciones se cumplan durante la ejecución del programa. En el momento en el que una aserción falle, el código generado por JML RAC genera un error en tiempo de ejecución.

    En pocas palabras, RAC verifica código en tiempo de ejecución, requiriendo así un punto de ejecución del programa a verificar. Por ejemplo, en una clase Java, tradicionalmente el método public static void main(String[]).

  • 40 fueron utilizados para estudiar el comportamiento y resultados de la técnica de verificación conocida como Extended Static Checking (ESC).

    ESC se encarga de la verificación estática en tiempo de compilación de las aserciones expresadas en XJML. Una diferencia significativa entre ESC/Java y RAC, es que el primero verifica la clase sin requerir un punto de ejecución como sucede con RAC.


  • 40 se usarán en el estudio de Full Static Program Verification (FSPV).

    FSPV es una técnica de verificación que al igual que ESC emplea verificador de teoremas (theorem prover). ESC emplea, de manera predeterminada Simplify, mientras que FSPV a través de Proof General Kit usa Isabelle/HOL. FSPV es similar en comportamiento a ESC, en el sentido de no requerir un punto de ejecución, vaya, es también una verificación estática, que sin embargo detecta más errores en los módulos de un sistema (ver imagen).

Y bla, bla, bla. . . En próximas entradas, primeramente Dios (jajaja, el otro día estaba pensando: "se supone que soy Agnóstico y sin embargo, creo en Dios, pero bueno, religión X, política X") espero poder compartirles más sobre esto, si es que a alguien le interesa :)


Have a good day. 04:17:10 AM, Martes 15, noviembre 2011 CST.

2011/08/12

¿En serio?/Really?

Español


El día de hoy encontré un blog interesante, el blog de Tecnología de Bertrand Meyer y me agrada mucho lo que he leído en sus dos primeros posts: "Nastiness in computer science" y en "All Bugs Great and Small".


Me recuerdan una entrevista que me hicieron hace como dos años y medio donde por supuesto escuché algo así como: "no escuché nada que me sorprenda" y la incompetencia y arrogancia de algunos quienes estamos en ésta disciplina.


Y finalmente, es agradable saber de las experiencias de otros, y en este contexto no me quedó nada más que reírme de sorpresa al leer las razones por las cuales se rechazó un artículo, por allá en 1987 cuando el comité revisor se basó en dos puntos fuertes para su rechazo:


  • Pienso que el tiempo le demostrará que la herencia (sección 1.5.3) es una terrible idea.

  • Los sistemas que hacen recolección automática de basura (garbage collection) y le evitan así al diseñador de realizar esto, no son buenos sistemas que refuercen industrialmente la ingeniería de software.

Esto me da un poco más de tranquilidad, el saber que no nada más yo he pasado por fuertes críticas. Críticas que muchas veces son duras y más si vienen de una figura muy respetada e imagen exterior de alguna organización, que cuando nos da su punto de vista sobre nuestras ideas parece ser que nos dejan en la lona, después de todo es agradable imaginar que el paso del tiempo les dejará ver que él/ella estaba equivocado y que aquella persona de la que dudaron, después de todo tenía razón.


¿Hacía dónde vamos en nuestra disciplina de estudio?


PD = Pendiente traducción al inglés/English translation pending

2010/11/14

IBM to join OpenJDK

"There’s not a moment to lose!", the words which said Mark Reinhold in his blog. So, here is the note, taked from
http://blogs.sun.com/mr/entry/ibm_to_join_openjdk

"I’m very pleased that IBM and Oracle are going to work more closely together, and that we’re going to do so in the OpenJDK Community. IBM engineers will soon be working directly alongside Oracle engineers, as well as many other contributors, on the Java SE Platform reference implementation—starting with JDK 7.

I expect IBM’s engineers to contribute primarily to the class libraries, working with the rest of us toward a common source base for use atop multiple Java virtual machines. We each have significant ongoing investments in our respective JVMs; that’s where most of the enterprise-level feature differentiation between our respective products is found, and it makes sense for that to continue. Focusing our efforts on a single source base for the class libraries will accelerate the overall rate of innovation in the JDK, improve quality and performance, and enhance compatibility across all implementations.

Our tighter collaboration will be evident not just in OpenJDK but also in the Java Community Process. IBM has endorsed Oracle’s proposal for Java SE 7 and Java SE 8, which already has strong support from across the community. We’ll also join forces to enhance the Java Community Process so that it remains the primary standards body for Java specifications.

This is excellent news, for the Java SE Platform and for OpenJDK. I’ve gotten to know many of IBM’s top Java engineers over the years, and I now look forward to working more closely with them." - Mark Reinhold

2010/11/03

Una entrevista

Hace unos días, alguien me hizo unas preguntas sobre el proceso de desarrollo de un software. En este contexto, hubo una pregunta que me llamó la atención, fue esta: ¿hay algún cambio después o durante la fase de desarrollo? (Creo que la pregunta se refiere sobre un cambio en las fases de análisis y/o diseño cuando estamos en la etapa de desarrollo, entonces, la pregunta sería más precisa de la siguiente manera: ¿durante la etapa de desarrollo, puede haber algún cambio o modificación en los productos generados en las etapas de análisis y/o diseño?)


En mi humilde opinión, DESPUéS de la fase de desarrollo no debería existir ningún cambio, dado que lo siguiente a realizar es la fase de despliegue (deployment), y esta fase nos conduce a un ambiente de producción, donde el cliente puede probar y trabajar con el producto. Pero, ¿qué hay sobre algún cambio DURANTE la fase de desarrollo? He aquí mi opinión:


El desarrollo de un producto de software NO DEBE verse por etapas excluyentes, por ello la relevancia e importancia de las metodologías iterativas. Es decir, en la etapa o fase de desarrollo puede existir la necesidad de iterar hacia la etapa de análisis y/o diseño a fin de atender nuevas problemáticas durante el desarrollo del sistema.


En lo personal, no creo en un análisis y diseño perfecto, y esto es una crítica respecto a la ingeniería de software en comparación con otras ingenierías. Es decir, es muy probable que en casi todos los proyectos de software surjan cambios a medida que se avanza. No obstante, no todo está perdido. Si se sincronizan diagramas con código se puede obtener una conversión fiel de los diagramas a código, y si es necesario realizar algunas modificaciones a nivel lógico (programación) la sincronización realizada nos conducirá a la representación fiel del código a diagramas. En resumen, me refiero al Desarrollo Conducido por Modelos y la Ingeniería Inversa. Espero poder platicarle un poco más sobre estos temas en los próximos posts.

An advice/Un consejo

English


In response to a comment from my colleague and friend, Jose Alberto L. Hdez. I will try to post in both language: spanish and english. But there is a "little" problem (yes, sure, there isn't little problems, I'm being sarcastic): the time, I don't have too much time to post in both language, so if anyone of my collaborators can help me, I will be very happy, and, in soon (I pray to God, life and work give me time) I will make this bigger (migrate the blog, make a forum, and other things), so I look forward to your support, is nice to think that I have at least two or three followers.

But, anyway, whatever, in the next post I will translate my previous post.

Thanks Bob for your advice!

Español


En respuesta a un comentario de un colega y amigo, Jose Alberto L. Hdez. trataré de postear en ambos idiomas: español e inglés. Pero hay un problema “pequeño” (sí, claro, no existen los problemas pequeños, estoy siendo sarcástico): el tiempo, no tengo mucho tiempo para postear en ambos idiomas, así que si alguno de mis colaboradores puede ayudarme, seré muy feliz, y, próximamente (ruego a Dios, la vida y el trabajo me den tiempo) haré esto más grande (migraré el blog, abriré un foro, y otras cosas), así que busco su ayuda y colaboración, es agradable pensar que al menos tengo 2 ó 3 seguidores.

Como sea, en el siguiente post traduciré mi post anterior.

¡Gracias Beto por el consejo!

An interview

A few days ago someone made me some questions about the software developmente process. In this context, there was a question that caught my attention, was this: is there any change after or during the development phase? (I think that question it points to the phases of analysis and design, then, the question will be more precise in this way: Is there any change for the artifacts built in the analysis/design phase, DURING the development phase?)

In my personal, and self-effacing opinion, AFTER the development phase should not exist any change, because the next thing to do is the deployment phase, and this deployment phase drives us to an production enviroment, where the client can try and work with the product. But, what about DURING the development phase? Here is my thought:

The software development process SHOULD NOT BE like disjoint phases, this is the reason and the main stream in the iteratives approaches/methodologies. I mean, in the development stage/phase we can need iterate to analysis or design stage/phase to address new issues during system development.

Personally, I don't believe in the perfect analysis and design for a software, and this is one of the weakest (perhaps the weaker) point of software engineering. Then, is highly probable that, in almost all software projects we require any change as we progress...

But not everything is a waste of time: synchronizing our diagrams to code we can have a faithfull translation from diagrams to code, and if we require, then make any change in the logic (code) and build again our diagrams. Summarizing, I'm talking about Model Driven Development and Reverse Engineering. I hope I can talk you a little about these topics in the next posts.

What do you think? Any comment would be apreciated. Doubts? Questions?

2010/10/16

Acknowledgments (part II)

Of course my acknowledgments goes too for:



who guide me and and answered my e-mails, my doubts. Thank you so much for your exceptional help, your advices. This has been a great/wonderful experience!


I want to make it clear some things, mainly this: the order in which the names appear is none a rating/classification criteria or to decide who is more important, due to everyone is important and their help, advices, guides too. Coming soon I'll post the advices from Yessenov and Dennis.

Acknowledgments (part I)

Hereby I want to extend my acknowledgments to profesor Homero Alpuín Jiménez, who support me, guide me, teach me in my master thesis (and too in my master classes). His last contribution was a guide for the mathematical formulations for linked lists, he told me: the linked list's mathematical logic presumably can be derived from the operations push, pop for the stack data structure (finally, it seems a linked list is an stack implementation, something like that -please, somebody correct me if I wrong-).


Really I'm not working with that, is not a goal for my thesis, but is an advice from my profesor of Proyecto Terminal - Terminal Project (I mean the class for the thesis). the Dr. María del Pilar Pozos Parra. So, it's only a little bite of my life!! : s

2010/09/25

Mathematical formulations for linked lists

Hello to everybody! I'm working with my master thesis based on verification and validation external using Design By Contract for Java. Specifically checking JML specifications, so I have one question about JML specifications, any help would be appreciated.


Question


For the case of LinkedList's JML specifications, Does anyone know where can I get the mathematical expressions for these specifications? I've really looked in (just are some, of course I google it!):


Specifically looking the mathematical expressions for the methods (e.g. add(int, Object), Object get(int), etc.). I understand that the specifications really are written in JML, but someone wants the specification in mathematical expressions, the arguments are that "mathematical expressions aren't ambiguos" and then can be prove them by formal methods.

2010/09/12

Changing my posts to english

I'm considering change my posts (and my tweets too) to english. Some reasons to do this are:


  • Open my scope (people from anywhere can read and understand my posts, not only lationamerica)
  • The lack of comments to my posts (maybe the main reason is the previous one)
  • Doing this, change the idiom for my posts, I can practice the writing for my article that I have to write to get my master

If anyone has any comment, please write it. Any doubts, or advices will be wellcome.

2010/08/04

Apache HTTP Server + Glassfish Open Source Edition v3, vía AJP

Sí, sé que hay mucha información en San Google, pero resulta que TODOS los foros, blogs, manuales y demás que seguí decían práticamente lo mismo para realizar tal configuración, no obstante seguí las instrucciones, las repasé una y otra vez y ¡nada!


Bueno, sin postear TODO el proceso (pues prácticamente pueden encontrarlo de manera bastante fácil, sólo usen Google o su buscador favorito) sólo les comento y les aconsejo que cuando vean que algo no les da el resultado que desean (en mi caso con el Glassfish, y en general, me imagino que aplica para cualquier servidor), lo que debería ser y después claro de haber repasado una y otra y otra y otra vez, entonces, MODIFIQUEN MANUALMENTE EL ARCHIVO DE CONFIGURACIÓN para agregar las líneas necesarias y NO SE CONFIEN TANTO DE LA INTERFAZ GRÁFICA del servidor (si es que lo hay a disposición), en mi caso fue el Glassfish: prácticamente tuve que re-escribir unas líneas que ya había en ${GLASSFISH_HOME}/domains/domain1/config.xml referente a lo de habilitar el puerto 8009 (AJP) para Glassfish.


En fin, espero algún día poder detallar el proceso completo y cuál exactamente fue el error y cómo lo resolví. Mientras tanto tomen mi consejo pues muchas veces (más bien TODAS las veces) tendremos que lidiar con los interiores de los gigantes para poder entenderlos, mientras tanto, sólo conocemos su exterior que no siempre es la puerta correcta para hacer las cosas.

Por cierto...

, el título de mi entrada anterior se debe a que he tenido abandonado mi blog y pues quiero volver a postear cosas "nuevas". Por ahí tengo varios "ensayos" realizados en una materia de maestría que me gustaría postear. Pero bueno, si hay alguien que me lee, podrá darse cuenta por mi entrada anterior que estoy limitado de tiempo, con varios problemillas por resolver tanto de la aplicación Web que estamos desarrollando en DAIS como con mi tesis de maestría que con cualquiera de esos dos tengo para entretenerme durante los próximos seis meses…


Pero bueno, ya veremos dijo un ciego, sólo no quiero dejar tan "empolvado" mi blog y que no sea tan visible mi ausencia (digo, por si alguien me lee y nota mi ausencia).


Por mí encantado de postear mis experiencias respecto al desarrollo de apps, configuración de servers, etc., pero poco a poco primero Dios, conforme me vaya liberando un poco más. Tengo ganas de compartir con ustedes cómo resolví algunos problemas sobre TI, como el último que logré vencer: Apache HTTP Server + Glassfish Open Source Edition v3, vía AJP (ver siguiente entrada) por mencionar uno de tantos (y qué tal los conflictos que da VirtualBox cuando sólo se copia y se pega una máquina virtual Debian), en fin, son muchas las cosas que deseo compartir pero poco a poco, conforme me vaya(n) liberando de chamba.

Queriendo regresar por estos rumbos...

Bueno, también está en mi twitter pero replico aquí para su mejor lectura…


Miércoles 04-Agosto.2010; 3:56 AM: Ja! Se supone que debo de estar buscando la solución al problema que no se "actualiza" la CSS con JSF desde NetBeans desplegado en Glassfish Open Source Edition. Ah, y claro, es JSF + Primefaces 2.0.0 (sí, ya sé, ya está la versión 2.1 de Primefaces pero nada más no me cuadra porque cambió el estilo del menú de REGSE-CEDHTab); eliminé el div que mostraba el banner de la DAIS-UJAT de manera que sólo quedó el de la CEDH (Tabasco) y actualicé la CSS donde actualizó el nuevo banner de la app (el que me pasó el mtro. Chávez).


Al parecer TODO es rollo de una especie de caché que maneja el Glassfish y no "encuentra" la nueva imagen! O parece que primero debe cargarse el servlet de recursos de Primefaces y luego el Faces Servlet! Aún no lo he descubierto, pero cuando lo haga, se los hago saber (por si a algún loco desvelado como yo le interesa) y a eso súmenle que aún no he resuelto el problema de mi tesis de maestría donde no hayo cómo heredar las especificaciones de las LinkedListen JML, para que pueda probar distintas implementaciones de LinkedList que es uno de los objetivos de mi tesis para poder así comparar mis resultados con los resultado de Dennis et al. (http://bit.ly/ayOAIV) que es otro de mis objetivos.


Claro, yo manejo otra técnica que la llamo "Verificación Modular Externa", en fin, muchos problemas por resolver, como casi siempre, ya una costumbre! (A veces desearía tener menos problemas de éstos tipos y más problemas existenciales... digo, al menos los problemas existenciales de amor, la vida, la muerte, el dolor, etc., etc. no me quitarían tanto el sueño y me...) permitirían llegar temprano a la universidad. ¡Pero no! Bendito Glassfish, JSF, LinkedList, JML, commons-collections, NetBeans... y agréguenle que quiero entrarle a la onda de Ruby, Flex, ah! Y para no desviarme tanto en lo que estoy, algo de JSF: Spring Faces…


En fin con el Internet y quién sabe cómo o qué era lo que estaba buscando (ah sí, un amig@ me envió una invitación para eso de sexy sí o no, o... ¡algo así!) y buscando qué onda, me topé con un par de sitios donde replantean algunas cosas publicadas en dicho sitio de sexyono (!?)Sin más les dejo el link y les recomiendo el blog. ¡Jajajaja! Falso Profeta, un humor más verde/ácido y menos amarillo diría un spot publicitario Ahí les van varios links que les pueden agradar....


http://falsoprofeta.blogspot.com/2010/06/sexy-o-no-7.html


O qué tal este:
http://falsoprofeta.blogspot.com/2010/04/narcos-sin-r-parte-1.html


Uno más: http://falsoprofeta.blogspot.com/2008/09/maana-ahora-s-ahora-s.html


Y para cerrar con broche de oro: http://falsoprofeta.blogspot.com/2008/10/se-descompuso-mi-televisor-y-no-puedo.html


¡En fin! Espero no me llamen la atención mis maestros de DAIS por haberme dado un rato de ocio y tonterías. Regreso con mis problemas...

2010/03/08

México, ¿atacado por un terremoto?*

Prensa Web RNV/Aporrea.- Un reporte preparado por la Flota Rusa del Norte estaría indicando que el sismo que ha devastado a Haití fue el claro resultado de una prueba de la Marina Estadounidense por medio de una de sus "armas de terremotos".


La Flota del Norte ha estado monitoreando los movimientos y las actividades navales Estadounidenses en el Caribe desde 2008 cuando los estadounidenses anunciaron su intención de restablecer la Cuarta Flota que había sido disuelta en 1950, a lo que Rusia respondió un año después con una flota Rusa encabezada por el crucero nuclear "Pedro el Grande", comenzando sus primeros ejercicios en esta región desde finales de la Guerra Fría.


Desde finales de la década de 1970, los Estados Unidos han "avanzado enormemente" el estado de sus armas de terremotos y, según estos informes, ahora emplea dispositivos que usan una tecnología de Pulso, Plasma y Sónico Electromagnético Tesla junto con "bombas de ondas de choque".


El informe compara además la experimentación de la Marina Estadounidense de dos de estas armas de terremotos la semana pasada, cuando la prueba en el Pacífico causó un terremoto de magnitud 6.5 azotando el área alrededor de la ciudad de Eureka, en California sin causar muertes, pero con su prueba en el Caribe que causó ya, la muerte de al menos 140 mil inocentes.


Leer más >>


Seguir leyendo >>


Mis comentarios >>

Algoritmo de fusión de creencias

Les dejo el algoritmo PSMerge.m* desarrollado en Matlab. competition01.tim* es una instancia del problema de generación de horarios, usada en la International Timetabling Competition.


* Tomado de: http://gennaro-alphonse.blogspot.com/

2010/03/02

Asignación de horarios universitarios: un enfoque determinístico

Les dejo el enlace al artículo "Asignación de Horarios Universitarios: un enfoque determinístico" que presentó como ponencia el L. S. C. Genaro Alfonso Ramón Rodríguez expuesta en el Sexto Congreso Nacional de Informática y Sistemas 2009, llevado a cabo los días 23, 24 y 25 de Diciembre de 2009.

Fusión de creencias

La fusión de creencias se define como la operación de combinar información contenida en un conjunto de bases de conocimiento o creencias (posiblemente incompatibles entre sí) obtenidas de diferentes fuentes para producir una única base de creencias consistente...


Seguir leyendo >>