Asiakkuuden hallintaohjelmiston hankinta mikroyrityksessä

Tietotekniikan käyttö on tärkeää mikroyrityksen kasvun kannalta. Tutkielmassa pyrittiin toimintatutkimuksen keinoin löytämään kosmetiikan suoramyyntiä harjoittavan toiminimen KaunisSinä taustalla olevan osa-aikaisen yrittäjän asettamien tavoitteiden ja rajoitteiden mukaan paras ohjelmisto tukemaan asiakkuuden hallintaa. Ohjelmiston valintaa varten tutkittiin ohjelmistohankinnan menetelmiä kaupallisten valmisohjelmistojen, avoimen lähdekoodin ohjelmistojen ja räätälöityjen ohjelmistojen osalta. Yrittäjän toimintatapojen kartoituksen perusteella muodostettiin kriteerit ohjelmistojen vertailua ja valintaa varten. Vertailussa käytettiin painotetun keskiarvon menetelmää. Markkinoilla on saatavilla ominaisuuksiltaan sopivia avoimen lähdekoodin asiakkuuden hallintaohjelmistoja. Valinta on kompromissi ohjelmiston tarjoaman toiminnallisuuden sekä ominaisuuksien ja yritykselle muodostuneiden toimintatapojen välillä. Yrityksen on siis osittain mukautettava toimintatapojaan ohjelmiston mukaiseksi.

Use Of Systems Approach with Total Quality Management in Industrial Organizations

The objective of the work has been to study why systems thinking should be used in combination with TQM, what are the main benefits of the integration and how it could best be done. The work analyzes the development of systems thinking and TQM with time and the main differences between them. The work defines prerequisites for adopting a systems approach and the organizational factors which embody the development of an efficient learning organization. The work proposes a model based on combination of an interactive management model and redesign to be used for application of systems approach with TQM in practice. The results of the work indicate that there are clear differences between systems thinking and TQM which justify their combination. Systems approach provides an additional complementary perspective to quality management. TQM is focused on optimizing operations at the operational level while interactive management and redesign of organization are focused on optimization operations at the conceptual level providing a holistic system for value generation. The empirical study demonstrates the applicability of the proposed model in one case study company but its application is tenable and possible also beyond this particular company. System dynamic modeling and other systems based techniques like cognitive mapping are useful methods for increasing understanding and learning about the behavior of systems. The empirical study emphasizes the importance of using a proper early warning system.

Kuorman tasaus web-palvelimissa

Web-palvelussa sivuston suorituskyky muodostaa suuren osan käyttökokemuksen mielekkyydestä. Sivuston ollessa kuormitetumpi kuin normaalisti, saattaa se toimia tavallista hitaammin. Tasaamalla yhden web-palvelimen kuormaa muille palvelimille, joko laitteisto tai ohjelmistopohjaisella kuormantasauksella, voidaan saavuttaa merkittäviä suorituskykyparannuksia koko palvelulle. Teoriaosassa selvitettiin kuormantasaukseen soveltuvien algoritmien toimintaa sekä tietokantapohjaista replikaatiota, joka välittää saamansa tiedon lähes välittömästi toiselle palvelimelle. Apachen kuormantasausmoduuliin sekä sen sisältämiin algoritmeihin luotiin myös katsaus teoriaosassa. Varsinaisessa työssä luotiin Apachen kuormantasauspalvelimen ja kahden suorituspalvelimen avulla toimiva palvelinjärjestelmä. Kuormantasaimeen asennettiin käyttöön tahmeat sessiot, joiden toimintaa selvitettiin Drupal-ohjelman avulla. Apachessa on ollut ongelmia tahmeiden sessioiden kanssa, mutta työssä huomattiin kaiken toimivan mainiosti. Kuormantasaus ja tietokantojen replikaatio toimi, kuten odotettiin.

Laskentasovelluksen kehittäminen modulaariselle vesiputkikattilalle

