• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 544
  • 38
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 592
  • 554
  • 293
  • 260
  • 257
  • 104
  • 101
  • 100
  • 94
  • 91
  • 83
  • 82
  • 82
  • 81
  • 74
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
391

Avaliação dos fatores para o compartilhamento do conhecimento operário: aplicação na empresa Maxion / Evaluation of factors for the sharing of operational knowledge: application with the Maxion company

Affonso, Carlos Eduardo Fonseca [UNESP] 25 November 2016 (has links)
Submitted by CARLOS EDUARDO FONSECA AFFONSO null (cefaffonso@gmail.com) on 2017-02-06T15:52:43Z No. of bitstreams: 1 UNIVERSIDADE ESTADUAL PAULISTA.pdf: 1591315 bytes, checksum: 98ebff03db76ab67f21a39bed44d71b1 (MD5) / Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-02-09T17:57:43Z (GMT) No. of bitstreams: 1 affonso_cef_me_guara.pdf: 1591315 bytes, checksum: 98ebff03db76ab67f21a39bed44d71b1 (MD5) / Made available in DSpace on 2017-02-09T17:57:43Z (GMT). No. of bitstreams: 1 affonso_cef_me_guara.pdf: 1591315 bytes, checksum: 98ebff03db76ab67f21a39bed44d71b1 (MD5) Previous issue date: 2016-11-25 / Tendo em vista a farta oferta de estudos sobre o conhecimento nas organizações e os esforços que se tem empregado para a utilização deste valioso ativo nos processos de inovação dos meios produtivos, surge a necessidade de se explorar as melhores práticas da Gestão do conhecimento. O presente trabalho tem por objetivo analisar a aplicação do Processo de Avaliação Industrial baseado no Conhecimento para o setor automotivo. Com o propósito de envolver a integração do trinônimo produção, trabalho e Conhecimento, busca-se evidenciar os fatores que na percepção dos gestores e trabalhadores diretos, contribuem para o compartilhamento do conhecimento operário e para à promoção de um contexto favorável à obtenção de resultados para a organização e para as pessoas do “chão de fábrica” neste âmbito. Assim, a pesquisa utiliza uma abordagem quali-quantitativa e aplica questionário fechado em uma amostra probabilística com 39 operários e amostra não probabilística com as categorias de gestores (Gerentes, coordenadores e encarregados) para identificar os fatores mais relevantes ao compartilhamento do conhecimento. Para avaliação dos fatores, aplica-se o Método de Decisão por Multi-critérios AHP (Analytic Hierarchy Proces) na Maxion – Unidade de Resende – em operação na Man Latin America. Como resultado, a pesquisa faz emergir um tema até então não explorado com profundidade pela empresa pesquisada. Cria-se uma nova perspectiva para a inovação dos métodos da Organização do Trabalho e da Produção e à Gestão do Conhecimento. A pesquisa atendeu aos objetivos, identificando os fatores mais relevantes para o compartilhamento do conhecimento operário e para a integração do conhecimento e organização do trabalho e da produção. / Considering the large number of studies on knowledge in organizations and the efforts that have been made to use this valuable asset in the processes of innovation of productive means, the need arises to explore the best practices of knowledge management. The present work aims to analyze the application of the Industrial Evaluation Process based on Knowledge for the automotive sector. With the purpose of involving the integration of the trinomial production, work and Knowledge, it is tried to evidence the factors that in the perception of the managers and direct workers, contribute to the sharing of workers' knowledge and to the promotion of a favorable context to obtain results for The organization and for the people of the "factory floor" in this scope. Thus, the research uses a qualitative-quantitative approach and applies a closed questionnaire in a probabilistic sample with 39 workers and a non-probabilistic sample with the categories of managers (managers, coordinators and managers) to identify the most relevant factors for knowledge sharing. To evaluate the factors applies the Decision Method for Multi-criteria AHP (Analytic Hierarchy Process) in Maxion - Resende Unit - Man operating in Latin America. As a result, the research has emerged a topic that had not been explored in depth by the company researched. A new perspective is created for the innovation of the methods of the Work and Production Organization and the Knowledge Management. The research met the objectives, identifying the most relevant factors for the sharing of labor knowledge and for the integration of knowledge and organization of work and production.
392

Decisão de mix de produtos sob a ótica do custeio baseado em atividades e tempo. / Product-mix decision from the perspective of time-driven activity-based costing.

