Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Equilibria in security markets with a continuum of agents

We prove the existence of a competitive equilibrium for exchange economies with a measure space of agents and for which the commodity space is ` p, 1 < p < +∞. A vector x = (xn) in ` p may be interpreted as a security which promises to deliver xn units of numeraire at state (or date) n. Under assumptions imposing uniform bounds on marginal rates of substitution, positive results on core-Walras equivalence were established in Rustichini–Yannelis [21] and Podczeck [20]. In this paper we prove that under similar assumptions on marginal rates of substitution, the set of competitive equilibria (and thus the core) is non-empty.

Pure strategy equilibria of multidimensional and non-monotonic auctions

We give necessary and sufficient conditions for the existence of symmetric equilibrium without ties in interdependent values auctions, with multidimensional independent types and no monotonic assumptions. In this case, non-monotonic equilibria might happen. When the necessary and sufficient conditions are not satisfied, there are ties with positive probability. In such case, we are still able to prove the existence of pure strategy equilibrium with an all-pay auction tie-breaking rule. As a direct implication of these results, we obtain a generalization of the Revenue Equivalence Theorem. From the robustness of equilibrium existence for all-pay auctions in multidimensional setting, an interpretation of our results can give a new justification to the use of tournaments in practice.

Models of complexity in Robert Coover's John's wife and the adventures of Lucky Pierre

This doctoral dissertation analyzes two novels by the American novelist Robert Coover as examples of hypertextual writing on the book bound page, as tokens of hyperfiction. The complexity displayed in the novels, John's Wife and The Adventures of Lucky Pierre, integrates the cultural elements that characterize the contemporary condition of capitalism and technologized practices that have fostered a different subjectivity evidenced in hypertextual writing and reading, the posthuman subjectivity. The models that account for the complexity of each novel are drawn from the concept of strange attractors in Chaos Theory and from the concept of rhizome in Nomadology. The transformations the characters undergo in the degree of their corporeality sets the plane on which to discuss turbulence and posthumanity. The notions of dynamic patterns and strange attractors, along with the concept of the Body without Organs and Rhizome are interpreted, leading to the revision of narratology and to analytical categories appropriate to the study of the novels. The reading exercised throughout this dissertation enacts Daniel Punday's corporeal reading. The changes in the characters' degree of materiality are associated with the stages of order, turbulence and chaos in the story, bearing on the constitution of subjectivity within and along the reading process. Coover's inscription of planes of consistency to counter linearity and accommodate hypertextual features to the paper supported narratives describes the characters' trajectory as rhizomatic. The study led to the conclusion that narrative today stands more as a regime in a rhizomatic relation with other regimes in cultural practice than as an exclusively literary form and genre. Besides this, posthuman subjectivity emerges as class identity, holding hypertextual novels as their literary form of choice.

To cointegrate or not to cointegrate? That's a topological question

We show that for any multivariate I( 1) process which does not cointegrate, it is possible to find another process sufficient1y elose to it where cointegration applies. Closeness is defined in terms of the spectral density matrices of the respective processes in differences, i.e., a metric which takes into account only the information in the (centred) second moments. The result may explain why in practice cointegration is found a bit "too often". Examples developing this point and simulations giving an insight on the metric used are also presented.

Does liquidity constraints matter for Ricardian equivalence?

The paper analysis a general equilibrium model with two periods, several households and a government that has to finance some expenditures in the first period. Households may have some private information either about their type (adverse selection) or about some action levei chosen in the first period that affects the probability of certain states of nature in the second period (moral hazard). Trade of financiai assets are intermediated by a finite collection of banks. Banks objective functions are determined in equilibrium by shareholders. Due to private information it may be optimal for the banks to introduce constraints in the set of available portfolios for each household as wellas household specific asset prices. In particular, households may face distinct interest rates for holding the risk-free asset. The government finances its expenditures either by taxing households in the first period or by issuing bonds in the first period and taxing households in the second period. Taxes may be state-dependent. Suppose government policies are neutml: i) government policies do not affect the distribution of wealth across households; and ii) if the government decides to tax a household in the second period there is a portfolio available for the banks that generates the Mme payoff in each state of nature as the household taxes. Tben, Ricardian equivalence holds if and only if an appropriate boundary condition is satisfied. Moreover, at every free-entry equilibrium the boundary condition is satisfied and thus Ricardian equivalence holds. These results do not require any particular assumption on the banks' objective function. In particular, we do not assume banks to be risk neutral.

