Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2017-02-10T15:05:12Z No. of bitstreams: 1 josiecostabarbosa.pdf: 783402 bytes, checksum: eab0bc3552b216c5faf65e173a23faf8 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-13T16:44:07Z (GMT) No. of bitstreams: 1 josiecostabarbosa.pdf: 783402 bytes, checksum: eab0bc3552b216c5faf65e173a23faf8 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-13T16:44:22Z (GMT) No. of bitstreams: 1 josiecostabarbosa.pdf: 783402 bytes, checksum: eab0bc3552b216c5faf65e173a23faf8 (MD5) / Made available in DSpace on 2017-02-13T16:44:22Z (GMT). No. of bitstreams: 1 josiecostabarbosa.pdf: 783402 bytes, checksum: eab0bc3552b216c5faf65e173a23faf8 (MD5) Previous issue date: 2007-03-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Constituiu-se como objetivo deste estudo investigar em que medida a avaliação projetada no curso Veredas foi efetivamente realizada, no ponto de vista de alguns tutores que dele participaram. Nesta investigação procurou-se, primeiramente, apresentar um breve panorama da produção teórica sobre avaliação de alunos e educação a distância, destacando-se nesse contexto, a concepção de avaliação assumida pelo Projeto Veredas. Os sujeitos da pesquisa foram os tutores da Agência de Formação da Universidade Federal de Juiz de Fora - AFOR UFJF. O questionário foi o principal instrumento etodológico utilizado para coletar informações junto aos sujeitos focalizados. Dessa forma destacou-se nesse estudo uma reflexão específica sobre o Sistema de Tutoria, bem como o Sistema de Avaliação e Monitoramento. Considerando os elementos analisados neste estudo pode-se concluir que a avaliação projetada para o Veredas foi, em parte, alcançada. Os tutores demonstraram compreender os objetivos e funções da avaliação de desempenho de cursistas, entretanto, tiveram problemas na execução. Houve um istanciamento entre o discurso teórico e a prática avaliativa. Em alguns momentos a avaliação não conseguiu acompanhar o processo de ressignificação dos professores cursistas do Projeto Veredas, na visão dos tutores-sujeitos desse estudo. / This study consists in a measure evaluation of VEREDAS COURSE by some tutors that participated in it. This inquiry presents a brief theoretical production about pupils evaluation and long distance educational system, emphasizing in this context, the evaluation assumed by Veredas Course. Research was focused on tutors at FORMATION DEPARTMENT from JUIZ DE FORA FEDERAL UNIVERSITY (AFOR UFJF). A questionnaire was the principal method to collect information from tutors. This way, the investigation reflects guardianship as well as evaluating system’s. Conclusion leads to a partial achievement on evaluation project. Tutors demonstrated to understand evaluation functions and objectives on cursists performance. However, could not apply them due to difficulties. There was a lack between theoretical speech and practical performance. Tutors considered they could not evaluate cursists teachers through the upgrade achievement in VEREDAS PROJECT.

The thesis deals with the evaluation of workers in a particular organization. The aime is to optimize the ongoing assessment processes and to design the complex evaluation system for the entire enterprise. An analysis of the current evaluation processes was conducted, as well as interviews and consultations with the personalist and other employees. The practical part contains the result of the investigation and the specific draft of the evaluation forms. The conclusion is the summary of the results and it also evaluates how the objectives were met. The conclusion deals with the possibilities of using the proposed system in practice.

