Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Model Configuration And Data Management In The Short-Term Water Information Forecasting Tools

The Short-term Water Information and Forecasting Tools (SWIFT) is a suite of tools for flood and short-term streamflow forecasting, consisting of a collection of hydrologic model components and utilities. Catchments are modeled using conceptual subareas and a node-link structure for channel routing. The tools comprise modules for calibration, model state updating, output error correction, ensemble runs and data assimilation. Given the combinatorial nature of the modelling experiments and the sub-daily time steps typically used for simulations, the volume of model configurations and time series data is substantial and its management is not trivial. SWIFT is currently used mostly for research purposes but has also been used operationally, with intersecting but significantly different requirements. Early versions of SWIFT used mostly ad-hoc text files handled via Fortran code, with limited use of netCDF for time series data. The configuration and data handling modules have since been redesigned. The model configuration now follows a design where the data model is decoupled from the on-disk persistence mechanism. For research purposes the preferred on-disk format is JSON, to leverage numerous software libraries in a variety of languages, while retaining the legacy option of custom tab-separated text formats when it is a preferred access arrangement for the researcher. By decoupling data model and data persistence, it is much easier to interchangeably use for instance relational databases to provide stricter provenance and audit trail capabilities in an operational flood forecasting context. For the time series data, given the volume and required throughput, text based formats are usually inadequate. A schema derived from CF conventions has been designed to efficiently handle time series for SWIFT.

Uma sistemática para a implementação da qualidade total na indústria de manufatura

Este trabalho tem como principal objetivo detalhar uma sistemática para implementação do modelo gerencial da Qualidade Total em empresas da área de manufatura operando no Brasil. Um objetivo secundário é apresentar as principais ferramentas da qualidade aplicadas em processos de Gestão pela Qualidade Total. Primeiramente é desenvolvida uma revisão conceitual, necessária à homogeneização do entendimento sobre o tema Qualidade Total. A revisão começa com um breve histórico da disciplina qualidade chegando até a conformação do sistema gerencial da Qualidade Total, segue pela discussão das possíveis diferenças entre o entendimento do tema no Japão e nos Estados Unidos da América, e finaliza com a conceituação da Qualidade Total e apresentação das principais ferramentas da qualidade. São desenvolvidos três estudos de casos, orientados por um modelo para avaliação de sistemas de gestão (compatíveis com a Qualidade Total) desenvolvido especificamente para essa tarefa. Destes estudos são destacadas as principais ferramentas da qualidade utilizadas em cada empresa, e é detalhado o processo de implementação do sistema de gestão. Finalizando, é apresentada e discutida uma sistemática para implementação da Qualidade Total na indústria de manufatura, pela descrição de um modelo conceitual de referência, ao qual são propostas melhorias identificadas a partir do estudo de casos.

Trade and poverty in latin american countries: conceptual and methodological challenges

This paper addresses topics - either relevant or confusing or needing more attention - related to measuring the trade and poverty nexus. It sheds a critical light on the existing material and suggests needed research lines. It starts with questions akin to the LAC realities; then, keeping this view, general methodological issues are also examined. In a broader perspective, further ideas for the research agenda are formulated. The main conclusion is that relevant findings still demand considerable efforts. Moreover, the Information-measurement-model-evaluation paradigm is not enough, policy guidelines being usually too general. In LAC, it must be extended and deepened, accounting more for the heterogeneity of cases, including, whenever possible, the physical constraints and incorporating new ways of integrating both the local and global perspectives. Other aspects, like the role of specific juridical measures, should play a role. How all this can be combined into more encompassing evaluations remains open

Educação no trabalho: retendo talentos na organização - o caso da Petrobrás

