Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracteŕısticas fundamentales de los sistemas que se manejan hoy en d́ıa, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un ńumero no acotado de estados ejecut́andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ́on de las caracteŕısticas anteriores. Por ejemplo, las “Redes de Petri Temporizadas” [83, 10](TPN) incluyen el manejo de tiempo real y las ν-redes de Petri [78](ν-PN) son capaces de representar un ńumero no acotado de procesos con infinitos estados ejecut́andose concurrentemente. En esta tesis definimos varias extensiones que réunen estas dos caracteŕısticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las “ν-Redes de Petri Temporizadas”, que réunen las caracteŕısticas expresivas de las TPN y las ν-PN. Este nuevo modelo es capaz de representar sistemas con un ńumero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un ńumero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transicíon. Desafortunadamente, demostramos que la verificacíon de propiedades de seguridad es indecidible para este modelo...

Papel moderador de las motivaciones en el efecto de los precios de los destinos turísticos

La literatura de elección de destinos turísticos ha dedicado una gran atención al impacto directo del atributo “precio del destino”, pero no ha alcanzado un consenso en torno al mismo. Alternativamente, nuestro trabajo toma como punto de partida la relación entre las motivaciones turísticas y los beneficios buscados del turista en un destino, lo que lleva a proponer que el efecto del precio viene moderado por las motivaciones del turista a la hora de elegir un destino. Para ello, se argumentan diversas hipótesis de investigación que explican esta decisión a través de la interacción entre dicho atributo del destino y las motivaciones personales de los individuos. La metodología aplicada estima Modelos Logit con Coeficientes Aleatorios que permiten controlar posibles correlaciones entre los distintos destinos y recoger la heterogeneidad de los turistas. La aplicación empírica realizada en España sobre una muestra de 2.127 individuos evidencia que las motivaciones moderan el efecto de los precios en la elección de los destinos turísticos intrapaís.

Identificación de las distintas sensibilidades a los precios turísticos en la Comunidad Valenciana

El papel del precio en el sector turístico es especialmente complejo debido a la heterogeneidad existente entre los turistas y, por tanto, a las distintas sensibilidades al precio que muestran. En este sentido, el presente trabajo propone la utilización de modelos de elección discreta para identificar las sensibilidades individuales, turista a turista, y, a continuación, utilizar dichas estimaciones como punto de partida para detectar grupos de turistas con una respuesta similar a los precios. La aplicación empírica realizada en el contexto de la Comunidad Valenciana permite detectar tres segmentos: turistas de precio bajo, turistas indiferentes al precio y turistas de precio alto.

Heterogeneidad en precios explicada por la participación en actividades recreativas

El objetivo de este artículo consiste en analizar el efecto que las distintas frecuencias de participación en actividades recreativas –en el entorno habitual y fuera de él– ejercen sobre la sensibilidad del consumidor a los precios. Se propone que esta sensibilidad está afectada por la motivación del individuo a la hora de elegir un destino que le permite realizar dichas actividades. A su vez, esta motivación condiciona la influencia de la cultura residual (la mostrada en el entorno habitual) y la cultura turística (la presentada en el destino). Con este fin, identificamos las sensibilidades a los precios de cada individuo. La aplicación empírica se desarrolla sobre una muestra de 2.127 personas y se usa un Modelo Logit con Coeficientes Aleatorios para estimar estas sensibilidades individuales, y un análisis de regresión para observar el efecto de las frecuencias de participación en las actividades recreativas. Los resultados muestran que la cultura residual y turística tiene un efecto en la sensibilidad al precio, dando lugar a la existencia de distintas sensibilidades por grado de frecuencia de participación y por tipo de actividad.

La disparidad de fijación: concepto y manejo clínico