O setor de saúde suplementar no Brasil passou por transformações a partir da regulação do mercado pela Lei 9.656/98 e a criação da ANS – Agência Nacional de Saúde Suplementar, em 2000. A regulação trouxe avanços consolidando critérios para a entrada no mercado e funcionamento das OPS – Operadoras de Planos de Assistência à Saúde. A ANS criou o Programa de Qualificação da Saúde Suplementar, com o objetivo de melhorar a qualidade dos serviços prestados pelas OPS e privilegiar a transparência dos resultados da avaliação do desempenho do setor. Para avaliar e ter controle constante do desempenho das OPS, a ANS selecionou indicadores econômico-financeiros para classificar a dimensão da qualidade econômico-financeira do Programa. Pretendeu-se com este estudo verificar se os indicadores econômico-financeiros, selecionados pela ANS são relevantes para avaliar e classificar o desempenho das OPS, comparando-os com os indicadores econômico-financeiros tradicionais recomendados pela literatura, selecionados com a utilização da técnica estatística de AF - Análise Fatorial. A pesquisa foi desenvolvida com os dados das demonstrações contábeis referentes ao ano de 2004, de 211 OPS, das modalidades de medicina de grupo, cooperativa médica, filantropia e autogestão, disponíveis no banco de dados da ANS. Calcularam-se os indicadores para as 211 OPS, sendo utilizados para os estudos estatísticos o programa Excel®, da Microsoft®, e o software SPSS® 13.0. Aplicou-se inicialmente a AF ao conjunto de 10 indicadores, para redução e seleção dos mesmos, que foram sintetizados a 2 fatores principais. Aplicou-se também a AF ao conjunto de 8 indicadores utilizados pela ANS, para verificar a possibilidade de redução e chegou-se ao resultado de 2 fatores principais. Observou-se que os fatores encontrados pela AF em ambas as aplicações estão constituídos por 5 indicadores, que poderão compor a avaliação e classificação do desempenho econômico-financeiro dessas empresas. Em seguida, fizeram-se as classificações das OPS, sendo a primeira com os indicadores tradicionais selecionados pela AF e a segunda com os indicadores utilizados pela ANS. As classificações obtidas segundo os indicadores utilizados pela ANS, foram comparadas às classificações utilizando os indicadores tradicionais apontados pela AF. Observou-se que há proximidade entre as classificações das OPS, considerando os resultados obtidos. Assim, conforme a amostra trabalhada e análises realizadas, considerou-se que os indicadores utilizados pela ANS são relevantes para avaliar e classificar o desempenho das OPS. / The private health sector in Brazil has gone through changes since the passing of Law 9656, and the creation of ANS - Agencia Nacional de Saúde Suplementar (National Supervisor for Private Health Assistance) in the year 2000, both responsible for the implementation of market regulation. This led to criteria for the creation and functioning of OPS’s – Operadoras de Plano de Saúde (HMO’s). ANS created the Program of Qualification of Private Health Providers, aiming at improving the quality of services rendered by the OPS’s and at priviledging transparency in the results of the evaluation of the system. In order to evaluate and constantly control the performance of OPS’s, ANS selected economic and financial indicators to classify the extent of the financial and economic quality of the Program. This study aimed at examining whether these traditional indicators selected by ANS are relevant in the evaluation of the performance of OPS’s, in comparison with the indicators suggested by the literature in the area, and selected by means of the statistic technique of FA – Factor Analysis. The research took into account data provided by financial statements relating to 2004, of 211 OPS’s including group assistance, medical cooperative, philanthropy and self-management, with data available in the ANS database. The indicators were used with the 211 OPS’s, and the statistic studies were carried out with the use of Excel, by Microsoft, and the software SPSS 13.0. Initially, FA was applied to the set of 10 indicators, so as to reduce and select them, and they were narrowed down to two main factors. FA was also applied to the set of 8 indicators used by ANS, to check the possibility of reduction, and the result reached was 2 main factors. The study showed that the factors found by FA in both uses consisted of 5 indicators, which may compose the evaluation and classification of economic and financial performance of these enterprises. After that, the OPS’s were first classified with the traditional indicators selected by FA, and then with the indicators used by ANS. The classification obtained according with the indicators used by ANS was compared with the one obtained through the traditional indicators appointed by FA. The results obtained point to very close classification of OPS’s. Thus, according to the sample used and the analises performed, we can consider that the indicators chosen by ANS are relevant to evaluate and classify the performance of OPS’s.

