• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 366
  • 72
  • 3
  • Tagged with
  • 442
  • 247
  • 246
  • 98
  • 84
  • 62
  • 58
  • 54
  • 53
  • 52
  • 52
  • 50
  • 47
  • 46
  • 45
  • 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.
351

[en] STRATEGIC BIDDING FOR GENERATORS IN ENERGY CONTRACT AUCTIONS / [pt] ESTRATÉGIA DE OFERTA DE GERADORAS EM LEILÕES DE CONTRATAÇÃO DE ENERGIA

ALEXANDRE STREET DE AGUIAR 13 May 2005 (has links)
[pt] O objetivo desta tese é desenvolver uma metodologia para estratégia de oferta de geradoras em leilões de contratos de energia elétrica, que determine a quantidade ótima que deve ser ofertada de cada contrato para cada ní­vel de preço de leilão, levando em conta os perfis de risco de cada agente e os riscos associados à  contratação. Em particular a incerteza quanto ao montante de energia produzida e ao seu preço no mercado de curto prazo (preço spot), também conhecida como incerteza de quantidade e preço. Desta forma, são realizadas aplicações desta metodologia para dois tipos de leilões de energia existente, mono e multi-produto. Neste segundo caso (multi-produto) é realizado um estudo de caso para o Leilão de Transição que ocorrerá em dezembro de 2004, onde serão leiloados 75% da eletricidade disponí­vel hoje no país (55 mil MW), segundo as diretrizes do novo modelo do setor elétrico brasileiro. / [en] The objective of this work is to develop a methodology for bidding strategies in multi-unit auctions for long-term electricity power purchase agreements (PPA). Considering a descending price auction design, the objective of a generating agent is to determine the optimal amount of energy to be offered in each contract for the actual auction prices at each round that maximizes the revenues of the agent given their risk profiles and the contract risks involved. The main risk treated in this work is the so-called price- quantity risk, related to the negative correlation between energy produced and the short term prices (spot price). The modeling of the risk profile for each agent is done using utility functions. This methodology is then applied on two types of auctions: singleproduct (only one contract being auctioned) and multi-product (more than one product is simultaneously auctioned). Case studies are presented with data from the Brazilian system. In particular, on the second type (multivariated auction) the case study is realized for the transition auction that will occur on December 2004, where 75% of the generation market of the whole country (about 55GW) will be negotiated under the guidelines of the new Brazilian electrical sector model.
352

[en] INFERENCE OF THE ANALYTICAL EXPRESSION FROM AN OPTIMAL INVESTMENT BOUNDARY FOR AN ASSET THAT FOLLOWS THE REVERSION MEAN PROCESS THROUGH GENETIC PROGRAMMING / [pt] INFERÊNCIA DA EXPRESSÃO ANALÍTICA DE UMA FRONTEIRA DE INVESTIMENTO ÓTIMO PARA UM ATIVO QUE SEGUE O PROCESSO DE REVERSÃO À MÉDIA POR PROGRAMAÇÃO GENÉTICA