Modulaarisella vesiputkikattilalla tarkoitetaan täysin konepajalla valmistettavissa olevaa kattilaa, joka voidaan kuljettaa yhtenä tai muutamana suurena moduulina työmaalle. Tässä diplomityössä käsiteltiin modulaarisen vesiputkikattilan laskentasovelluksen ke-hittämistä KPA Unicon Oy:lle. Työn tavoitteena oli tarkastella modulaarisen vesiputkikattilan lämpöteknistä mitoitusta ja suunnittelua sekä kehittää laskentasovellus, jonka avulla voidaan arvioida kattilan mittoja ja painoa. Laskentasovellus laadittiin Microsoftin Excel-alustalle, josta se on myöhemmin mahdollista siirtää muille ohjelma-alustoille. Laskentasovelluksessa hyödynnetään lämmönsiirron ja virtaustekniikan laskentayhtälöitä sekä -menetelmiä. Sovellukseen valitut laskentayhtälöt sekä -menetelmät ovat yleisesti hyväksyttyjä ja käytännössä testattuja. Diplomityön tuloksena valmistui laskentasovellus, joka kykenee modulaarisen vesiputkikattilan lämpötekniseen mitoittamiseen. Sovelluksen avulla voidaan mitoittaa kattilan tulipesä, tulistimet, höyrystinpinnat sekä ekonomaiseri. Laskentasovellusta on tarkoitus hyödyntää yrityksen tarjousvaiheen projekteissa sekä mahdollisesti kattiloiden esisuunnittelussa. Laskentasovelluksen laatimista varten ei ollut mahdollista hyödyntää toiminnassa olevien kattiloiden prosessitietoja, koska ensimmäiset tämän tyyppiset kattilat ovat asenteilla. Sen sijaan sovelluksen antamia laskentatuloksia verrattiin toisen mitoitusohjelman antamiin tuloksiin, joiden perusteella laskentasovelluksen voidaan olettaa antavan oikeita tuloksia.

Avoimet tuotealustat ja allianssit älytelevisiomarkkinoilla

Älytelevisiomarkkinat ovat nykyisellään pirstaloituneet eri valmistajien kehittäessä omia älytelevisioalustoitaan, mikä tekee sovelluskehittämisestä erittäin työlästä, kun kehitystyö pitää tehdä jokaiselle alustalle erikseen. LG:n ja Philipsin perustama Smart TV Alliance pyrkii yksinkertaistamaan sovelluskehittäjien työtä, samalla houkutellen lisää kehittäjiä alalle. Työssä tutustutaan tuotealustoihin, avoimeen ja suljettuun innovaatioon, sekä alliansseihin. Lisäksi perehdytään älytelevisioihin sekä tietenkin itse Smart TV Allianceen. Lisäksi tarkastellaan nykyistä markkina-asetelmaa ja arvioidaan yksittäisten toimijoiden tilannetta ja mahdollisia toimenpiteitä. Työn painopiste on fyysisen laitevalmistajan ja käyttöjärjestelmän kehittäjän/ylläpitäjän näkökulmasta. Työn kannalta tärkeässä roolissa ovat ohjelmistopohjaiset tuotealustat. Eritoten työssä käsitellään älytelevisioiden ohjelmistoa tuotealustana, mutta hyvä vaihtoehtoinen ja eritoten monille käytännönläheisempi esimerkki on tietokoneen käyttöjärjestelmä, kuten Microsoft Windows tai useat Linux-pohjaiset käyttöjärjestelmät. Keskeisenä ominaisuutena näissä kaikissa on, että itse käyttöjärjestelmä toimii yhteisenä pohjana, jonka päälle voidaan rakentaa muuta toiminnallisuutta, kuten pelejä ja toimistosovelluksia.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Typing of Pseudomonas aeruginosa from hospitalized patients: a comparison of susceptibility and biochemical profiles with genotype