Made available in DSpace on 2016-04-25T18:40:36Z (GMT). No. of bitstreams: 1 Jose Carlos Renesto.pdf: 2663018 bytes, checksum: 0a0f8a300fb31e501a0f92fd9e23b0c6 (MD5) Previous issue date: 2008-12-19 / The current work has the purpose to demonstrate as to evaluate the performance of strategy of the hospital, being used the balanced marker. It is research of the explorer, based a case study, in a qualitative perspective. Elaborated proposted it includes strategical, indicating and objective objectives of performance, distributed in the four perspectives, and a strategical map. After the experience, the results of the evaluation had been synthecized in the strategical map. He was verific that the use of the balanced marker leads the critical company to the optimização of its management, aids the identification of the chances and factors with the relation of employees' satisfaction with the efficiency of the process to keep next customers; it also, aids the communication in the company and management of the parts, since that it induces question and the formularization of punishment and dynamic. The focus in becoming it strategy, since that for the balanced marker, it allows at each moment the verification of the critical aspects of the institution. This work is introduced in the line of the research of the Pontifical University Catholic of São Paulo / O objetivo desse estudo é demonstrar como avaliar desempenho voltado à estratégia, em HOSPITAIS, com a utilização do Balanced Scorecard. Trata-se de pesquisa exploratória, realizada por meio de um estudo de caso e abordagem qualitativa. A partir da fundamentação teórica e da coleta de dados através de documentação, entrevistas e observação direta, foi elaborada uma proposta de avaliação de desempenho, fundamentada no Balanced Scorecard para um HOSPITAL. Compõe-se de objetivos estratégicos, indicadores de desempenho e metas, distribuídos nas quatro perspectivas, além do mapa estratégico. Os resultados da pesquisa evidenciam que a avaliação de desempenho realizada com o uso do Balanced Scorecard conduz a empresa à otimização de seu processo de gestão, auxilia na identificação de oportunidades e fatores críticos, relacionando a satisfação dos funcionários com a eficiência dos processos e retenção dos pacientes, assim como, a comunicação empresarial e a gestão participativa, induzindo ao questionamento e à formulação de ações corretivas e próativas. Conclui-se que o foco no desdobramento da estratégia, proporcionado pelo uso do Balanced Scorecard permite, a todo momento, verificar os aspectos críticos da organização para o cumprimento da estratégia. O estudo insere-se na linha de pesquisa Controle de Gestão do Programa de Pós Graduação em Ciências Contábeis e Atuariais da PONTIFÍCA UNIVERSIDADE CATÓLICA DE SÃO PAULO

Made available in DSpace on 2016-04-27T14:30:57Z (GMT). No. of bitstreams: 1 Orandes Carlos da Rocha Junior.pdf: 434267 bytes, checksum: e26b0aba11bf5b07fa88c1ccad886db8 (MD5) Previous issue date: 2012-05-04 / The performance bonus for teaching in public education is a state public policy adopted since 2000. It was born by the for neo-liberal government needing to create quality indicators that could be accountable to international funding agencies to improve education in the state. In the last 10 years the practice of giving a bonus payment to teachers and schools well-evaluated by external evaluation organized by the Secretaria da Educação do Estado de São Paulo (SEE / SP) was used by all the governors who succeeded one another in the State Government . What has changed on every government, are the criteria used to assess the quality and therefore rewarding teachers with bonuses. The latest version of the bonus, legally known as Bonuses for Results, is the use of criteria Index Development of Education in the State of São Paulo (IDESP), an indicator of quality established from two complementary criteria: student performance in official examination of the state system, called System Evaluation of Educational Achievement of São Paulo (SARESP) and student flow. This research aims to listen to what teachers think about the Bonuses for Results in an attempt to identify causes of successes and failures of schools in achieving the goals established for the IDESP these results and reflections on teaching practice. Data collection was based on the use of open-ended questionnaires to teachers of the 5th grade of elementary school, 9th´s grade mathematics and Portuguese Language teachers of basic education in three schools in the state of Sao Paulo. It´s possible to identify the teachers' discontent by pressure and requirement generated by the need to achieve the goals of IDESP beyond the failure of the subsidy by results in all its intentions: public policy evaluation, salary and curriculum / A bonificação por desempenho do docente no ensino público estadual paulista é uma política adotada desde o ano 2000. Ela nasceu da necessidade do governo de criar indicadores de qualidade que pudessem prestar contas aos organismos financiadores internacionais da melhoria da educação no Estado. Nestes últimos 10 anos, a prática de conferir um bônus salarial aos professores e às escolas bem avaliadas por meio de avaliação externa promovida pela Secretaria de Estado da Educação de São Paulo (SEE/SP) foi utilizada por todos os Governadores que se sucederam no Governo do Estado. A mais recente versão do bônus, legalmente denominada Bonificação por Resultado, tem como critérios a utilização do Índice de Desenvolvimento da Educação no Estado de São Paulo (IDESP), um indicador de qualidade estabelecido a partir de dois critérios complementares: o desempenho dos alunos no exame oficial da rede estadual, denominado Sistema de Avaliação do Rendimento Escolar do Estado de São Paulo (SARESP) e o fluxo escolar. A presente pesquisa tem por objetivo ouvir o que pensam os professores sobre a Bonificação por Resultados na tentativa de identificar causas de sucessos e insucessos das escolas no cumprimento das metas estabelecidas para o IDESP e os reflexos destes resultados na prática docente. A coleta de informações baseou-se na utilização de questionários abertos e entrevistas complementares em três escolas do interior do Estado de São Paulo. Pode-se identificar o descontentamento dos professores pela pressão e cobrança gerada pela necessidade de atingir as metas do IDESP além do insucesso da Bonificação por Resultado em todas as suas intencionalidades: política pública de avaliação, de salário e curricular