Abraão Freires Saraiva Júnior 25 February 2010 (has links)
Esta pesquisa versa sobre o tema decisão de mix de produtos que, em uma visão de Gestão de Produção e Operações, pode ser entendido como a definição da quantidade ideal a ser produzida de cada tipo de produto em um determinado período, considerando que estes competem por um número limitado de recursos, de forma a maximizar o resultado econômico (ex: lucro líquido) da empresa. Os modelos de decisão de mix produtos utilizam informações sobre rentabilidade que é determinada a partir de análises e confrontos entre os preços de vendas e os custos dos produtos, custos esses que são mensurados através de métodos de custeio. Dentre os métodos de custeio existentes na literatura, destacam-se o Custeio por Absorção, o Custeio Direto, o Custeio Baseado em Atividades (ABC) e o Custeio Baseado em Atividades e Tempo (TDABC). O TDABC, apesar de lançado na literatura em 2004 e detalhado em 2007 a partir de um livro publicado por Robert Kaplan e Steven Anderson, ainda não foi explorado diretamente pela literatura que versa sobre decisão de mix de produtos, ao contrário dos outros métodos de custeio mencionados. Nesse contexto, esta dissertação tem como objetivo primário construir um modelo quantitativo para alicerçar a decisão de mix de produtos que incorpore a lógica de custeio do TDABC. Para cumprir o objetivo primário, inicialmente, a dissertação é desenvolvida metodologicamente com a realização de uma pesquisa bibliográfica para discutir conceitos e posicionar a pesquisa sobre decisão de mix de produtos e sobre métodos de custeio, com destaque ao TDABC. Em seguida, utiliza-se modelagem quantitativa com vistas à proposição de um modelo baseado no TDABC para decisão de mix de produtos. A partir de um exemplo didático envolvendo um ambiente de manufatura, é ilustrada a aplicação do modelo proposto. Finalmente, conclui-se que o modelo proposto sob a ótica do TDABC é útil para fundamentar a decisão de mix de produtos. A dissertação possui, ainda, os objetivos secundários de posicionar teoricamente, de analisar criticamente e de caracterizar as publicações acadêmicas internacionais sobre decisão de mix de produtos no tocante (i) aos países nos quais os estudos foram originados, (ii) aos principais canais de publicação (periódicos) dos trabalhos, (iii) aos tipos de pesquisa utilizados e (iv) aos destaques em termos de autores e de publicações mais citados. Para cumprir os objetivos secundários, são realizados um levantamento bibliográfico em três portais de periódicos, uma análise bibliométrica dos artigos prospectados e uma análise crítica do conteúdo das publicações sobre decisão de mix de produtos. A partir dos resultados da análise bibliométrica, conclui-se que: (i) a produção acadêmica sobre decisão de mix de produtos apresentou um crescimento considerável a partir de 1991; (ii) 71% das publicações concentram-se em periódicos estritamente relacionados com o campo acadêmico da Gestão de Produção e Operações; (iii) há uma forte concentração das pesquisas em universidades dos Estados Unidos e é relevante o papel de pesquisadores vinculados a instituições de países orientais (Taiwan, Índia e China) na produção acadêmica internacional sobre decisão de mix de produtos; (iv) 77% das publicações foram trabalhados pelos autores a partir dos tipos de pesquisa Modelagem Matemática/Quantitativa e Teórico/Conceitual; e (v) Gerrard Plenert, pesquisador da Brigham Young University, foi o autor mais citado nos artigos analisados. / This research addresses the theme \"product-mix decision\" that, in a Production and Operations Management perspective, can be understood as the definition of the optimum quantity to be produced for each type of product in a given period, considering these products compete for limited resources in order to maximize the firm economic result (e.g. net profit). Product-mix decision models use information on profitability, which is determined from analysis and confrontation between sales prices and costs of the products supplied by the company. These products costs are measured by costing methods. Among the existing costing methods in the literature, Absorption Costing, the Direct Costing, the Activity Based Costing (ABC) and Time- Driven Activity-Based Costing (TDABC) are highlighted. TDABC, despite appearing in the literature in 2004 and detailed in 2007 from a book written by Robert Kaplan and Steven Anderson, has not been directly explored in the literature that deals with the product-mix decision, unlike the other costing methods mentioned. In this context, the dissertation aims primarily to build a quantitative model to underpin the productmix decision incorporating the TDABC approach. To meet the primary objective, firstly, the dissertation is methodologically developed from a literature research to discuss concepts and positioning the research on product-mix decision and on costing methods, emphasizing TDABC. Then, quantitative modeling is used in order to propose a model based on TDABC to assist product-mix decision. An application of the proposed model is illustrated from a didactic example involving a manufacturing environment. Finally, it is concluded that the model proposed from the perspective of TDABC can be helpful for decision making related to product-mix. Secondarily, the dissertation also aims to position theoretically, to analyze critically, and to characterize the academic literature on the product-mix decision published in international journals with respect to (i) the countries where the studies were originated, (ii) the main journals that publish the studies, (iii) the research approach used, and (iv) the highlights in terms of authors and publications cited. In order meet the secondary objectives, a bibliographic survey on three internet portals, a bibliometric analysis of the prospected papers, and a critical analysis of the content of product-mix decision publications are carried out. The bibliographic survey resulted in 70 academic articles on product-mix decision published in international journals. From the results of the bibliometric analysis, it was found that: (i) productmix decision academic research has grown since 1991; (ii) 71% of the publications focus on academic journals strictly related to the Production and Operations Management field; (iii) there is a strong concentration of research in American universities and the role of researchers from institutions in Eastern countries (Taiwan, India and China) is relevant in product-mix decision international publication; (iv) 77% of the publications were treated by the authors as from two research approaches: Mathematical/Quantitative Modeling and Theoretical/Conceptual; and (v) the most cited author in the articles analyzed is researcher Gerrard Plenert, from Brigham Young University.
393