Esta dissertação objetivou verificar que tipos de educação promovem a retenção de talentos na empresa estudada. Para isto, foi construída uma estrutura conceitual fundamentada em estudos divulgados por especialistas em empresas, em educação, e por filósofos humanistas. Esse referencial teórico mostrou que fatores tais como a quantidade de poder, o acesso às informações, a remuneração e a educação disponibilizadas pela empresa, interferem na decisão de os talentos permanecerem nas organizações. Também inspirou a delimitação e a construção das suposições da pesquisa e um modelo conceitual relacionando os tipos de educação no trabalho, os tipos de desenvolvimento de recursos humanos, as motivações no trabalho e a retenção de talentos. A análise da comparação dos resultados com as suposições formuladas, serviram para aperfeiçoar o modelo conceitual, e para nos permitir concluir que as educações técnica, pessoal e organizacional tendem a gerar as motivações financeira, individual e institucional que, por sua vez, produzem efeitos significativos na retenção de talentos nas empresas.

Retenção de talentos por meio de reconhecimento e recompença

Esta dissertação objetivou verificar até que ponto os mecanismos de reconhecimento e recompensa são motivadores à retenção de talentos. Considerou que há pessoas que fazem o diferencial das organizações por deterem competências de difícil aquisição e de importância estratégica. No entanto, essas competências serão perdidas se não estiverem vinculadas aos objetivos das organizações e se não forem estabelecidas relações entre o desempenho e as práticas de reconhecimento e recompensa adotadas. Como base, buscou-se em disciplinas como a Psicologia, a Sociologia e as ciências da Administração, fundamentos teóricos que viessem auxiliar na resposta ao problema formulado. Este referencial mostrou a importância da retenção do talento, assim como descreveu e analisou algumas das muitas variáveis que poderiam impactar a construção de vínculos psicológicos entre o talento e a organização, ressaltando os principais componentes do processo motivacional na retenção. Também, permitiu identificar e analisar os principais mecanismos de reconhecimento e recompensa que poderiam ser adotados na valorização e retenção de talentos e relacionou-os com três correntes da motivação, criando um modelo conceitual de avaliação da retenção. Os resultados deste estudo serviram de orientadores à pesquisa de campo, que buscou conhecer quais os mecanismos de reconhecimento e recompensa que mais motivam os talentos a permanecerem em uma organização, bem como, avaliou se os mecanismos ditos motivadores, quando efetivamente praticados, causariam impacto na motivação do talento no decorrer do tempo. iii A análise dos resultados da pesquisa validou o modelo conceitual, concluindo que dos trinta e um mecanismos estudados apenas oito têm força de retenção, estando sete deles associados a formas de reconhecimento, aprovação e crescimento profissional. Os resultados não rejeitam as hipóteses e concluem que reconhecer e recompensar talentos vai muito além de abonos e prêmios pecuniários e materiais. Embora estímulos externos contribuam, a motivação em permanecer em uma organização é intrínseca ao talento e está associada ao seu espaço de vida, no momento em que ele se percebe integrado ao grupo, e respeitado, tendo seu esforço reconhecido e recompensado de forma justa.

Uso estratégico da tecnologia de informação no agribusiness: modelo conceitual para a gestão de estoques e custos de café por qualidade