Affiliation, equilibrium existence and the revenue ranking of auctions

We consider private value auctions where bidders’ types are dependent, a case usually treated by assuming affiliation. We show that affiliation is a restrictive assumption in three senses: topological, measure-theoretic and statistical (affiliation is a very restrictive characterization of positive dependence). We also show that affiliation’s main implications do not generalize for alternative definitions of positive dependence. From this, we propose new approaches to the problems of pure strategy equilibrium existence in first-price auctions (PSEE) and the characterization of the revenue ranking of auctions. For equilibrium existence, we slightly restrict the set of distributions considered, without loss of economic generality, and offer a complete characterization of PSEE. For revenue ranking, we obtain a characterization of the expected revenue differences between second and first price auctions with general dependence of types.

The dimensions of trust in interorganizational relationships: how buyer and supplier perspectives differ?

Apesar da pesquisa em confiança interorganizacional e sua relação com performance ter sido conduzida sob as perspectivas da Teoria de Custos de Transação, Teoria das Trocas Sociais e Canais de Marketing, três importantes lacunas na literatura requerem investigação. Primeiro, está em andamento um debate conceitual sobre a multi-dimensionalidade da confiança, e como ela deve ser operacionalizada e medida, e que se divide em três correntes de pensamento - um construto multidimensional definido por dimensões não dominantes, um construto baseado em duas dimensões dominantes (afetiva e calculativa), ou um construto unidimensional. Segundo, existe ambiguidade em como as dimensões da confiança são definidas, levando a artefatos de equivalência nas escalas e resultados contraditórios. Terceiro, as diferentes percepções que compradores e fornecedores podem ter em cada dimensão da confiança e seu impacto na performance logística ainda não estão claros. Esta pesquisa empírica examina a confiança nas relações entre compradores e fornecedores no setor de logística no Brasil, através de duas amostras e estudos independentes: um examina a percepção dos compradores e o outro examina a dos fornecedores. Em seguida, os dois estudos são comparados para determinar as diferentes perspectivas da confiança e as implicações na performance logística. A análise multivariada mostrou que a confiança parece estar presente nas relações interorganizacionais, e é a percepção do comprador que possui maior relação com a performance logística. Ao mesmo tempo, compradores percebem fornecedores de forma mais negativa nas dimensões mensuráveis (competência e performance), enquanto não foram encontradas diferenças nos aspectos sociais (honestidade e benevolência), o que pode ser resultado do ambiente e cultura pesquisados. As análises mostraram que, apesar da confiança poder ser definida como um construto multidimensional, ela deve ser operacionalizada como um construto unidimensional direcionado pela competência e credibilidade. Este estudo contribui para a prática sugerindo formas de aumentar a confiança interorganizacional para aumento da performance.

The spenders-hoarders theory of capital accumulations, wealth distribution and fiscal policy

This paper proposes a simple OLG model which is consistent with the essential facts about consumer behavior, capital accumulation and wealth distribution, and yields some new and surprising conclusions about fiscal policy. By considering a society in which individuais are distinguished according to two characteristics, altruism and wealth preference, we show that those who in the long run hold the bulk of private capital are not so rnuch motivated by dynastic altruism as by preference for wealth. Two types of social segmentation can result with different wcalth distribution. To a large extcnt our results seem to fit reality better than those obtained with standard optimal growth models in which dynastic altruism ( or r ate o f impatience) is the only source of heterogeneity: overaccumulation can appear, public debt and unfunded pensions are not neutra!, estate taxation can improve the welfare of the top wealthy.

Tradução, adaptação e validação da versão brasileira do questionário utian quality of life (uqol) para avaliação da qualidade de vida no climatério