A formação de professores para o ensino de Administração baseado em competências: possibilidades e desafios / The teacher training for Business Administration competency-based learning: possibilities and challenges

Amanda Ribeiro Vieira 04 December 2014 (has links)
O ensino superior brasileiro vem passando por um processo de expansão nas últimas décadas, com destaque para os cursos superiores na área de Administração que possuem mais de um milhão de alunos matriculados. No entanto, esta expansão quantitativa não reflete uma expansão qualitativa. Há divergências entre o perfil do egresso destes cursos e as exigências impostas pelo mercado de trabalho. Neste contexto, o modelo de ensino baseado em competências surge como uma tentativa de dirimir este conflito, sendo a opção pedagógica adotada no Espaço Europeu de Educaçao Superior, que inclui a Espanha. Este modelo de ensino altera as práticas docentes exigindo uma formação pedagógica mais adequada do professorado universitário. As universidades espanholas, por meio de seus Institutos de Ciências da Educação, passaram a oferecer programas de formação pedagógica inicial e continuada a seus professores. No Brasil, a Lei de Diretrizes e Bases da Educação Nacional determina que a preparação para o exercício do magistério superior deve ocorrer prioritariamente nos programas de mestrado e doutorado. Todavia, os programas de pósgraduação stricto sensu privilegiam a formação do pesquisador em detrimento da formação do professor. Desta forma, este trabalho descreve as possibilidades e os desafios da formação para a docência universitária em programas de mestrado e doutorado em Administração no Brasil considerando o modelo de ensino baseado em competências. / Brazilian higher education has been undergoing an expansion process in the last decade, where undergraduate courses in Business Administration are standing out with more than a million students enrolled in them. However, this quantitative expansion does not reflect a qualitative expansion. The profile of the alumni from the before mentioned courses diverge from the profile demanded by the labor market. In this context, the competency-based education model emerges as an attempt to resolve this conflict and has been the pedagogical option adopted by the European Higher Education Area, which comprises Spain. This teaching model changes teaching practices and requires that university professors be properly trained for it. Spanish universities have been providing initial and continuing pedagogical training for their professors. The Brazilian Education Law establishes that the preparation for the university teaching practice has to occur primarily in master\'s and doctoral programs. However, postgraduate programs privilege the researcher formation at the expense of teacher training. This thesis describes the possibilities and challenges of university teaching training in master\'s and doctoral programs in Business Administration in Brazil with emphasis on competency-based education model.
394

Modelagem e controle preditivo de um sistema de pulverização com injeção direta / Modeling and predictive control of a chemical injection sprayer system

