Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-06T17:58:31Z No. of bitstreams: 1 123424.pdf: 1877972 bytes, checksum: 5a211d2e6d3046c388930e7765590775 (MD5) / Made available in DSpace on 2018-03-06T17:58:31Z (GMT). No. of bitstreams: 1 123424.pdf: 1877972 bytes, checksum: 5a211d2e6d3046c388930e7765590775 (MD5) Previous issue date: 1970-07 / COPPETEC / Apresenta um novo método para o desacoplamento de sistemas lineares multivariáveis, invariantes no tempo. O método utiliza os conceitos de Fatores Invariantes e Forma Canônica Racional de uma matriz. São dadas condições necessárias e suficientes para o desacoplamento do sistema, e estuda-se a controlabilidade e observabilidade do sistema desacoplado. Embora se tenha estudado o problema sob o ponto de vista da teoria de controle continuo, o método também pode ser empregado para sistemas lineares discretos. Foi desenvolvido um programa de computador que calcula os fatores invariantes de uma matriz, a transformação de similaridade que leva uma matriz à sua correspondente forma canônica racional, e que determina se o sistema pode ser desacoplado. / Presented a new method for the decoupling of multivariable, time-invariant, linear systems. The method utilizes the Invariant Factors and the Rational Canonical Form of a matrix. Necessary and sufficient conditions are given for the input-state-output decoupling of the system. System controllability and observability are studied in this framework. Although the decoupling scheme is developed for continuous control systems, it is also valid for discrete-time linear systems. A Fortran computer program is presented which calculates the invariant factors of a matrix, the similarity transformation that maps a matrix to the rational canonical form, and determines whether the system can be decoupled.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-07T20:30:52Z No. of bitstreams: 1 127172.pdf: 1926257 bytes, checksum: a01e0aacf1d69db459fb9a0ed61cf504 (MD5) / Made available in DSpace on 2018-03-07T20:30:52Z (GMT). No. of bitstreams: 1 127172.pdf: 1926257 bytes, checksum: a01e0aacf1d69db459fb9a0ed61cf504 (MD5) Previous issue date: 1971-11 / CAPES / Aborda o problema de programação contínua, entendido como uma versão contínua de problemas discretos de programação linear. Inicialmente tratamos do caso em que as restrições são lineares, no espaço das funções limitadas e Lebesgue – mensuráveis, apresentando resultados envolvendo uso generalizado de dualidade. Para tratar o caso em que as restrições não são lineares, demonstramos uma versão contínua de um teorema de "Turnpike", usado na Economia Matemática para processos discretos. Este teorema indica a natureza do comportamento das soluções ótimas quando a duração do processo é suficientemente grande. / This thesis is concerned with the Continuous Programming Problem, regarded as a continuous version of discrete problems in linear programming. First we treat the case in which the constraints are linear, in the space of bounded Lebesgue-measurable functions, presenting results involving extensive use of duality. To treat the case when the constraints are not linear, a continuous version of a "Turnpiket" theorem, used in Mathematical Economics for discrete processes, is derived. This theorem indicates the nature of the behavior of all optinal solutions when the process time is "large".

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-13T15:09:08Z No. of bitstreams: 1 129441.pdf: 6065739 bytes, checksum: 332b2cd6d11242d4e55265be7a87a3fa (MD5) / Made available in DSpace on 2018-03-13T15:09:08Z (GMT). No. of bitstreams: 1 129441.pdf: 6065739 bytes, checksum: 332b2cd6d11242d4e55265be7a87a3fa (MD5) Previous issue date: 1971-01 / Descreve as diretrizes seguidas na implantação de um compilador Snobol para o computador 1130. É discutida toda a estrutura e organização do sistema do ponto de vista prático, visando a sua implantação a curto prazo. São também apresentadas a estrutura e a lógica do sistema, na fase Compilação como na fase Execução, com uma descrição sucinta das rotinas principais. Algumas facilidades que não foram implantadas no sistema Snobol original são discutidas de maneira superficial. / Describes the design of a Snobol compiler for the IBM 1130. The structure and organization fo the system is discused from a pratical view point with the objective of making it ready in a short time. The structure and logic of the compilation phase and the runtime environment is presented with a concise description of the main routines. Some facilities of Snobol 3 not implemented are also discussed.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-16T19:13:47Z No. of bitstreams: 1 130278.pdf: 5399051 bytes, checksum: 04fe5ab53ca6f5bf3abd35c033cdbc7d (MD5) / Made available in DSpace on 2018-03-16T19:13:47Z (GMT). No. of bitstreams: 1 130278.pdf: 5399051 bytes, checksum: 04fe5ab53ca6f5bf3abd35c033cdbc7d (MD5) Previous issue date: 1972-09 / Visando otimizar-se um sistema decomponível não-linear, estuda-se um algoritmo primal de direções viáveis. No decurso desse estudo formalizam-se e demonstram-se alguns resultados conhecidos e desenvolvem-se interpretações econômicas. Um critério para testar a diferenciabilidade das funções pertubação envolvidas no algoritmo é desenvolvido, podendo tal propriedade ser utilizada com vantagens computacionais. Rapidamente se discute o conceito de Ɛ-atividade de vínculos ligado à convergência do algoritmo. Finalmente, apresenta-se uma sub-rotina em FORTRAN IV que obtém, em cada iteração do algoritmo, uma direção viável. / A primal feasible directions algorithm is studied to optimize non-linear decomposable systems. In the course of these studies some known results are formalized and proved, and economical interpretations are developed. A criterion is derived to detect the different hability of the pertubation functions involved in the algorithm, and this property is used with some computational advantages. The concept of Ɛ-activity of constraints is discussed, and related to the convergente of the algorithm. Finally, a FORTRAN IV subroutine is presented capable of finding a feasible direction in each iteration of the algorithm.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-22T18:01:45Z No. of bitstreams: 1 129789.pdf: 6972059 bytes, checksum: 86a8e900237947adcb2c63e9c4df9e8a (MD5) / Made available in DSpace on 2018-03-22T18:01:45Z (GMT). No. of bitstreams: 1 129789.pdf: 6972059 bytes, checksum: 86a8e900237947adcb2c63e9c4df9e8a (MD5) Previous issue date: 1972-08 / O sistema MACLAN desenvolvido na primeira seção deste estudo é um método de acesso para teleprocessamento em aplicativos de conversação. Consiste em um conjunto de rotinas que podem ser chamadas de programas escritos em qualquer uma das linguagens de alto nível mais comuns. Essas rotinas fornecem recursos para edição, correção de erros e definições de código. Como uma aplicação deste sistema, desenvolvemos um Sistema Geral de Validação de Dados. Este é um sistema para entrada de dados com testes de consistência simultânea que dá aos usuários a opção de selecionar o modo de processamento operacional, ou seja, modo de lote ou modo de tempo real. No modo de tempo real, ele pode processar simultaneamente diferentes formatos de dados, gerando os arquivos correspondentes de dados válidos e controle de reparts. Também apresentamos, para simplificar a programação do Módulo de Validação, uma ideia inicial para definir uma linguagem especial com os recursos necessários para alcançar este objetivo. / The MACLAN system developed in the first Section of this study is an Access Method for teleprocessigg in conversational applications. It consists of a set of routines that may be called from programs written in any of the most common high level languages. These routines provide facilities for editing, error correction an code definitions. As an application of this system we developed a General Data Validation System. This is a system for data-entry with simultaneous consistency tests that gives the users the option of selecting the operational processing mode, that is, batch mode or real-time mode. In the real-time mode it can process simultaneously different data formats, generating the corresponding files of valid data and control reparts. We also presented, for simplifying the programming of the Validation Module, an initial idea for defining a special language with the necessary resources for reaching this objective. / El sistema MACLAN desarrollado en la primera sección de este estudio es un método de acceso para aplicaciones conversacionales de teleprocesamiento en condiciones de memoria fuertemente restrictivas. Consiste de un conjunto de rutinas que pueden ser llamadas desde programas escritos en cualquiera de los lenguajes más comunes de alto nivel. Tales rutinas proveen recursos para edición de mensajes, corrección de errores y definición de códigos. Como aplicación de este sistema, desarrollamos un sistema general de consistencia de datos. Este es un sistema para entrada de dates con controles simultâneos de consistencia que permite al usuario elegir el tipo de procesamiento operacional, es decir, “ Batch” o “real time". En “real time” puede procesar simultáneamente datos con formatos diferentes generando además los correspondientes archivos de informaciones válidas e informes de controles. Con el propósito de facilitar la programación de lo que llamamos "Módulo de Consistencia" presentamos además una serie de ideas para desarrollar un lenguaje especial, con los recursos suficientes para alcanzar tales objetivos.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-26T18:54:34Z No. of bitstreams: 1 133919.pdf: 3514930 bytes, checksum: 445631f65f7354a3c1fe8738f2401007 (MD5) / Made available in DSpace on 2018-03-26T18:54:34Z (GMT). No. of bitstreams: 1 133919.pdf: 3514930 bytes, checksum: 445631f65f7354a3c1fe8738f2401007 (MD5) Previous issue date: 1973-11 / COPPETEC / Universidade Federal de Pernambuco / Estudo de uma classe de sistemas de controle auto-adaptativos: os sistemas de controle a estrutura variável. Um sistema de controle é dito a estrutura variável se a estrutura e/ou os parâmetros do controlador variam, sendo descontínuas as variações de parâmetros, em função do estado, e/ou das perturbações do sistema controlado. Para o estudo desses sistemas, são usados alguns resultados obtidos por Filippov sobre as equações diferenciais com segundo membro descontínuo, as quais regem o comportamento dinâmico dos referidos sistemas. É feita uma análise detalhada para o caso de sistemas lineares monodimensionais, visando pôr em evidência as características e as vantagens principais dos sistemas de controle a estrutura variável. Uma característica essencial desses sistemas é a possibilidade de aparecimento do regime de escorregamento, no qual o sistema controlado se torna invariante. No estudo da estabilidade, é utilizada uma extensão do segundo método de Liapunov para analisar a relação entre a condição de aparecimento do regime de escorregamento, e a estabilidade de um conjunto invariante, que é a própria superfície de escorregamento. / Study of a class of adaptive control systems: the Variable Structure Control Systems. A control system is said to be of variable structure if the structure and/or the parameters of the controller varies, the parameters variations being discontinuous, depending on the state, and/or the perturbations of the controlled system. For this study, some results obtained by Fillipov about the differential equations with discontinuous right-hand side are used. For the case of single input-single output linear systems, a detailed analysis of the essential properties and advantages of variable structure control systems is done. An important characteristic of these systems, is the possibility of sliding regimes, when the controlled system becomes invariant. An extension of Liapunov's second method is used for the stability study, and the analysis of the relationship between the sliding regime condition, and the stability of an invariant set, which is the sliding surface itself.

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-28T15:08:02Z No. of bitstreams: 1 133515.pdf: 4734804 bytes, checksum: c041379c0624b5b5f50a1b0bbe049897 (MD5) / Made available in DSpace on 2018-03-28T15:08:02Z (GMT). No. of bitstreams: 1 133515.pdf: 4734804 bytes, checksum: c041379c0624b5b5f50a1b0bbe049897 (MD5) Previous issue date: 1973-10 / Construção de modelos de simulação dos principais sistemas de transmissão de dados, operando interativamente. Supõe-se um conjunto de terminais conectados, através de concentradores, a um sistema computacional constituído por um único computador central ou, uma rede computadores. Para cada sistema foi desenvolvido um programa codificado em GPSS (General Purpose Simulation Systems - IBM) e os resultados obtidos para os diferentes sistemas, operando em diversas circunstâncias, evidenciam a utilidade de tais modelos na avaliação de projetos de redes de teleprocessamento. / Design of simulation models for Data Transmission Systems operating interactively. It is supposed that a set of terminals is connected, through concentrators, to one central computer or a computer network. For each system, a model codified in GPSS (General Purpose Simulation System - IBM) was developped and the results of the simulation of these Systems, operating under different circunstances, makes evident the usefulness of such models in Teleprocessing Network design evaluation.

