A sustentação econômica de empresas de eletrodomésticos está relacionada com a capacidade de desenvolver produtos inovadores, com qualidade elevada e custo competitivo em relação à concorrência. Adicionam-se a estes requisitos, a agilidade na entrega para os clientes, dispostos a despender mais recursos para possuir um produto inovador. O estudo e aprimoramento do Processo de Desenvolvimento de Produtos (PDP) têm sido explorado a fim de garantir agilidade e cumprimento das premissas definidas no escopo de cada projeto. Neste trabalho apresenta-se uma proposta de integração entre os métodos de Arquitetura Modular e Seis Sigma, objetivando melhores resultados financeiros e de qualidade, através da aplicação conjunta. A partir de uma revisão da literatura e estudos dos processos de Arquitetura Modular, Seis Sigma e PDP de uma empresa de eletrodomésticos, o autor propõe uma integração entre os métodos, aplicados à um modelo de PDP conhecido, de Ulrich e Eppinger (2000), e também propõe indicadores para medir os resultados obtidos com esta integração. Para ajustes da proposta, ela é aplicada no desenvolvimento de um aparelho de ar condicionado, através de um estudo de caso na empresa de eletrodomésticos. Os resultados indicaram que a proposta de integração é viável, sendo que as etapas da Arquitetura Modular devem coincidir com as fases de planejamento e desenvolvimento do conceito do produto e, o Seis Sigma é uma ferramenta que contribui para a otimização do produto após a conceitualização. A decisão de investimento no projeto Seis Sigma durante o desenvolvimento do produto deve ser justificada através de uma ferramenta de estudo dos riscos e impacto de falha, como o FMEA, por exemplo. O resultado indicou que o uso isolado da Arquitetura Modular pode não gerar ganhos tão significativos se comparada à aplicação desta em integração com o Seis Sigma, o qual possibilita otimização nos módulos. Ganhos de qualidade, referentes à integração entre Arquitetura Modular e Seis Sigma, possibilitaram a comunalização de peças, aliadas a melhoria de qualidade, garantindo melhores resultados sem aumentar o risco de epidemias de falhas. Por fim, a proposta de integração sofreu alguns ajustes e sugere-se a aplicação em projetos futuros, com o intuito de aumentar o horizonte de aplicação, e por conseqüência, tornar os indicadores mais robustos. / Support economic development companies of household appliances is related to the ability to develop innovative products with high quality and competitive cost-competitive. Add to these requirements, fast delivery to customers willing to spend more resources to have an innovative product. The study and improvement of Product Development Process (PDP) have been extensively exploited in order to ensure compliance and agility of the premises defined in the scope of each project. This paper presents a proposal to integrate the methods of Six Sigma and Modular Architecture, aimed at improved financial results and quality through the joint application. From a literature review and study the processes of Modular Architecture, Six Sigma and PDP of an appliance company, the author proposes an integration between the methods applied to a known PDP model, Ulrich and Eppinger (2000), and also proposes indicators to measure the results obtained with this integration. For the proposed adjustments, it is applied in the development of an air conditioner, through a case study in the company of home appliances. The results indicated that the proposed integration is viable and that the stages of Modular Architecture should coincide with the phases of planning and development of the product concept, and Six Sigma is a tool that contributes to the optimization of the product after the conceptualization of same. The decision to invest in Six Sigma project during product development must be justified by a tool to study the risks and impact of failure, such as FMEA, for example. The result indicated that the isolated use of Modular Architecture can not generate significant gains as compared to the application of this integration with Six Sigma, which allows the optimization modules. Quality gains, related to the integration between Arquiterua Modular and Six Sigma, allowed communalisation of parts, coupled with improvements in quality, ensuring better results without increasing the risk of epidemics of failures. Finally, the proposed integration suffered some adjustments and it is suggested to use in future projects, in order to increase the horizon of application, and consequently, become more robust indicators.