Les entrepôts de données forment le socle des systèmes décisionnels. Ils permettent d'intégrer les données de production d'une entreprise ou d'un organisme et sont le support de l'analyse multidimensionnelle en ligne (OLAP) ou de la fouille de données. Avec l'exploitation de plus en plus courante de données complexes dans le cadre des processus décisionnels, de nouvelles approches d'entreposage, qui exploitent notamment le langage XML, sont développées. Dans ce contexte, le problème de la performance des entrepôts de données demeure plus que jamais un enjeu crucial.<br /><br />Le travail présenté dans ce mémoire vise à proposer des solutions innovantes au niveau de l'optimisation et de l'évaluation des performances des entrepôts de données. Nous avons en effet conçu une approche générique dont l'objectif est de proposer automatiquement à l'administrateur d'un entrepôt des solutions permettant d'optimiser les temps d'accès aux données. Le principe de cette approche est d'appliquer des techniques de fouille de données sur une charge (ensemble de requêtes) représentative de l'utilisation de l'entrepôt de données afin de déduire une configuration quasi-optimale d'index et/ou de vues matérialisées. Des modèles de coût permettent ensuite de sélectionner parmi ces structures de données les plus efficaces en terme de rapport gain de performance/surcharge.<br /><br />Par ailleurs, l'évaluation de performance peut venir en appui de la conception des entrepôts de données. Ainsi, afin de valider notre approche de manière expérimentale, nous avons également conçu plusieurs bancs d'essais génériques. Le principe directeur qui a présidé à leur élaboration est l'adaptabilité. En effet, pour comparer l'efficacité de différentes techniques d'optimisation des performances, il est nécessaire de les tester dans différents environnements, sur différentes configurations de bases de données et de charges, etc. La possibilité d'évaluer l'impact de différents choix d'architecture est aussi une aide appréciable dans la conception des entrepôts de données. Nos bancs d'essais permettent donc de générer diverses configurations d'entrepôts de données, ainsi que des charges décisionnelles qui s'y appliquent.<br /><br />Finalement, nos solutions d'optimisation et d'évaluation des performances ont été mises en oeuvre dans les contextes des entrepôts de données relationnels et XML.

Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de notre quotidien. En réponse aux exigences grandissantes en termes de nombre de fonctionnalités et donc de flexibilité, les parties logicielles de ces systèmes se sont vues attribuer une place importante malgré leur manque d'efficacité, en comparaison aux solutions matérielles. Par ailleurs, vu la prolifération des systèmes nomades et à ressources limités, tenir compte de la performance est devenu indispensable pour bien les concevoir. Dans cette thèse, nous proposons une démarche rigoureuse et intégrée pour la modélisation et l'évaluation de performance tôt dans le processus de conception. Cette méthode permet de construire des modèles, au niveau système, conformes aux spécifications fonctionnelles, et intégrant les contraintes non-fonctionnelles de l'environnement d'exécution. D'autre part, elle permet d'analyser quantitativement la performance de façon rapide et précise. Cette méthode est guidée par les modèles et se base sur le formalisme $mathcal{S}$BIP que nous proposons pour la modélisation stochastique selon une approche formelle et par composants. Pour construire des modèles conformes au niveau système, nous partons de modèles purement fonctionnels utilisés pour générer automatiquement une implémentation distribuée, étant donnée une architecture matérielle cible et un schéma de répartition. Dans le but d'obtenir une description fidèle de la performance, nous avons conçu une technique d'inférence statistique qui produit une caractérisation probabiliste. Cette dernière est utilisée pour calibrer le modèle fonctionnel de départ. Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction. Nous avons développé un flot de conception qui automatise la majorité des phases décrites ci-dessus. Ce flot a été appliqué à différentes études de cas, notamment à une application de reconnaissance d'image déployée sur la plateforme multi-cœurs STHORM. / In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design.