Os produtores e as Cooperativas de Produtores de Café atuam em um ambiente incerto e competitivo, e estão enfrentando dificuldades de adaptação ao novo cenário econômico e tecnológico mundial. Para ter sucesso no empreendimento é necessário não apenas saber produzir, mas principalmente saber comercializar o café. O tradicional problema de decisão sobre como determinar o melhor momento de vender o café foi agravado pela globalização econômica (aumento da concorrência e crescente exigência em qualidade) e pelo advento da Tecnologia da Informação - TI - (grande quantidade de informações sobre o mercado de café, obtidas de modo desestruturado e às vezes de idoneidade duvidosa). Para avaliar oportunidades e realidades do uso estratégico da TI para a gestão das cooperativas de cafeicultores, considerou-se neste trabalho um problema específico: a questão do controle de estoques de café e a apuração de seus custos por qualidade. Os modelos gerenciais tradicionalmente utilizados envolvem sistemas convencionais de controle de estoque e análise de custos, mas controlam apenas as quantidades estocadas por tipo de café, não controlando seus custos. Normalmente consideram como custo a média dos preços de compra de café, em um determinado período. Assim impossibilitam o conhecimento do verdadeiro custo do produto vendido de acordo com sua qualidade, comprometendo a apuração de sua real margem de lucro em cada operação de venda. Logo, o resultado real das compras e vendas de café só é conhecido quando analisado um longo período, porque sofre influência das flutuações dos vários tipos de café que são comercializados. Partiu-se da hipótese de que o conhecimento da dinâmica da informação no complexo agroindustrial do café e o uso da Tecnologia de Informação como estratégia para instrumentalizar as decisões e melhorar o desempenho na comercialização de café pelas cooperativas de produtores possibilitam uma melhor organização e avaliação das informações necessárias para o planejamento da comercialização por essas cooperativas, aumentando a rentabilidade e contribuindo para a profissionalização do setor. Utilizando a TI para a integração do sistema de controle de estoques, comercialização e custos, foi desenvolvido um modelo conceitual para o gerenciamento dos estoques e custos de café por qualidade, visando a contribuir para a melhoria dos resultados obtidos pelas cooperativas. O estudo partiu da determinação das variáveis envolvidas no processo de comercialização do café. Desenvolveu-se um modelo conceitual para auxiliar o controle e o conhecimento do real custo do café por qualidade, possibilitando a correta apuração do resultado econômico, contribuindo para melhorar o controle estratégico dos estoques de café e o planejamento operacional do preparo dos blends. Em anexo, apresentam-se planilhas simulando a operação do modelo. O uso deste modelo permite que os administradores se antecipem aos problemas, reduzindo riscos e descobrindo oportunidades através de um melhor uso do recurso informação, gerando ganhos em competitividade. O modelo conceitual apresentado integra a gestão de estoques com o gerenciamento de custos de café por qualidade. Parte de uma visão ampliada da administração da cooperativa, considerando o trabalho dentro e fora da empresa, relacionando os controles de estoques da cooperativa e do cooperado, fisico e "virtual" (estoque do cooperado que EAESP/FGV - COA - Luciel Henrique de Oliveira - 1998 6 foi utilizado) e o mercado consumidor, possibilitando um controle mais eficiente para a redução do risco da cooperativa. O conhecimento das caracteristicas dos tipos de café por qualidade, que compõem o controle de estoque fisico e que fazem flutuar a conta opção, traz maior autonomia e segurança. O modelo atende ao desafio da melhoria contínua da qualidade da gestão, através da visão integrada da empresa, possibilitando o conhecimento real dos custos envolvidos e da margem de lucro, por qualidade, em cada operação. Busca-se um melhor controle das operações, dos custos dos produtos vendidos, de acordo com sua qualidade e sua margem de lucro em cada operação de venda, possibilitando um melhor planejamento da comercialização pelas cooperativas. Ao propor um novo modelo, integrando a análise custos e qualidade, o trabalho provocou o exame de vários procedimentos atualmente em uso, preparando o ambiente da empresa para uma nova mentalidade gerencial. Fez com que procedimentos relacionados à qualidade do café fossem devidamente estruturados no modelo de operação da empresa, servindo de referência para os trabalhos rumo à integração gerencial e à certificação ISO 9002, exigência do mercado externo e tendência no mercado interno. Deste modo, a cooperativa iniciou um processo de melhoria contínua, com a constante identificação de oportunidades, inspecionando e atualizando índices, levantando problemas e propondo soluções. O trabalho traz uma colaboração aos estudos de gestão integrada no agribusiness do café. A inovação ocorre através do desenvolvimento de um modelo conceitual de gestão de estoques e custos por qualidade, aliado ao modelo de gestão econômica, contribuindo para a melhoria da administração e do desempenho do setor. Aponta uma oportunidade de se dar um avanço para a gerência de custos e riscos, tornando o setor mais competitivo e de acordo com a nova cultura empresarial e com os padrões de competição de mercado.

A autonomia da Perícia Criminal Oficial no âmbito da Polícia Federal: percepções e reflexões dos profissionais do Sistema de Justiça Criminal