Uma das vantagens da customização em massa está na possibilidade de atender aos desejos individuais de um maior número de consumidores. Em um mercado saturado de produtos massificados, com consumidores que desejam expressar sua individualidade por meio de sua aparência, a customização de produtos de moda pode significar um diferencial competitivo. A adoção de sistemas modulares no design de produtos de moda é um fator crucial para a implementação da customização em massa. O estudo aqui apresentado aborda aspectos do design de moda, customização em massa e design de sistemas modulares. Esta pesquisa foi desenvolvida com o intuito de investigar de que forma o uso de sistemas modulares aparecem no contexto atual da customização em massa de alguns produtos de moda brasileiros. Por meio de revisão bibliográfica e estudo de caso de seis empresas brasileiras que já oferecem produtos de moda customizados pelos próprios clientes, visa-se compreender como se dá o processo de design de moda em empresas customizadoras, para contribuir com a disseminação do pensamento projetual focado no design de sistemas modulares de produtos de moda. / One of the advantages of mass customization is the possibility of meeting the individual desires of a larger number of consumers. In a market saturated with mass products, with consumers wishing to express their individuality through their appearance, customization of fashion products can mean a competitive advantage. The adoption of modular systems in the design of fashion products is a crucial factor for the implementation of mass customization. The study presented here addresses aspects of fashion design, mass customization and modular system design. This research was developed in order to investigate how the use of modular systems appear in the current context of mass customization of some Brazilian fashion products. Through literature review and case study of six Brazilian companies that already offer fashion products customized by the customers themselves, the aim is to understand how is the process of fashion design in customizer companies, in order to contribute to the dissemination of the a design thinking focused on modular systems for fashion products.

O objetivo do presente estudo foi investigar se os níveis de estabilização alcançados no final do processo de aquisição e nos canais de desempenho modificam a probabilidade de um dos dois processos envolvidos no aumento de complexidade em aprendizagem motora - modularização e adaptação - ocorrer, quando novos componentes são inseridos na tarefa já aprendida, e sua influência na aprendizagem da tarefa com novos componentes. Cento e cinquenta e três sujeitos de ambos os sexos, entre 10 e 13 anos de idade, realizaram uma tarefa seriada de rastreamento de sinais luminosos. O experimento constou de duas fases: estabilização e adaptação. Três grupos foram formados de acordo com critérios de desempenho a ser alcançados na estabilização: três séries consecutivas de respostas corretas, uma série de respostas antecipatórias e três séries de respostas antecipatórias, numa tarefa seriada composta de cinco estímulos. A fase de adaptação, igual para todos os grupos, ocorreu até o alcance de uma série de respostas antecipatórias numa tarefa com seis estímulos. Os resultados mostraram a ocorrência de ambos os processos: adaptativo e modularização, em 84% e 16% dos sujeitos, respectivamente. Os sujeitos do que alcançaram respostas antecipatórias foram posteriormente divididos em subgrupos com base na estabilidade interindividual da mudança intra-individual nos canais de desempenho ao longo da fase de estabilização. Foram definidos 4 subgrupos: estável no canal superior; estável no canal inferior; com tendência a mudança ascendente; e com oscilação. Os resultados da análise de regressão logística permitiram inferir que o subgrupo estável no canal superior da consistência do desempenho da sequência em respostas antecipatórias tem quatro vezes mais probabilidade de utilizar o processo de modularização do que o subgrupo estável no canal inferior, quando novos componentes são inseridos na tarefa já aprendida. Além disso, foi possível identificar que os sujeitos que utilizaram o processo de modularização necessitaram de uma menor quantidade de tentativas para a aprendizagem da nova tarefa / The purpose of this study was to investigate whether levels of stabilization achieved by the end of the acquisition process and performance channels modify the probability of occurrence of one of the two processes involved in the increase of complexity in motor learning - modularization and adaptation - when new components are inserted into the task already learned, and their influence on the learning of the task with new components. One hundred and fifty-three subjects of both sexes, between 10 and 13 years of age, performed a serial tracking task of luminous stimuli. The experiment consisted of two phases: stabilization and adaptation. Three groups were formed according to performance criteria to be achieved in the stabilization phase: three consecutive series of correct responses (group G_3C), a series of antecipatory responses (G_1A group) and three series of anticipatory responses (group G_3A) in a task with five stimuli. The adaptation phase, the same for all groups, took place until the achievement of a series of anticipatory responses in a task with six stimuli. The results showed the occurrence of both processes: adaptive and modularization, in 84% and 16% of the subjects, respectively. The subjects of G_1A and G_3A were afterwards divided into subgroups based on the interindividual stability of intra-individual change in the performance channels during the stabilization phase. Four groups were established: stable in the upper channel, stable in the lower channel, upward moving tendency, and oscillation groups. Based on the results of binary logistic regression analysis it was observed that the stable upper channel subgroup in consistency of the sequence in anticipatory responses is four times more likely to use the process of modularization in relation to the stable lower channel subgroup, when new components are inserted into the task already learned. It was also possible to identify that the subjects who used the process of modularization needed fewer attempts to learn the new task

