920 resultados para satisfiability modulo theories
Resumo:
Este documento trata de marcos da administra????o p??blica; princ??pios da administra????o p??blica; princ??pios fundamentais da administra????o p??blica brasileira; improbidade administrativa; or??amento p??blico, instrumentos alocativos: PPA, LDO E LOA; introdu????o aos tipos de transfer??ncias volunt??rias; conceitos; transfer??ncias volunt??rias: esp??cies e diferen??as; contratos de repasse; termos de parceria;outros instrumentos de pactua????o com outros ??rg??os da administra????o p??blica federal; SICONV; divulga????o
Resumo:
In this brief, a read-only-memoryless structure for binary-to-residue number system (RNS) conversion modulo {2(n) +/- k} is proposed. This structure is based only on adders and constant multipliers. This brief is motivated by the existing {2(n) +/- k} binary-to-RNS converters, which are particular inefficient for larger values of n. The experimental results obtained for 4n and 8n bits of dynamic range suggest that the proposed conversion structures are able to significantly improve the forward conversion efficiency, with an AT metric improvement above 100%, regarding the related state of the art. Delay improvements of 2.17 times with only 5% area increase can be achieved if a proper selection of the {2(n) +/- k} moduli is performed.
Resumo:
33rd IAHR Congress: Water Engineering for a Sustainable Environment
Resumo:
The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of "the historical tendencies": a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin's method, to prove the result.
Resumo:
The paper presents a foundation model for Marxian theories of the breakdown of capitalism based on a new falling rate of profit mechanism. All of these theories are based on one or more of ?the historical tendencies?: a rising capital-wage bill ratio, a rising capitalist share and a falling rate of profit. The model is a foundation in the sense that it generates these tendencies in the context of a model with a constant subsistence wage. The newly discovered generating mechanism is based on neo-classical reasoning for a model with land. It is non-Ricardian in that land augmenting technical progress can be unboundedly rapid. Finally, since the model has no steady state, it is necessary to use a new technique, Chaplygin?s method, to prove the result.
Resumo:
Marx and the writers that followed him have produced a number of theories of the breakdown of capitalism. The majority of these theories were based on the historical tendencies: the rise in the composition of capital and the share of capital and the fall in the rate of profit. However these theories were never modeled with main stream rigour. This paper presents a constant wage model, with capital, labour and land as factors of production, which reproduces the historical tendencies and so can be used as a foundation for the various theories. The use of Chaplygins theorem in the proof of the main result also gives the paper a technical interest.
Resumo:
Modern macroeconomic theory utilises optimal control techniques to model the maximisation of individual well-being using a lifetime utility function. Agents face choices over current and future consumption (with resultant implied savings decisions) seeking to maximise the present value of current plus future well-being. However, such inter-temporal welfare-maximising assumptions remain empirically untested. In the work presented here we test whether welfare was in (historical) fact maximised in the US between 1870-2000 and find empirical support for the optimising basis of growth theory, but only once a comprehensive view of what constitutes a country’s wealth or capital is taken into account.
Resumo:
Business cycle theory is normally described as having evolved out of a previous tradition of writers focusing exclusively on crises. In this account, the turning point is seen as residing in Clément Juglar's contribution on commercial crises and their periodicity. It is well known that the champion of this view is Schumpeter, who propagated it on several occasions. The same author, however, pointed to a number of other writers who, before and at the same time as Juglar, stressed one or another of the aspects for which Juglar is credited primacy, including the recognition of periodicity and the identification of endogenous elements enabling the recognition of crises as a self-generating phenomenon. There is indeed a vast literature, both primary and secondary, relating to the debates on crises and fluctuations around the middle of the nineteenth century, from which it is apparent that Juglar's book Des Crises Commerciales et de leur Retour Périodique en France, en Angleterre et aux États-Unis (originally published in 1862 and very much revised and enlarged in 1889) did not come out of the blue but was one of the products of an intellectual climate inducing the thinking of crises not as unrelated events but as part of a more complex phenomenon consisting of recurring crises related to the development of the commercial world - an interpretation corroborated by the almost regular occurrence of crises at about 10-year intervals.
Resumo:
El nostre objectiu es l'estudi d'extensions de la Relativitat General i, en particular, estem interessats en les teories que continguin camps vectorials addicionals. En aquests tipus de teories es necessari imposar que el vector ha de tenir norma fixa per evitar la presència d'un fantasma o grau de llibertat amb terme cinètic negatiu, i això implica que la simetria Lorentz està trencada espontàniament. El camp del aether només interactua gravitatòriament i la seva presència es difícil de detectar, no obstant això, durant inflació les fluctuacions del buit a escales petites d'un camp lleuger pot deixar una empremta en observables com les anisotropies del fons de radiació de microones. Les fluctuacions del Einstein-aether es comporten com els camps sense massa i això fa que inflació generi modes de longitud de ona llarga en els sectors escalar i vectorial. Hem estudiat la signatura del Einstein-aether dins l'espectre de pertorbacions primordials lluny del límit de de Sitter de inflació. Aquests modes escalars i vectorials poden deixar una empremta significativa en la radiació de fons de microones en funció dels paràmetres del model. Les observacions del fons de radiació de microones imposen restriccions fenomenològiques que redueixen els límits existents per aquesta classe de teoria. Amb aquest estudi del aether també esperem millorar el coneixement que tenim de una classe més ampla de teories que exhibeixen el mateix tipus de trencament de simetria.