Trata-se de uma pesquisa de natureza marcadamente descritiva, com etapas exploratórias, que visa a descrever as percepções e reflexões desveladas pelos sujeitos da pesquisa nas análises temáticas realizadas sobre diversas questões que envolvem o tema da autonomia da Perícia Criminal Oficial, no âmbito da Polícia Federal. Para esse fim, utilizou-se da metodologia da análise de conteúdo, segundo Bardin (1977). Os sujeitos da pesquisa foram escolhidos segundo o critério de acessibilidade e da natureza dos cargos, quais sejam: Delegado da Polícia Federal, Juiz Federal, Perito Criminal Federal e Procurador da República. Face à predominância do cunho qualitativo neste estudo, não há expectativas de generalizações dos resultados obtidos no campo, assim como a seleção desses sujeitos não priorizou pela representatividade quantitativa de cada cargo. O referencial teórico foi construído com o propósito de contextualizar e favorecer a compreensão do leitor sobre como é constituída a realidade em que se insere o objeto de estudo, buscando descrever os termos e conceitos necessários a essa compreensão, tais como: (i) o que é o Sistema de Justiça Criminal e como se deu seu processo de formação no Estado moderno; (ii) como é a estrutura e o fluxo processual básico do modelo brasileiro, com destaque para a posição que ocupam os órgãos ou Instituto de Criminalística; (iii) qual o nível de efetividade desse sistema, no Brasil, e quais os principais problemas que afetam a funcionalidade da Perícia Oficial em sua estrutura; (iv) quais os reflexos do uso dos paradigmas repressivo e preventivo, pelo Estado, no controle da violência, da criminalidade e da impunidade dos criminosos, visando a garantir a manutenção da ordem pública como bem coletivo; (v) que relevância tem o papel da Perícia Oficial para a efetividade do Sistema de Justiça Criminal, segundo o paradigma preventivo; (vi) o que é Criminalística e qual a natureza de sua atividade; e (vii) como se apresenta a atual estrutura administrativa e a rede de clientes da Perícia Oficial. Ao se aproximar do objeto de estudo, o pesquisador buscou descrever como se deu a origem do processo de autonomia da Criminalística, no Brasil, e como esse processo vem sendo desenhado como uma política de segurança pública, destacando as principais medidas administrativas e normativas adotadas no país que favoreceram a sua consolidação, tais como: a aprovação do PNSP (2002), do PNDH I (1996), do PNDH II (2002) e do PNDH III (2009), além da promulgação da Lei nº 12.030/2009, que assegura, de forma específica, a autonomia técnico-científica e funcional da função pericial criminal. Tratamento especial foi dado ao significado e ao alcance que têm as dimensões conceituais do termo “autonomia” para a função pericial. Em que pesem os resultados obtidos, as conclusões revelam que a complexidade do tema, teoria e prática, aguarda continuidade em pesquisas futuras.

Growth and distribution: a revised classical model

This paper discusses distribution and the historical phases of capitalism. It assumes that technical progress and growth are taking place, and, given that, its question is on the functional distribution of income between labor and capital, having as reference classical theory of distribution and Marx’s falling tendency of the rate of profit. Based on the historical experience, it, first, inverts the model, making the rate of profit as the constant variable in the long run and the wage rate, as the residuum; second, it distinguishes three types of technical progress (capital-saving, neutral and capital-using) and applies it to the history of capitalism, having the UK and France as reference. Given these three types of technical progress, it distinguishes four phases of capitalist growth, where only the second is consistent with Marx prediction. The last phase, after World War II, should be, in principle, capital-saving, consistent with growth of wages above productivity. Instead, since the 1970s wages were kept stagnant in rich countries because of, first, the fact that the Information and Communication Technology Revolution proved to be highly capital using, opening room for a new wage of substitution of capital for labor; second, the new competition coming from developing countries; third, the emergence of the technobureaucratic or professional class; and, fourth, the new power of the neoliberal class coalition associating rentier capitalists and financiers

A consumption CAPM with a reference level

We study an intertemporal asset pricing model in which a representative consumer maximizes expected utility derived from both the ratio of his consumption to some reference level and this level itself. If the reference consumption level is assumed to be determined by past consumption levels, the model generalizes the usual habit formation specifications. When the reference level growth rate is made dependent on the market portfolio return and on past consumption growth, the model mixes a consumption CAPM with habit formation together with the CAPM. It therefore provides, in an expected utility framework, a generalization of the non-expected recursive utility model of Epstein and Zin (1989). When we estimate this specification with aggregate per capita consumption, we obtain economically plausible values of the preference parameters, in contrast with the habit formation or the Epstein-Zin cases taken separately. All tests performed with various preference specifications confirm that the reference level enters significantly in the pricing kernel.