DAN POSTERNAK 21 December 2004 (has links)
[pt] Esta Pesquisa tem por objetivo utilizar a Regressão Simbólica por Programação Genética para encontrar uma equação analítica para a fronteira de exercício ótima (ou curva de gatilho) de uma opção sobre um ativo do qual o preço tem um comportamento simulado pelo processo estocástico conhecido como processo de reversão à média (PRM). Para o cálculo do valor de uma opção desde de sua aquisição até sua maturação, normalmente faz-se o uso do cálculo da fronteira de exercício ótimo. Esta curva separa ao longo do tempo a decisão de exercer ou não a opção. Sabendo-se que já existem soluções analíticas para calcular a fronteira de exercício ótimo quando o preço do ativo segue um Movimento Geométrico Browniano, e que tal solução genérica ainda não foi encontrada para o PRM, neste trabalho, foi proposto o uso da Programação Genética (PG) para encontrar tal solução analítica. A Programação Genética utilizou um conjunto de amostras de curvas de exercício ótimo parametrizadas segundo a variação da volatilidade e da taxa de juros livre de risco, para encontrar uma função analítica para a fronteira de exercício ótima, obtendo-se resultados satisfatórios. / [en] This research intends on to use the Symbolic Regression by Genetic Programming to find an analytical equation that represents an Optimal Exercise Boundary for an option of an asset having its price behavior simulated by a stochastic process known as Mean Reversion Process (MRP). To calculate an option value since its acquisition until its maturity, normally is used to calculate the Optimal Exercise Boundary. This frontier separates along the time the decision to exercise the option or not. Knowing there already are analytical solutions used to calculate the Optimal Exercise Boundary when the asset price follows the Geometric Brownian Motion, and such general solution was not found yet to MRP, in this work, it was proposed the use of Genetic Programming to find such analytical solution. The Genetic Programming used an amount of samples from optimal exercise curves parameterized according the change in the volatility and risk free interest rate, to find an analytical function that represents Optimal Exercise Boundary, achieving satisfactory results.
353

[en] TACTICAL CAPACITY PLANNING IN AN ETO PRODUCTION SETTING USING OPTIMIZATION MODELS: A REAL-WORLD INDUSTRIAL CONTEXT / [pt] PLANEJAMENTO TÁTICO DA CAPACIDADE NA PRODUÇÃO ETO USANDO MODELOS DE OTIMIZAÇÃO: O CONTEXTO DE UM PROBLEMA REAL NA INDÚSTRIA

