Modular Product Verifications Based on Design for Assembly

The desire to conquer markets through advanced product design and trendy business strategies are still predominant approaches in industry today. In fact, product development has acquired an ever more central role in the strategic planning of companies, and it has extended its influence to R&D funding levels as well. It is not surprising that many national R&D project frameworks within the EU today are dominated by product development topics, leaving production engineering, robotics, and systems on the sidelines. The reasons may be many but, unfortunately, the link between product development and the production processes they cater for are seldom treated in depth. The issue dealt with in this article relates to how product development is applied in order to attain the required production quality levels a company may desire, as well as how one may counter assembly defects and deviations through quantifiable design approaches. It is recognized that product verifications (tests, inspections, etc.) are necessary, but the application of these tactics often result in lead-time extensions and increased costs. Modular architectures improve this by simplifying the verification of the assembled product at module level. Furthermore, since Design for Assembly (DFA) has shown the possibility to identify defective assemblies, it may be possible to detect potential assembly defects already in the product and module design phase. The intention of this paper is to discuss and describe the link between verifications of modular architectures, defects and design for assembly. The paper is based on literature and case studies; tables and diagrams are included with the intention of increasing understanding of the relation between poor designs, defects and product verifications.

Prototype Generation from Ontology Charts

Semantic Analysis is a business analysis method designed to capture system requirements. While these requirements may be represented as text, the method also advocates the use of Ontology Charts to formally denote the system's required roles, relationships and forms of communication. Following model driven engineering techniques, Ontology Charts can be transformed to temporal Database schemas, class diagrams and component diagrams, which can then be used to produce software systems. A nice property of these transformations is that resulting system design models lend themselves to complicated extensions that do not require changes to the design models. For example, resulting databases can be extended with new types of data without the need to modify the database schema of the legacy system. Semantic Analysis is not widely used in software engineering, so there is a lack of experts in the field and no design patterns are available. This make it difficult for the analysts to pass organizational knowledge to the engineers. This study describes an implementation that is readily usable by engineers, which includes an automated technique that can produce a prototype from an Ontology Chart. The use of such tools should enable developers to make use of Semantic Analysis with minimal expertise of ontologies and MDA.

Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Interaction among agents that plan

The development of practical agent languages has progressed significantly over recent years, but this has largely been independent of distinct developments in aspects of multiagent cooperation and planning. For example, while the popular AgentSpeak(L) has had various extensions and improvements proposed, it still essentially a single-agent language. In response, in this paper, we describe a simple, yet effective, technique for multiagent planning that enables an agent to take advantage of cooperating agents in a society. In particular, we build on a technique that enables new plans to be added to a plan library through the invocation of an external planning component, and extend it to include the construction of plans involving the chaining of subplans of others. Our mechanism makes use of plan patterns that insulate the planning process from the resulting distributed aspects of plan execution through local proxy plans that encode information about the preconditions and effects of the external plans provided by agents willing to cooperate. In this way, we allow an agent to discover new ways of achieving its goals through local planning and the delegation of tasks for execution by others, allowing it to overcome individual limitations.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Desenho de um sistema de metas sociais

Este trabalho discute a racionalidade econômica para o desenvolvimento de um sistema de metas sociais como forma do governo federal aumentar a eficiência na utilização dos recursos sociais transferidos para os municípios. O trabalho desenvolve algumas extensões do modelo de agente-principal incluindo abordagens estáticas com e sem informação imperfeita. Os resultados dos modelos estáticos indicam que o uso de critérios usuais de focalização onde localidades mais pobres recebem mais recursos podem levar a incentivos adversos para a erradicação da pobreza. Demonstramos que transferências incondicionais do governo federal deslocam gastos sociais locais. O trabalho argumenta em favor do uso de contratos onde quanto maior for a melhora no indicador social escolhido, mais recursos o município receberia. A introdução de informação imperfeita neste modelo basicamente gera uma penalidade aos segmentos pobres de áreas onde os governos demonstram ser menos avessos a pobreza. O trabalho também aborda o problema de favoritismo político onde determinados grupos sociais têm maior, ou menor, atenção por parte de governos locais. O resultado é que as políticas sociais acabam privilegiando determinados setores em detrimento de outros. Com o estabelecimento de metas sociais é possível, se não eliminar o problema, ao menos criar incentivos corretos para que os gastos sociais sejam distribuídos de forma mais equânime.

Desenho de um sistema de metas sociais