Applying DEMO to model and automate a process in a workflow system: a case study in a city hall

Organizations are Complex systems. A conceptual model of the enterprise is needed that is: coherent the distinguished aspect models constitute a logical and truly integral comprehensive all relevant issues are covered consistent the aspect models are free from contradictions or irregularities concise no superfluous matters are contained in it essential it shows only the essence of the enterprise, i.e., the model abstracts from all realization and implementation issues. The world is in great need for transparency about the operation of all the systems we daily work with, ranging from the domestic appliances to the big societal institutions. In this context the field of enterprise ontology has emerged with the aim to create models that help to understand the essence of the construction and operation of complete systems; more specifically, of enterprises. Enterprise ontology arises in the way to look through the distracting and confusing appearance of an enterprise right into its deep kernel. This, from the perspective of the system designer gives him the tools needed to design a successful system in a way that’s reflects the desires and needs of the workers of the enterprise. This project’s context is the use of DEMO (Design and Engineering Methodology for Organizations) for (re)designing or (re)engineering of an enterprise, namely a process of the construction department of a city hall, the lack of a well-founded theory about the construction and operation of this processes that was the motivation behind this work. The purpose of studying applying the DEMO theory and method was to optimize the process, automating it as much as possible, while reducing paper and time spent between tasks and provide a better service to the citizens.

Processo de planejamento estratégico em universidade pública: o caso da Universidade Federal do Pará

The goal of this research is to check if the strategic planning developed between 2001 and 2009 into the State University of Para (Universidade Federal do Pará - UFPA) was consolidated into its Academic Centers as a management practice. To this end, we identified the planning formalization degree of the Academic Centers, the conceived tools for the planning, the conception and the methodological process used in the tools elaboration, as also its implementation. The research used a qualitative approach: it is descriptive and it uses the case study technique. The data were gathered from primary and secondary sources, through bibliography, documents, and field researches through semi-structure interviews. The analysis and data interpretation were done by each investigated Academic Center from the analytics categories guided by the specifics goals. We used theoretic fundamental based principles and the university as a study empiric reference based on its structure analysis, organizational processes and institutional strategic plan. We inspected how the strategic planning process was developed throughout the fixed period and how the investigated Academic Centers are from the collected documents and interviews. The theoretical foundation was built from three axis: the Brazilian undergraduate and posgraduate education system; the university itself including its singularity and complexity as an organization; and the planning as a strategic management process. The main results show us that the UFPA has updated regulatory milestones, presenting organizational structure, laws, instructions, manuals and deployed management model that give the strategic planning development conditions beyond its administration, i. e., into its Academic Centers. The centers also present those established milestones and develop the basic planning processes of the institution. Those processes are conceived based on the institutional strategic planning and the managers mainly use the procedural orientation defined by the university management, from where the conceptual foundation is originated and propagated. According to the literature and to the research done in this work, we can conclude that the Academic Centers from the UFPA developed the strategic planning practice. This planning is organized and founded and guided the plans and decisions which avoided the disordered management and, according to the managers, allowed the advances and performance improvement. We can conclude that the UFPA built an important foundation with respect to the management professionalization. On the other hand, we can not conclude that the management practice is consolidated since there are weaknesses into the structuring of the technical teams and there is not any management tool for the implementation of the elaborated plans

Validation of the Deardorff model for estimating energy balance components for a sugarcane crop

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O sindicato como espaço de construção da profissão docente

