This diploma thesis deals with the topic of the ECG quality evaluation. The theoretical part of the thesis contains an overview of the methods, which were studied and an explanation of the basic principles connected with the quality evaluation of the ECG signals. The practical part deals with the implementation of three selected methods, one of which is the continuous evaluation of signal quality by means of SNR (signal to noise ratio) calculation. The results of these methods are further discussed and compared.

This seminar work deals with the topic of evaluating the quality of ECG signals. The introductory chapters explain the basic characteristics of ECG signals - measurement, the form of the measured signal, methods of analysis. The cardiac physiology and pathology is presented. The most common types of noise that occur in ECG signals are also mentioned. Further, the reader is acquainted with the importance of the issue of evaluating the quality of ECG signals. In the practical part of the work, two own methods for ECG quality evaluation are presented. First, a brief theoretical introduction to the techniques used in the creation of methoda is given, followed by a description of the principle of algorithms. In order to compare the functionality of the proposed methods, three more methods from other authors are presented. Their principle is briefly described. In the final chapter, all methods are subjected to functionality testing. The results are examined and all methods are compared with each other.

[pt] O presente trabalho discute práticas de avaliação de tradução, notadamente no contexto de sistemas de tradução automática (TA). É apresentada uma descrição de trabalhos relevantes de avaliação de TA, que abrangem a análise de sistemas e também a criação de taxonomias para avaliação de erros de TA. Em seguida, é realizada uma série de três jogos de avaliação de qualidade de tradução automática, baseados nos jogos de linguagem descritos nas Investigações fiilosóficas de Ludwig Wittgenstein. O jogo 1 abrangeu a pós-edição da tradução automática de pedidos de patentes por um tradutor profissional em dois sistemas distintos, com posterior avaliação de produtividade e análise das edições efetuadas. Os resultados quantitativos do jogo 1 revelam o impacto positivo do uso de TA na produtividade. Para uma avaliação qualitativa dos resultados, foi desenvolvida uma taxonomia das edições feitas durante a tarefa de pós-edição, e os resultados indicaram que o aumento de produtividade da TA não se deu às expensas da qualidade final do texto. O jogo 2 envolveu a comparação de duas traduções do mesmo texto, feitas pelo mesmo tradutor em um intervalo de vários anos, a primeira com memória de tradução, a segunda com pós-edição de TA, e serviu de base para uma discussão sobre a qualidade de tradução produzida em diferentes sistemas e condições de trabalhos. O jogo 3 compara a versão final dos dois textos-alvo editados no jogo 1 aos pedidos de patentes correspondentes, depositados do Instituto Nacional de Propriedade Industrial (INPI), para avaliar se o uso de TA teve algum impacto na qualidade final dos textos-alvo. Os resultados dos jogos 2 e 3 apontaram para um nível de qualidade superior das traduções produzidas por pós-edição de TA para este estudo, quando comparadas a traduções feitas em contextos profissionais. / [en] This work discusses translation assessment practices, most importantly machine translation (MT) assessment. Relevant literature for MT assessment is discussed, from MT systems assessment to the design of error typologies for MT assessment. The study encompasses a series of three MT quality assessment experiments based on the language games as described by Wittgenstein in his work Philosophical Investigations. Game 1 encompassed post-editing two patent documents using different MT systems, and further evaluating translator s productivity and analyzing the edits made. The quantitative results showed the positive impact of using MT in productivity. The qualitative results included a typology of the edits made during the PE task in both MT systems, and the results achieved showed that increased productivity did not affect translation quality level. Game 2 compares two translations of the same text produced several years apart by the same translator. The former was produced using a CAT tool; the latter, a TA system. Both served as the basis for discussing the quality of translations produced in different systems and under different work conditions. Game 3 compares the post-edited documents produced in the PE task of Game 1 to the actual patent documents as filed in Brazil s Patent Office (INPI) in order to evaluate the impact of MT over the quality of post-edited documents. The results of both games 2 and 3 pointed to a superior quality of the post-edited translations of the present study over translations produced in professional contexts.