Typing techniques are essential for understanding hospital epidemiology, permitting the elucidation of the source of infection and routes of bacterial transmission. Although DNA-based techniques are the "gold standard" for the epidemiological study of Pseudomonas aeruginosa, antibiotic profiles and biochemical results are used because they are easy to perform and to interpret and relatively inexpensive. Antibiotypes (susceptibility profiles) and biotypes (biochemical profiles) were compared to genotypes established by DNA restriction enzyme analysis in 81 clinical isolates of P. aeruginosa from three hospitals in Porto Alegre, Brazil. The epidemiological relationship among patients was also evaluated. Susceptibility and restriction profiles were discrepant in more than 50% of the cases, and many antibiotypes were observed among isolates from the same genotype. Furthermore, susceptibility profiles did not allow the distinction of isolates from unrelated genotypes. Since a large number of isolates (63%) yielded the same biochemical results, only 10 biotypes were detected, showing that this typing method has a low discriminatory power. On the other hand, DNA restriction enzyme typing allowed us to establish 71 distinct types. Epidemiological data about the relation among P. aeruginosa isolates were not conclusive. The results of the present study indicate that the only method that can establish a clonal relation is DNA restriction enzyme typing, whereas the other methods may cause misleading interpretations and are inadequate to guide proper infection control measures.

Effect of gallium-arsenide laser, gallium-aluminum-arsenide laser and healing ointment on cutaneous wound healing in Wistar rats

This study determined the effects of gallium-aluminum-arsenide laser (GaAlAs), gallium-arsenide laser (GaAs) and Dersani® healing ointment on skin wounds in Wistar rats. The parameters analyzed were: type I and III collagen fiber concentrations as well as the rate of wound closure. Five wounds, 12 mm in diameter, were made on the animals’ backs. The depth of the surgical incision was controlled by removing the epithelial tissue until the dorsal muscular fascia was exposed. The animals were anesthetized with ketamine and xylazine via intraperitoneal injection. The rats were randomly divided into five groups of 6 animals each, according to the treatment received. Group 1 (L4): GaAs laser (4 J/cm²); group 2 (L30): GaAlAs laser (30 J/cm²); group 3 (L60): GaAlAs laser (60 J/cm²); group 4 (D): Dersani® ointment; group 5 (control): 0.9% saline. The applications were made daily over a period of 20 days. Tissue fragments were stained with picrosirius to distinguish type I collagen from type III collagen. The collagen fibers were photo-documented and analyzed using the Quantum software based on the primary color spectrum (red, yellow and blue). Significant results for wound closing rate were obtained for group 1 (L4), 7.37 mm/day. The highest concentration of type III collagen fibers was observed in group 2 (L30; 37.80 ± 7.10%), which differed from control (29.86 ± 5.15%) on the 20th day of treatment. The type I collagen fibers of group 1 (L4; 2.67 ± 2.23%) and group 2 (L30; 2.87 ± 2.40%) differed significantly from control (1.77 ± 2.97%) on the 20th day of the experiment.

Mineraalien rikastusprosessin vesijalanjälki

Mineraalien rikastamiseen käytetään useita fysikaalisia ja kemiallisia menetelmiä. Prosessi sisältää malmin hienonnuksen, rikastuksen ja lopuksi vedenpoistamisen rikastelietteestä. Malmin rikastamiseen käytetään muun muassa vaahdotusta, liuotusta, magneettista rikastusta ja tiheyseroihin perustuvia rikastusmenetelmiä. Rikastuslietteestä voidaan poistaa vettä sakeuttamalla ja suodattamalla. Rikastusprosessin ympäristövaikutuksia voidaan arvioida laskemalla tuotteen vesijalanjälki, joka kertoo valmistamiseen kulutetun veden määrän. Tässä kirjallisuustyössä esiteltiin mineraalien käsittelymenetelmiä sekä prosessijätevesien puhdistusmenetelmiä. Kirjallisuuslähteiden pohjalta selvitettiin Pyhäsalmen kaivoksella valmistetun kuparianodin vesijalanjälki sekä esitettiin menetelmiä, joilla prosessiin tarvittavan raakaveden kulutusta voitaisiin vähentää. Pyhäsalmella kuparirikasteesta valmistetun kuparianodin vesijalanjälki on 240 litraa H2O ekvivalenttia tuotettua tonnia kohden. Pyhäsalmen prosessin raakaveden kulutusta voidaan vähentää lisäämällä sisäistä vedenkierrätystä. Kalsiumsulfaatin saostuminen putkiin ja pumppuihin on ilmentynyt ongelmaksi vedenkierrätyksen lisäämisessä. Kalsiumsulfaattia voidaan erottaa vedestä membraaneihin, ioninvaihtoon ja sähkökemiaan perustuvilla tekniikoilla. Vaihtoehdossa, jossa johdetaan kaikista kolmesta vaahdotuksesta saatavat rikastuslietteen ja rikastushiekan sakeutuksien ylitteet sekä suodatuksien suodosvedet samaan vedenkäsittelyyn voidaan kattaa arviolta noin 65 % koko veden tarpeesta. Raakavettä säästetään vuodessa 3,4 Mm^3 ja samalla rikastushiekka-altaiden tarvittava koko pienenee, joka vähentää ympäristöriskejä.