ANDREA REGINA NUNES DE CARVALHO 24 April 2019 (has links)
[pt] Muitas organizações de produção por projeto (i.e., também conhecidas pela sigla inglesa ETO, engineering-to-order) são sistemas de produção multi-projeto em que o planejamento da capacidade, na fase de negociação de novos pedidos, é de suma importância. A literatura acadêmica, nesta área, apresenta uma lacuna entre teoria e prática em função da falta de estudos sobre a aplicação de ferramentas de apoio à tomada de decisão para resolver problemas de planejamento de capacidade em ambientes reais de produção ETO. Dentro deste contexto, o objetivo deste trabalho é desenvolver uma solução para o planejamento tático da capacidade produtiva, apoiando essa fase de negociação, numa organização multi-projeto fabricante de equipamentos especiais sob encomenda. Este estudo envolve o desenvolvimento de modelos de programação linear inteira mista e sua aplicação para resolver problemas de planejamento da produção na organização estudada. Quanto às contribuições teóricas desta tese, é apresentado um modelo determinístico em que são consideradas questões de modelagem não totalmente exploradas em outros estudos ou que tem de ser adaptadas às especificidades do contexto estudado, como a representação da capacidade extra, de processos com múltiplos estágios e a relação de precedência entre as atividades. Além disso, um modelo de otimização robusta, baseado na abordagem proposta por Bertsimas e Sim (2004), estende esse modelo determinístico, considerando incertezas relativas aos tempos de processamento das atividades. Os modelos foram alimentados com dados do mundo real e executados para fins de validação de sua utilidade para resolver o problema de planejamento em questão. Cenários alternativos também foram gerados para apoiar a tomada de decisão dos gestores dessa empresa na fase de negociação de novos pedidos. Com relação às implicações práticas, para a equipe de planejamento da empresa, a solução proposta aprimora o processo de tomada de decisão no que tange o planejamento tático da capacidade produtiva. A solução, além de resolver algumas deficiências do método de planejamento atual da empresa, fornece informações mais detalhadas sobre o problema, permite a intervenção do gestor na construção dos planos de capacidade e incorpora dados relativos à variabilidade nos tempos de processamento permitindo assim uma postura pró-ativa mediante as incertezas. Resultados empíricos mostram que, com um aumento relativamente pequeno no custo (0.02 porcento), um componente deveria ser preferencialmente produzido na própria empresa (ao invés de ser subcontratado). Além disso, com um aumento de 0.8 porcento no custo (o que inclui a contratação de 21 porcento a mais de mão-de-obra direta), a probabilidade de violação dos planos de produção é reduzida de 90 porcento para 15 porcento, representando um plano mais estável e protegido contra incertezas. Do ponto de vista acadêmico, esta pesquisa acrescenta evidências empíricas para enriquecer a literatura existente, uma vez que não só apresenta um caso real, mas também destaca questões que devem ser consideradas e gerenciadas em um contexto do mundo real para que se possa desenvolver e implementar técnicas adequadas para lidar com o problema de planejamento estudado. / [en] Many engineering-to-order (ETO) organizations are multi-project capacity-driven production systems in which capacity planning is of major importance in the order acceptance phase. The academic literature, in this area, presents a research-practice gap with a lack of studies on the application of decision support tools to address capacity planning problems in real-world ETO settings. Within this context, the goal of this thesis is to develop a tactical capacity planning solution to support the order acceptance phase of a real-world multi-project organization that produces customised equipments on the basis of ETO policy. This research study lays in the development of mixed integer linear programming models and their practical application to solve production planning problems in the studied organization. As for the theoretical contributions of this thesis, first a deterministic model is presented in which modelling issues that are either not entirely explored in other studies or that have to be adapted to the specificities of the studied setting are taken into account. Moreover, a robust optimization model extends the former model by considering uncertainties of the planning problem. The models were fed with real-world data and solved in order to check whether they actually reflect the planning problem. Furthermore, alternative scenarios were also generated to assist the management board in the order acceptance phase. As for practical implications, for the company s manufacturing planning team, the proposed solution enhanced the decision-making process regarding tactical capacity planning, addressing different shortcomings of the company s current planning method. Empirical results suggest that with a slight increase in cost (0.02 percent) a part component should be processed in-house instead of being outsourced and that with a 0.8 percent increas in cost (which includes hiring 21 percent more personnel) the probability of violating the production plans decreases from 90 percent to 15 percent, representing a much more stable (protected against uncertainty) situation. From an academic perspective, this research adds empirical evidence to enrich the existing literature, as it not only presents a real case application, but also highlights issues that must be considered and managed in a real-world context in order to develop and implement appropriate techniques to cope with the aforementioned planning problem.
354

[en] ON THE DECISION-HAZARD APPROACH FOR THE STOCHASTIC DUAL DYNAMIC PROGRAMMING APPLIED TO HYDROTHERMAL OPERATION PLANNING / [pt] UMA ABORDAGEM DECISÃO-ACASO PARA A PROGRAMAÇÃO DINÂMICA DUAL ESTOCÁSTICA APLICADA AO PLANEJAMENTO DA OPERAÇÃO HIDROTÉRMICA