[pt] Este trabalho especifica um Sistema de Simulação Radar desenvolvido na linguagem de programação C, tendo como aplicação a área militar. Visa a análise, simulação, monitoração e avaliação de sinais na interação de Sistemas Radar e Sistemas de Contra Medidas Eletrônicas (CME). A flexibilidade e a modularidade do Sistema de Simulação Radar proposto objetivam a descrição realista do comportamento de diversos radares modernos. A escolha correta da forma de onda e a definição do modelo de radar mais adequado a uma determinada aplicação são considerados fatores essenciais para a utilização eficaz do Sistema de Simulação proposto. Como abordagem preliminar à implementação do Sistema de Simulação, o presente trabalho apresenta um estudo das formas de onda de radar e de alguns radares modernos de maior interesse. / [en] A Radar Simulation System hás been developed on the C programming Language. Its application is addressed to the military fiels and deals with the analysys, simulation, monitoring, and evaluation of signals in the interaction of Radar and eletronic Counter Measure Systems (ECM). The flexibilitu and modularity of the proposed Radar Simulation System is aimed at the realistic description of the behavior of many modern radars. The choice of the radar waveform and the definition of the appropriated radar model to a specific application are considered essential factors to an effective utilization of the proposed Radar Simulation System. Radar waveforms and modern radars considered of great interest have been presented as an introductory approach to the implementation of the Radar Simulation System.

AASS, or the Center for Applied Autonomous Sensor Systems, is a research environment at Örebro University. This report will touch the development of a robot intended for elderly care in a project called "Project Sputnik". The robot is essentially a manually controlled communication robot that is driven by a pilot from a computer. The robot’s purpose is to provide the option of virtual visits between elders and healthcare professionals or family and friends. The requirements for the robot are numerous and the project itself is far too extensive for one student to complete in a 15 credit course. Therefore, the project was limited to the physical design only. During the pilot-study a large amount of research was done to gain a better understanding of the touched subjects and to prepare for the future development of the project. The project followed the design methodology to gradually develop a conceptual sketch. The concept should form a basis that AASS can continue the development on, and is therefore deliberately crude not to limit AASS in the continued work of Project Sputnik. / AASS, eller Centrum för tillämpade autonoma sensorsystem är en forskningsmiljö på Örebro Universitet. Den här rapporten kommer röra utvecklandet av en robot ämnad åt äldreomsorgen i ett projekt vid namn "Project Sputnik". Roboten är huvudsakligen en kommunikationsrobot som styrs manuellt av en pilot från en hemdator och ska ge en upplevelse av virtuell närvaro. Kraven för roboten är många och projektet i sig är för omfattande för en student att utföra i en kurs på 15 högskolepoäng. Därför begränsades projektet till enbart den fysiska designen. Under förstudien gjordes en stor mängd research för att få en bättre förståelse för berörda områden och förbereda inför kommande processer i projektet. Projektet följde designmetodiken för att gradvis bygga fram en konceptskiss. Konceptskissen ska utgöra en grund som AASS kan utveckla, och är därför medvetet grov för att inte begränsa AASS i det fortsatta arbetet i Project Sputnik.

Aus der Einleitung: "Die Produktmodularität beeinflusst den finanziellen Erfolg eines Unternehmens (Eitelwein & Weber 2008). Das wirtschaftliche Einsparpotenzial der Produktmodularisierung wird dabei im Wesentlichen durch die Wiederverwendung von Produktkomponenten und der damit verbundenen Skalen- und Lernkurveneffekte erzielt (Göpfert 1998, Schölling 1997, Kersten & Koppenhagen 2002). Modularität ist von firmenspezifischen Faktoren abhängig (Hohnen 2010). Die Kenntnis dieser Faktoren und deren quantitative Ausprägung sind Voraussetzung für eine Determinierung der Produktmodularität hinsichtlich eines Kostenoptimums. Da diese Einflüsse nicht nur firmenspezifisch sind, sondern insbesondere von Produktsparte zu Produktsparte variieren (siehe Eitelwein & Weber 2008), ist es zweckmäßig, die jeweilige Modularität zu ermitteln und diese in Form einer Anforderung als Eingangsgröße an die Produktentwicklung weiter zu geben. Daraus leitet sich die Notwendigkeit einer Vorgehensweise ab, die es ermöglicht, die Modularität eines Produktes analysieren zu können und eine eindeutig quantifizierbare Aussage über die Modularität auszugeben."

