14 resultados para temporal-logic model

em Consorci de Serveis Universitaris de Catalunya (CSUC), Spain


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Construcció d'una aplicació web a partir de les especificacions d'un client imaginari. Estudi i utilització del mètode Rational Unified Process, el més habitual actualment en la construcció de software. Disseny d'una base de dades i implementació del model lògic mitjançant un SGBD punter al mercat com Oracle.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper proposes a test statistic for the null hypothesis of panel stationarity that allows for the presence of multiple structural breaks. Two different speci¿cations are considered depending on the structural breaks affecting the individual effects and/or the time trend. The model is ¿exible enough to allow the number of breaks and their position to differ across individuals. The test is shown to have an exact limit distribution with a good ¿nite sample performance. Its application to a typical panel data set of real per capita GDP gives support to the trend stationarity of these series

Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper proposes a test statistic for the null hypothesis of panel stationarity that allows for the presence of multiple structural breaks. Two different speci¿cations are considered depending on the structural breaks affecting the individual effects and/or the time trend. The model is ¿exible enough to allow the number of breaks and their position to differ across individuals. The test is shown to have an exact limit distribution with a good ¿nite sample performance. Its application to a typical panel data set of real per capita GDP gives support to the trend stationarity of these series

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Projecte de recerca elaborat a partir d’una estada a l’Snider Entrepreneurial Research Center de la Wharton School de la University of Pennsilvanya y, EUA entre juliol i desembre del 2007. L’objectiu d’aquest projecte és estudiar la relació entre les estratègies de gestió del coneixement i les tecnologies de la informació i la comunicació (TIC) en l’evolució de les poblacions d’organitzacions i els seus efectes en els patrons industrials d’aglomeració espacial. Per a això s’adopta una aproximació fonamentada en la utilització d'un model basats en agents per a obtenir hipòtesis significatives i provables sobre l’evolució de les poblacions d’organitzacions al si de clústers geogràfics. El model de simulació incorpora les perspectives i supòsits d’un marc conceptual, l’Espai de la Informació o I-Space. Això permet una conceptualització basada en la informació de l’entorn econòmic que té en compte les seves dimensions espacials i temporals. Mitjançant els paràmetres del model es dóna la possibilitat d’assignar estratègies específiques de gestió del coneixement als diversos agents i de localitzar-los en una posició de l’espai físic. La simulació mostra com l'adopció d'estratègies diverses pel que fa a la gestió del coneixement influeix en l'evolució de les organitzacions i de la seva localització espacial, i que aquesta evolució es veu modificada pel desenvolupament de les TIC. A través de la modelització de dos casos ben coneguts de clústers geogràfics d’alta tecnologia, com són Silicon Valley a Califòrnia i la Route 128 als voltants de Boston, s’estudia la interrelació entre les estratègies de gestió del coneixement adoptades per les empreses i la seva tria de localització espacial, i també com això és afectat per l’evolució de les tecnologies de la informació i de la comunicació (TIC). Els resultats obtinguts generen una sèrie d’hipòtesis de rica potencialitat sobre l’impacte del desenvolupament de les TIC en la dinàmica d’aquests clusters geogràfics. Concretament, es troba que la estructuració del coneixement i l’aglomeració espacial co-evolucionen i que aquesta coevolució es veu significativament alterada pel desenvolupament de les TIC.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Roughly fifteen years ago, the Church of Jesus Christ of Latter-day Saints published a new proposed standard file format. They call it GEDCOM. It was designed to allow different genealogy programs to exchange data.Five years later, in may 2000, appeared the GENTECH Data Modeling Project, with the support of the Federation of Genealogical Societies (FGS) and other American genealogical societies. They attempted to define a genealogical logic data model to facilitate data exchange between different genealogical programs. Although genealogists deal with an enormous variety of data sources, one of the central concepts of this data model was that all genealogical data could be broken down into a series of short, formal genealogical statements. It was something more versatile than only export/import data records on a predefined fields. This project was finally absorbed in 2004 by the National Genealogical Society (NGS).Despite being a genealogical reference in many applications, these models have serious drawbacks to adapt to different cultural and social environments. At the present time we have no formal proposal for a recognized standard to represent the family domain.Here we propose an alternative conceptual model, largely inherited from aforementioned models. The design is intended to overcome their limitations. However, its major innovation lies in applying the ontological paradigm when modeling statements and entities.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Front dynamics modeled by a reaction-diffusion equation are studied under the influence of spatiotemporal structured noises. An effective deterministic model is analytical derived where the noise parameters, intensity, correlation time, and correlation length appear explicitly. The different effects of these parameters are discussed for the Ginzburg-Landau and Schlögl models. We obtain an analytical expression for the front velocity as a function of the noise parameters. Numerical simulation results are in a good agreement with the theoretical predictions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this article, the objective is to demonstrate the effects of different decision styles on strategic decisions and likewise, on an organization. The technique that was presented in the study is based on the transformation of linguistic variables to numerical value intervals. In this model, the study benefits from fuzzy logic methodology and fuzzy numbers. This fuzzy methodology approach allows us to examine the relations between decision making styles and strategic management processes when there is uncertainty. The purpose is to provide results to companies that may help them to exercise the most appropriate decision making style for its different strategic management processes. The study is leaving more research topics for further studies that may be applied to other decision making areas within the strategic management process.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objetivo: Describir la incidencia de la incapacidad temporal por contingencia común (ITcc) y profesional (ITcp) iniciada en 2009 en afiliados a la Seguridad Social (SS) que forman parte de la Muestra Continua de Vida Laboral.Métodos: Cohorte formada por 873.008 afiliados a la SS en España que registraron 163.008 episodios de IT con un tiempo acumulado total en riesgo de 675.923,6 trabajadores-año. Se estimó la tasa de incidencia de todos los primeros episodios de IT y por trastornos musculo-esqueléticos (TME) según variables demográficas y laborales. Posteriormente se calcularon las razones de tasas crudas (RTc) y ajustadas (RTa) mediante un modelo de regresión Poisson.Resultados: La incidencia de la ITcc e ITcp fue de 23,1 y 1,0 casos por 100 trabajadores-año, respectivamente. La incidencia por ITcc fue superior en mujeres, en menores de 26 años y en Navarra (32,8 casos por 100 trabajadores-año), y por ITcp las mayores incidencias se observaron en hombres y en Galicia. Por diagnóstico, los TME presentaron 424,7 casos y 3,6 casos por 10.000 trabajadores-año según contingencia común y profesional respectivamente. Por otra parte, los trabajadores temporales tuvieron más riesgo de desarrollar ITcp (RTa=1,09;IC95%=1,04-1,15) e ITcc (RTa=1,02;IC95%=1,01-1,03) respecto a los permanentes.Conclusiones: La incidencia de la IT sigue un mismo patrón según edad, régimen de afiliación y relación laboral. Por tipo de contingencia se observaron diferencias en la ocupación, sexo, tamaño de empresa, comunidad autónoma y actividad económica. Es necesario estudiar con más detenimiento las diferencias observadas por actividad económica y tipo de relación contractual.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La dècada de 1980 va significar un punt i a part per als governs metropolitans. Després de viure una època daurada durant els 60 i 70, la reestructuració del sistema politicoeconòmic va comportar que les estructures de govern metropolità fossin qüestionades i fins i tot suprimides. Quan tot semblava indicar que restarien només com a record, la lògica de competència entre grans ciutats i la necessitat de reinventar-se en base a un desenvolupament sostenible va suposar un inesperat renaixement de la política metropolitana. Si fins aleshores la seva necessitat s'havia justificat bàsicament des d'un punt de vista funcional, seguint pautes tecnòcrates i burocratitzades, la nova metropolítica se centra en la competitivitat i en la sostenibilitat, alhora que posa èmfasi en assajar mètodes de governança. Londres, ciutat que presenta certs paral·lelismes històrics amb Barcelona, ha estat una ciutat pionera i de la seva experiència es pot aprendre per la capital catalana

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Several approaches have been developed to estimate both the relative and absolute rates of speciation and extinction within clades based on molecular phylogenetic reconstructions of evolutionary relationships, according to an underlying model of diversification. However, the macroevolutionary models established for eukaryotes have scarcely been used with prokaryotes. We have investigated the rate and pattern of cladogenesis in the genus Aeromonas (γ-Proteobacteria, Proteobacteria, Bacteria) using the sequences of five housekeeping genes and an uncorrelated relaxed-clock approach. To our knowledge, until now this analysis has never been applied to all the species described in a bacterial genus and thus opens up the possibility of establishing models of speciation from sequence data commonly used in phylogenetic studies of prokaryotes. Our results suggest that the genus Aeromonas began to diverge between 248 and 266 million years ago, exhibiting a constant divergence rate through the Phanerozoic, which could be described as a pure birth process.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Peer-reviewed

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Several approaches have been developed to estimate both the relative and absolute rates of speciation and extinction within clades based on molecular phylogenetic reconstructions of evolutionary relationships, according to an underlying model of diversification. However, the macroevolutionary models established for eukaryotes have scarcely been used with prokaryotes. We have investigated the rate and pattern of cladogenesis in the genus Aeromonas (γ-Proteobacteria, Proteobacteria, Bacteria) using the sequences of five housekeeping genes and an uncorrelated relaxed-clock approach. To our knowledge, until now this analysis has never been applied to all the species described in a bacterial genus and thus opens up the possibility of establishing models of speciation from sequence data commonly used in phylogenetic studies of prokaryotes. Our results suggest that the genus Aeromonas began to diverge between 248 and 266 million years ago, exhibiting a constant divergence rate through the Phanerozoic, which could be described as a pure birth process.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The performance of a hydrologic model depends on the rainfall input data, both spatially and temporally. As the spatial distribution of rainfall exerts a great influence on both runoff volumes and peak flows, the use of a distributed hydrologic model can improve the results in the case of convective rainfall in a basin where the storm area is smaller than the basin area. The aim of this study was to perform a sensitivity analysis of the rainfall time resolution on the results of a distributed hydrologic model in a flash-flood prone basin. Within such a catchment, floods are produced by heavy rainfall events with a large convective component. A second objective of the current paper is the proposal of a methodology that improves the radar rainfall estimation at a higher spatial and temporal resolution. Composite radar data from a network of three C-band radars with 6-min temporal and 2 × 2 km2 spatial resolution were used to feed the RIBS distributed hydrological model. A modification of the Window Probability Matching Method (gauge-adjustment method) was applied to four cases of heavy rainfall to improve the observed rainfall sub-estimation by computing new Z/R relationships for both convective and stratiform reflectivities. An advection correction technique based on the cross-correlation between two consecutive images was introduced to obtain several time resolutions from 1 min to 30 min. The RIBS hydrologic model was calibrated using a probabilistic approach based on a multiobjective methodology for each time resolution. A sensitivity analysis of rainfall time resolution was conducted to find the resolution that best represents the hydrological basin behaviour.