Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-15T18:44:48Z No. of bitstreams: 1 132124.pdf: 3575506 bytes, checksum: 2b6e56d83915f6d71ae06b752a3c8e00 (MD5) / Made available in DSpace on 2018-03-15T18:44:48Z (GMT). No. of bitstreams: 1 132124.pdf: 3575506 bytes, checksum: 2b6e56d83915f6d71ae06b752a3c8e00 (MD5) Previous issue date: 1972-12 / Procura-se neste trabalho caracterizar um sistema de Back Up através de exemplos, definições e conceitos. Em seguida é proposto um sistema que será parcialmente implementado. Foi usado um minicomputador Mitra 15 com 8k palavras de 16 bits. Este sistema poderá ser usado em qualquer outro computador, desde que sejam feitas as adaptações necessárias. / The aim of this work is to characterize a Back Up system though examples, definitions and concepts. We propose a Back Up system that will be partially implemented. We use a minicomputer Mitra 15 wth 8k words of 16 bits. This system may be used in any other computer with the necessary adaptions.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-16T17:25:58Z No. of bitstreams: 1 131479.pdf: 1440456 bytes, checksum: 5d77da9c9a2f1f96ff9fea58947b8d4f (MD5) / Made available in DSpace on 2018-03-16T17:25:58Z (GMT). No. of bitstreams: 1 131479.pdf: 1440456 bytes, checksum: 5d77da9c9a2f1f96ff9fea58947b8d4f (MD5) Previous issue date: 1972-12 / Este trabalho tenta coletar toda informação disponível sobre problemas de controle da saída em sistemas lineares. Apresentamos as definições de controlabilidade de saída e sugerimos um método para construir um controle de malha aberta que conduz a saída a um valor especificado em um instante arbitrário de tempo. Discutimos as relações entre esses conceitos e os métodos de solução usando realimentação de estado. Para um sistema linear invariante no tempo, com uma só saída, mostramos que controlabilidade de saída é uma condição necessária e suficiente para a existência de uma realimentação linear das variáveis de estado que designa arbitrariamente os autovalores do sistema de malha fechada que são observáveis na saída. A aplicação deste resultado ao servomecanismo linear com uma saída mostra que a capacidade de tal sistema para seguir qualquer sinal de comando com erro de regime nulo e uma resposta transitória arbitrária é equivalente à controlabilidade de saída da planta e é independente da classe de perturbações. Comentamos as vantagens e inconvenientes dos métodos apresentados e direções para futura pesquisa são indicadas. / This work tries to collect all the available information on output control problems for linear systems. The definitions of output controllability are presented and a method for constructing an open loop input that drives the output to a specified value at a specified time instant is suggested. The relations between these concepts and the solution methods using state feedback are discussed. For a single output linear time invariant system, output controllability is shown to be a necessary and sufficient condition for the existence of linear state variable feedback that freely assigns the eigenvalues of the closed loop system that are observable from the output. An application of this result to the single output linear servomechanism shows that the ability of such a system to track with zero steady-state error and an arbitrary transient response is equivalent to output controllability of the plant and is independent of the class of command signals and disturbances. Advantages and drawbacks of the shown methods are discussed and directions for further research are indicated.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-20T18:27:04Z No. of bitstreams: 1 129795.pdf: 4359286 bytes, checksum: 44fd9ca02fdbe523a1ac344491febbf1 (MD5) / Made available in DSpace on 2018-03-20T18:27:04Z (GMT). No. of bitstreams: 1 129795.pdf: 4359286 bytes, checksum: 44fd9ca02fdbe523a1ac344491febbf1 (MD5) Previous issue date: 1972-08 / Este trabalho trata da otimização de sistemas decomponíveis. Um problema decomponível de programação matemática é proposto e sua solução obtida por coordenação dual. Dois conceitos básicos que aparecem em programação matemática de sistemas de grande porte são usados: linearização externa e relaxação. Um algoritmo tipo plano cortante que permite o abandono de vínculos plenamente satisfeitos é obtido com base em resultados de teoria de dualidade. Sua aplicação ao problema linearizado externamente resulta em um método convergente para solução do problema original. Um programa de computador foi desenvolvido com este propósito. / This work deals with the optimization of decomposable systems. A decomposable mathematical programming problem is proposed ans its solution is achieved by means of dual coordination. Two basic concepts arising in large scale mathematical programming are used: outer linearization and relaxation. A cutting plane algorithm without nested constraint sets is sinthetized based on results from duality theory. Its appication to the outer linearized problem results in a convergent method for the solution of the original problem. A computer program has been developed.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-21T14:06:41Z No. of bitstreams: 1 129793.pdf: 2805092 bytes, checksum: fa776da45782fe8cecd2684ed964c324 (MD5) / Made available in DSpace on 2018-03-21T14:06:42Z (GMT). No. of bitstreams: 1 129793.pdf: 2805092 bytes, checksum: fa776da45782fe8cecd2684ed964c324 (MD5) Previous issue date: 1972-08 / CNPq / COPPETEC / Verifica-se neste trabalho a aplicabilidade de técnicas de controle ótimo a modelos dinâmicos de sistemas de produção. Faz-se uso do princípio do máximo de Pontryagin. São apresentadas algumas interpretações do princípio do máximo e são feitas aplicações a modelos de dinâmica industrial. Verifica-se a complexidade das computações necessárias para encontrar o controle ótimo de sistemas de produção. Para os casos lineares é apresentado um método que transforma o problema de controle num problema de programação matemática. O método é baseado na Programação Linear Generalizada. Consegue-se então um algoritmo hierarquizado de dois níveis que torna mais fácil a solução de problemas de controle ótimo de sistemas lineares. / Verify the applicability of optimal control techniques to dynamic models of production systems. Pontryagin's maximum principle is used. Some interpretatios are given and some applications of the maximum principle to Industrial Dynamics models are made. It is verified the great amount of difficulties one has in applying optimal control techniques to production systems. For linear models a method is presented that transforms a control problem into a mathematical programming problem. This method is based on Generalized Linear Programming. A two levels hierarchized algorithm is obtained that makes easier the application of optimal control to linear systems.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-27T17:38:40Z No. of bitstreams: 1 133587.pdf: 3548663 bytes, checksum: 2908ea65634a68b2b6565de237b1fcb0 (MD5) / Made available in DSpace on 2018-03-27T17:38:40Z (GMT). No. of bitstreams: 1 133587.pdf: 3548663 bytes, checksum: 2908ea65634a68b2b6565de237b1fcb0 (MD5) Previous issue date: 1973-10 / A Edição de textos ou composição de textos uma técnica para produzir textos impressos que tem crescido de maneira contínua nestes últimos anos. Este crescimento é devido, principalmente, ao custo crescente da mão de obra, a facilidade de uso de computadores em tempo-partilhado e ao preço decrescente do equipamento. Este trabalho levanta e analisa os diversos editores existentes, estabelece quais as premissas que devem ser obedecidas no projeto de tais sistemas e apresenta e implementa um novo sistema. / Text editing or text composition is a technique to produce printed texts that has been growing steadily those last years. This growing is largely due to the increasing cost of man-power, the facility of using computers through time-sharing networks and the decreasing price of hardware. This work surveys and analizes the various text editors existing, establishes the main-points in the project of such systems and defines and implement one that follows those points, named independency, flexibility, universality, operability and safety.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-28T18:00:15Z No. of bitstreams: 1 134217.pdf: 2137320 bytes, checksum: 8b9543f70c912a6df3ab40fa119eb001 (MD5) / Made available in DSpace on 2018-03-28T18:00:15Z (GMT). No. of bitstreams: 1 134217.pdf: 2137320 bytes, checksum: 8b9543f70c912a6df3ab40fa119eb001 (MD5) Previous issue date: 1973-10 / Fornece metodologias alternativas para enquadramento do problema da ocupação funcional de instalações numa empresa. Desenvolve modelos determinísticos na área de Programação Quadrática e Programação Linear Mista, bem como um algoritmo específico de resolução do problema, através dos métodos de Enumeração Implícita. Incorpora, ainda, programas computacionais de montagem desses modelos, em paralelo com o desenvolvimento de rotina de “Branch and Bound”, para resolução do PPLI a partir do Simplex Primal (duas fases). / Offer alternative methodologies for solving the problem of functional occupation of the physical facilities existing in a building. Deterministic models for “Quadratic Programming” and “Mixed Programming”, as well as especific algorithm for solving the problem through the “Implicit Enumeration” method were developed. Computer programs for the stablishment of these models, as well as routine of Branch and Bound for "MP" solving starting from Simplex Primal were also studied.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-14T18:48:05Z No. of bitstreams: 1 TainaJesusMedeiros_DISSERT.pdf: 2098095 bytes, checksum: 855fb6a4973efefa8b8ac23cf551545c (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-15T19:04:19Z (GMT) No. of bitstreams: 1 TainaJesusMedeiros_DISSERT.pdf: 2098095 bytes, checksum: 855fb6a4973efefa8b8ac23cf551545c (MD5) / Made available in DSpace on 2016-01-15T19:04:19Z (GMT). No. of bitstreams: 1 TainaJesusMedeiros_DISSERT.pdf: 2098095 bytes, checksum: 855fb6a4973efefa8b8ac23cf551545c (MD5) Previous issue date: 2014-08-29 / Os jogos digitais v?m sendo utilizados como ferramenta de auxilio ? transmiss?o de conhecimento, permitindo difundir o conte?do mais rapidamente. Utilizar essa estrat?gia para disseminar o desenvolvimento do racioc?nio l?gico para crian?as do n?vel b?sico pode ser a engrenagem motivadora que ajuda no processo de aprendizagem para qualquer ?rea. Pensando nisso, diversos jogos podem ser criados e disponibilizados para o uso do professor e aluno, por?m, a complexidade de constru??o desses jogos torna-se um percal?o que inviabiliza, muitas das vezes, sua constru??o. Neste contexto, este artigo apresenta um framework para cria??o de jogos voltados para o ensino de l?gica de programa??o, apresentando a concep??o, desenvolvimento atrav?s da integra??o do ambiente visual de programa??o Blockly com cen?rios criados em HTML5. / Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-29T21:40:50Z No. of bitstreams: 1 IsaacDeLimaOliveiraFilho_TESE.pdf: 4736257 bytes, checksum: a2dd3e8ad89a7fd3ede9d685be7bcd15 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-01T20:03:18Z (GMT) No. of bitstreams: 1 IsaacDeLimaOliveiraFilho_TESE.pdf: 4736257 bytes, checksum: a2dd3e8ad89a7fd3ede9d685be7bcd15 (MD5) / Made available in DSpace on 2016-03-01T20:03:18Z (GMT). No. of bitstreams: 1 IsaacDeLimaOliveiraFilho_TESE.pdf: 4736257 bytes, checksum: a2dd3e8ad89a7fd3ede9d685be7bcd15 (MD5) Previous issue date: 2014-12-12 / No processo de autentica??o/identifica??o de usu?rios, existem modelos que podem utilizar senhas, chaves, identificadores pessoais para autenticar um determinado usu?rio. No entanto, existem outros sistemas que utilizam caracter?sticas biom?tricas, por exemplo, assinatura, impress?o digital, voz, etc, para a mesma finalidade. Contudo, o armazenamento das biometrias pode trazer riscos quanto a consist?ncia e prote??o destes dados. Diante deste problema, surge a necessidade de proteger estes bancos de dados biom?tricos para garantir a integridade e confiabilidade do sistema. Atualmente, existem, dentre v?rios, dois modelos conhecidos como Fuzzy Commitment e Fuzzy Vault, utilizados na maioria dos processos de prote??o de dados biom?tricos para sistemas de autentica??o, por?m os mesmos apresentam elementos fr?geis no processo de prote??o. Logo, melhorar o n?vel de seguran?a deste m?todos, atrav?s de modifica??es na estrutura, ou mesmo atrav?s da inser??o de novas camadas de prote??o trata-se de um dos objetivos desta tese. Este trabalho, prop?e a utiliza??o simult?nea de criptografia (Algoritmo de Criptografia Pap?lio) com os modelos de prote??o de templates (Fuzzy Vault e Fuzzy Commitment) em sistemas de identifica??o baseados em biometria. Al?m disso, ? necess?rio manter um n?vel razo?vel de efici?ncia destes dados atrav?s do uso de concord?ncia de classifica??o mais elaboradas, conhecidas como comit?s. Isto ?, pretende-se propor uma nova abordagem de modelo de sistemas de identifica??o biom?trico e atrav?s de um comparativo com os modelos originais Fuzzy Vault e Fuzzy Commitment, verificar a melhora apresentada na performance quanto a autentica??o e a prote??o dos dados biom?tricos. / There are authentication models which use passwords, keys, personal identifiers (cards, tags etc) to authenticate a particular user in the authentication/identification process. However, there are other systems that can use biometric data, such as signature, fingerprint, voice, etc., to authenticate an individual in a system. In another hand, the storage of biometric can bring some risks such as consistency and protection problems for these data. According to this problem, it is necessary to protect these biometric databases to ensure the integrity and reliability of the system. In this case, there are models for security/authentication biometric identification, for example, models and Fuzzy Vault and Fuzzy Commitment systems. Currently, these models are mostly used in the cases for protection of biometric data, but they have fragile elements in the protection process. Therefore, increasing the level of security of these methods through changes in the structure, or even by inserting new layers of protection is one of the goals of this thesis. In other words, this work proposes the simultaneous use of encryption (Encryption Algorithm Papilio) with protection models templates (Fuzzy Vault and Fuzzy Commitment) in identification systems based on biometric. The objective of this work is to improve two aspects in Biometric systems: safety and accuracy. Furthermore, it is necessary to maintain a reasonable level of efficiency of this data through the use of more elaborate classification structures, known as committees. Therefore, we intend to propose a model of a safer biometric identification systems for identification.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-02T22:44:37Z No. of bitstreams: 1 PriscillaSueneDeSantanaNogueira_DISSERT.pdf: 2990260 bytes, checksum: b2f0adece207327dfcf45f7d23b39fd4 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-03T22:56:49Z (GMT) No. of bitstreams: 1 PriscillaSueneDeSantanaNogueira_DISSERT.pdf: 2990260 bytes, checksum: b2f0adece207327dfcf45f7d23b39fd4 (MD5) / Made available in DSpace on 2016-03-03T22:56:49Z (GMT). No. of bitstreams: 1 PriscillaSueneDeSantanaNogueira_DISSERT.pdf: 2990260 bytes, checksum: b2f0adece207327dfcf45f7d23b39fd4 (MD5) Previous issue date: 2015-02-06 / A minera??o de dados educacionais (MDE) ? um dom?nio de aplica??o na ?rea de Intelig?ncia artificial que tem sido bastante explorado na atualidade. Os avan?os tecnol?gicos e em especial, a crescente utiliza??o dos ambientes virtuais de aprendizagem t?m permitido a gera??o de consider?veis quantidades de dados a serem investigados. Dentre as atividades a serem tratadas nesse contexto est? a predi??o de rendimento escolar de estudantes, a qual pode ser realizada atrav?s do emprego de t?cnicas de aprendizado de m?quina. Tais t?cnicas podem ser utilizadas para classifica??o dos estudantes em r?tulos previamente definidos. Uma das estrat?gias para aplica??o dessas t?cnicas consiste em combin?-las no projeto de sistemas multiclassificadores, cuja efici?ncia pode ser comprovada por resultados j? alcan?ados em outros trabalhos realizados em diversas ?reas, tais como: medicina, com?rcio e biometria. Os dados utilizados nos experimentos foram obtidos por meio das intera??es entre estudantes em um dos mais utilizados ambientes virtuais de aprendizagem denominado moodle. Diante desse breve panorama, o presente trabalho apresenta resultados de diversos experimentos que incluem o emprego de sistemas multiclassifcadores espec?ficos, denominados comit?s de classificadores, desse modo visando alcan?ar melhores resultados na predi??o de rendimento escolar, ou seja, na busca por maiores percentuais de acur?cia na classifica??o dos estudantes; apresentando uma significativa explora??o de dados educacionais e an?lises relevantes advindas desses experimentos. / Educational Data Mining is an application domain in artificial intelligence area that has been extensively explored nowadays. Technological advances and in particular, the increasing use of virtual learning environments have allowed the generation of considerable amounts of data to be investigated. Among the activities to be treated in this context exists the prediction of school performance of the students, which can be accomplished through the use of machine learning techniques. Such techniques may be used for student?s classification in predefined labels. One of the strategies to apply these techniques consists in their combination to design multi-classifier systems, which efficiency can be proven by results achieved in other studies conducted in several areas, such as medicine, commerce and biometrics. The data used in the experiments were obtained from the interactions between students in one of the most used virtual learning environments called Moodle. In this context, this paper presents the results of several experiments that include the use of specific multi-classifier systems systems, called ensembles, aiming to reach better results in school performance prediction that is, searching for highest accuracy percentage in the student?s classification. Therefore, this paper presents a significant exploration of educational data and it shows analyzes of relevant results about these experiments.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-31T22:29:13Z No. of bitstreams: 1 ArthurEmanoelCassioDaSilvaESouza_DISSERT.pdf: 1480067 bytes, checksum: 15c2cf114fae56a6c186a5417cecb57f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-04-04T19:16:06Z (GMT) No. of bitstreams: 1 ArthurEmanoelCassioDaSilvaESouza_DISSERT.pdf: 1480067 bytes, checksum: 15c2cf114fae56a6c186a5417cecb57f (MD5) / Made available in DSpace on 2016-04-04T19:16:06Z (GMT). No. of bitstreams: 1 ArthurEmanoelCassioDaSilvaESouza_DISSERT.pdf: 1480067 bytes, checksum: 15c2cf114fae56a6c186a5417cecb57f (MD5) Previous issue date: 2015-01-28 / A computa??o em nuvem pode ser definida como um modelo computacional distribu?do atrav?s do qual s?o compartilhados recursos (hardware, armazenamento, plataformas de desenvolvimento e comunica??o) na forma de servi?os pagos e acess?veis com um esfor?o m?nimo de gest?o e intera??o. Um grande benef?cio desse modelo ? possibilitar a utiliza??o de variados provedores (i.e. uma arquitetura multiplataforma) para compor um conjunto de servi?os no intuito de obter uma configura??o ?tima em desempenho e custo. Entretanto, a utiliza??o multiplataforma ? impossibilitada pelo problema de cloud lock-in. O cloud lock-in ? a depend?ncia entre uma aplica??o e uma plataforma de nuvem. Ele ? comumente endere?ado por tr?s estrat?gias: (i) uso de camada intermedi?ria que se interp?e aos consumidores de servi?os de nuvem e o provedor, (ii) uso de interfaces padronizadas para acesso a nuvem, ou ainda (iii) uso de modelos com especifica??es abertas. Este trabalho define uma abordagem para avaliar estas estrat?gias. Tal abordagem foi executada e observou-se que apesar dos avan?os conseguidos por estas estrat?gias, nenhuma delas resolve efetivamente o problema do cloud lock-in. Neste sentido, esse trabalho prop?e o uso de Web Sem?ntica para evitar o cloud lock-in, onde modelos em RDF s?o usados para especificar os recursos de uma nuvem, que s?o gerenciados via consultas SPARQL. Nessa dire??o, esse trabalho: (i) apresenta um modelo avaliativo que quantifica o problema do cloud lock-in, (ii) avalia o cloud lock-in entre tr?s solu??es multi-cloud e tr?s plataformas de nuvem, (iii) prop?e utilizar RDF e SPARQL na ger?ncia de recursos de nuvem, (iv) apresenta o Cloud Query Manager (CQM), um servidor SPARQL que implementa a proposta, e (v) compara tr?s solu??es multi-cloud em rela??o ao CQM quanto ao tempo de resposta e a efetividade na resolu??o do cloud lock-in. / Cloud computing can be defined as a distributed computational model by through resources (hardware, storage, development platforms and communication) are shared, as paid services accessible with minimal management effort and interaction. A great benefit of this model is to enable the use of various providers (e.g a multi-cloud architecture) to compose a set of services in order to obtain an optimal configuration for performance and cost. However, the multi-cloud use is precluded by the problem of cloud lock-in. The cloud lock-in is the dependency between an application and a cloud platform. It is commonly addressed by three strategies: (i) use of intermediate layer that stands to consumers of cloud services and the provider, (ii) use of standardized interfaces to access the cloud, or (iii) use of models with open specifications. This paper outlines an approach to evaluate these strategies. This approach was performed and it was found that despite the advances made by these strategies, none of them actually solves the problem of lock-in cloud. In this sense, this work proposes the use of Semantic Web to avoid cloud lock-in, where RDF models are used to specify the features of a cloud, which are managed by SPARQL queries. In this direction, this work: (i) presents an evaluation model that quantifies the problem of cloud lock-in, (ii) evaluates the cloud lock-in from three multi-cloud solutions and three cloud platforms, (iii) proposes using RDF and SPARQL on management of cloud resources, (iv) presents the cloud Query Manager (CQM), an SPARQL server that implements the proposal, and (v) comparing three multi-cloud solutions in relation to CQM on the response time and the effectiveness in the resolution of cloud lock-in.