Nous explorons la structure des vides dans une déformation massive de la théorie de Yang-Mills maximalement supersymétrique en quatre dimensions. Sur un espace-temps topologiquement trivial, la théorie des orbites nilpotentes dans les algèbres de Lie rend possible le calcul exact de l'indice de Witten. Nous en donnons les fonctions génératrices pour les algèbres classiques, et recourons à un calcul explicite pour les exceptionnelles. Après compactification sur un cercle, un lien entre les théories de jauge supersymétriques et les systèmes intégrables est exploitable pour réduire la chasse aux vides à une extrémisation du hamiltonien de Calogero-Moser elliptique twisté. Une analyse soigneuse des propriétés globales du groupe de jauge et des opérateurs de ligne est nécessaire pour obtenir un accord parfait. En combinant exploration numérique sur ordinateur et contrôle analytique grâce à la théorie des formes modulaires, nous exhibons la structure des vides massifs pour des algèbres de rang petit, et mettons en évidence de nouvelles propriétés modulaires. Nous montrons que des branches de vides de masse nulle existent, et nous en donnons la structure exacte pour les algèbres de rang deux. / We investigate the vacuum structure of a massive deformation of the maximally supersymmetric Yang-Mills gauge theory in four dimensions. When the topology of spacetime is trivial, the Witten index can be computed exactly for any gauge group using the theory of nilpotent orbits in Lie algebras. We provide generating functions for classical algebras and an explicit calculation for the exceptional ones. Upon compactification on a circle, one can use a bridge between supersymmetric gauge theories and complex integrable systems to reduce the analysis of vacua to the search of extrema of the twisted elliptic Calogero-Moser Hamiltonian. A careful inspection of global properties of the gauge group and line operators are needed to reach total agreement. Using a combination of numerical exploration on a computer and analytical control through the theory of modular forms, we determine the structure of massive vacua for low-rank gauge algebras and exhibit new modular properties. We also show that massless branches of vacua can exist, and provide an analytic description for rank two gauge algebras.

Atualmente, a customização apresenta-se como um importante diferencial competitivo para as empresas. No entanto, ao consumir bens customizados, o cliente está, em geral, sujeito ao pagamento de altos preços e à espera de longos tempos de entrega. Portanto, quanto mais as empresas desenvolverem soluções customizadas com altos níveis de eficiência, maior será a tendência de conquista do cliente. Nesse cenário, a customização em massa (CM), que está relacionada à produção de altos volumes de produtos e serviços customizados a um custo semelhante ao de itens padronizados, surge como solução. Verifica-se, porém, que, apesar da importância do setor de serviços no contexto atual, existe pouco conhecimento sobre a utilização da CM neste ramo de atividade. Dado isso, o objetivo desta dissertação é aplicar conceitos da CM, já difundidos na manufatura, no setor de serviços. Para atingir o objetivo, foram desenvolvidos três artigos. No primeiro artigo, foi realizada uma revisão da literatura a fim de identificar linhas de pesquisa já existentes sobre o tema e oportunidades possíveis de serem exploradas. No segundo artigo, foi proposta uma classificação para a customização de serviços, apresentando diversos tipos de customização possíveis de serem realizados nesse setor. No terceiro artigo, foi desenvolvido um dos tipos de customização apresentado no artigo anterior (mais especificamente, o tipo “Modularização e Plataforma de Serviços”) através da adaptação de um método de modularização, já utilizado para modularizar produtos, para o setor de serviços. Como conclusão geral, confirmou-se a expectativa de que a CM em serviços está em um nível baixo de maturidade, pois existem poucos estudos desenvolvidos sobre o tema. Além disso, verificou-se que as poucas soluções propostas pela literatura raramente são viáveis de serem utilizadas pelas empresas. Por fim, acredita-se que os habilitadores da CM em serviços devem considerar as características específicas desse setor, visto que, atualmente, os estudos introduzem no setor de serviços o que já foi desenvolvido para produtos, sem, no entanto, considerar as diferentes características desses dois setores. / Customization has been viewed as an important competitive advantage by companies. However, when consuming customized goods, customers are likely to pay higher prices and wait longer for the items purchased. Therefore, the more the companies develop customized solutions with high levels of efficiency, the greater the tendency to hold customers. In such context Mass Customization (MC), defined as the production of high volumes of customized products and services at mass production costs, arises as a solution. It is verified, however, that, despite the importance of the service industry, there is insufficient knowledge about the use of MC in such application context. The objective of this thesis is to apply MC concepts, already used in the manufacturing sector, in the service industry. We achieve that through the papers that compound this document. In the first paper, we present a literature review on MC in services and point to promising research opportunities. In the second paper, we propose a classification for service customization, presenting many types of customization feasible to be carried out in that sector. In the third paper we developed one of the customization types proposed in the second paper (namely, "Modularization and Platform of Services") by adapting a modularization method already used in manufacturing to the service sector. In general, we concluded that MC in the service industry is indeed at a low maturity level. Furthermore, it was found that the solutions proposed by authors are rarely applicable in practice. Finally, it is believed that MC enablers in the service industry should consider its specific characteristics instead of using solutions developed for products, without considering the specifics of the service industry.