Les concepts d’architecture orientée service (SOA) ainsi que tout une panoplie de technologies «en tant que service» (XaaS) sont utilisés quasiment partout de nos jours, et l’organisation optimisée d’activités synchronisées devient un défi important. Dans le but de proposer à l’utilisateur final un service sécuritaire et fiable sans compromettre la qualité, les questions concernant la vérification et la validation des compositions des services deviennent d’un grand intérêt tant théorique que pratique. Dans les autres travaux traitant du sujet, de nombreux modèles et techniques sont proposés, mais la plupart mettent l’accent sur les aspects fonctionnels ou non-fonctionnels pris séparément, alors que l’intégration de ces paramètres en un modèle formel unifié reste un problème qui doit être résolu – ce qui est devenu par conséquent un des objectifs fondamentaux de cette thèse. Dans notre travail, nous réfléchissons aux problèmes de la vérification et de l’optimisation des compositions des services web. Tout ceci est étudié dans l’optique de la fonctionnalité des systèmes, de leur qualité et de la sécurité des compositions. Il a été prouvé que les modèles à états finis sont utiles à des fins de tests et de vérification, de même que pour le contrôle qualité à chaque étape du développement du service. C’est pour cette raison que nous proposons d’utiliser le modèle de machine temporisée à états finis (TFSM) pour intégrer une description fonctionnelle du service avec les paramètres de sécurité et de qualité liées au temps. L’extension du modèle permettra alors d’interpréter adéquatement le non-déterminisme significatif causé par un manque d’observabilité ou/et de contrôle sur les services tiers. Dans le but d’optimiser les compositions des systèmes, nous proposons une méthode pour dériver la solution la plus globale contenant tous les composants autorisés pour la mise en œuvre du service, basée sur la résolution de l’équation parallèle du TFSM. Ensuite, les techniques pour extraire des solutions restreintes avec les propriétés requises (paramètres de temps minimisé/maximisé, interblocages actifs ou passifs de sécurité, similarité avec le composant d’origine donné, etc.) ont été proposées. Dans le cas où les spécifications d’un service composite consistent en un ensemble d’exigences fonctionnelles, éventuellement renforcées par des exigences de qualité, nous proposons une technique de minimisation de l’ensemble, dans le respect du composant à optimiser. L’application des résultats obtenus à la découverte et à la mise en place de composants plus efficaces, ainsi que l’extension du modèle à des modes de communication plus complexes font partie des sujets possibles pour des études futures. / Service-oriented architecture (SOA) together with a family of Everything-as-a-Service (XaaS) concepts nowadays are used almost everywhere, and the proper organization of collaborative activities becomes an important challenge. With the goal of bringing to the end-user safe and reliable service with the guaranteed level of quality, issues of service compositions verification and validation become of high practical and theoretical interest. In the related works, numerous models and techniques are proposed, but mostly focused on functional and non-functional issues in isolation, while integration of these parameters within unified formal framework still remains a problem to be solved – and therefore became one of the core objectives of this thesis. In our work, we address the problems of web service composition verification and optimization with respect to functional, quality and safety properties of the composition. Finite state models are proven to be useful for testing and verification purposes as well as for service quality evaluation at each step of service development. Therefore, we propose to use the model of Finite State Machine with Timeouts (TFSM) for integrating functional service description with time-related quality and safety parameters, and derive the extension of the model in order to adequately inherit significant nondeterminism due to the lack of observability and control over third-party component services. For the purpose of component optimization in the composition, we propose a method for deriving the largest solution containing all allowed component service implementations, based on solving TFSM parallel equation. Further, techniques for extracting restricted solutions with required properties (minimized/maximized time parameters, deadlock- and livelock-safety, similarity to the initially given component, etc.) have been proposed. In cases when the specification of a composite service is provided as a set of functional requirements, possibly, augmented with quality requirements, we propose a technique to minimize this set with respect to the component under optimization. Application of the obtained results for more efficient candidate component services discovery and binding, alongside with extending the framework for more complex distributed modes of communications, are among the topics for the future work.