Kleber Romero Felizardo 02 August 2013 (has links)
Sistemas de pulverização com injeção direta possibilitam o uso de diferentes agrotóxicos em uma mesma aplicação, reduzindo o desperdício de agrotóxicos e minimizando desta forma os impactos toxicológico e ambiental relacionados com o preparo e descarte da calda. Neste trabalho foram desenvolvidos modelos matemáticos para um sistema de pulverização com injeção direta de agrotóxico, incluindo a dinâmica da concentração da calda. Também foi desenvolvida uma estratégia de controle preditivo com antecipação das taxas de aplicação para ajustar as taxas de aplicação do agrotóxico e da calda. Também, uma plataforma flexível para o desenvolvimento de pulverizadores foi projetada e construída. A sua automação foi baseada em um controlador embarcado de tempo real adequado para aplicações de controle, aquisição e temporização. Para obter os parâmetros dos modelos e avaliar a estratégia de controle ensaios de vazão e concentração para diferentes pontas de pulverização foram propostos. Com o emprego da abordagem de controle preditivo, os erros das vazões do agrotóxico e da calda ficaram abaixo do nível admissível de 5%. O uso da estratégia de antecipação das taxas de aplicação permitiu aumentar a eficiência da aplicação, reduzindo em até 40% os erros de aplicação. Resultados experimentais são apresentados para validar os modelos e mostrar a eficiência da estratégia de controle desenvolvida. / Sprayer systems with direct injection allow the use of different pesticides in a single application, reducing the waste of chemicals and thereby minimizing the toxicologic and environmental risks associated with the carrier-chemical mix preparation and discard. In this work, mathematical models for a direct chemical injection sprayer system including the dynamics of the carrier-chemical mix concentration are developed. Also, a predictive control strategy with anticipative reference of application rates was developed to adjust the carrier-chemical mix and chemical flow rates. Also, a flexible platform for the development of sprayers was designed and constructed. The automation of this platform was based on a programmable automation controller suitable for control, acquisition and timming applications. To obtain the models and analyse the control strategy, essays flow and concentration for different spray nozzles were proposed. With the use of predictive control approach, the errors of the carrier-chemical mix and chemical flow rates were lower than the admissible level of 5 %. The use of the advanced references increased the efficiency of the variable rate application, reducing up to 40 % application errors. Practical results are presented to validate the models and show the efficiency of the developed control strategy.
395

Sistematização da assistência de enfermagem usando raciocínio baseado em casos implementado em JAVA. / Nursing assistance systematization using case-based reasoning implemented in JAVA.

Marcio Almeida Mendes 26 November 2009 (has links)
Mesmo com a evolução tecnológica em vários setores, a área de enfermagem tem tido investimentos escassos em pesquisa e desenvolvimento capazes de atender suas expectativas, principalmente no campo da inteligência artificial. As expectativas dos enfermeiros convergem à melhora de seus processos clínicos que resultará em uma maior aproximação de seus pacientes. Além disso, há dificuldade em reunir diagnósticos de enfermagem nos hospitais, onde diversos registros clínicos e procedimentos preenchidos manualmente e armazenados ainda em folhas de papel. Esta condição compromete a legibilidade dos documentos envolvidos nos processos hospitalares, e seu arquivamento torna o processo de levantamento de informações moroso, o que acaba por inviabilizar a pesquisa à qual poderia resultar em informações importantes para melhora do processo de tomada de decisões. O objetivo desta dissertação foi trazer o estado da arte em inteligência artificial focado em raciocínio baseado em casos e sua aplicação na sistematização da assistência de enfermagem. No sentido de validar o modelo levantado foi criado um protótipo para apresentar uma aplicação que pudesse auxiliar os enfermeiros em seus processos clínicos, armazenando suas experiências em uma base de casos para futuras pesquisas. O protótipo consistiu em digitalizar diagnósticos de enfermagem pediátrica, e inserção em uma base de casos, com o intuito de avaliar a eficácia do protótipo na manipulação destes casos, em uma estrutura propicia para recuperação, adaptação, indexação e comparação de casos. Esta dissertação apresenta como resultado uma ferramenta computacional para a área da saúde, empregando uma das técnicas de inteligência artificial, Raciocínio Baseados em Casos. Os resultados foram satisfatórios devido ao alto índice de aprovação nos quesitos confiabilidade, funcionalidade, usabilidade e eficiência conforme as normas ISO/ABNT de qualidade em software. / Even with the development of technology in many industries, the nursing sector has had low investment in research and development, mainly in the field of artificial intelligence. The expectations of nurses converge to improvement over his clinical procedures that will result in a closer relationship with their patients. Moreover, there is difficulty in finding nursing diagnoses in hospitals, while clinical records and procedures are completed manually and stored even on paper. This condition compromises the readability of documents involved in the admissions process, and archiving that also becomes time-consuming process of information gathering, which derail research that could result in important information for improved decision-making. The objective of this dissertation was to bring the state of the art regarding artificial intelligence focusing on Case-Based Reasoning and its application in the systematization of nursing care. In order to validate the model a prototype was set up to demonstrate an application that would assist nurses in their clinical files, storing their experiences in a case base for future research. The prototype was to scan diagnosis pediatric nursing, and insertion into a case base in order to evaluate the effectiveness of the prototype in handling those cases. It also provides a framework for recovery, adaptation, indexing, and comparison of cases. This dissertation presents results in a computational tool for health employing one of the techniques of artificial intelligence: Case-Based Reasoning. The results were satisfactory due to high rate in terms of structure reliability, functionality, usability and efficiency according to ISO / ABNT quality in software.
396