Cette thèse se place dans le cadre des méthodes formelles et plus précisément dans celui de la vérification déductive et du système Why3. Ce dernier fournit un ensemble d'outils pour la spécification, l'implémentation et la vérification à l'aide de démonstrateurs externes. Why3 propose en particulier un langage de programmation adapté à la preuve, appelé WhyML. Un aspect important de ce langage est le code fantôme, à savoir des éléments de programme introduits exclusivement pour les besoins de la spécification et de la preuve. Pour obtenir un code exécutable, le code fantôme est éliminé par un processus automatique appelé extraction. L'une des contributions principales de cette thèse est la formalisation et l'implémentation du mécanisme d'extraction deWhy3. La formalisation consiste à montrer que le programme extrait préserve la sémantique du programme de départ, en s'appuyant notamment sur un système de types avec effets. Ce mécanisme d'extraction a été utilisé avec succès pour obtenir plusieurs modules OCaml corrects par construction, dans le cadre d'une bibliothèque vérifiée de structures de données et d'algorithmes. Cet effort de preuve a conduit à deux autres contributions de cette thèse.La première est une technique systématique pour la vérification de structures avec pointeurs, à l'aide de modèles du tas délimités.Une preuve entièrement automatique d'une structure union-find a pu être obtenue grâce à cette technique. La seconde contribution est un moyen de spécifier un algorithme d'itération indépendamment de son implémentation. Plusieurs curseurs et itérateurs d'ordre supérieur ont été spécifiés et vérifiés en utilisant cette approche. / This thesis is set in the field of formal methods, more precisely in the domain of deductive program verification. Our working context is the Why3 framework, a set of tools to implement, formally specify, and prove programs usingoff-the-shelf theorem provers. Why3 features a programming language,called WhyML, designed with verification in mind. An important feature of WhyML is ghost code: portions of the program that are introduced for the sole purpose of specification andverification. When it comes to get an executable implementation, ghost code is removed by an automatic process called extraction. One of the main contributions of this thesis is the formalization and implementation of Why3's extraction. The formalization consists in showing that the extracted program preserves the same operational behavior as the original source code, based on a type and effect system. The new extraction mechanism has been successfully used to get correct-by-construction OCaml modules, which are part of averified OCaml library of data structures and algorithms. This verification effort led to two other contributions of this thesis.The first is a systematic approach to the verification ofpointer-based data structures using ghost models of fragments of the heap. A fully automatic verification of a union-find data structure was achieved using this technique. The second contribution is a modular way to reason about iteration, independently of the underlying implementation. Several cursors and higher-orderiterators have been specified and verified with this approach.

The topic of my diploma thesis is analysis and design proposal of residential module, which will respect functional, constructional, technological, esthetic and ergonomic regularities. The proposal is focused on new solution of shape of the container type residential module.