La proporción divina, el número phi

También conocido como el número áureo, es (podríamos decir) una constante matemática descubierta por los antiguos griegos como una proporción o relación entre partes de un cuerpo o cuerpos, que podemos encontrar en la naturaleza.

Los antiguos griegos realizaban numerosas obras y edificios siguiendo esta relación, y en el Renacimiento se le dió el calificativo de la proporción perfecta entre los lados de un rectángulo.

El número áureo se denota por la letra griega “Φ” FI (¿o PHI?), y vale 1,6180339..y como cualquier otro número matemático (Neperiano, Pi, …) surge de una expresión matemática:

Este número no solo es el resultado de esa expresión matemática sino que tambien aparece en otras partes, por ejemplos algunas son:

• Este número aparece en la sucesión de Fibonacci. (Enlace)
• Las cadenas de ADN tienen una relación matemática que es el número PHI. (Enlace)
• Muchas características humanas tienen relaciones matemáticas que son el número PHI. (Enlace)
• Las cajas de cigarrillos son rectángulos áureos.

Los griegos pensaban que era el número de los dioses y de la naturaleza.

Configuración del “Procesamiento de análisis de uso” - MOSS 2007 - WSS 3.0

Paso 1: Activar Procesamiento de análisis de uso

1. Haga click en SharePoint 3.0 Central Administration.

2. En la página Administración central, haga clic en Operaciones.

3. En la página Operaciones bajo Logging and Reporting, haga clic en Usage Analysis Processing.

4. En la sección Logging Settings, haga clic para activar la casilla de verificación Habilitar registro.

5. En el cuadro Ubicación del archivo de registro, escriba la ubicación donde desea almacenar el archivo de registro.

La ubicación predeterminada del archivo de registro es \Program Files\Common Files\Microsoft Shared\Web Extension\12\Logs de Servidor.

6. En el cuadro Number of log files to create, escriba un número entre 1 y 30.

En general, utilice un número que es el número de servidores de base de datos de su conjunto de servidores con un número máximo de 30 archivo de registro uno de tres veces para.

7. En la sección Configuración del procesamiento, haga clic para activar la casilla de verificación Enable usage analysis processing.

8. Bajo Run processing between these times daily, especifique el intervalo de tiempos para iniciar el procesamiento de registro de análisis de uso de tiempos.

En el cuadro Comienzo, seleccione la primera hora de día para iniciar que procesa registro en ejecución. En el cuadro Fin, seleccione la última hora para iniciar que procesa registro en ejecución.

9. Haga clic en Aceptar.

Paso 2: Activar servicio Avanzado análisis de uso (SharedServices)

Después de que ha activado uso de Windows SharePoint Services o SharePoint Server 2007, se deben activar el servicio Avanzado análisis de uso en (SSP). Esto permite que los administradores SSP controlen la complejidad de Procesamiento de análisis de uso y que seleccionen si se habilita informe para consultas de búsqueda.

1. En la página Administración central, haga clic en Shared Services Administration y a continuación, haga clic en el predeterminado Proveedor de servicios Shared.

2. En la página principal Compartir Servicios Proveedor bajo Office SharePoint Usage Reporting, haga clic en Usage reporting.

3. En la página Configure Advanced Usage Analysis Processing bajo Configuración del procesamiento, haga clic en la casilla de verificación Enable advanced usage analysis processing.

4. En la sección Search Query Logging, haga clic en la casilla de verificación Enable search query logging.

5. Haga clic en Aceptar.

Configurar Indexación en el Servicio de Búsqueda - MOSS 2007

Voy a explicar como configurar el servicio de búsqueda en MOSS 2007, y como determinar los tiempos de indexación parcial y completa.
Para poder realizar esto tiene que esta levantado el servicio de bùsqueda. Entonces los pasos son los siguientes:

Paso 1: Servicios Compartidos de MOSS 2007

Ir a la Administración de SharePoint en el Servidor, luego en la home hacer clic en el subsitio de Servicios Compartidos (sharedservices1), se verá esto:



Paso 2: Search Settings

Una vez dentro de servicio compartidos vamos a “search settings”:



En Search settings veremos la configuración de la búsqueda, scope de búsquedas, reglas, indexación, etc:



Paso 3: Definir y configurar el Content Source

El MOSS ya tiene definido un Content source, se puede utilizar este o crear otro depende de cómo se quiere configurar la indexación de la búsqueda, ya que cada content source está relacionado con un conjunto de sitios. Hacemos clic en “1 defined (Local Office Sharepoint Server sites)” (utilizo el ya definido):



Luego hacer clic en “Local Office Sharepoint Server Sites”:



Acá vamos a editar el Content Source agregando el sitio en cuestión al cual se quiere configurar la búsqueda, en Start Addresses agregamos el sitio así http://misitio/.
Luego, definimos la indexación completa y la indexación Parcial.
 
Indexación Completa:



Definimos cada cuanto re realizará la indexación completa. Depende del uso del sitio.

Indexación Parcial:



Definimos cada cuanto se realiza la indexación parcial. Esto depende del uso de sitio. (Si el sitio es actualizado constantemente es recomendable de 5 a 15 minutos).