Evaluation of Machine Learning Classifiers for Mobile Network Intrusion Detection Systems

Mobile malwares are increasing with the growing number of Mobile users. Mobile malwares can perform several operations which lead to cybersecurity threats such as, stealing financial or personal information, installing malicious applications, sending premium SMS, creating backdoors, keylogging and crypto-ransomware attacks. Knowing the fact that there are many illegitimate Applications available on the App stores, most of the mobile users remain careless about the security of their Mobile devices and become the potential victim of these threats. Previous studies have shown that not every antivirus is capable of detecting all the threats; due to the fact that Mobile malwares use advance techniques to avoid detection. A Network-based IDS at the operator side will bring an extra layer of security to the subscribers and can detect many advanced threats by analyzing their traffic patterns. Machine Learning(ML) will provide the ability to these systems to detect unknown threats for which signatures are not yet known. This research is focused on the evaluation of Machine Learning classifiers in Network-based Intrusion detection systems for Mobile Networks. In this study, different techniques of Network-based intrusion detection with their advantages, disadvantages and state of the art in Hybrid solutions are discussed. Finally, a ML based NIDS is proposed which will work as a subsystem, to Network-based IDS deployed by Mobile Operators, that can help in detecting unknown threats and reducing false positives. In this research, several ML classifiers were implemented and evaluated. This study is focused on Android-based malwares, as Android is the most popular OS among users, hence most targeted by cyber criminals. Supervised ML algorithms based classifiers were built using the dataset which contained the labeled instances of relevant features. These features were extracted from the traffic generated by samples of several malware families and benign applications. These classifiers were able to detect malicious traffic patterns with the TPR upto 99.6% during Cross-validation test. Also, several experiments were conducted to detect unknown malware traffic and to detect false positives. These classifiers were able to detect unknown threats with the Accuracy of 97.5%. These classifiers could be integrated with current NIDS', which use signatures, statistical or knowledge-based techniques to detect malicious traffic. Technique to integrate the output from ML classifier with traditional NIDS is discussed and proposed for future work.

Keskikokoisen maatilan biokaasu- ja aurinkosähköratkaisujen kannattavuus Etelä-Savossa