Este trabalho discute a racionalidade econômica para o desenvolvimento de um sistema de metas sociais como forma do governo federal aumentar a eficiência na utilização dos recursos sociais transferidos para os municípios. O trabalho desenvolve algumas extensões do modelo de agente-principal incluindo abordagens estáticas com e sem informação imperfeita. Os resultados dos modelos estáticos indicam que o uso de critérios usuais de focalização onde localidades mais pobres recebem mais recursos podem levar a incentivos adversos para a erradicação da pobreza. Demonstramos que transferências incondicionais do governo federal deslocam gastos sociais locais. O trabalho argumenta em favor do uso de contratos onde quanto maior for a melhora no indicador social escolhido, mais recursos o município receberia. A introdução de informação imperfeita neste modelo basicamente gera uma penalidade aos segmentos pobres de áreas onde os governos demonstram ser menos avessos a pobreza. O trabalho também aborda o problema de favoritismo político onde determinados grupos sociais têm maior, ou menor, atenção por parte de governos locais. O resultado é que as políticas sociais acabam privilegiando determinados setores em detrimento de outros. Com o estabelecimento de metas sociais é possível, se não eliminar o problema, ao menos criar incentivos corretos para que os gastos sociais sejam distribuídos de forma mais equânime.

On the consistency of arbitrary money-demand functions with the Sidrauski and the shopping-time models

This paper investigates which properties money-demand functions have to satisfy to be consistent with multidimensional extensions of Lucasí(2000) versions of the Sidrauski (1967) and the shopping-time models. We also investigate how such classes of models relate to each other regarding the rationalization of money demands. We conclude that money demand functions rationalizable by the shoppingtime model are always rationalizable by the Sidrauski model, but that the converse is not true. The log-log money demand with an interest-rate elasticity greater than or equal to one and the semi-log money demand are counterexamples.

O global e o contextual no aprendizado gerencial de multinacionais: uma perspectiva brasileira

The major purpose of this thesis is to verify, from a Brazilian perspective, how global and contextual issues influence the management learning in Multinationals. The management learning derived from the interaction of holding and sidiaries/colligates of Multinational corporation is supposed to be subject to convergent and divergent forces, the former related to global and standardized organizational practices, and the latter, is seen as a social practice subject to cultural and organizational singularities. A model was constructed to relate the dichotomy between the universality of the management practices and technologies and the particularity of the contexts where they operate, to the dichotomy between the singularities in organization and national level. This model is composed of the international, global, managerial and inter-organizational dimensions related, respectively, to the cultural and political diversity; to the universal forces of practices and values; to the managerial capabilities and resources in the organization, consolidated as best practices and to the interaction between holding and subsidiaries and the resulted learning. The combined result of these dimensions influences the knowledge flow and the learning derived from it. The field research was constituted of five cases of internationalized Brazilian firms, with a solid experience in their management systems. The main subjects of this study were executives and ofessionals/managers who respond to the management development. The data were first collected in the headquarters and complemented with visits to subsidiaries/joint ventures in other countries, in loco or with expatriated people who return to Brazil. The central supposition was validated. So, the management learning ¿ is driven by the global capitalism practices and by the global culture where they are immersed, reproducing a hegemonic vision and a common language (global dimension); ¿ incorporates the more propagated and dominant managerial values, although there are some variations when they are applied in the subsidiaries/joint ventures; is the product of the assimilation of international recognized and planned managerial practices, with the acculturation power, although not completely; is the result mainly of the managerial practice in work; is impacted not only by cross-cultural and managerial factors, but also by the business environment of the firm; is given according to the capabilities and resources in the organization, guiding the form of assimilation of practices and technologies, with global application or not (managerial dimension); ¿ is affected by the cross-cultural diversity involving the countries of the holding and the subsidiaries/joint ventures where the firm is and is given as a reproduction of the political context of the holding and subsidiaries countries (international dimension); ¿ faces aligned concurrent institutional pressures between corporate or global systems, practices of other subsidiaries/joint ventures and local practices; is more difficult to reach when there is not permeability between organizational cultures and identities of a Multinational firm; is affected by how much the relationship process across these unities is self-referenced; is facilitated by the construction and improvement of the knowledge network (interorganizational dimension). Finally some contributions of this study are exposed, including extensions of the proposed model and suggestions, recommendations for future research.

Cultura e desenvolvimento local: um estudo do Programa Bairro-Escola da cidade de Nova Iguaçu

