994 resultados para timed symbolic transition graph


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The nature of the Portuguese transition to democracy and the following state crises (1974-1975) created a ‘window of opportunity’ in which the ‘reaction to the past’ was much stronger than in the other Southern or even of Central and Eastern European transitions. In Portugal, initiatives of symbolic rupture with the past began soon after the April 25, 1974, coup d’état and transitional justice policies assumed mainly three formulas. First, the institutional reforms directed primarily to abusive state institutions such as the political police (PIDE-DGS) and political courts (Plenary courts) in order to dismantle the repressive apparatus and prevent further human rights abuses and impunity. Secondly, the criminal prosecutions addressed to perpetrators considered as being the most responsible for repression and abuses. Finally, lustration or political purges (saneamentos, the term used in Portugal to designate political purges) which were, in fact, the most common form of political justice in Portuguese transition to democracy. This paper deals with the peculiarities of transitional justice in Portugal devoting a particular attention to the judicial, a key sector to understand the way the Portuguese dealt with their authoritarian past.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider the global scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Thereby, ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. In this paper, we extend the synchronous transition protocol SM-MSO in order to take into account mode-independent tasks [1], i.e., tasks of which the execution pattern must not be jeopardized by the mode changes.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We directly visualize the response of nematic liquid crystal drops of toroidal topology threaded in cellulosic fibers, suspended in air, to an AC electric field and at different temperatures over the N-I transition. This new liquid crystal system can exhibit non-trivial point defects, which can be energetically unstable against expanding into ring defects depending on the fiber constraining geometries. The director anchoring tangentially near the fiber surface and homeotropically at the air interface makes a hybrid shell distribution that in turn causes a ring disclination line around the main axis of the fiber at the center of the droplet. Upon application of an electric field, E, the disclination ring first expands and moves along the fiber main axis, followed by the appearance of a stable "spherical particle" object orbiting around the fiber at the center of the liquid crystal drop. The rotation speed of this particle was found to vary linearly with the applied voltage. This constrained liquid crystal geometry seems to meet the essential requirements in which soliton-like deformations can develop and exhibit stable orbiting in three dimensions upon application of an external electric field. On changing the temperature the system remains stable and allows the study of the defect evolution near the nematic-isotropic transition, showing qualitatively different behaviour on cooling and heating processes. The necklaces of such liquid crystal drops constitute excellent systems for the study of topological defects and their evolution and open new perspectives for application in microelectronics and photonics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We comment on the nature of the ordering transition of a model of equilibrium polydisperse rigid rods on the square lattice, which is reported by Lopez et al. to exhibit random percolation criticality in the canonical ensemble, in sharp contrast to (i) our results of Ising criticality for the same model in the grand canonical ensemble [Phys. Rev. E 82, 061117 (2010)] and (ii) the absence of exponent(s) renormalization for constrained systems with logarithmic specific-heat anomalies predicted on very general grounds by Fisher [Phys. Rev. 176, 257 (1968)].

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Upper Cenomanian and Lower Turonian ammonite assemblages from the onshore sectors of the West Portuguese Margin are reviewed after new studies on the type section of Figueira da Foz, and correlative sections of Baixo Mondego. The faunal succession shows a strong contribution of vascoceratids and other ammonites with North African and Tethyan affinities. Euomphaloceras septemseriatum (Cragin, 1893), Kamerunoceras douvillei (Pervinquere, 1907), Fagesia catinus (Mantell, 1822), Neoptychites cephalotus (Courtiller, 1860), and Thomasites rollandi (Thomas & Peron, 1889) are for the first time mentioned to Portugal. The Upper Cenomanian is recognised after a set of 3 assemblage zones: Neolobites vibrayeanus z., Euomphaloceras septemseriatum z ., and Pseudaspidoceras pseudonodosoides z. The carbonate succession shows an important unconformity across the Cenomanian-Turonian boundary, associated to subaerial exposure, and to the development of a palaeokarst over Upper Cenomanian units. The first Lower Turonian carbonates are yielded a single but diverse ammonite assemblage of middle Lower Turonian age (Thomasites rollandi z.). This biozone was previously recognised in Central Tunisia by G. Chancellor et al. (1994).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, motivated by the interest and relevance of the study of tumor growth models, a central point of our investigation is the study of the chaotic dynamics and the bifurcation structure of Weibull-Gompertz-Fréchet's functions: a class of continuousdefined one-dimensional maps. Using symbolic dynamics techniques and iteration theory, we established that depending on the properties of this class of functions in a neighborhood of a bifurcation point PBB, in a two-dimensional parameter space, there exists an order regarding how the infinite number of periodic orbits are born: the Sharkovsky ordering. Consequently, the corresponding symbolic sequences follow the usual unimodal kneading sequences in the topological ordered tree. We verified that under some sufficient conditions, Weibull-Gompertz-Fréchet's functions have a particular bifurcation structure: a big bang bifurcation point PBB. This fractal bifurcations structure is of the so-called "box-within-a-box" type, associated to a boxe ω1, where an infinite number of bifurcation curves issues from. This analysis is done making use of fold and flip bifurcation curves and symbolic dynamics techniques. The present paper is an original contribution in the framework of the big bang bifurcation analysis for continuous maps.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work, we associate a p-periodic nonautonomous graph to each p-periodic nonautonomous Lorenz system with finite critical orbits. We develop Perron-Frobenius theory for nonautonomous graphs and use it to calculate their entropy. Finally, we prove that the topological entropy of a p-periodic nonautonomous Lorenz system is equal to the entropy of its associated nonautonomous graph.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We derived a framework in integer programming, based on the properties of a linear ordering of the vertices in interval graphs, that acts as an edge completion model for obtaining interval graphs. This model can be applied to problems of sequencing cutting patterns, namely the minimization of open stacks problem (MOSP). By making small modifications in the objective function and using only some of the inequalities, the MOSP model is applied to another pattern sequencing problem that aims to minimize, not only the number of stacks, but also the order spread (the minimization of the stack occupation problem), and the model is tested.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The minimum interval graph completion problem consists of, given a graph G = ( V, E ), finding a supergraph H = ( V, E ∪ F ) that is an interval graph, while adding the least number of edges |F| . We present an integer programming formulation for solving the minimum interval graph completion problem recurring to a characteri- zation of interval graphs that produces a linear ordering of the maximal cliques of the solution graph.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Energy resource scheduling is becoming increasingly important, as the use of distributed resources is intensified and of massive electric vehicle is envisaged. The present paper proposes a methodology for day-ahead energy resource scheduling for smart grids considering the intensive use of distributed generation and Vehicle-to-Grid (V2G). This method considers that the energy resources are managed by a Virtual Power Player (VPP) which established contracts with their owners. It takes into account these contracts, the users' requirements subjected to the VPP, and several discharge price steps. The full AC power flow calculation included in the model takes into account network constraints. The influence of the successive day requirements on the day-ahead optimal solution is discussed and considered in the proposed model. A case study with a 33-bus distribution network and V2G is used to illustrate the good performance of the proposed method.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Inspired in dynamic systems theory and Brewer’s contributions to apply it to economics, this paper establishes a bond graph model. Two main variables, a set of inter-connectivities based on nodes and links (bonds) and a fractional order dynamical perspective, prove to be a good macro-economic representation of countries’ potential performance in nowadays globalization. The estimations based on time series for 50 countries throughout the last 50 decades confirm the accuracy of the model and the importance of scale for economic performance.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The one-generational metric changes occurring in Triatoma flavida (Hemiptera: Triatominae) when carried from its wild habitat (caves) to laboratory, were examined using traditional morphometric techniques. As for other species of Triatoma, Rhodnius or Panstrongylus studied in similar conditions, a significant reduction of head, thorax and wing size was observed. Sexual dimorphism of the wings, while present in the wild sample, was not detected anymore in the laboratory individuals. Biological significance and epidemiological importance are discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Most energy spent in walking is due to step-to-step transitions. During this phase, the interlimb coordination assumes a crucial role to meet the demands of postural and movement control. The authors review studies that have been carried out regarding the interlimb coordination during gait, as well as the basic biomechanical and neurophysiological principles of interlimb coordination. The knowledge gathered from these studies is useful for understanding step-to-step transition during gait from a motor control perspective and for interpreting walking impairments and inefficiency related to pathologies, such as stroke. This review shows that unimpaired walking is characterized by a consistent and reciprocal interlimb influence that is supported by biomechanical models, and spinal and supraspinal mechanisms. This interlimb coordination is perturbed in subjects with stroke.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertation presented to obtain the Ph.D degree in Biology

Relevância:

20.00% 20.00%

Publicador:

Resumo:

APS, Journals Phys. Rev. Lett., Volume 111, Issue 24