A Engenharia de Requisitos (ER) vem sendo reconhecida como uma área de pesquisa de extrema relevância para o desenvolvimento de sistemas ou artefatos. As maiores causas de falhas ocorridas em projetos são oriundas do processo de aquisição e tradução dos objetivos, necessidades ou restrições estabelecidas pelos clientes e/ou usuários. Estes erros podem aumentar de forma exponencial em projetos que se propõem a desenvolver sistemas ou artefatos que estejam diretamente associados à área cirúrgica, devido a diferença do domínio de conhecimento e o vocabulário entre as mencionadas áreas. Desta forma, verifica-se a importância científica para desenvolver modelos ou métodos que minimizem o problema apresentado. Ajudar na análise e definição, de maneira apurada e precisa, junto ao especialista da área médica, em relação aos movimentos executados em um procedimento minimamente invasivo e auxiliar a área de projetos de engenharia a desenvolver esse tipo de sistema. Este trabalho de dissertação apresenta o desenvolvimento de um modelo de conduta para o processo de eliciação e comunicação de requisitos no cenário em que o desenvolvedor e o especialista pertencem a diferentes domínios, técnicas e linguagens próprias. É também realizada a aplicação prática do modelo, em uma cirurgia minimamente invasiva, em específico à cirurgia da catarata. A aplicação prática foi realizada com o total apoio do Hospital Santa Luzia e do Instituto da Catarata, UNIFESP. / In recent years, the requirements engineering process has become known as a research with extreme relevance for system development. The major failures in projects are caused by the translation requirements, i.e. the task of communicating with customers and users to determine what their requirements are. These mistakes can rise exponentially in system development projects that are directly associated with the area of surgery, because of the difference of knowledge domain and the vocabulary between the mentioned areas (engineering and medicine). In this way rises the scientific importance for models development or methods that minimize the problem presented above. Helping analyzing and defining, in a fine and accurate way, a long with a specialist from the medical area, relating the movements executed in the minimally invasive process and help the area of engineering design develop this type of system. Considering this, we propose in this dissertation the development of a model that show elicitation process and a communication of requirements in a scenario in which the developer and stackholder pretence a different types of domain, techniques and proper languages. The model is also practices in a minimally invasive surgery, especially in cataract surgery. It was practiced with the full support of Santa Luzia Hospital, and the Institute of Cataract, UNIFESP.

A Engenharia de Requisitos (ER) vem sendo reconhecida como uma área de pesquisa de extrema relevância para o desenvolvimento de sistemas ou artefatos. As maiores causas de falhas ocorridas em projetos são oriundas do processo de aquisição e tradução dos objetivos, necessidades ou restrições estabelecidas pelos clientes e/ou usuários. Estes erros podem aumentar de forma exponencial em projetos que se propõem a desenvolver sistemas ou artefatos que estejam diretamente associados à área cirúrgica, devido a diferença do domínio de conhecimento e o vocabulário entre as mencionadas áreas. Desta forma, verifica-se a importância científica para desenvolver modelos ou métodos que minimizem o problema apresentado. Ajudar na análise e definição, de maneira apurada e precisa, junto ao especialista da área médica, em relação aos movimentos executados em um procedimento minimamente invasivo e auxiliar a área de projetos de engenharia a desenvolver esse tipo de sistema. Este trabalho de dissertação apresenta o desenvolvimento de um modelo de conduta para o processo de eliciação e comunicação de requisitos no cenário em que o desenvolvedor e o especialista pertencem a diferentes domínios, técnicas e linguagens próprias. É também realizada a aplicação prática do modelo, em uma cirurgia minimamente invasiva, em específico à cirurgia da catarata. A aplicação prática foi realizada com o total apoio do Hospital Santa Luzia e do Instituto da Catarata, UNIFESP. / In recent years, the requirements engineering process has become known as a research with extreme relevance for system development. The major failures in projects are caused by the translation requirements, i.e. the task of communicating with customers and users to determine what their requirements are. These mistakes can rise exponentially in system development projects that are directly associated with the area of surgery, because of the difference of knowledge domain and the vocabulary between the mentioned areas (engineering and medicine). In this way rises the scientific importance for models development or methods that minimize the problem presented above. Helping analyzing and defining, in a fine and accurate way, a long with a specialist from the medical area, relating the movements executed in the minimally invasive process and help the area of engineering design develop this type of system. Considering this, we propose in this dissertation the development of a model that show elicitation process and a communication of requirements in a scenario in which the developer and stackholder pretence a different types of domain, techniques and proper languages. The model is also practices in a minimally invasive surgery, especially in cataract surgery. It was practiced with the full support of Santa Luzia Hospital, and the Institute of Cataract, UNIFESP.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-23T15:16:49Z No. of bitstreams: 1 JOSÉ EDER SALVADOR DE VASCONCELOS - DISSERTAÇÃO PPGMAT 2009..pdf: 634118 bytes, checksum: e65e70c702364b197a36f09e8d1ef296 (MD5) / Made available in DSpace on 2018-07-23T15:16:49Z (GMT). No. of bitstreams: 1 JOSÉ EDER SALVADOR DE VASCONCELOS - DISSERTAÇÃO PPGMAT 2009..pdf: 634118 bytes, checksum: e65e70c702364b197a36f09e8d1ef296 (MD5) Previous issue date: 2009-11 / Capes / O número de cocircuitos disjuntos em uma matróide é delimitado pelo seu posto. Existem, no entanto, matróides de posto arbitrariamente grande que não contêm dois cocircuitos disjuntos. Considere, por exemplo,M(Kn) eUn,2n. Além disso, a matróide bicircularB(Kn) pode ter posto arbitrariamente grande, mas não tem 3 cocircuitos disjuntos. Nós apresentaremos uma prova, obtida por Jim Geelen e Kasper Kabell em (5), para o seguinte fato: para cadak en, existe uma constantec tal que, seM é uma matróide com posto no mínimoc, entãoM temk cocircuitos disjuntos ou contém uma das seguintes matróides como menorUn,2n,M(Kn) ouB(Kn). / The number of disjoint cocircuits in a matroid is bounded by its rank. There are, however, matroids of rank arbitrarily large that do not contain two disjoint cocircuits. Consider, for example,M(kn) andUn,2n. Moreover, the bicircular matroidB(kn) may have arbitrarily large rank but do not have 3 disjoints cocircuits. We show a proof obtained by Jim Geelen and Kasper Kabell in (5) to the following fact: for everyk andn, there is a constantc such that ifM is a matroid with rank at leastc, thenM hask disjoint cocircuits orM contains one of the following matroids as a minorUn,2n, M(kn) orB(kn).