A relação entre cultura e desenvolvimento é um dos assuntos centrais dos debates contemporâneos que vão além do ambiente acadêmico e atinge a agenda política em diversos países. A cultura exerce um papel importante para o desenvolvimento que não se restringe à dimensão econômica, pois é capaz de construir ou reconstruir identidades, elevar a auto-estima individual e coletiva, adicionar valor ao patrimônio existencial humano. Faz-se necessário, ainda, um outro conceito de desenvolvimento, calcado em outras lógicas, sendo geográfica, social e culturalmente referenciado e promovendo uma transformação social profunda. No Brasil, alguns governos locais vêm assumindo o seu papel de protagonista do desenvolvimento com base nessa proposta. Em Nova Iguaçu - cidade localizada na Baixada fluminense - vem sendo desenvolvida uma política pública cujo protagonista e indutora é a Prefeitura municipal. Trata-se do Programa Bairro-Escola que, embora tenha como centralidade a educação, articula diversas secretarias da prefeitura e promove benefícios e oportunidades sociais às crianças, adolescentes e aos demais moradores da cidade que extrapolam o aspecto educacional. Para a sua operacionalização, a Prefeitura desenvolve parcerias com atores de diversas naturezas. O objetivo dessa dissertação foi compreender de que maneira o Bairro-Escola de Nova Iguaçu, especialmente seus programas, projetos e ações culturais, contribui para o desenvolvimento local. No que diz respeito à metodologia, a estratégia de pesquisa adotada, foi o estudo de caso. Para a coleta dos dados primários e secundários foram adotadas duas técnicas, a saber: bibliográfica-documental; e entrevistas semi-estruturadas com alguns representantes do Bairro-Escola e da Secretaria de Cultura de Nova Iguaçu. Os resultados indicam que o Bairro-Escola aponta para um esforço de inclusão e desenvolvimento social por meio de programas e ações integradas. Em síntese, as contribuições ao desenvolvimento proporcionadas pelo Bairro-Escola, pelas vias da cultura, em Nova Iguaçu são: ampliação do acesso da população à leitura - criação de cinco bibliotecas ramais nas Escolas da Rede Pública Municipal e reequipamento de duas bibliotecas comunitárias; criação de uma Escola de ensino e formação em audiovisual (Escola Livre de Cinema), com núcleos em quatro bairros da cidade; criação de uma Escola Livre de Música Eletrônica, atendendo, inicialmente, a 400 crianças beneficiárias do Bairro-Escola; oportunidade de experimentação artística para quase 7.000 crianças e jovens; capacitação de 52 artistas locais em artes cênicas; criação de um grupo cultural formado por artistas locais (Grupo Nós da Baixada) - grupo de artes cênicas no bairro Cerâmica; oportunidade de estágio (renda e aperfeiçoamento profissional) para cerca de 90 jovens nas oficinas culturais; perspectiva de trabalho para 96 grupos artístico-culturais locais, por meio do convênio com o Ministério da Cultura; fortalecimento de grupos artístico-culturais locais, por meio de assessoramento para a profissionalização e desenvolvimento desses grupos.

Algumas generalizações para o último teorema de Fermat

Neste trabalho estudamos três generalizações para o último Teorema de Fermat. A primeira generalização trata de expoentes negativos e de expoentes racionais. Além de mostrar em que casos estas equações possuem soluções, damos uma caracterização completa para todas as soluções inteiras não-nulas existentes. A segunda generalização também trata de expoentes racionais, porém num contexto mais amplo. Aqui permitimos que as raízes n-ésimas sejam complexas, não necessariamente reais. Na terceira generalização vemos que o último Teorema de Fermat também vale para expoentes inteiros gaussianos.

Ensaios em opções reais e investimento sob incerteza

Esta tese é composta por três artigos, nos quais são apresentadas extensões e aplicações da Teoria das Opções Reais, todas de interesse para formuladores de política econômica no Brasil. O primeiro faz uma análise original da questão da bioprospecção, ou a exploração da diversidade biológica para fins econômicos. Duas estruturas alternativas para o desenho do mecanismo de concessão, visando o uso sustentável da biodiversidade brasileira, são sugeridas: (i) um modelo de projetos de P&D com maturidade incerta, no qual a intensidade do processo de Poisson que governa o tempo de maturação é explicitamente dependente do nível da biodiversidade no local concedido; (ii) um modelo de Agente-Principal, onde o Estado delega o exercício da opção de investimento à empresa de pesquisa biotecnológica. O segundo artigo avança a analogia entre opções de venda (“put options”) e cotas de importação. Os parâmetros relevantes para apreçar as licenças são agora obtidos endogenamente, a partir da interação entre a firma importadora e os produtores domésticos. Por fim, no terceiro, é feita análise pioneira do mercado paralelo de títulos precatórios no Brasil. Um modelo para a valoração de tais títulos é construído e proposto, tendo por base o arcabouço institucional existente sobre o assunto, tanto no governo central, como nos estados e municípios.