Made available in DSpace on 2015-03-03T15:47:45Z (GMT). No. of bitstreams: 1 GiovaniASN_DISSERT.pdf: 1024321 bytes, checksum: 2d73568fa3abb3c3bf9882c6b207ef7c (MD5) Previous issue date: 2010-05-28 / A necessidade de uma precis?o e de uma aproxima??o dos resultados num?ricos zeram com que diversas teorias surgissem: dentre elas, destacamos a Matem?tica Intervalar. A Matem?tica Intervalar surgiu na d?cada de 60 com os trabalhos de pesquisa de Moore (MOORE, 1959) , em que ele prop?s trabalhar com uma Matem?tica baseada na no??o de intervalo real e n?o mais com um n?mero como aproxima??o. Com isso, surgiu a necessidade de revisitar e reformular os conceitos e resultados da Matem?tica Cl?ssica utilizando como base a no??o de intervalo de Moore. Uma das ?reas da Matem ?tica Cl?ssica que tem tido muitas aplica??es em engenharias e ci?ncias ? a An?lises Num?rica, onde um dos seus pilares ? o C?lculo Integral e em particular as integrais de linha. Assim, ? muito desej?vel se ter um c?lculo integral dentro da pr?pria Matem?tica Intervalar. No presente trabalho apresenta-se uma no??o de Integral de Linha Intervalar baseada na extens?o de integra??o proposta por Bedregal em (BEDREGAL; BEDREGAL, 2010). Para a fundamenta??o apresenta-se incialmente uma introdu??o sobre a pespectiva em que o trabalho foi realizado, considerando alguns aspectos hist?rico-evolutivos da Matem?tica Cl?ssica. Os conceitos de Integrais de Linha Cl?ssica, bem como algumas das suas aplica??es mais importantes. Alguns conceitos de Matem?tica Intervalar necess?rios para o entendimento do trabalho. Para nalizar propomos uma aplica??o da integral de linha em um experim?nto cl?ssico da mec?nica qu?ntica (a difra??o de um el?tron em uma fenda) que gra?as ao fato de ser a Matem?tica Intervalar utilizada, nos d? um foco mais detalhado e mais pr?ximo da realidade