This work examines the connection Syndicate/teachers profession trying to unveil the important role taken over by the Syndical movement in the process of professionalization of the militant teachers. For that, it describes and analyses the historical course of three Syndicates representatives of the teachers category Associação dos Professores Licenciados da Bahia APLB; Sindicato dos Trabalhadores em Educação de Pernambuco SINTEPE; Sindicato dos Servidores Municipais de Petrolina SINDSEMP acting in the micro-region of the San Francisco Valley, especially, in the municipalities of Juazeiro Bahia , and of Petrolina Pernambuco. It concentrates its interests on the contribution of the Syndicates for the professional development of these teachers in this region analysing the aspects related to emerging conflicts into the Syndical organization, to the attitude of these entities before the educational reality to their reinvindicative struggles to the formative dimension of the group actions. This study tries to answer the following questions: How has this syndical movement of teachers of state school of S. Francisco Valley been characterized? How do their actions reflect in the formation and professionalization of the teachers? Do teachers recognize the syndicate as a constructive space for the teaching profession? The methodological trajectory was directed through a qualitative approach of an etnomethodological character, using instruments for the understanding of this reality, The treatment of the data was based on the interpretative analysis of the speeches present in documents and through answers of the interviwees, having as a reference in this analysis the theoretical studies about syndicalism and the teacher professionalization. For a conceptual construction of this work it was studied these two categories from their genesis, from the social historical evolution of their concepts and the up to date discussions that give explanations about the teachers syndical movement and about the process of teachers professionalization. As thesis of this study it was defended the idea of that the teachers syndicates have contributed expressively in the process of the construction of the teacher profession of the militant teachers of this in the micro-region of the S. Francisco Valley. Once the teachers participate actively in this movement promoted by the syndical entities, the teachers develop the critical sense of the educational realty; improve their formation and reinvindicate from the State this condition as a Right; fight for better conditions in the work; reinvindicate the salary valuation and, try to construct an image of teacher basing on a professional model. The contribution of the Syndicate in the process of teachers profissionalization, is more evident in its external dimension that chacterizes the profissionalism, on the related aspects: to the forms of participation in the definition and the management of the educational politics; to the political struggles for the achievements of the professional status, to the recognition and of his eventual valuation. The syndical actions have repercussions with less intensity in the inside dimension that defines the profissionality, in the related aspects: to the administratation of the pedagogical processes in schools and in the classroom; to the acquisition of branches of knowledges; to the epistemological criticism of the acquirements mobilized in the teaching; the curricular question to the mediation that make possible the learning at school and in the classroom

A (re)significação conceptual nas práticas colaborativas com professores do Ensino Fundamental

The work objectified to apprehend the degree of the teachers' concept concerning the territory concept and to intervene with situations of critical reflections to accompany and to analyze the process of conceptual elaboration. It contemplates on the (new)meaning of knowledge and (new)elaboration of the concept in study done inside a pedagogic intervention. The Municipal School Dr. Julio Senna - Ceará-Mirim/RN and six (6) teacher-collaborators that taught in the 3rd and 4th grades of the fundamental teaching, constitutes the empiric field of the research. Its theoretical-methodological contributions are built in the studies of Vigotski (2000a, 2000b and 2001) on the formation process and development of concepts; in the methodology colaborate (Ibiapina (2004), Bartomé (1986), Kemmis and Mctaggart (1988), Arnal, Del Ricon and Latorre (1992), Pepper and Ghedin (2002), among others) and in the critical-reflexive conception of the Geography (Soares Júnior (2000 and 1994), Silva (1998), Raffestin (1993), Santos (1994), Felipe (1998), among others). The accomplishment of the work presupposed starting from the reflections on the following subjects: which the teachers' understanding in the school space concerning the territory concept? How does happen the process of conceptual construction territory for the teachers? The analysis of the teachers' previous knowledge on the concept in study, evidenced that its apprehensions on the attributes of the referred concept went mentioned the to light of the perceptible dimension of the real-concrete relationships of the reality linked to the degree of the spontaneous concepts and followed by the ideas of the traditional, humanistic and cultural geographical conceptions (positivism and phenomenology), restricting the territory meaning the notion of State-Nation and place of the men's dwelling. In the intervention process, it was verified to real possibility of the acquisition of indispensable scientific concepts to the process of (new)meaning conceptual of geographical knowledge through the continuous practice of the educational formation, when it was evidenced that the teacher-collaborators acquired high degrees of attributions of the significance of the territory concept to the they elaborate generalizations by means of analyses and syntheses of the concept-attribute (essential and multiples) of the reference conceptual in study