Neste trabalho consideramos um problema da Antropologia. A modelagem de sociedades e casamentos de indivíduos é feita com grafos mistos e encontrar caminhos disjuntos é uma questão central no problema. O problema é NP-completo e, quando visto como um problema parametrizado, ele é W[1]-difícil. Alguns subproblemas que surgem durante o processo de obter uma solução para o problema, envolvem caminhos disjuntos e podem ser resolvidos em tempo polinomial. Implementamos algoritmos polinomiais que são usados em uma ferramenta desenvolvida para solucionar o problema na Antropologia considerado. Nossa solução funcionou bem para as sociedades fornecidas pelos nossos parceiros. / In this work we consider a problem from the Anthropology. The model of the societies and the marriages of individuals is done with mixed graphs and to find disjoint paths is a central question in the problem. The problem is NP-complete and W[1]-hard when it is considered a parameterized problem. Some subproblems that arise during the process to obtain a solution for the problem, involve disjoint paths and can be solved in polynomial time. We implemented some polynomial algorithms that are used in a tool developed to solve the problem in the Anthropology considered. Our solution worked well for the societies provided by our partners.

Notre thèse s’intéresse aux processus de création des adverbes de modalité dubitative dans l’histoire de l’espagnol. À l’aide des corpus de la Real Academia Española, CORDE et CREA, nous étudions du point de vue diachronique les principaux adverbes et locutions adverbiales qui expriment le doute du locuteur par rapport au contenu propositionnel de l’énoncé : por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo et igual. Notre recherche comprend ainsi la quasi-totalité de l’histoire de la langue espagnole, depuis le XIIe siècle, où l’on retrouve déjà quizá, jusqu’au XXe avec le surgissement de lo mismo et igual. Ces expressions ont des origines diverses – constructions verbales, syntagmes prépositionnels, etc.–mais elles fonctionnent toutes initialement comme des éléments intégrés dans la structure syntaxique de la phrase, dans laquelle elles transmettent des notions qui relèvent du hasard, de la temporalité, de la comparaison, etc. Ce travail s’occupe donc, dans un premier temps, d’élucider les chemins que ces expressions ont empruntés pour parvenir à fonctionner comme des adverbes de modalité dubitative et, dans un deuxième temps, il rend compte des relations qu’entretiennent ces expressions adverbiales, puisque, malgré leur apparente synonymie et interchangeabilité, ces adverbes diffèrent sur certains aspects les uns des autres. À cet égard, l’étude diachronique des contextes d’apparition, des valeurs et des fonctions des éléments qui ont intégré le paradigme nous permet de comprendre les différentes nuances et possibilités d’emploi qui caractérisent ces expressions une fois qu’elles acquièrent leur rôle d’adverbes de modalité dubitative. / This thesis aims to study the creation processes of the modal probability adverbs in the history of Spanish. Thus, from the diachronic point of view, we study, with the help of the Real Academia Española corpora, CORDE and CREA, the main adverbs and adverbial locutions that express the speaker's doubt regarding the propositional content of the statement: por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo and igual. Our research covers practically the whole history of the Spanish language, from the twelfth century, in which quizá is documented, until the twentieth, when the most recent adverbs of probability, lo mismo and igual, arise. These expressions have different origins – verbal constructions, prepositional phrases, etc. – but all function initially as integrated elements in the syntactic structure of the sentence, in which they transmit notions related to chance, temporality, comparison, etc. This work, therefore, is concerned firstly with elucidating the paths followed by these expressions in order to function as probability adverbs and, secondly, it gives account of the relations that lie between these adverbial expressions. Despite their apparent synonymy and interchangeability, these adverbs differ from one another in some respects. In this sense, the diachronic study of the contexts of appearance, the meanings and the functions of the elements that have integrated the paradigm allow us to understand the different nuances and possibilities of use that characterize these expressions once they acquire their role of modal probability adverbs. / Esta tesis se ocupa del estudio de los procesos de creación de los adverbios de modalidad dubitativa en la historia del español. Con la ayuda de los corpus de la Real Academia Española, CORDE y CREA, estudiamos desde el punto de vista diacrónico los principales adverbios y locuciones adverbiales que expresan la duda del hablante con respecto al contenido proposicional del enunciado: por (a)ventura, acaso, quizá(s), puede que, tal vez, a lo mejor, lo mismo e igual. Nuestra investigación abarca así prácticamente toda la historia de la lengua española, desde el siglo XII, en el que ya se documenta quizá, hasta el XX, en el que surgen los adverbios de duda más recientes lo mismo e igual. Las expresiones estudiadas tienen orígenes diversos –construcciones verbales, sintagmas preposicionales, etc.–, pero todas funcionan inicialmente como elementos integrados en la estructura sintáctica de la frase, en la que transmiten nociones relativas al azar, a la temporalidad, a la comparación, etc. Este trabajo se ocupa, pues, en primer lugar, de elucidar los caminos que han seguido estas expresiones para llegar a funcionar como adverbios de modalidad dubitativa y, en segundo lugar, de dar cuenta de las relaciones que mantienen estas expresiones adverbiales, ya que, a pesar de su aparente sinonimia e intercambiabilidad, estos adverbios difieren unos de otros en algunos aspectos. En este sentido, el estudio diacrónico de los contextos de aparición, valores y funciones de los elementos que han integrado el paradigma nos permite comprender los diferentes matices y posibilidades de uso que caracterizan a estas expresiones una vez que adquieren su papel de adverbios de modalidad dubitativa.