De nos jours, les services Web sont très utilisés notamment par les entreprises pour rendre accessibles leurs métiers, leurs données et leurs savoir-faire via le Web. L'émergence des services Web a permis aux applications d'être présentées comme un ensemble de services métiers bien structurés et correctement décrits, plutôt que comme un ensemble d'objets et de méthodes. La composition automatique de services est une tâche complexe mais qui rend les services interopérables, ainsi leur interaction permet d'offrir une valeur ajoutée dans le traitement des requêtes des utilisateurs en prenant en compte des critères fonctionnels et non fonctionnels de la qualité de service. Dans ce travail de thèse, nous nous intéressons plus précisément aux services à base de localisation (LBS) qui permettent d'intégrer des informations géographiques, et de fournir des informations accessibles depuis des appareils mobiles via, les réseaux mobiles en faisant usage des positions géographiques de ces appareils. L'objectif de ce travail est de proposer une approche orientée modèles pour spécifier, valider et mettre en œuvre des processus de composition automatique de services à des fins de sécurité routière dans les transports. Cette approche est basée sur deux outils formels à savoir les Réseaux de Petri (RdP) et l'algèbre (max,+). Pour cela, nous préconisons l'utilisation des workflow patterns dans la composition, où chaque pattern est traduit par un modèle RdP et ensuite par une équation mathématique dans l'algèbre (max,+). Les modèles formels développés ont conduits, d'une part, à la description graphique et analytique des processus considérés, et d'autre part, à l'évaluation et la vérification quantitatives et qualitatives de ces processus. Une plateforme, appelée TransportML, pour la collaboration et l'interopérabilité de services à base de positionnement a été implémentée. Les résultats obtenus par la simulation des modèles formels sont comparés à ceux issus des simulations du fonctionnement de la plateforme et des expérimentations sur le terrain.Cette thèse est effectuée dans le cadre des projets Européens FP7 ASSET (2008-2011) et TeleFOT (2008-2012).

Diss. (sammanfattning) Stockholm : Karolinska institutet, 2002. / Härtill 5 uppsatser.

Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de notre quotidien. En réponse aux exigences grandissantes en termes de nombre de fonctionnalités et donc de flexibilité, les parties logicielles de ces systèmes se sont vues attribuer une place importante malgré leur manque d'efficacité, en comparaison aux solutions matérielles. Par ailleurs, vu la prolifération des systèmes nomades et à ressources limités, tenir compte de la performance est devenu indispensable pour bien les concevoir. Dans cette thèse, nous proposons une démarche rigoureuse et intégrée pour la modélisation et l'évaluation de performance tôt dans le processus de conception. Cette méthode permet de construire des modèles, au niveau système, conformes aux spécifications fonctionnelles, et intégrant les contraintes non-fonctionnelles de l'environnement d'exécution. D'autre part, elle permet d'analyser quantitativement la performance de façon rapide et précise. Cette méthode est guidée par les modèles et se base sur le formalisme $mathcal{S}$BIP que nous proposons pour la modélisation stochastique selon une approche formelle et par composants. Pour construire des modèles conformes au niveau système, nous partons de modèles purement fonctionnels utilisés pour générer automatiquement une implémentation distribuée, étant donnée une architecture matérielle cible et un schéma de répartition. Dans le but d'obtenir une description fidèle de la performance, nous avons conçu une technique d'inférence statistique qui produit une caractérisation probabiliste. Cette dernière est utilisée pour calibrer le modèle fonctionnel de départ. Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction. Nous avons développé un flot de conception qui automatise la majorité des phases décrites ci-dessus. Ce flot a été appliqué à différentes études de cas, notamment à une application de reconnaissance d'image déployée sur la plateforme multi-cœurs STHORM. / In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design.