Tässä kandidaatintyössä perehdytään biokaasun syntyprosessiin ja sen hyödyntämismahdollisuuksiin, sekä vertaillaan biokaasun tuotannon määrää Suomessa ja Saksassa. Työssä tarkastellaan biokaasuvoimalan kannattavuutta keskikokoisen maatilan yhteydessä Etelä-Savossa ja käydään läpi biokaasuvoimalalle Suomessa myönnettäviä tukimuotoja. Tukimuotojen lisäksi käydään läpi erilaisia lupia ja hyväksyntöjä, joita maatilan yhteyteen rakennettava biokaasu-voimalaitos tarvitsee. Työn toisessa osassa käydään läpi aurinkoenergian hyödyntämismahdollisuuksia, aurinkosähköjärjestelmän komponentteja, sekä perehdytään aurinkopaneelin toimintaperiaatteeseen. Tarkastellaan biokaasuvoimalan lisäksi myös aurinkovoimalan kannattavuutta maatilan yhteydessä ja vertaillaan biokaasu- ja aurinkovoimalan ominaisuuksia keskenään. Lisäksi vertaillaan aurinkosähkön tuotantoa Suomessa ja Saksassa. Työn tavoitteena on selvittää biokaasu- ja aurinkosähkövoimalan kannattavuus esimerkkimaatilalla. Biokaasulaitoksen hinta-arvio saatiin vastauksena tarjouspyyntöön ja aurinkosähköjärjestelmän hinta arvioitiin kotimaisten toimittajien aurinkosähköpakettien hintojen avulla. Biokaasuvoimalan sähköntuottoennuste sekä huolto- ja käyttökustannukset perustuvat kirjallisuudesta saatuihin arvoihin. Aurinkovoimalan sähköntuottoennuste ja paneelien suuntauksen vaikutusta tuotantoon laskettiin PVGIS:n laskurilla sekä HOMER-ohjelmistolla. Kannattavuuslaskelmien perusteella kumpikaan voimalaitostyyppi ei tutkituilla voimalaitosten suuruuksilla ole kannattava 20 tai edes 30 vuoden pitoajalla esimerkkimaatilalla nykyisellä sähkönhinnalla ja tukitasolla. Aurinkosähköjärjestelmälle saadaan kuitenkin 20 vuoden takaisinmaksuaika, jos se hankitaan ilman lainarahaa. Tällöin voidaan ajatella, että laitos on kannattava. Biokaasulaitoksen kannattavuutta parantaisivat tukien ja sähkön hinnan nousun ohella kaasun ja lämmön myyntimahdollisuudet, joita esimerkkimaatilalla ei ole. Aurinkovoimalan kannattavuutta parantaisivat puolestaan tukien ja korkeamman sähkön hinnan lisäksi paremmin paneelien tuotantoa seuraava kulutus, jolloin pienempi osuus sähköstä päätyisi myyntiin.

L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

Exogeneity, weak identification and instrument selection in econometrics