Made available in DSpace on 2015-03-03T15:47:46Z (GMT). No. of bitstreams: 1 AndersonPC_DISSERT.pdf: 1402040 bytes, checksum: 960b15bc1392a94fb7ba8ba980e3a0b4 (MD5) Previous issue date: 2012-12-20 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Atualmente, h? diferentes defini??es de implica??es fuzzy aceitas na literatura. Do ponto de vista te?rico, esta falta de consenso demonstra que h? discord?ncias sobre o real significado de "implica??o l?gica" nos contextos Booleano e fuzzy. Do ponto de vista pr?tico, isso gera d?vidas a respeito de quais "operadores de implica??o" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acur?cia e menos apropriados aos seus dom?nios de aplica??o. Uma forma de contornar esta situa??o e conhecer melhor os conectivos l?gicos fuzzy. Para isso se faz necess?rio saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implica??o fuzzy e corroborar com a implementa??o de SBRF's mais apropriados, v?rias leis Booleanas t?m sido generalizadas e estudadas como equa??es ou inequa??es nas l?gicas fuzzy. Tais generaliza??es s?o chamadas de leis Boolean-like e elas n?o s?o comumente v?lidas em qualquer sem?ntica fuzzy. Neste cen?rio, esta disserta??o apresenta uma investiga??o sobre as condi??es suficientes e necess?rias nas quais tr?s leis Booleanlike ?like ? y ? I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) ?? se mant?m v?lidas no contexto fuzzy, considerando seis classes de implica??es fuzzy e implica??es geradas por automorfismos. Al?m disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extens?o para os mesmos / There are more than one acceptable fuzzy implication definitions in the current literature dealing with this subject. From a theoretical point of view, this fact demonstrates a lack of consensus regarding logical implication meanings in Boolean and fuzzy contexts. From a practical point of view, this raises questions about the implication operators" that software engineers must consider to implement a Fuzzy Rule Based System (FRBS). A poor choice of these operators generates less appropriate FRBSs with respect to1 their application domain. In order to have a better understanding of logical connectives, it is necessary to know the properties that they can satisfy. Therefore, aiming to corroborate with fuzzy implication meaning and contribute to implementing more appropriate FRBSs to their domain, several Boolean laws have been generalized and studied as equations or inequations in fuzzy logics. Those generalizations are called Booleanlike laws and a lot of them do not remain valid in any fuzzy semantics. Within this context, this dissertation presents the investigation of sucient and necessary conditions under which three Boolean-like laws | y I(x; y), I(x; I(y; x)) = 1 and I(x; I(y; z)) = I(I(x; y); I(x; z)) | hold for six known classes of fuzzy implications and for implications generated by automorphisms. Moreover, an extension to FRBSs is proposed

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-14T18:48:05Z No. of bitstreams: 1 GiulianaSilvaBezerra_DISSERT.pdf: 12899912 bytes, checksum: 413f2be6aef4a909500e6834e7b0ae63 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-01-15T18:57:11Z (GMT) No. of bitstreams: 1 GiulianaSilvaBezerra_DISSERT.pdf: 12899912 bytes, checksum: 413f2be6aef4a909500e6834e7b0ae63 (MD5) / Made available in DSpace on 2016-01-15T18:57:11Z (GMT). No. of bitstreams: 1 GiulianaSilvaBezerra_DISSERT.pdf: 12899912 bytes, checksum: 413f2be6aef4a909500e6834e7b0ae63 (MD5) Previous issue date: 2014-12-12 / Emotion-based analysis has raised a lot of interest, particularly in areas such as forensics, medicine, music, psychology, and human-machine interface. Following this trend, the use of facial analysis (either automatic or human-based) is the most common subject to be investigated once this type of data can easily be collected and is well accepted in the literature as a metric for inference of emotional states. Despite this popularity, due to several constraints found in real world scenarios (e.g. lightning, complex backgrounds, facial hair and so on), automatically obtaining affective information from face accurately is a very challenging accomplishment. This work presents a framework which aims to analyse emotional experiences through naturally generated facial expressions. Our main contribution is a new 4-dimensional model to describe emotional experiences in terms of appraisal, facial expressions, mood, and subjective experiences. In addition, we present an experiment using a new protocol proposed to obtain spontaneous emotional reactions. The results have suggested that the initial emotional state described by the participants of the experiment was different from that described after the exposure to the eliciting stimulus, thus showing that the used stimuli were capable of inducing the expected emotional states in most individuals. Moreover, our results pointed out that spontaneous facial reactions to emotions are very different from those in prototypic expressions due to the lack of expressiveness in the latter. / Emotion-based analysis has raised a lot of interest, particularly in areas such as forensics, medicine, music, psychology, and human-machine interface. Following this trend, the use of facial analysis (either automatic or human-based) is the most common subject to be investigated once this type of data can easily be collected and is well accepted in the literature as a metric for inference of emotional states. Despite this popularity, due to several constraints found in real world scenarios (e.g. lightning, complex backgrounds, facial hair and so on), automatically obtaining affective information from face accurately is a very challenging accomplishment. This work presents a framework which aims to analyse emotional experiences through naturally generated facial expressions. Our main contribution is a new 4-dimensional model to describe emotional experiences in terms of appraisal, facial expressions, mood, and subjective experiences. In addition, we present an experiment using a new protocol proposed to obtain spontaneous emotional reactions. The results have suggested that the initial emotional state described by the participants of the experiment was different from that described after the exposure to the eliciting stimulus, thus showing that the used stimuli were capable of inducing the expected emotional states in most individuals. Moreover, our results pointed out that spontaneous facial reactions to emotions are very different from those in prototypic expressions due to the lack of expressiveness in the latter.