The present study had as objective translates, to do equivalence and validation of the Utian Quality of Life (UQOL) for the Brazilian population through methods internationally accepted, in which the original questionnaire was translated for the Portuguese by three teachers and the consensual version was translated back for English by two American teachers (back translation). A multidisciplinary committee evaluated all versions and the final version in Portuguese was applied to climacteric women for the process of adaptation. Validation of the instrument was performed by measuring the reliability and validity properties. Construct validity was examined through the comparison between UQOL and the general measuring scale of quality of life Short Form-36 (SF-36). The final version of translation process was easily recognized by the target population, that didn't tell understanding problems. The results obtained for the reliability intra and interobserver showed significant agreement in all of the subjects. The construct validity was obtained through correlations statistically significant among the domains occupational, health and emotional of UQOL with the SF-36 domains. For the exploratory factorial analysis, it was verified that three factors explain 60% of the total variance of the data, the present study allowed concluding that UQOL was appropriately translated and adapted for applicability in Brazil, presenting high reliability and validity. In that way, the executed project provided the involvement of different areas as gynecology, psychology and physiotherapy (interdisciplinary). Thus, this instrument can be included and used in Brazilian studies to assessment the quality of life during the climacteric years

DETERMINATION of THE INDIRECT ORIENTATION of ORBITAL PUSHBROOM IMAGES USING CONTROL STRAIGHT LINES

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

An Anisotropic Model of Damage and Unilateral Effect for Brittle Materials

This work deals with the initial applications and formulation of an aniscitropic plastic-damage constitutive model proposed for non-linear analysis of reinforced concrete structures submitted to a loading with change of the sign. The original constitutive model is based on the fundamental hypothesis of energy equivalence between real and continuous medium following the concepts of the Continuum Damage Mechanics. The concrete is assumed as an initial elastic isotropic medium presenting anisotropy, permanent strains and bimodularity (distinct elastic responses whether traction or compression stress states prevail) induced by damage evolution. In order to take into account the bimodularity, two damage tensors governing the rigidity in tension or compression regimes are introduced. Then, some conditions are introduced in the original version of the model in order to simulate the damage unilateral effect. The three-dimensional version of the proposed model is analyzed in order to validate its formulation when compared to micromechanical theory. The one-dimensional version of the model is applied in the analyses of a reinforced concrete beam submitted to a loading with change of the sign. Despite the parametric identification problems, the initial applications show the good performance of the model.

Dynamics at infinity and the existence of singularly degenerate heteroclinic cycles in the Lorenz system

In this paper, by using the Poincare compactification in R(3) we make a global analysis of the Lorenz system, including the complete description of its dynamic behavior on the sphere at infinity. Combining analytical and numerical techniques we show that for the parameter value b = 0 the system presents an infinite set of singularly degenerate heteroclinic cycles, which consist of invariant sets formed by a line of equilibria together with heteroclinic orbits connecting two of the equilibria. The dynamical consequences related to the existence of such cycles are discussed. In particular a possibly new mechanism behind the creation of Lorenz-like chaotic attractors, consisting of the change in the stability index of the saddle at the origin as the parameter b crosses the null value, is proposed. Based on the knowledge of this mechanism we have numerically found chaotic attractors for the Lorenz system in the case of small b > 0, so nearby the singularly degenerate heteroclinic cycles.

Dynamic Morse decompositions for semigroups of homeomorphisms and control systems

In this paper, we introduce the concept of dynamic Morse decomposition for an action of a semigroup of homeomorphisms. Conley has shown in [5, Sec. 7] that the concepts of Morse decomposition and dynamic Morse decompositions are equivalent for flows in metric spaces. Here, we show that a Morse decomposition for an action of a semigroup of homeomorphisms of a compact topological space is a dynamic Morse decomposition. We also define Morse decompositions and dynamic Morse decompositions for control systems on manifolds. Under certain condition, we show that the concept of dynamic Morse decomposition for control system is equivalent to the concept of Morse decomposition.