182 resultados para Formalização
Resumo:
Uma dedução dos critérios de multicriticalidade para o cálculo de pontos críticos de qualquer ordem representa a formalização de ideias utilizadas para calcular pontos críticos e tricríticos e ainda amplia tais ideias. De posse desta dedução pode-se compreender os critérios de tricriticalidade e, com isso, através de uma abordagem via problema de otimização global pode-se fazer o cálculo de pontos tricríticos utilizando um método numérico adequado de otimização global. Para evitar um excesso de custo computacional com rotinas numéricas utilizou-se aproximações na forma de diferenças finitas dos termos que compõem a função objetivo. Para simular a relação P v - T optou-se pela equação de estado cúbica de Peng-Robinson e pela regra clássica de fluidos de van der Vaals, para modelagem do problema também se calculou os tensores de ordem 2, 3, 4 e 5 da função do teste de estabilidade. Os resultados obtidos foram comparados com dados experimentais e por resultados obtidos com outros autores que utilizaram métodos numéricos, equação de estado ou abordagem diferente das utilizadas neste trabalho.
Resumo:
Este trabalho tem por finalidade apresentar um estudo sobre as contribuições do serviço de registro imobiliário, com destaque em procedimentos de regularização fundiária de imóveis urbanos. Não raras vezes, empreendedores, administradores públicos, juízes, sociedade deparam-se com situações em que há a necessidade de titulação da terra como mecanismo de formalização da propriedade, oportunidade em que são exigidos os requisitos estabelecidos na legislação de regência. A adoção em caráter estrito das regras estabelecidas, em contraposição às peculiaridades e ao desregramento de assentamentos informais, importaria em eterna manutenção dos mesmos à margem da lei. Há, assim, de se criar mecanismos de consenso e soluções de compromisso, em que poder público, registrador imobiliário, operadores do direito e a própria comunidade envolvam-se no sentido de colmatar uma solução intermediária. Solução esta que, sem perder a necessária segurança jurídica dos registros públicos, possibilite a adoção de mecanismos que facilitem o acesso dos ocupantes à titulação da terra em que vivem. O título de propriedade representa mais do que mero papel. Traduz o poder de direito sobre determinado terreno, alçando-o da condição de um capital morto para elemento ativo em um mercado cada dia mais globalizado. Nesta esteira, arregimenta economicamente não apenas a população diretamente envolvida, quanto também possibilita, através da inserção dos imóveis regularizados no mercado, um aproveitamento e um incremento econômico catalisador de transformações econômico-sociais. Novos direitos, novos bens em garantia, novas condições de crédito, renovada segurança jurídica, enfim, novas oportunidades são desdobradas aos detentores, que agora podem investir sem o receio da precariedade decorrente de mera situação de posse. Estuda-se, assim, neste trabalho a importante atuação do registrador imobiliário e as vantagens decorrentes do processo de regularização fundiária, como um processo a ser estimulado e incrementado, concretizador de cidadania e efetivador dos direitos fundamentais de propriedade (art 5 CF/88) e de moradia (art. 6 da CF/88).
Resumo:
Este trabalho tem como objetivo apresentar uma reflexão sobre o processo de aprendizagem do conceito de Função Exponencial no Ensino Médio, a partir da utilização do jogo Torre de Hanói virtual, através do uso de laptops educacionais. Os dados foram coletados por meio de um questionário inicial, para identificação das ideias prévias dos estudantes e por meio de registros em um diário de campo. Em seguida, os dados foram analisados conforme a metodologia Análise Textual Discursiva. A partir da análise, emergiram duas categorias: a primeira indica que a ideia inicial apresentada pelos alunos em relação à Função Exponencial está associada a uma caracterização da linguagem ligada à Função Quadrática. Já, a segunda categoria aponta uma transformação da linguagem natural do entendimento da função exponencial para a linguagem formal, isto é, a formalização escolarizada do conceito de Função Exponencial.
Resumo:
O trabalho analisa o controle interno presente nas operações de contas a receber de uma empresa comercial do ramo de distribuição de autopeças. O objetivo geral do trabalho é identificar os tipos de controles internos de contas a receber presentes na gestão de uma empresa comercial de distribuição de autopeças em Goiânia – GO. O controle interno influencia fundamentalmente na continuidade das empresas, em virtude de constantes modificações em seus meios empresariais e a constante necessidade de adequação ao modelo exigido no mercado. Como metodologia desenvolveu-se um estudo de caso a partir de revisão literária. O estudo de caso foi desenvolvido por meio de entrevistas junto ao proprietário aplicando o questionário a seguir a fim de verificar os controles do ciclo de receitas existentes na empresa. O resultado foi obtido através de identificação dos controles internos existentes na empresa no departamento de contas a receber e comparados com os controles necessários de acordo com literatura apresentada, avaliando os controles utilizados e identificando possíveis falhas devido a não utilização de ferramentas de controle, sugerindo assim melhorias e implantação de controles adequados. Após coleta dos dados verificou-se que a empresa utiliza vários tipos de controles internos de contas a receber em suas atividades, porém, apresentam problemas a segregação de funções, ausência de formalização de procedimentos, integração entre sistemas, não constituição de provisão para devedores duvidosos, entre outros. Após a análise e descrição dos controles internos de contas a receber utilizados pela empresa, foi possível constatar o quão importantes são os controles internos na gestão dos fluxos e atividades de contas a receber em micro e pequenas empresas.
Resumo:
Socio-economic changes, alterations in societal expectations and new public policies have put pressures on higher education public funding, bringing the issue of funding diversification to the forefront. Income diversification, namely, generation of funds from private, as well as from competitive public sources, has become increasingly important in European higher education due to a complex financial environment and perceived deficit of innovation transfer. Although there are numerous studies about changes in national funding systems and allocation mechanisms, few have focused on diversification of funding sources, especially in the European context, making Portugal no exception. Thus, this study aims at exploring income diversification at the institutional level and its influence on the internal organisational structures. For this purpose two Portuguese public universities were chosen as case studies. The empirical material was collected through semi-structured interviews with top management and middle management of each university and through documentary analysis. Data analysis demonstrated that both universities are in the process of institutionalizing and formalising practices of income diversification, notably by getting more professional in how they are dealing with external stakeholders, such as businesses, local community, and students. However, the study also revealed that there is no formal, organised strategy to deal with income diversification. In general, the universities are reacting to external demands rather than pro-actively exploring opportunities. In this respect, the analysis determined several factors that promote or inhibit income diversification activities. Quality and favourable organizational culture were named by the interviewees as the most relevant factors for successful income diversification. External factors such as legal arrangements and funding conditions were cited as major constraints. This research has also revealed that revenue diversification activities tend to develop along the continuum towards higher sophistication and systematisation of activities that are supported by a powerful infrastructure. Together with efforts at the institutional level, the role of government policies proves to be crucial in providing tools and incentives to higher education institutions and creating a harmonious higher education system.
Resumo:
Dissertação mest., Matemática, Universidade do Algarve, 2009
Resumo:
A presente dissertação pretende aprofundar o conhecimento da casa nobre do Algarve e de Loulé em particular, inserida num contexto nacional de produção artística do antigo regime. Propõe uma abordagem que, para além da identificação e interpretação dos edifícios ainda existentes na região, incide sobre dois estudos de casos apresentados de forma monográfica. Desenvolve-se em torno das questões da encomenda enquanto imagem histórico-social, autoria, formalização de fachadas, distribuição funcional do espaço interior e contexto urbano, buscando a génese formal, numa tentativa de confirmação da sua raiz de filiação erudita.
Resumo:
Esta dissertação tem por objectivo aplicar algoritmos evolutivos multiobjectivo a problemas de afectação de recursos, particulamente a problemas de geração de horários de exames e problemas de geração de horários de aulas em Universidades. Estes problemas são normalmente caracterizados pela existência de múltiplos objectivos conflituosos. Neste sentido, uma formalização multiobjectivo para estes problemas é apresentada, com base no conceito de metas e prioridades. Vários aspectos dos algoritmos evolutivos são propostos e analisados para esta classe de problemas, nomeadamente, métodos de selecção e tipo e parâmetros de operadores de mutação. A escolha da representação e dos operadores utilizados é feita tendo em conta a necessidade de não privilegiar demasiadamente certos objectivos em relação a outros ao nível dos mecanismos de exploração. São apresentados estudos comparativos entre os algoritmos propostos por meio de métodos de inferência estatística em problemas reais na Universidade do Algarve. O conceito de função de aproveitamento é utilizado para avaliação de algoritmos evolutivos multiobjectivo. Finalmente, a análise da evolução do custo das soluções encontradas ao longo do tempo de execução através de funções de aproveitamento é apresentada.
Resumo:
Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015
Resumo:
Tese de doutoramento, História (História da Arte), Universidade de Lisboa, Faculdade de Letras, 2014
Resumo:
Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica
Resumo:
Dissertação apresentada ao Programa de Pós- Graduação em Administração-Mestrado, como requisito parcial para obtenção do título de Mestre em Administração
Resumo:
Dissertação de mestrado apresentada ao Programa de Pós-Graduação em Administração da USCS - Universidade Municipal de São Caetano do Sul
Resumo:
Tese apresentada ao Programa de Pós-graduação em Administração da Universidade Municipal de São Caetano do Sul
Resumo:
O contexto desta tese é a Inteligência Artificial aplicada à Educação, especificamente a área dos Sistemas Tutores Inteligentes (STI). Apesar das características multidisciplinares e interdisciplinares, a preocupação maior do trabalho se dá quanto aos aspectos computacionais. A multidisciplinaridade está na relação entre os aspectos educacionais, filosóficos e psicológicos inerentes a toda construção de um software educacional, e a interdisciplinaridade acontece no relacionamento da IA com a Informática na Educação. Esta tese propõe o uso de aspectos afetivos como apoio à decisão de ação por parte de um STI. As nossas hipóteses fundamentais são: um sistema de ensino e aprendizagem computacional deve levar em consideração fatores afetivos tornando mais flexível a interação; e a arquitetura de um sistema computacional de interação em tempo real com agentes humanos deve prever explicitamente, em sua arquitetura básica, as crenças e o raciocínio afetivos. Para demonstrar essas idéias, foi definida uma arquitetura para apoiar um STI de modo a reconhecer alguns fatores afetivos, representativos de estratégias de ação de agentes humanos em interação com sistemas. Esse reconhecimento é realizado através de construções retiradas dos comportamentos observáveis do agente humano em contextos determinados. A arquitetura prevê um Sistema Multiagente para executar a percepção de fatores afetivos e da conduta do aluno em interação e de um agente pedagógico, representando o tutor. O agente tutor é modelado através de estados mentais e é responsável pelo raciocínio de alto nível. O modelo computacional de agentes de Móra [MÓR2000] foi utilizado para implementar o “kernel cognitivo” (termo cunhado por Móra e Giraffa [GIR99] que designa a parte responsável pela deliberação). O “kernel cognitivo” decide que ações tomar para um conjunto de características de uma avaliação pedagógica. A utilização de fatores afetivos e da avaliação cognitiva de situações emocionais permite a flexibilização das estratégias quanto à adaptabilidade a agentes humanos. Particularmente, foi adotado o enfoque cognitivo para análise de situações, baseado em teorias cognitivistas sobre emoções. O uso de tecnologia multiagente, no enfoque mentalístico, especificamente BDI (Belief, Desire, Intention) e da ferramenta X-BDI, permite a formalização e construção de um tutor atuante na avaliação pedagógica. A modelagem do aluno passa a ser constituída de aspectos qualitativos e quantitativos. Estudos de casos são apresentados, em situações que consideram os fatores afetivos e nas mesmas situações sem estas considerações. As decisões do tutor para agir são analisadas e confrontadas. Os resultados mostram um impacto positivo na adaptabilidade e ação pedagógica do tutor, sendo coerente com as teorias modernas [SAL97],[DAM2000] sobre as emoções que as consideram partes fundamentais para agir. A maior contribuição desta tese está na agregação de raciocínio sobre a afetividade envolvida em situações de ensino aprendizagem de agentes humanos e artificiais e avança dentro da perspectiva de pesquisa do grupo de IA da UFRGS, quanto ao desenvolvimento de Ambientes de Ensino e Aprendizagem modelados com tecnologia multiagente, com o uso da metáfora de estados mentais.