An agent-based model for lighting technology adoption in the residential sector: integration of social, technological and economic factors / Modelo baseado em agentes para o estudo da difusão de tecnologias de iluminação no setor residencial: integração de fatores sociais, tecnológicos e econômicos

Jairo Daniel Chamorro Chamorro Erazo 21 September 2016 (has links)
The implementation of energy policies oriented to incentive the adoption of efficient lighting technologies in the residential sector requires analytic tools able to describe the market conditions necessary for a successful penetration of the innovations. This article describes, using an agent-based model, the relationship between the micro behaviors of householder\'s adoption of lighting technologies and the aggregated macro patterns of diffusion in the Brazilian residential sector. The model also studies the dynamic between the interaction network parameters and the emerging diffusion characteristics in different economic scenarios for energy and technologic prices / A implementação de políticas públicas orientadas a incentivar a adopção de tecnologias de iluminação mais eficientes no setor residencial precisa de ferramentas analíticas capazes de descrever assertivamente as condições de mercado necessárias para uma penetração exitosa destas inovações. Este documento descreve, utilizando modelagem baseado em agentes, a relação entre os micro comportamentos dos usuários ao adotar as tecnologias de iluminação e as macro tendências agregadas de difusão no setor residencial brasileiro. O modelo também estuda a dinâmica existente entre a relação dos parâmetros das redes de interação e as caraterísticas emergentes no processo de difusão em diferentes cenários econômicos para os custos energéticos e tecnológicos.
397

Applications of complex systems science to address public policy issues / Aplicações de sistemas complexos para problemas de políticas públicas