Por último antes de hacer clic en Aceptar marcar el checkbox para así comenzar con la indexación completa por primera vez.

Listo!. Asi queda configurada la indexación!

PiKaChu y su derivada parcial

Navegando por blogs de matematica encontre un ejercicio mas que interesante.

Demuestre que:
La solucion no es del todo sencilla solo basta pensar un poco.. Ahi va la solución..

Veamos la demostración:
Aclaración: Para quien no lo sepa, ch(u)=coseno hiperbólico de u y sh(u)=seno hiperbólico de u. Se tiene que (ch(u))’=sh(u).

Igualmente los ma conocidos para referirse a coseno y seno hiperbolicos son senh y cosh...Pero bueno... Esta excelente la solucion!!! je

Metodos Formales

¿Qué es un Método Formal?

Definición: "Método formal es cualquier técnica que trate la construcción y/o el análisis de modelos matemáticos que contribuyen a la automatización del desarrollo de sistemas informáticos"

El papel de los métodos formales en la Ingeniería del Software

Los métodos formales se basan en el empleo de técnicas, lenguajes y herramientas definidos matemáticamente para cumplir objetivos tales como facilitar el análisis y construcción de sistemas confiables independientemente de su complejidad, delatando posibles inconsistencias o ambigüedades que de otra forma podrían pasar inadvertidas.

Los partidarios de los métodos formales defienden que su empleo, a lo largo de todo el ciclo de vida, facilita el desarrollo de especificaciones claras, concisas y no ambiguas, permite el análisis funcional de la especificación y posibilita el desarrollo de implementaciones correctas respecto a su especificación.Sin embargo los detractores aseguran que el empleo de métodos formales supone un volumen de trabajo considerable, aumento en los costes y tiempo de desarrollo y que debe quedar supeditado a herramientas que lo automaticen.

Ventajas de los métodos formales

• Se comprende mejor el sistema.
• La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.
• El sistema se describe de manera más precisa.
• El sistema se asegura matemáticamente que es correcto según las especificaciones.
• Mayor calidad software respecto al cumplimiento de las especificaciones.
• Mayor productividad

Problemática actual de los métodos formales

La falta de madurez en la práctica de los métodos formales es la causa de la imposibilidad de utilizarlos a nivel industrial tal y como se utilizan otros métodos de la Ingeniería del Software. Algunas de estas causas son las siguientes:

• El desarrollo de herramientas que apoyen la aplicación de métodos formales es complicado y los programas resultantes son incómodos para los usuarios.
• Los investigadores por lo general no conocen la realidad industrial.
• Es escasa la colaboración entre la industria y el mundo académico, que en ocasiones se muestra demasiado dogmático.
• Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo.

Conclusión: Los métodos formales se implantarán en la industria probablemente a través de nuevos profesionales con conocimientos sólidos de las técnicas matemáticas.

Aún así, como ya veremos más adelante, los métodos formales están presentes en bastantes campos y no solo los referidos a la ingeniería y la ciencia informática.

Clasificación de los métodos formales

Se pueden encontrar multitud de métodos y técnicas formales con lo que los criterios de clasificación son bastante variados. La clasificación más común se realiza en base al modelo matemático subyacente en cada método, de esta manera podrían clasificarse en:

• Especificaciones basadas en lógica de primer orden y teoría de conjuntos: permiten especificar el sistema mediante un concepto formal de estados y operaciones sobre estados. Los datos y relaciones/funciones se describen en detalle y sus propiedades se expresan en lógica de primer orden. La semántica de los lenguajes está basada en la teoría de conjuntos. Los métodos de este tipo más conocidos son: Z, VDM y B.
• Especificaciones algebraicas: proponen una descripción de estructuras de datos estableciendo tipos y operaciones sobre esos tipos.

• Especificación de comportamiento:
  • Métodos basados en álgebra de procesos: modelan la interacción entre procesos concurrentes. Esto ha potenciado su difusión en la especificación de sistemas de comunicación (protocolos y servicios de telecomunicaciones) y de sistemas distribuidos y concurrentes. Los más conocidos son: CCS,CSP y LOTOS.
  • Métodos basados en Redes de Petri: una red de petri es un formalismo basado en autómatas, es decir, un modelo formal basado en flujos de información. Permiten expresar eventos concurrentes. Los formalismos basados en redes de petri establecen la noción de estado de un sistema mediante lugares que pueden contener marcas. Un conjunto de transiciones (con pre y post condiciones) describe la evolución del sistema entendida como la producción y consumo de marcas en varios puntos de la red.
  • Métodos basados en lógica temporal: se usan para especificar sistemas concurrentes y reactivos. Los sistemas reactivos son aquellos que mantienen una continua interacción con su entorno respondiendo a los estímulos externos y produciendo salidas en respuestas a los mismos, por lo tanto el orden de los eventos en el sistema no es predecible y su ejecución no tiene por qué terminar.

Una especificación escrita en lógica temporal describe las secuencias admisibles de estado (incluyendo estados concurrentes) para el sistema especificado.