ANDRE LAWSON PEDRAL SAMPAIO 05 April 2019 (has links)
[pt] A Programação Dinâmica Dual Estocástica (PDDE) constitui um dos métodos mais utilizados no planejamento hidrotérmico. Trabalhos anteriores neste campo se baseiam numa abordagem tipo acaso-decisão, enquanto a realidade está mais próxima de um processo tipo decisão-acaso. Tal dissonância entre planejamento e implementação gera um problema de inconsistência temporal, pois decisões futuras planejadas podem não ser colocadas em prática sob as mesmas condições. Se por um lado a modelagem acaso-decisão permite uma metodologia de solução cenário-decomponível eficiente, por outro, a estrutura decisão-acaso proporciona uma solução mais robusta (pessimista), já que desconsidera a antecipatividade. Neste trabalho, mensura-se o gap de inconsistência relativo a metodologia atual, assim como se propõe uma abordagem alternativa para o planejamento hidrotérmico que utiliza uma estrutura de revelação de incertezas e um processo decisório tipo decisão-acaso, aproximando o modelo de planejamento da realidade operativa. Ao invés de empregar restrições de não-antecipatividade, o que impossibilitaria a decomposição por cenário de cada subproblema estocástico de dois estágios, a metodologia proposta considera decisões de primeiro estágio como variáveis de estado a serem otimizadas via PDDE. Assim, reduz-se consideravelmente a complexidade e tempo necessário para se obter uma solução, garantindo ainda a estrutura decisória tipo decisão-acaso e não-antecipatividade das decisões de primeiro estágio. Resultados baseados no SIN indicam que tal inconsistência pode levar a um aumento considerável da geração de termelétricas mais caras, causando maior volatilidade nos preços de curto prazo e aumento no custo total de operação. Desta forma, a solução metodológica proposta, baseada na abordagem decisão-acaso via espaço de estado aumentado, constitui contribuição relevante e oportuna tanto para práticas na indústria quanto para o estado-da-arte da literatura utilizada para o planejamento da operação hidrotérmica sob incerteza. / [en] Stochastic Dual Dynamic Programming (SDDP) is currently one of the most employed methods for hydrothermal planning. All previous works on this subject are based on a hazard-decision approach, whereas reality is more closely related to a decision-hazard process. This dissonance between planning and implementation is a source of time-inconsistency, as future planned decisions under the same conditions may not be put into practice. If on the one hand the hazard-decision modeling framework allows a scenario-decomposable efficient solution methodology, on the other hand the decision-hazard structure provides a more robust (pessimistic) solution as it does not rely on anticipativity assumptions. In this work, we measure the inconsistency-gap related to the current methodology and propose an alternative approach for hydrothermal planning that utilizes an informationrevelation structure and decision process based on a decision-hazard framework, thereby approximating the planning model to realistic operational actions. Instead of relying on non-anticipativity constraints, which would prevent the scenario decomposition of each two-stage stochastic subproblem, the proposed methodology considers first-stage decisions as state variables to be optimized through the SDDP procedure. In this framework, the complexity and time required to find a solution is considerably reduced yet ensuring the decision-hazard decision structure and non-anticipativity of the first-stage decisions. Results based on the Brazilian power system indicate that this inconsistency may considerably increase generation of more expensive thermal units, leading to spikes in energy market spot prices and an increase in overall operational costs. Therefore, the proposed decision-hazard approach and augmented-state solution methodology constitute timely and relevant contributions to both industry practices and state of the art literature on the subject of hydrothermal operation planning under uncertainty.
355

Estudo da viabilidade econômica para implantação de redes de acesso banda larga em cenários amazônicos: um estudo de caso baseado no custo do bit aplicado ao programa NAVEGAPARÁ

RUSSILLO, Dário 27 November 2009 (has links)
Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2013-01-14T20:31:55Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstudoViabilidadeEconomica.pdf: 2101985 bytes, checksum: b5ce65dbe19325bee33830d5a7ecb067 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-01-17T17:05:21Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstudoViabilidadeEconomica.pdf: 2101985 bytes, checksum: b5ce65dbe19325bee33830d5a7ecb067 (MD5) / Made available in DSpace on 2013-01-17T17:05:21Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstudoViabilidadeEconomica.pdf: 2101985 bytes, checksum: b5ce65dbe19325bee33830d5a7ecb067 (MD5) Previous issue date: 2009 / Esta dissertação de mestrado propõe um estudo comparativo relacionado ao custo do bit gerado entre o programa NAVEGAPARÁ e as concessionárias prestadoras do serviço de telecomunicações nos municípios relacionados. Vários estudos são realizados analisando apenas o desempenho de tais sistemas, levando em consideração algumas métricas de avaliação de desempenho, entretanto, não relacionam o custo real para o usuário final. Três cenários reais foram utilizados no estudo de caso. Em cada cenário foi proposta a utilização de uma tecnologia ou mais combinadas para transmissão da informação, levando em consideração, alguns parâmetros como infraestrutura existente, distância entre usuários finais, taxa de transmissão, dentre outros. Algumas tecnologias de acesso, utilizadas neste trabalho, são comparadas com as soluções disponibilizadas pelas concessionárias prestadoras dos serviços existentes e atuantes nos cenários descritos. / This master’s dissertation proposes a comparative study related to the bit cost generated between NAVEGAPARÁ program and the telecommunications companies provided services in the related county Several studies are conducted analyzing only the performance of such systems taking into consideration some metric ones of evaluation performance, however, do not relate the real cost for the final user. Three real sceneries had been used as a case study. In each scenery was proposed the use of one or more combined technology for transmission of information taking into account some parameters such as pre-existing infrastructure, distance between end users, rate transmission, among others. It was compared the proposed solutions from this work with the solutions available by the existing and acting telecommunications companies on the sceneries analyzed.
356