Felipe de Oliveira Simoyama 21 June 2018 (has links)
In public policies, agents are part of an emergent and complex context, reason for which their actions should not be examined in isolation. The state of an agent is influenced by the state of others, in an environment where feedback is continuous and full of interactions. These characteristics result in a system where the total is more unpredictable and dazzling than the mere sum of its parts. As a result, there are a growing number of studies that use typical methods of complex systems to analyze public policies in various areas, such as healthcare, education, crime prevention, energy resources and others. Moreover, such distinct approach allows for more accessible investigations of public policy models, including policies that were not evaluated ex ante from the traditional lenses. This research had two main objectives: to verify how complex systems apply to the context of public policies theoretically and to present a practical application of a model, which was built based upon a case study. Since there is not a clear comprehension on how complex systems could benefit policy makers, this study presents, in its first part, a systematic literature review including some existing applications and the benefits of complexity science in the policy arena. On the whole, it can be asserted that there is a strong consensus that complex systems can be highly beneficial for policy makers and, consequently, for the overall population. Researchers perceive different benefits, such as the opportunity of testing policies a priori, the possibility of comparing different policies for the same topic, and the contemplation of new ideas and insights for better policy formulation. Although there are several simulations and models proposed for public policies in several areas, it lacks an empirical demonstration that effectively proves the benefits of applying complex systems in public policies, i.e., apparently, there are obstacles that prevent such models from having effects in the real world. In this way, the second part of the research presents an agent-based model that can be applied empirically in a government agency: a regulatory body. Such model allows policy makers to compare different enforcement strategies and anticipate side effects that would be difficult to predict without the use of simulations. In this sense, the objective of the second part of this research was to build an agent-based model of a public policy and for which a practical implementation could be carried out. Therefore, a public policy from a professional regulatory board in the healthcare area was chosen, for which two different strategies were tested, with the objective of comparing their efficiency and effectiveness. Such strategies were modeled and simulated with the use of Netlogo software with different scenarios. Results indicate that agent based models can serve as predictive tools for comparing and improving inspection strategies, and also as source of insights for anticipating unintended consequences that would hardly be noticed ex ante without the use of simulation tools / Em políticas públicas, as ações dos agentes envolvidos não podem ser analisadas de forma isolada. O estado de um agente é influenciado pelo estado dos demais, num ambiente em que o feedback é contínuo e repleto de interações. Essas características resultam num sistema onde o total é mais imprevisível e deslumbrante do que a mera soma de suas partes. Com isso, há um crescente número de estudos que utilizam métodos típicos de sistemas complexos para analisar políticas públicas de diversas áreas, como saúde pública, educação, segurança, recursos energéticos e outros. Além disso, essa forma diferente de abordagem permite que alguns modelos de políticas públicas sejam investigados com mais facilidade, incluindo políticas que sequer eram analisadas pelo prisma tradicional. Esta pesquisa teve dois objetivos principais: verificar como os sistemas complexos se aplicam às políticas públicas no campo teórico e apresentar uma aplicação prática de modelagem dentro do contexto de um estudo de caso. Como ainda não há um entendimento sistematizado sobre como sistemas complexos podem ser úteis em políticas públicas, este estudo apresenta, em sua primeira parte, uma revisão sistemática de literatura para uma melhor compreensão de como essas aplicações ocorrem e de quais benefícios essa ciência, de fato, pode trazer. Em decorrência desse estudo, pode-se afirmar que há consenso, na literatura, de que a teoria da complexidade é benéfica para formuladores de políticas e, consequentemente, para a população em geral. Tais benefícios são vistos de diversas formas pelos pesquisadores, como, por exemplo, a possibilidade de se testar políticas a priori, a possibilidade de se comparar diversos tipos de políticas para um mesmo problema e a obtenção de novas perspectivas e ideias para formulação de políticas. Apesar de haver diversas simulações e modelos propostos para políticas públicas em diversas áreas, não foi constatada uma demonstração empírica que comprove efetivamente o benefício de se aplicar sistemas complexos em políticas públicas, ou seja, aparentemente há obstáculos que impedem esses modelos terem efeitos nas políticas de facto. Dessa maneira, o objetivo da segunda parte da pesquisa foi o de construir um modelo baseado em agentes relacionado a uma política pública e cuja implementação prática fosse factível. Assim, foi selecionada uma política relacionada a um órgão público de fiscalização do exercício profissional (conselho de classe), especificamente na área da saúde, para a qual foram traçadas duas estratégias diferentes, com o objetivo de compará-las em termos de eficácia e de efetividade. Essas estratégias foram modeladas e simuladas em software específico de modelos baseados em agentes para análise dos resultados considerando diversos cenários possíveis. Os resultados indicam que os modelos baseados em agentes podem auxiliar o formulador de políticas a comparar diferentes estratégias de fiscalização e antecipar efeitos colaterais que dificilmente seriam constatados ex ante sem a utilização de simulações
398

Análise de políticas de controle de acesso baseado em papéis com rede de Petri colorida. / Policies analysis of role based access control with colored Petri net.