La dernière décennie a connu un intérêt croissant pour les problèmes posés par les variables instrumentales faibles dans la littérature économétrique, c’est-à-dire les situations où les variables instrumentales sont faiblement corrélées avec la variable à instrumenter. En effet, il est bien connu que lorsque les instruments sont faibles, les distributions des statistiques de Student, de Wald, du ratio de vraisemblance et du multiplicateur de Lagrange ne sont plus standard et dépendent souvent de paramètres de nuisance. Plusieurs études empiriques portant notamment sur les modèles de rendements à l’éducation [Angrist et Krueger (1991, 1995), Angrist et al. (1999), Bound et al. (1995), Dufour et Taamouti (2007)] et d’évaluation des actifs financiers (C-CAPM) [Hansen et Singleton (1982,1983), Stock et Wright (2000)], où les variables instrumentales sont faiblement corrélées avec la variable à instrumenter, ont montré que l’utilisation de ces statistiques conduit souvent à des résultats peu fiables. Un remède à ce problème est l’utilisation de tests robustes à l’identification [Anderson et Rubin (1949), Moreira (2002), Kleibergen (2003), Dufour et Taamouti (2007)]. Cependant, il n’existe aucune littérature économétrique sur la qualité des procédures robustes à l’identification lorsque les instruments disponibles sont endogènes ou à la fois endogènes et faibles. Cela soulève la question de savoir ce qui arrive aux procédures d’inférence robustes à l’identification lorsque certaines variables instrumentales supposées exogènes ne le sont pas effectivement. Plus précisément, qu’arrive-t-il si une variable instrumentale invalide est ajoutée à un ensemble d’instruments valides? Ces procédures se comportent-elles différemment? Et si l’endogénéité des variables instrumentales pose des difficultés majeures à l’inférence statistique, peut-on proposer des procédures de tests qui sélectionnent les instruments lorsqu’ils sont à la fois forts et valides? Est-il possible de proposer les proédures de sélection d’instruments qui demeurent valides même en présence d’identification faible? Cette thèse se focalise sur les modèles structurels (modèles à équations simultanées) et apporte des réponses à ces questions à travers quatre essais. Le premier essai est publié dans Journal of Statistical Planning and Inference 138 (2008) 2649 – 2661. Dans cet essai, nous analysons les effets de l’endogénéité des instruments sur deux statistiques de test robustes à l’identification: la statistique d’Anderson et Rubin (AR, 1949) et la statistique de Kleibergen (K, 2003), avec ou sans instruments faibles. D’abord, lorsque le paramètre qui contrôle l’endogénéité des instruments est fixe (ne dépend pas de la taille de l’échantillon), nous montrons que toutes ces procédures sont en général convergentes contre la présence d’instruments invalides (c’est-à-dire détectent la présence d’instruments invalides) indépendamment de leur qualité (forts ou faibles). Nous décrivons aussi des cas où cette convergence peut ne pas tenir, mais la distribution asymptotique est modifiée d’une manière qui pourrait conduire à des distorsions de niveau même pour de grands échantillons. Ceci inclut, en particulier, les cas où l’estimateur des double moindres carrés demeure convergent, mais les tests sont asymptotiquement invalides. Ensuite, lorsque les instruments sont localement exogènes (c’est-à-dire le paramètre d’endogénéité converge vers zéro lorsque la taille de l’échantillon augmente), nous montrons que ces tests convergent vers des distributions chi-carré non centrées, que les instruments soient forts ou faibles. Nous caractérisons aussi les situations où le paramètre de non centralité est nul et la distribution asymptotique des statistiques demeure la même que dans le cas des instruments valides (malgré la présence des instruments invalides). Le deuxième essai étudie l’impact des instruments faibles sur les tests de spécification du type Durbin-Wu-Hausman (DWH) ainsi que le test de Revankar et Hartley (1973). Nous proposons une analyse en petit et grand échantillon de la distribution de ces tests sous l’hypothèse nulle (niveau) et l’alternative (puissance), incluant les cas où l’identification est déficiente ou faible (instruments faibles). Notre analyse en petit échantillon founit plusieurs perspectives ainsi que des extensions des précédentes procédures. En effet, la caractérisation de la distribution de ces statistiques en petit échantillon permet la construction des tests de Monte Carlo exacts pour l’exogénéité même avec les erreurs non Gaussiens. Nous montrons que ces tests sont typiquement robustes aux intruments faibles (le niveau est contrôlé). De plus, nous fournissons une caractérisation de la puissance des tests, qui exhibe clairement les facteurs qui déterminent la puissance. Nous montrons que les tests n’ont pas de puissance lorsque tous les instruments sont faibles [similaire à Guggenberger(2008)]. Cependant, la puissance existe tant qu’au moins un seul instruments est fort. La conclusion de Guggenberger (2008) concerne le cas où tous les instruments sont faibles (un cas d’intérêt mineur en pratique). Notre théorie asymptotique sous les hypothèses affaiblies confirme la théorie en échantillon fini. Par ailleurs, nous présentons une analyse de Monte Carlo indiquant que: (1) l’estimateur des moindres carrés ordinaires est plus efficace que celui des doubles moindres carrés lorsque les instruments sont faibles et l’endogenéité modérée [conclusion similaire à celle de Kiviet and Niemczyk (2007)]; (2) les estimateurs pré-test basés sur les tests d’exogenété ont une excellente performance par rapport aux doubles moindres carrés. Ceci suggère que la méthode des variables instrumentales ne devrait être appliquée que si l’on a la certitude d’avoir des instruments forts. Donc, les conclusions de Guggenberger (2008) sont mitigées et pourraient être trompeuses. Nous illustrons nos résultats théoriques à travers des expériences de simulation et deux applications empiriques: la relation entre le taux d’ouverture et la croissance économique et le problème bien connu du rendement à l’éducation. Le troisième essai étend le test d’exogénéité du type Wald proposé par Dufour (1987) aux cas où les erreurs de la régression ont une distribution non-normale. Nous proposons une nouvelle version du précédent test qui est valide même en présence d’erreurs non-Gaussiens. Contrairement aux procédures de test d’exogénéité usuelles (tests de Durbin-Wu-Hausman et de Rvankar- Hartley), le test de Wald permet de résoudre un problème courant dans les travaux empiriques qui consiste à tester l’exogénéité partielle d’un sous ensemble de variables. Nous proposons deux nouveaux estimateurs pré-test basés sur le test de Wald qui performent mieux (en terme d’erreur quadratique moyenne) que l’estimateur IV usuel lorsque les variables instrumentales sont faibles et l’endogénéité modérée. Nous montrons également que ce test peut servir de procédure de sélection de variables instrumentales. Nous illustrons les résultats théoriques par deux applications empiriques: le modèle bien connu d’équation du salaire [Angist et Krueger (1991, 1999)] et les rendements d’échelle [Nerlove (1963)]. Nos résultats suggèrent que l’éducation de la mère expliquerait le décrochage de son fils, que l’output est une variable endogène dans l’estimation du coût de la firme et que le prix du fuel en est un instrument valide pour l’output. Le quatrième essai résout deux problèmes très importants dans la littérature économétrique. D’abord, bien que le test de Wald initial ou étendu permette de construire les régions de confiance et de tester les restrictions linéaires sur les covariances, il suppose que les paramètres du modèle sont identifiés. Lorsque l’identification est faible (instruments faiblement corrélés avec la variable à instrumenter), ce test n’est en général plus valide. Cet essai développe une procédure d’inférence robuste à l’identification (instruments faibles) qui permet de construire des régions de confiance pour la matrices de covariances entre les erreurs de la régression et les variables explicatives (possiblement endogènes). Nous fournissons les expressions analytiques des régions de confiance et caractérisons les conditions nécessaires et suffisantes sous lesquelles ils sont bornés. La procédure proposée demeure valide même pour de petits échantillons et elle est aussi asymptotiquement robuste à l’hétéroscédasticité et l’autocorrélation des erreurs. Ensuite, les résultats sont utilisés pour développer les tests d’exogénéité partielle robustes à l’identification. Les simulations Monte Carlo indiquent que ces tests contrôlent le niveau et ont de la puissance même si les instruments sont faibles. Ceci nous permet de proposer une procédure valide de sélection de variables instrumentales même s’il y a un problème d’identification. La procédure de sélection des instruments est basée sur deux nouveaux estimateurs pré-test qui combinent l’estimateur IV usuel et les estimateurs IV partiels. Nos simulations montrent que: (1) tout comme l’estimateur des moindres carrés ordinaires, les estimateurs IV partiels sont plus efficaces que l’estimateur IV usuel lorsque les instruments sont faibles et l’endogénéité modérée; (2) les estimateurs pré-test ont globalement une excellente performance comparés à l’estimateur IV usuel. Nous illustrons nos résultats théoriques par deux applications empiriques: la relation entre le taux d’ouverture et la croissance économique et le modèle de rendements à l’éducation. Dans la première application, les études antérieures ont conclu que les instruments n’étaient pas trop faibles [Dufour et Taamouti (2007)] alors qu’ils le sont fortement dans la seconde [Bound (1995), Doko et Dufour (2009)]. Conformément à nos résultats théoriques, nous trouvons les régions de confiance non bornées pour la covariance dans le cas où les instruments sont assez faibles.