Otimização de cobertura, consumo de energia, roteamento e agregação de dados em rede de sensores sem fio utilizando algoritmos genéticos e lógica fuzzy

NUNES, Thiêgo Maciel 04 March 2011 (has links)
Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2014-01-13T19:58:15Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoCoberturaConsumo.pdf: 4275816 bytes, checksum: 0ad19dc939e2c24f8016ffb081c711d4 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2014-01-15T14:25:05Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoCoberturaConsumo.pdf: 4275816 bytes, checksum: 0ad19dc939e2c24f8016ffb081c711d4 (MD5) / Made available in DSpace on 2014-01-15T14:25:05Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_OtimizacaoCoberturaConsumo.pdf: 4275816 bytes, checksum: 0ad19dc939e2c24f8016ffb081c711d4 (MD5) Previous issue date: 2011 / FAPESPA - Fundação Amazônia de Amparo a Estudos e Pesquisas / As Redes de Sensores Sem Fio possuem capacidades limitadas de processamento, armazenamento, comunicação (largura de banda) e fonte de energia, além de possuírem características e requisitos básicos de uma RSSF como: necessidade de se auto-organizar, comunicação com difusão de curto alcance e roteamento com múltiplos saltos. Neste trabalho é proposto uma ferramenta que otimize o posicionamento e os pacotes entregues através do uso de Algoritmo Genético (AG). Para solucionar o problema de roteamento que melhore o consumo de energia e maximize a agregação de dados é proposto a utilização de lógica fuzzy no protocolo de roteamento Ad hoc Ondemand Distance Vector (AODV). Esta customização é intitulada AODV – Fuzzy for Wireless Sensor Networks (AODV-FWSN). Os resultados mostram que a solução proposta é eficiente e consegue prolongar a vida útil da RSSF e melhorar a taxa de entrega de dados quando comparado com soluções similares. / The Wireless Sensor Networks (WSN) have limited capacities for processing, storage, communication (bandwidth) and power source, besides having features and basic requirements of a WSN such as: the need for self-organization, communication with diffusion of short-range and multihop routing. This work proposes a tool that optimizes the positioning and the packages delivered through the use of Genetic Algorithm (GA). To resolve the routing problem that improves power consumption and maximize data aggregation is proposed the use of fuzzy logic in the routing protocol Ad hoc Ondemand Distance Vector (AODV). This customization is entitled AODV - Fuzzy for Wireless Sensor Networks (AODV-FWSN). The results show that the proposed solution is efficient and can prolong the life of the WSN and improve the rate of data delivery when compared to similar solutions.
357

Em busca do doador perdido: um jogo educativo como ferramenta de conscientização e informação sobre doação de sangue