Eduardo Takeo Ueda 24 May 2012 (has links)
Controle de acesso é um tópico de pesquisa importante tanto para a academia quanto para a indústria. Controle de Acesso Baseado em Papéis (CABP) foi desenvolvido no início dos anos 1990, tornando-se um padrão generalizado para controle de acesso em vários produtos e soluções computacionais. Embora modelos CABP sejam largamente aceitos e adotados, ainda existem questões para responder. Um dos principais desafios de pesquisa em segurança baseada em papéis é determinar se uma política de controle de acesso é consistente em um ambiente altamente dinâmico. Nossa pesquisa visa preencher essa lacuna fornecendo um método para analisar políticas CABP com respeito a dois aspectos significativos: segurança e dinamismo envolvendo papéis e objetos. Para este propósito, desenvolvemos um modelo de descrição e simulação de política usando rede de Petri colorida e CPN Tools. O modelo descreve e é capaz de simular vários estados CABP em um contexto de educação a distância típico. Usando este modelo, foi possível analisar o espaço de estados produzido pela rede de Petri colorida em um cenário dinâmico envolvendo a criação de novos papéis e objetos. O resultado da análise de alcançabilidade da rede de Petri da política demonstrou que é possível verificar a consistência de políticas de controle de acesso considerando a dinamicidade de papéis e objetos, e apontou vantagens de aplicabilidade da modelagem de políticas de segurança em ambientes distribuídos utilizando rede de Petri colorida. / Access control is an important research topic both for academia and industry. Role Based Access Control (RBAC) was developed in the early 1990s, becoming a generalized standard of access control for many products and computing solutions. Although RBAC models have been widely accepted and adopted, there are issues to answer. One of the key challenges for role-based security research is to characterize whether an access control policy is consistent in a highly dynamic environment. Our research aims filling this gap providing a method to analyze RBAC policies with respect to two significant aspects: security and dynamics involving roles and objects. For this purpose, we developed a policy description and simulation model using colored Petri net and the CPN Tools. The model describes and is capable to simulate many RBAC states in a typical distance education context. Using this model it was possible to analyze the state space provided by colored Petri net that simulates a dynamic environment and the creation of new roles and objects. The result of the reachability analysis of Petri net policy showed that it is possible to check the consistency of access control policies considering dynamic of roles and objects, and point out the advantages and applicability of modeling security policies in distributed environments using colored Petri net.
399

Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca / An approach for test data generation in mutation testing using seacrh-based techniques

Francisco Carlos Monteiro Souza 24 May 2017 (has links)
O teste de mutação é um critério de teste poderoso para detectar falhas e medir a eficácia de um conjunto de dados de teste. No entanto, é uma técnica de teste computacionalmente cara. O alto custo provém principalmente do esforço para gerar dados de teste adequados para matar os mutantes e pela existência de mutantes equivalentes. Nesse contexto, o objetivo desta tese é apresentar uma abordagem chamada de Reach, Infect and Propagation to Mutation Testing (RIPMuT) que visa gerar dados de teste e sugerir mutantes equivalentes. A abordagem é composta por dois módulos: (i) uma geração automatizada de dados de teste usando subida da encosta e um esquema de fitness de acordo com as condições de alcançabilidade, infeção e propagação (RIP); e (ii) um método para sugerir mutantes equivalentes com base na análise das condições RIP durante o processo de geração de dados de teste. Os experimentos foram conduzidos para avaliar a eficácia da abordagem RIP-MuT e um estudo comparativo com o algoritmo genético e testes aleatórios foi realizado. A abordagem RIP-MuT obteve um escore médio de mutação de 18,25 % maior que o AG e 35,93 % maior que o teste aleatório. O método proposto para detecção de mutantes equivalentes se mostrou viável para redução de custos relacionado a essa atividade, uma vez que obteve uma precisão de 75,05% na sugestão dos mutantes equivalentes. Portanto, os resultados indicam que a abordagem gera dados de teste adequados capazes de matar a maioria dos mutantes em programas C e, também auxilia a identificar mutantes equivalentes corretamente. / Mutation Testing is a powerful test criterion to detect faults and measure the effectiveness of a test data set. However, it is a computationally expensive testing technique. The high cost comes mainly from the effort to generate adequate test data to kill the mutants and by the existence of equivalent mutants. In this thesis, an approach called Reach, Infect and Propagation to Mutation Testing (RIP-MuT) is presented to generate test data and to suggest equivalent mutants. The approach is composed of two modules: (i) an automated test data generation using hill climbing and a fitness scheme according to Reach, Infect, and Propagate (RIP) conditions; and (ii) a method to suggest equivalent mutants based on the analyses of RIP conditions during the process of test data generation. The experiments were conducted to evaluate the effectiveness of the RIP-MuT approach and a comparative study with a genetic algorithm and random testing. The RIP-MuT approach achieved a mean mutation score of 18.25% higher than the GA and 35.93% higher than random testing. The proposed method for detection of equivalent mutants demonstrate to be feasible for cost reduction in this activity since it obtained a precision of 75.05% on suggesting equivalent mutants. Therefore, the results indicate that the approach produces effective test data able to strongly kill the majority of mutants on C programs, and also it can assist in suggesting equivalent mutants correctly.
400