Exploratory semiparametric analysis of two-dimensional diffusions in finance

We examine bivariate extensions of Aït-Sahalia’s approach to the estimation of univariate diffusions. Our message is that extending his idea to a bivariate setting is not straightforward. In higher dimensions, as opposed to the univariate case, the elements of the Itô and Fokker-Planck representations do not coincide; and, even imposing sensible assumptions on the marginal drifts and volatilities is not sufficient to obtain direct generalisations. We develop exploratory estimation and testing procedures, by parametrizing the drifts of both component processes and setting restrictions on the terms of either the Itô or the Fokker-Planck covariance matrices. This may lead to highly nonlinear ordinary differential equations, where the definition of boundary conditions is crucial. For the methods developed, the Fokker-Planck representation seems more tractable than the Itô’s. Questions for further research include the design of regularity conditions on the time series dependence in the data, the kernels actually used and the bandwidths, to obtain asymptotic properties for the estimators proposed. A particular case seems promising: “causal bivariate models” in which only one of the diffusions contributes to the volatility of the other. Hedging strategies which estimate separately the univariate diffusions at stake may thus be improved.

Fator estocástico de desconto: as cotas de variância, métricas de distância e suas extensões

The concept of stochastic discount factor pervades the Modern Theory of Asset Pricing. Initially, such object allows unattached pricing models to be discussed under the same terms. However, Hansen and Jagannathan have shown there is worthy information to be brought forth from such powerful concept which undelies asset pricing models. From security market data sets, one is able to explore the behavior of such random variable, determining a useful variance bound. Furthermore, through that instrument, they explore one pitfall on modern asset pricing: model misspecification. Those major contributions, alongside with some of its extensions, are thoroughly investigated in this exposition.

Desenho de um sistema de metas sociais

Este trabalho discute a racionalidade econômica para o desenvolvimento de um sistema de metas sociais como forma de o governo federal aumentar a eficiência na utilização dos recursos sociais transferidos para os municípios. O trabalho desenvolve algumas extensões do modelo de agente-principal incluindo abordagens estáticas com e sem informação imperfeita e abordagens dinâmicas com contratos perfeitos e imperfeitos. Os resultados dos modelos estáticos indicam que o uso de critérios usuais de focalização onde localidades mais pobres recebem mais recursos pode levar a incentivos adversos para a erradicação da pobreza. Nós também mostramos que transferências incondicionais do governo federal deslocam gastos sociais locais. O trabalho argumenta em favor do uso de contratos onde quanto maior for a melhora no indicador social escolhido, mais recursos o município receberia. A introdução de informação imperfeita neste modelo basicamente gera uma penalidade aos segmentos pobres de áreas onde os governos demonstram ser menos avessos a pobreza. O trabalho também aborda o problema de favoritismo político onde determinados grupos sociais têm maior, ou menor, atenção por parte de governos locais. O resultado é que as políticas sociais acabam privilegiando determinados setores em detrimento de outros. Com o estabelecimento de metas sociais é possível, se não eliminar o problema, ao menos criar incentivos corretos para que os gastos sociais sejam distribuídos de forma mais equânime. Também desenvolvemos modelos dinâmicos com diferentes possibilidades de renegociação ao longo do tempo. Demonstramos que a melhor forma de aumentar a eficiência alocativa dos fundos seria criar mecanismos institucionais garantindo a impossibilidade de renegociações bilaterais. Esse contrato ótimo reproduz a seqüência de metas e transferências de vários períodos encontrada na solução do modelo estático. Entretanto, esse resultado- desaparece quando incorporamos contratos incompletos. Nesse caso, as ineficiências ex-ante criadas pela possibilidade de renegociação devem ser comparadas com as ineficiências ex-post criadas por não se usar a informação nova revelada ao longo do processo. Finalmente, introduzimos a possibilidade do resultado social observado depender não só do investimento realizado, mas também da presença de choques. Nesse caso, tanto o governo quanto o município aumentam as suas metas de investimento na área social. Contratos lineares na presença de choques negativos fazem com que os municípios recebem menos recursos justamente em situações adversas. Para contornar esse problema, mostramos a importância da utilização de contratos com comparação de performance.