Développement et validation d’un outil clinique pour l’analyse quantitative de la posture auprès de personnes atteintes d’une scoliose idiopathique

La scoliose idiopathique (SI) est une déformation tridimensionnelle (3D) de la colonne vertébrale et de la cage thoracique à potentiel évolutif pendant la croissance. Cette déformation 3D entraîne des asymétries de la posture. La correction de la posture est un des objectifs du traitement en physiothérapie chez les jeunes atteints d’une SI afin d’éviter la progression de la scoliose, de réduire les déformations morphologiques et leurs impacts sur la qualité de vie. Les outils cliniques actuels ne permettent pas de quantifier globalement les changements de la posture attribuables à la progression de la scoliose ou à l’efficacité des interventions thérapeutiques. L’objectif de cette thèse consiste donc au développement et à la validation d’un nouvel outil clinique permettant l’analyse quantitative de la posture auprès de personnes atteintes d’une SI. Ce projet vise plus spécifiquement à déterminer la fidélité et la validité des indices de posture (IP) de ce nouvel outil clinique et à vérifier leur capacité à détecter des changements entre les positions debout et assise. Suite à une recension de la littérature, 34 IP représentant l’alignement frontal et sagittal des différents segments corporels ont été sélectionnés. L’outil quantitatif clinique d’évaluation de la posture (outil 2D) construit dans ce projet consiste en un logiciel qui permet de calculer les différents IP (mesures angulaires et linéaires). L’interface graphique de cet outil est conviviale et permet de sélectionner interactivement des marqueurs sur les photographies digitales. Afin de vérifier la fidélité et la validité des IP de cet outil, la posture debout de 70 participants âgés entre 10 et 20 ans atteints d'une SI (angle de Cobb: 15º à 60º) a été évaluée à deux occasions par deux physiothérapeutes. Des marqueurs placés sur plusieurs repères anatomiques, ainsi que des points de référence anatomique (yeux, lobes des oreilles, etc.), ont permis de mesurer les IP 2D en utilisant des photographies. Ces mêmes marqueurs et points de référence ont également servi au calcul d’IP 3D obtenus par des reconstructions du tronc avec un système de topographie de surface. Les angles de Cobb frontaux et sagittaux et le déjettement C7-S1 ont été mesurés sur des radiographies. La théorie de la généralisabilité a été utilisée pour déterminer la fidélité et l’erreur standard de la mesure (ESM) des IP de l’outil 2D. Des coefficients de Pearson ont servi à déterminer la validité concomitante des IP du tronc de l’outil 2D avec les IP 3D et les mesures radiographiques correspondantes. Cinquante participants ont été également évalués en position assise « membres inférieurs allongés » pour l’étude comparative de la posture debout et assise. Des tests de t pour échantillons appariés ont été utilisés pour détecter les différences entre les positions debout et assise. Nos résultats indiquent un bon niveau de fidélité pour la majorité des IP de l’outil 2D. La corrélation entre les IP 2D et 3D est bonne pour les épaules, les omoplates, le déjettement C7-S1, les angles de taille, la scoliose thoracique et le bassin. Elle est faible à modérée pour la cyphose thoracique, la lordose lombaire et la scoliose thoraco-lombaire ou lombaire. La corrélation entre les IP 2D et les mesures radiographiques est bonne pour le déjettement C7-S1, la scoliose et la cyphose thoracique. L’outil est suffisamment discriminant pour détecter des différences entre la posture debout et assise pour dix des treize IP. Certaines recommandations spécifiques résultents de ce projet : la hauteur de la caméra devrait être ajustée en fonction de la taille des personnes; la formation des juges est importante pour maximiser la précision de la pose des marqueurs; et des marqueurs montés sur des tiges devraient faciliter l’évaluation des courbures vertébrales sagittales. En conclusion, l’outil développé dans le cadre de cette thèse possède de bonnes propriétés psychométriques et permet une évaluation globale de la posture. Cet outil devrait contribuer à l’amélioration de la pratique clinique en facilitant l’analyse de la posture debout et assise. Cet outil s’avère une alternative clinique pour suivre l’évolution de la scoliose thoracique et diminuer la fréquence des radiographies au cours du suivi de jeunes atteints d’une SI thoracique. Cet outil pourrait aussi être utile pour vérifier l’efficacité des interventions thérapeutiques sur la posture.

L-strip-fed Wideband Rectangular Dielectric Resonator Antenna

In this paper, the advantages of using L-shaped microviij) feed to e.tcite a rectangular dielectric resonator cuuenna (DRA) by elemanagnetic coupling are presented. This feeding technique enhances the hardsvidth and gain of the antenna without affecting its size. The experimental re srdts are validated using Fidelity software based on the finitedifference tine-domain (FDTD) method