Orientador: Anna Diva Plasencia Lotufo / Resumo: A lógica de múltiplos valores, em especial a ternária, apresenta inúmeras vantagens sobre a lógica binária em circuitos reversíveis/quânticos. A realização de funções usando a lógica reversível ternária é conhecida por requerer um menor número de linhas em comparação com a lógica reversível binária convencional. Este aspecto tem motivado as pesquisas em abordagens de síntese. A grande maioria dos métodos existentes requerem entradas adicionais, denominadas de ancillary lines, durante o processo de síntese, o que é dispendioso para implementação em tecnologias quânticas, quando disponíveis. Neste trabalho, foram propostas diferentes metodologias e análises comparativas para o problema da síntese de circuitos reversíveis ternários sem a adição de ancillary lines. A metodologia de síntese proposta, denominada de MMD plus, foi aplicado nos modos backward e top-down como referência a todas as 362880 possíveis funções reversíveis ternárias de 2 variáveis. Além do processamento top-down originário do algoritmo MMD, um processamento bottom-up é implementado e sua eficiência comparativa é avaliada. Por definição, as funções reversíveis ternárias são permutações. Realiza-se a decomposição das permutações em ciclos disjuntos de ordem natural, em ciclos de permutação com 3 elementos, e em transposições, para obtenção dos circuitos reversíveis ternários. Uma métrica é introduzida para mensurar a complexidade e custo dos circuitos, com base nas portas reversíveis de múltiplos valores Muthu... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

Made available in DSpace on 2015-05-15T11:45:58Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 634504 bytes, checksum: ce035cc957832598c53dda96372e7cb7 (MD5) Previous issue date: 2011-02-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, based on algebraic function fields, we give constructions of disjoint linear codes. In addition,we study the asymptotic behavior of disjoint linear codes from our constructions. / Neste trabalho, baseados em corpos de funções algébricas, forneceremos construções de códigos lineares disjuntos. Além disso, nós estudaremos comportamentos assintóticos de códigos lineares disjuntos a partir da nossa construção.

Neste trabalho consideramos um problema da Antropologia. A modelagem de sociedades e casamentos de indivíduos é feita com grafos mistos e encontrar caminhos disjuntos é uma questão central no problema. O problema é NP-completo e, quando visto como um problema parametrizado, ele é W[1]-difícil. Alguns subproblemas que surgem durante o processo de obter uma solução para o problema, envolvem caminhos disjuntos e podem ser resolvidos em tempo polinomial. Implementamos algoritmos polinomiais que são usados em uma ferramenta desenvolvida para solucionar o problema na Antropologia considerado. Nossa solução funcionou bem para as sociedades fornecidas pelos nossos parceiros. / In this work we consider a problem from the Anthropology. The model of the societies and the marriages of individuals is done with mixed graphs and to find disjoint paths is a central question in the problem. The problem is NP-complete and W[1]-hard when it is considered a parameterized problem. Some subproblems that arise during the process to obtain a solution for the problem, involve disjoint paths and can be solved in polynomial time. We implemented some polynomial algorithms that are used in a tool developed to solve the problem in the Anthropology considered. Our solution worked well for the societies provided by our partners.