I detta examensarbete har ett IT-verktyg utvecklats som stödjer kvalitetsutvärderingen av en ingenjörsutbildning. I dagsläget innehåller kvalitetsutvärderingen flera moment som kräver manuell hantering av data. IT-verktyget automatiserar ett flertal av momenten och detta effektiviserar arbetet genom tidsbesparing och minskad risk för misstag. Examensarbetets syfte är således att underlätta genomförandet av kvalitetsutvärderingen genom automatisering. Metoden för arbetet är en fallstudie vid en av Sveriges ingenjörsutbildningar. Metodvalet ger möjlighet till verkliga tester och evidens för att kontrollera och påvisa att det utvecklade verktyget fungerar i enlighet med de behov som finns. Resultatet av detta examensarbete är ett IT-verktyg som stödjer, underlättar, förfinar och förtydligar kvalitetsutvärdering av ingenjörsutbildning på grundnivå. Verktyget är byggt med tjänster ur Google:s utbud, där användargränssnittet utgörs av produktivitetsapplikationerna Sheets och Forms. Skriptplattformen Apps Script tillför automatisering av repetitiva moment och möjliggör att applikationerna kan sammanlänkas med en databas i molntjänsten Cloud SQL. IT-verktyget bedöms även kunna fungera för andra typer av utbildningar som kvalitetsprövas mot lärandemål och examensmål. / In this thesis an information technology tool is developed to support quality evaluation of an engineering education. Presently the quality evaluation contains several steps that require data to be handled manually. The information technology tool automates several of the steps. This leads to increased work efficiency and reduces the risk of mistakes. The purpose of the thesis is therefor to facilitate the quality evaluation through automatization. The method chosen for development is a case study conducted at a Swedish engineering program. The choice of method makes it possible to conduct tests based on an actual education program to verify and show that the developed tool is functioning correctly according to existing needs. The result of this thesis is a working information technology tool that supports, refines and concretizes quality measurement of engineering education at a bachelor level. The tool is built using services provided by Google. The productivity apps Sheets and Forms are utilized as the user interface, and used in conjunction with the scripting platform Apps Script, the apps are connected with a cloud database in the Cloud SQL service. The tool is assumed to work for other types of educations that are quality checked using intended learning outcomes and examination objectives.

Particulate matter is a growing health concern that is considered to contribute to many diseases. To develop appropriate air filtration systems, we need to understand how particulate matter affects air filters. In this project, we implement an automated data acquisition system for an air filter test rig. The data acquisition system allows us to gather empirical data on how particle matter affects air filters over time. Although the quality of the air filters does not reach critical levels, there is a measurable degradation. The collected data is used to train and validate a machine learning model that can evaluate air filter quality. This machine learning proved to be a powerful tool in air filter evaluation and performs with 99% accuracy on test data. The result of this project is a fully functioning data acquisition system along with a user interface that considerably reduces the number of man-hours needed to perform tests of filters. In addition, the automated data acquisition system can notify the operator when the rig needs a change of filter or when certain faults occur. Unfortunately, the project did not reach its original goal of being able to automatically determine when the test rig needs maintenance or re-calibration. / Luftburna partiklar är en växande hälsorisk som anses bidra till ohälsa. För att utveckla lämpliga luftfiltreringssystem måste en bättre förståelse nås för hur luftburna partiklar degraderar luftfilter. I det här projektet så implementeras ett automatiskt datainsamlingssystem i en testrigg för luftfilter. Datainsamlingssystemet samlar in empiriska data för hur luftburna partiklar degraderar filter över tid. Även om luftfiltren inte når kritiska nivåer, visar testerna på en mätbar degradering. Insamlat data används för att träna och validera en maskininlärningsmodell för att utvärdera filterkvalitet. Maskininlärning visade sig vara en kraftfull metod för att utvärdera luftfilter med 99% noggrannhet för testdata. Resultatet av det här projektet är ett fullt fungerande datainsamlingssystem tillsammans med ett användargränssnitt som avsevärt minskar tidsåtgången för att utföra test och utvärdera filter. Dessutom kan det automatiska datainsamlingssystemet meddela operatören när riggen behöver byta filter eller när vissa fel uppstår. Återstående arbete består i att implementera när testriggen behöver service eller kalibrering.