PONTES, Paulo André Ignácio 24 May 2013 (has links)
Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2014-01-13T19:56:39Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_BuscaDoadorPerdido.pdf: 18133945 bytes, checksum: 2ff3f5b1d7bca4b49be56612f66ebe45 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2014-01-16T13:45:00Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_BuscaDoadorPerdido.pdf: 18133945 bytes, checksum: 2ff3f5b1d7bca4b49be56612f66ebe45 (MD5) / Made available in DSpace on 2014-01-16T13:45:00Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_BuscaDoadorPerdido.pdf: 18133945 bytes, checksum: 2ff3f5b1d7bca4b49be56612f66ebe45 (MD5) Previous issue date: 2013 / Frente às dificuldades para captação de bolsas de sangue pelos hemocentros, são utilizados os mais diversos meios para sensibilizar os doadores e manter abastecidos os bancos de sangue. Este trabalho apresenta a “simulação parcial” dessa realidade, através de um jogo educativo eletrônico que objetiva informar e conscientizar sobre a importância da doação. Trata-se de um mecanismo de esclarecimento de dúvidas comuns e desmitificação de crenças disseminadas pela falta de conhecimento que dificultam a captação. Com o objetivo de informar o jogador e não somente entreter, “Em busca do doador perdido” é a apresentação de um tema comum em formato criativo, motivador e de impacto social. A simulação proporciona ao jogador experimentar as dificuldades de se encontrar doadores e desperta no mesmo o conhecimento sobre questões básicas do processo de doação. A partir de dois experimentos com doadores em potencial foi validada a proposta do jogo, como uma forma de conscientizar os jogadores sobre a importância da doação. / Faced with difficulties in raising blood bags by blood centers various means are used to sensitize donors and keep stocked blood banks. This work presents the "partial simulation" of this reality through an electronic educational game that aims to inform and educate about the importance of donation. It is a mechanism to clarify questions and demystifying common beliefs disseminated by the lack of knowledge that hinder the blood raising. With the aim of informing the player, not just entertaining him, "In search of lost donor" is the presentation of a common theme in creative format, motivating and social impact. The simulation gives the player the experience on difficulties of finding donors and awakens the same knowledge about basic issues of the donation process. From two experiments with potential donors we validated the proposal of the game, as a way to educate players about the importance of donation.
358

Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model