La diferencia de alineación de los ejes visuales en la Disparidad de Fijación en la gran mayoría de situaciones se produce como un efecto fisiológico no produciendo sintomatología al paciente. Sin embargo, existen ciertas situaciones en las que la Disparidad de Fijación sí que produce sintomatología al paciente, produciéndose como consecuencia del estrés de los sistemas de vergencia y acomodativo con el objetivo de mantener la visión binocular. Existen además evidencias científicas de que determinados hábitos de lectura, patologías como las migrañas y pacientes disléxicos con problemas de lectura y de aprendizaje pueden observar un incremento significativo de la Disparidad de Fijación, estando asociados a Disparidades de Fijación anormales. Debido a la información que proporciona la medida de la Disparidad de Fijación resulta de especial interés la cuantificación de la misma en la práctica clínica, existiendo en la actualidad diferentes tests y dispositivos clínicos que se utilizan comúnmente para la medida de la Disparidad de Fijación, como la Curva de Vergencias Forzadas, el Disparómetro de Sheedy, la Unidad de Mallet y la Carta de Wesson entre otros.

Complejos metálicos para la captura y fijación de CO2 en moléculas orgánicas en disolventes eutécticos

Es bien conocido por todos el problema de la contaminación ambiental y las consecuencias que acarrea, tanto para la conservación del medio ambiente como para la salud humana. A raíz de dichos problemas dentro de la química surge una nueva corriente denominada Química Verde cuyo objetivo es hacer un uso responsable de la química tratando de mitigar o eliminar los efectos derivados de la misma relacionados con la contaminación. Dentro de los contaminantes más importantes se destacan los gases de efecto invernadero entre los cuales se encuentra el dióxido de carbono, uno de los más abundantes. Por otra parte, si se analizan los procesos de síntesis orgánica desde el punto de vista de la contaminación que puedan generar, una parte influyente son los componentes orgánicos volátiles empleados como disolventes, por lo que estudios recientes proponen como alternativa otro tipo de disolventes que sean biorenovables, como es el caso de los mezclas eutécticas de bajo punto de fusión. Dado que el CO2 tiene un papel importante en la síntesis orgánica, ya que se trata de un equivalente sintético de un carbono y al mismo tiempo es una fuente de carbono renovable, se ha planteado su uso como reactivo en transformaciones orgánicas. Concretamente, este trabajo se ha centrado en las reacciones de síntesis de carbonatos cíclicos por reacción de epóxidos con dióxido de carbono, catalizadas por complejos metálicos. Además con el fin de hacer este proceso más atractivo desde el punto de vista medioambiental se ha llevado a cabo dicha reacción utilizando disolventes eutécticos como alternativa a los disolventes orgánicos clásicos.

Construcción del ferrocarril de La Quiaca a Tupiza; aceptación de la propuesta, especificaciones, lista de precios.

"Ferrocarril de La Quiaca a Tupiza; contrato para la construcción" (p. [1]-40) signed by Jean Ducassé for the proposed builder, Charles Auguste Vézin, and by Carlos Tejada Sorzano for the Bolivian Government.

Indice de precios al consumidor para familias obreras en Puerto Rico. Consumer price index for wage earners' families in Puerto Rico. Average indexes for fiscal years ...

Description based on: 1965 y 1966.

Indice de precios al consumidor en Puerto Rico. Consumer price index in Puerto Rico. All families, wage earners' families. Average indexes for fiscal year ...

Mode of access: Internet.

Ensayo sobre la policía general de los granos, sobre sus precios, y sobre los efectos de la agricultura : obra anónima traducida del francés al castellano : observaciones sobre ella y análisis del comercio del trigo /

Mode of access: Internet.

Tarifa, o regulación de los precios de los medicamentos simples y compuestos que se tienen en las boticas de estos reynos para el uso médico, con arreglo a la pharmacopea de Madrid.

Mode of access: Internet.

Tarifa o regulación de los precios de los medicamentos simples y compuestos, que se despachan en las boticas de estos reynos para el uso médico, con arreglo a la pharmacopea de Madrid.

Mode of access: Internet.

Anuario de construcción : contiene los precios de materiales, sus condiciones y ensayos, série de precios compuestos, de mano de obra y de todo coste, de albañileria, carpinteria y demas ramos que comprende la edificación de casas en Madrid /

Mode of access: Internet.

Catálogo de los productos de la industria española, por el órden que han llegado para la esposicion [sic] pública de este año 1845 : con la indicacion de los pueblos donde han sido elaborados, sus precios al pie de fábrica y nombre de los fabricantes.

Mode of access: Internet.

Libro que demuestra el importe de libras, desde 1 a 33 cuartos inclusive, y en cada uno de los precios hasta la cantidad de doce mil libras.

Mode of access: Internet.