Актуальность темы обусловлена заинтересованностью руководителей в поиске инструментов для оценки эффективности основной деятельности предприятия, в частности качества обработки обращений, поступающих в текстовые каналы контактных центров, с целью рационального распределения располагаемых ресурсов и принятия решений для повышения конкурентоспособности конечной продукции и услуг. Научная новизна состоит в том, что были проанализированы существующие подходы к управлению менеджментом качества работы операторов, в результате чего было выявлено отсутствие инструментов для оценки качества обслуживания с учётом значимых критериев для той отрасли, в рамках которой осуществляется обработка обращений. На основании чего была предложена методика оценки качества работы операторов контактных центров, включающая формулу для оценки качества с возможностью определения значимых отраслевых критериев, прототип формы для оценки качества работы операторов, а также общий алгоритм анализа эффективности труда операторов текстовых каналов. Практическая значимость работы заключается в том, что предлагаемую методику оценки качества работы операторов текстовых каналов контактных центров можно использовать для оценки и дальнейшего анализа показателей с целью улучшения качества реализуемых услуг и повышения конкурентоспособности конечной продукции. / The relevance of the topic is due to the interest of managers in finding tools to assess the effectiveness of the main activity of the enterprise, in particular, the quality of processing requests received in the text channels of contact centers, in order to rationally allocate available resources and make decisions to increase the competitiveness of final products and services. The scientific novelty consists in the fact that the existing approaches to managing the quality of operators' work were analyzed, as a result of which the lack of tools for assessing the quality of service was revealed, taking into account significant criteria for the industry in which requests are processed. Based on this, a methodology for assessing the quality of work of contact center operators was proposed, including a formula for assessing quality with the possibility of determining significant industry criteria, a prototype form for evaluating the quality of operators' work, as well as a general algorithm for analyzing the efficiency of text channel operators. The practical significance of the work lies in the fact that the proposed methodology for assessing the quality of work of operators of text channels of contact centers can be used to evaluate and further analyze indicators in order to improve the quality of services sold and increase the competitiveness of final products.

No description available.

Development of a game in the form of software for game-based learning poses significant technical challenges for educators, researchers, game designers, and software engineers. The game development consists of a set of complex processes requiring multi-faceted knowledge in multiple disciplines such as digital graphic design, education, gaming, instructional design, modeling and simulation, psychology, software engineering, visual arts, and the learning subject area. Planning and managing such a complex multidisciplinary development project require unifying methodologies for development and software quality evaluation and should not be performed in an ad hoc manner. This dissertation presents such methodologies named: GAMED (diGital educAtional gaMe dEvelopment methoDology) and IDEALLY (dIgital eDucational gamE softwAre quaLity evaLuation methodologY). GAMED consists of a body of methods, rules, and postulates and is embedded within a digital educational game life cycle. The life cycle describes a framework for organization of the phases, processes, work products, quality assurance activities, and project management activities required to develop, use, maintain, and evolve a digital educational game from birth to retirement. GAMED provides a modular structured approach for overcoming the development complexity and guides the developers throughout the entire life cycle. IDEALLY provides a hierarchy of 111 indicators consisting of 21 branch and 90 leaf indicators in the form of an acyclic graph for the measurement and evaluation of digital educational game software quality. We developed the GAMED and IDEALLY methodologies based on the experiences and knowledge we have gained in creating and publishing four digital educational games that run on the iOS (iPad, iPhone, and iPod touch) mobile devices: CandyFactory, CandySpan, CandyDepot, and CandyBot. The two methodologies provide a quality-centered structured approach for development of digital educational games and are essential for accomplishing demanding goals of game-based learning. Moreover, classifications provided in the literature are inadequate for the game designers, engineers and practitioners. To that end, we present a taxonomy of games that focuses on the characterization of games. / Ph. D.

The research reported in this thesis is an extension and application of the results first introduced by the Procedural Approach to the Evaluation of Software Development Methodologies. The evaluation procedure offers a unique perspective based on the philosophy that a software development methodology should espouse a set of objectives that are achieved by employing certain U principles throughout the software development process, such that the products generated possess certain attributes deemed desirable. Further, definite linkages exist between objectives and principles, and principles and attributes. The work described herein adopts the perspective offered by the evaluation procedure and applies a critical analysis to the process-product relationships in DoD-STD-2l67 and DoD-STD-2l68. In support of the analysis, Augmented Data Flow Diagrams are introduced as an effective tool for concisely capturing the information in both standards. The results of the analysis offer a deeper insight into the requirements for defense system software development, such that one is able to better understand the development process, and more intelligently assess the quality of the software and documentation produced. / Master of Science