Potencial de transferência de um índice de mobilidade sustentável para campus universitário / Transferability of a sustainable mobility index for university campus

Francine Marvulle Tan 21 March 2018 (has links)
O objetivo do presente trabalho é desenvolver e aplicar um método para avaliação do potencial de transferência de um índice de mobilidade sustentável, com base em três questões. O índice de mobilidade sustentável para campus universitário (IMSCamp), proposto por Oliveira (2015), é transferível para outros contextos? Em caso afirmativo, qual o potencial de transferência do mesmo? A partir das respostas das questões anteriores, qual seria a estrutura mínima para a concepção de um índice de mobilidade para campus universitário possível de ser transferido para qualquer contexto? O método proposto para o estudo foi assim organizado: aplicação do IMSCamp a um novo contexto; análise do seu potencial de transferência por meio de critérios desenvolvidos especificamente para este fim; e organização de um painel de especialistas com o intuito de elencar possíveis indicadores para um índice global de mobilidade sustentável para campus universitário. A avaliação do potencial de transferência, objetivo principal deste estudo, resultou em um valor que indica um baixo potencial de transferência (cerca de 40% do máximo possível) para o índice. Este resultado indica que foram necessárias mudanças expressivas para adaptá-lo a um novo campus; sendo assim, não se trata de um índice global diretamente aplicável, sem mudanças, a diversos contextos. Apesar disso, foi possível reproduzir o método de aplicação do IMSCamp no campus da USP de Piracicaba, que resultou em um valor de 0,491 (cerca de 50% do máximo possível), mostrando a viabilidade de seu uso em diferentes contextos, desde que feitos alguns ajustes. Isto obviamente depende da existência de recursos para sua adaptação, o que neste caso não se configurou em uma barreira intransponível. Por fim, o painel de especialistas trouxe evidências de que, dentre os 20 indicadores originais do IMSCamp, 13 mereceram destaque, em termos de relevância e adequação, para compor um índice aplicável a contextos distintos. Seriam eles: Infraestrutura de transporte público urbano, Qualidade das calçadas dentro e de acesso ao campus, Vagas para usuários com restrição de mobilidade, Transporte público urbano, Segurança pública, Acessibilidade dos prédios, Infraestrutura de estacionamento, Bicicletários e paraciclos, Infraestrutura de acesso ao campus, Adequação do modo de transporte, Qualidade das vias no campus, Infraestrutura cicloviária e Ações de educação no trânsito. / This study aims to develop and to apply a method for assessing the transferability of a sustainable mobility index for university campus. Three main questions guide the research: Is IMSCamp (an index created by Oliveira, 2015) transferable to a new context? In this case, what is its transferability potential? According to the previous answers, what should be the framework of a sustainable mobility index for university campus that is transferable to any context? The proposed method was organized as follows: application of IMSCamp to a new context; assessment of the transferability potential of this index by means of rating criteria that have been specially developed for this purpose; and organization of a panel of experts to select indicators for a global sustainable mobility index for university campus. The evaluation of the transferability potential, which was the main purpose of this study, indicated a low level of transferability (around 40% of the maximum value) for the index. This result indicates that considerable adjustments had been required in order to adapt it to a new campus. It means that it is not the case of a global index that may be directly applied without adjustments to various contexts. Nevertheless, it was possible to reproduce the IMSCamp method at the University of São Paulo campus in Piracicaba, which resulted in a value of 0.491 (around 50% of the maximum possible value), bringing evidence that the index can be applied in different campuses after some adjustments. The application obviously depends on the availability of resources for the adaptations needed, what was not a unsurmountable obstacle in the case studied. Finally, the experts\' panel brought evidences that 13 out of the 20 original indicators of IMSCamp have enough relevance and suitability to constitute an index transferable to different contexts. These indicators are: Public transport infrastructure, Quality of sidewalks (inside and around the campus), Parking spaces for people with disability, Public transport, Public safety, Buildings accessibility, Parking infrastructure, Bicycle racks, Infrastructure to access the campus, Suitability of transport modes, Pavement quality inside the campus, Cycling infrastructure and Traffic education initiatives.

Page generated in 0.0518 seconds