Palazzo, Luiz Antonio Moro January 1991 (has links)
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a permitir o exercício de algum controle sobre as possíveis derivações dele decorrentes. O modelo das hiperredes [GEO 85] parece atingir tal objetivo, dado o seu elevado potencial de estruturação e o instrumental que oferece para o tratamento de construções descritivas, operacionais e organizacionais. Além disso, a simplicidade e uniformidade sintática de suas entidades primitivas possibilita uma interpretação semântica bastante clara do modelo original, por exemplo, baseada em grafos. O presente trabalho representa uma tentativa de associar a programação em lógica ao formalismo das hiperredes, visando obter um novo modelo capaz de preservar as expressividade da primeira, beneficiando-se simultaneamente do potencial heurístico e estrutura do segundo. Inicialmente procura-se obter uma noção clara da natureza do conhecimento e de seus mecanismos com o objetivo de caracterizar o problema da representação de conhecimento. Diferentes esquemas correntemente empregados para esse fim (sistemas de produções, redes semânticas, sistemas de frames, programação em lógica e a linguagem Krypton) são estudados e caracterizados do ponto de vista de sua expressividade, potencial heurístico e conveniência notacional. A programação em lógica é objeto de um estudo em maior profundidade, sob os enfoques modelo-teorético e prova-teorético. Sistemas de programação em lógica - particularmente a linguagem Prolog e extensões em nível meta - são investigados como esquemas de representação de conhecimento, considerando seus aspectos sintáticos e semânticos e a sua retação com Sistemas Gerenciadores de Bases de Dados. O modelo das hiperredes é apresentado introduzindo-se, entre outros, os conceitos de hipernodo, hiperrelação e protótipo, assim como as propriedades particutares de tais entidades. A linguagem Hyper, para o tratamento de hiperredes, é formalmente especificada. Emprega-se a linguagem Prolog como formalismo para a representação de Bases de Conhecimento estruturadas segundo o modelo das hiperredes. Sob tal abordagem uma Base de Conhecimento é vista como um conjunto (possivelmente vazio) de objetos estruturados ou peças de conhecimento, que por sua vez são classificados como hipernodos, hiperrelações ou protótipos. Um mecanismo top-down para a produção de inferências em hiperredes é proposto, introduzindo-se os conceitos de aspecto e visão sobre hiperredes, os quais são tomados como objetos de primeira classe, no sentido de poderem ser valores atribuídos a variáveis. Estuda-se os requisitos que um Sistema Gerenciador de Bases de Conhecimento deve apresentar, do ponto de vista da aplicação, da engenharia de conhecimento e da implementação, para suportar efetivamente os conceitos e abstrações (classificação, generalização, associação e agregação) associadas ao modelo proposto. Com base nas conclusões assim obtidas, um Sistema Gerenciador de Bases de Conhecimento (denominado Rhesus em alusão à sua finalidade experimental é proposto e especificado, objetivando confirmar a viabilidade técnica do desenvolvimento de aplicações baseadas em lógica e hiperredes. / In spite of its inherent undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome the question of the monotonicity, establishing knowledge representation schemata with virtuatLy universal expressiviness. However, one still has to solve, or at Least to reduce the consequences of the control problem, which constrains the use of Logic-based systems to either small or medium-sized applications. Investigations in this direction [BOW 85] [MON 88] indicate that the key to overcome the inferential explosion resides in the proper knowledge structure representation, in order to have some control over possible derivations. The Hypernets Model [GEO 85] seems to reach such goat, considering its high structural power and the features that it offers to deal with descriptive, operational and organizational knowledge. Besides, the simplicity and syntactical uniformity of its primitive notions allows a very clear definition for its semantics, based, for instance, on graphs. This work is an attempt to associate logic programming with the hypernets formalism, in order to get a new model, preserving the expressiveness of the former and the heuristic and structural power of the latter. First we try to get a clear notion of the nature of knowledge and its main aspects, intending to characterize the knowledge representation problem. Some knowledge representation schemata (production systems, semantic networks, frame systems, Logic programming and the Krypton Language) are studied and characterized from the point of view of their expressiveness, heuristic power and notational convenience. Logic programming is the subject of a deeper study, under the model-theoretic and proof-theoretic approaches. Logic programming systems - in particular the Prolog Language and metateuel extensions- - are investigated as knowledge representation schemata, considering its syntactic and semantic aspects and its relations with Data Base Management Systems. The hypernets model is presented, introducing the concepts of hypernode, hyperrelation and prototype, as well as the particular properties of those entities. The Hyper language, for the handling of h y pernets, is formally specified. Prolog is used as a formalism for the representation of Knowledge Bases which are structured as hypernets. Under this approach a Knowledge Brie is seen rrG a (possibly empty) set of structured objects, which are classified as hypernodes, hyperreLations or prototypes. A mechanism for top-down reasoning on hypernets is proposed, introducing the concepts of aspect and vision, which are taken as first-class objects in the sense that they could be (-Ysigned as values to variables. We study the requirements for the construction of a Knowledge Base Management System from the point of view of the user's need-1', knowledge engineering support and implementation issues, actually supporting the concepts and abstractions (classification, generalization, association and aggregation) rYsociated with the proposed model. Based on the conclusions of this study, a Knowledge Base Management System (called Rhesus, refering to its experimental objectives) is proposed, intending to confirm the technical viability of the development of applications based on logic and hypernets.
359

Desenvolvimento de uma ferramenta de autoria de conteúdo para aprendizado via web / Development of a tool of content authorship for learning through web

LOPES, Luiz Alano Alexandre 27 March 2003 (has links)
Made available in DSpace on 2011-03-23T21:19:17Z (GMT). No. of bitstreams: 0 / Item created via OAI harvest from source: http://www.bdtd.ufpa.br/tde_oai/oai2.php on 2011-03-23T21:19:17Z (GMT). Item's OAI Record identifier: oai:bdtd.ufpa.br:103 / Web has been very used lately for companies and institutions of education as a way to offer learning. The creation of contents for the learning through web is an activity that has demanded human resources specialized in technologies and concepts, so that the contents created are not restricted the tools, platforms and formats of presentation. This work presents the development of a content authoring tool prototype for learning through web, in which the created contents are independents of the authoring tool, platform and presentation formats that are used. Being a development work, a process is defined and its phases and activities are used to organize the job and to register all the taken decisions. / A web tem sido bastante utilizada ultimamente por empresas e instituições de ensino como forma de oferecer aprendizado. A criação de conteúdos para o aprendizado via web é uma atividade que tem demandado recursos humanos especializados em tecnologias e conceitos, de forma que os conteúdos criados não sejam restritos a ferramentas, plataformas e formatos de apresentação. Este trabalho apresenta o desenvolvimento de um protótipo de uma ferramenta de autoria de conteúdo para aprendizado via web, através da qual os conteúdos criados são independentes da ferramenta de autoria, da plataforma operacional e dos formatos de apresentação que sejam utilizados. Por ser um trabalho de desenvolvimento, um processo é definido e suas fases e atividades são utilizadas para organizar trabalho e documentar todas as decisões tomadas.
360

O invento de Jacquard e os computadores: alguns aspectos das origens da programação no século XIX / Jacquard´s invention and computers: some remarks concerning the origins of programming activity during the 19th century

Costa, Eli Banks Liberato da 23 April 2008 (has links)
Made available in DSpace on 2016-04-28T14:16:31Z (GMT). No. of bitstreams: 1 Eli Banks Liberato da Costa.pdf: 3915428 bytes, checksum: b33b577152124adaba06856e2e5a3e03 (MD5) Previous issue date: 2008-04-23 / The computers programming activity has its origins preceding the existence of the machine itself. Taking as a starting point the invention of the french silkweaver Joseph-Marie Jacquard, who built in the beginning of the 19th Century a programmable loom, using punched-cards, this paper intends to show the relations between the loom mechanical programming activity and the actual computers programming. Through the analisis of articles published in important periodicals of the 19th Century, not yet explored in the history of information technology studies, we comment some debates and repercussions that followed Jacquard s invention. We also work with some modifications that occurred in that programmable machine, mainly in the area of punched-cards. Among others, we analyse the works of the british Charles Babbage in the 19th Century and Herman Hollerith at the end of 19th Century, seeking verification of how Jacquard s ideas spread when applied in other activities with no relation with the weaver s work. Therefore this paper intends to contribute for the history of information technology studies by the analisis of the origins of some concepts that still remain basics to this field of science nowadays / A atividade de programação dos computadores tem origens que antecedem a existência dessa máquina. Tomando como ponto de partida o invento do tecelão francês Joseph-Marie Jacquard, que no início do século XIX construiu um tear programável que usava cartões perfurados, este trabalho procura mostrar relações da programação mecânica do tear com a programação dos computadores atuais. A partir da análise de artigos publicados em relevantes periódicos do século XIX, estes ainda pouco explorados nos estudos de história da informática, são comentados alguns debates e repercussões decorrentes da divulgação do invento de Jacquard. Destacam-se também algumas modificações introduzidas nessa máquina programável, especialmente no que se refere aos cartões perfurados. Foram também analisados entre outros, o trabalho do inglês Charles Babbage em meados do século XIX, e posteriormente do norte-americano Herman Hollerith no final desse mesmo século, procurando verificar como as idéias de Jacquard estenderam-se à medida que passaram a ser utilizadas em outras atividades que nada tinham a ver com o processo de tecelagem. Portanto, este trabalho pretende contribuir para o estudo da história da informática por meio da análise das origens de alguns conceitos que continuam a fundamentar esse campo do conhecimento até os dias de hoje

Page generated in 0.0827 seconds