Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Sexual dysfunction and dissatisfaction in chronic hepatitis C patients

IntroductionThe prevalence of sexual dysfunction (SD) and dissatisfaction with sexual life (DSL) in patients with chronic hepatitis C virus infection (CHC) was jointly investigated via a thorough psychopathological analysis, which included dimensions such as fatigue, impulsiveness, psychiatric comorbidity, health-related quality of life (HRQL) and sociodemographic and clinical characteristics.MethodsMale and female CHC patients from an outpatient referral center were assessed using the Brief Fatigue Inventory, the Barrat Impulsiveness Scale, the Beck Depression Inventory (BDI), the Hospital Anxiety and Depression Scale, the Hamilton Anxiety Scale (HAM-A), and the World Health Organization Quality of Life Scale-Brief Version (WHOQOL-BREF). Structured psychiatric interviews were performed according to the Mini-International Neuropsychiatric Interview. SD was assessed based on specific items in the BDI (item 21) and the HAM-A (item 12). DSL was assessed based on a specific question in the WHOQOL-BREF (item 21). Multivariate analysis was performed according to an ordinal linear regression model in which SD and DSL were considered as outcome variables.ResultsSD was reported by 60 (57.1%) of the patients according to the results of the BDI and by 54 (51.4%) of the patients according to the results of the HAM-A. SD was associated with older age, female gender, viral genotype 2 or 3, interferon-α use, impulsiveness, depressive symptoms, antidepressant and benzodiazepine use, and lower HRQL. DSL was reported by 34 (32.4%) of the patients and was associated with depressive symptoms, anxiety symptoms, antidepressant use, and lower HRQL.ConclusionsThe prevalence of SD and DSL in CHC patients was high and was associated with factors, such as depressive symptoms and antidepressant use. Screening and managing these conditions represent significant steps toward improving medical assistance and the HRQL of CHC patients.

Latin 14927

Contient : I Extraits et notes pour réfuter les hérésies et préparer des sermons ; II Flos medicine compilatus in studio Salerai a magistro Johannis de Salerno (87) ; Daretis historia Trojanorum (112) ; Pomponii de corographia libri tres (121) ; In Senece tragedias (145) ; III Summa Reymundi metrificata (159) ; Ecclesiale Alexandri de Villa Dei (164v) ; De confessione (175) ; De grammatica (191) ; Michaelis de Marbaix tractatus de modis significandi

[Recueil composite].

Contient : Job, cum commentariis ; Fridegisus, Tractatus de grammatica (34-36). - S. Bonifatius, Ars grammatica (36v-47v, 58-70). - Tatuinus, Ars grammatica (48, 57, 49-56v, 79-86, 71-78v)

Scripta diversa super rhetoricam et grammaticam. Carmina.

Catalogus codicum manuscriptorum Bibliothecae regiae. Pars tertia. Tomus tertius (-quartus), Parisiis : ex typographia regia, 1744 : "1.° Anonymi grammatica, in qua de verborum conjugatione. — 2.° Bedae, Presbyteri, de arte metrica liber ad Gutbertum. — 3.° Ejusdem de schematibus et tropis liber ad eundem. — 4.° Claudii Marii Victoris Massiliensis, de Genesi libri tres : carmine heroïco ; porro hi libri iidem prorsus cum illis qui commentariorum in Genesim in editis titulum prae se ferunt : praemittitur Victoris precatio ad Deum, oratione soluta. — 5.° Sancti Paulini carmina ad Ausonium. — 6.° Ausonii, qui in hoc codice sanctus appellatur, carmina ad Paulinum. — 7.° Anonymi carmen in laudem sancti Joannis Baptistae. — 8.° Anonymi carmen cujus is est titulus : laudes Domini cum miraculo quod accidit in Aedrico. — 9.° Anonymi carmen in laudem Christi Domini ; incipit : Jam mihi polliceor. — 10.° Bebiani carmen de uxore sua morti proxima, è variis versuum generibus contextum ; incipit : ô vir beatus cui remissa iniquitas. — 11.° Drepanii Flori Diaconi Lugdunensis, carmen de cereo paschali. — 12.° Hymnus in solemnitate S. Michaëlis, Archangeli. — 13.° Drepanii Flori, Diaconi Lugdunensis, epistola ad Modoinum, Episcopum Augustodunensem. — 14.° Servii Honorati de ultimarum syllabarum natura liber ad Aquilinum. — 15.° Anonymi grammatica. — 16.° Epigrammata quorumdam psalmorum, sive potiùs, psalmi XXII. XXVI. XXVII. versibus haeroïcis expositi ; authore Drepanio Floro. — 17.° Canticum trium puerorum, versibus heroïcis : eodem authore. — 18.° Anonymi cohortatio ad Wlfinum, Aurelianensem Grammaticum. — 19.° Sedulii carmen elegiacum de incarnatione Christi. Saeculo nono videtur exaratus."

Implementation of a Pilot Continuous Monitoring System: Iowa Falls Arch Bridge, HR-1088, 2015

The goal of this work was to move structural health monitoring (SHM) one step closer to being ready for mainstream use by the Iowa Department of Transportation (DOT) Office of Bridges and Structures. To meet this goal, the objective of this project was to implement a pilot multi-sensor continuous monitoring system on the Iowa Falls Arch Bridge such that autonomous data analysis, storage, and retrieval can be demonstrated. The challenge with this work was to develop the open channels for communication, coordination, and cooperation of various Iowa DOT offices that could make use of the data. In a way, the end product was to be something akin to a control system that would allow for real-time evaluation of the operational condition of a monitored bridge. Development and finalization of general hardware and software components for a bridge SHM system were investigated and completed. This development and finalization was framed around the demonstration installation on the Iowa Falls Arch Bridge. The hardware system focused on using off-the-shelf sensors that could be read in either “fast” or “slow” modes depending on the desired monitoring metric. As hoped, the installed system operated with very few problems. In terms of communications—in part due to the anticipated installation on the I-74 bridge over the Mississippi River—a hardline digital subscriber line (DSL) internet connection and grid power were used. During operation, this system would transmit data to a central server location where the data would be processed and then archived for future retrieval and use. The pilot monitoring system was developed for general performance evaluation purposes (construction, structural, environmental, etc.) such that it could be easily adapted to the Iowa DOT’s bridges and other monitoring needs. The system was developed allowing easy access to near real-time data in a format usable to Iowa DOT engineers.

Ennakoiva vikojen havaitseminen liityntäverkosta

Tässä diplomityössä on tutkittu mahdollisuuksia ennakoida ja havaita kaapelivikoja mahdollisimman varhaisessa vaiheessa teleoperaattorin liityntäverkosta, joka käsittää optisen rajapinnan ja asiakkaan välisen parikaapeleilla toteutetun osan verkkoa. Liityntäverkon ikääntyessä kaapeleiden ja liitosten viat yleistyvät sekä niiden korjauskustannukset kasvavat. Mahdollisimmanvarhaisessa vaiheessa vikoja havaitsemalla ehkäistään vikojen laajentumista sekä asiakkaiden palveluiden katkeamista. Kannattavin tapa toteuttaa liityntäverkon vikoja ennakoiva järjestelmä Elisa Oyj:n tapauksessa on hyödyntää yrityksessä uudistettua DSL-tekniikkaa. DSLAM:eilla päivittäin suoritetuilla mittauksilla voidaan havaita liityntäverkon kaapeleiden kunnon heikkeneminen sekä vikaantumiset. Työssä on tutkittu vikatapausten aiheuttamia muutoksia linjojen sähköisiin ominaisuuksiin sekä niiden näkymistä mittaustuloksissa. Työssä löydettiin menetelmät toteuttaa liityntäverkon kuntoa mittaava ja tarkkaileva järjestelmä. Ennakoivalla toiminnalla voidaan aikaansaada merkittäviä kustannussäästöjä viankorjausprosessin eri vaiheissa sekä parantaa palveluiden laatua.

ADSL-linjan fyysisen kerroksen testauksen automatisointi

ADSL (Asymmetrical Digital Subsciber Line) on puhelinkaapelia siirtotienä käyttävä nopea Internet-liityntäteknologia, joka on yleistynyt viime vuosina kuluttajamarkkinoilla. Analoginen puhelinverkko on alun perin tarkoitettu puheen siirtoon 0-4kHz:n äänitaajuuskanavalla, mikä aiheuttaa rajoitteita datasiirtoon ylemmillä taajuuksilla. Puhelinverkkojen rakenne vaihtelee alueittain sisältäen erilaisia datasiirtoa häiritseviä tekijöitä. Tämän vuoksi ADSL-päätelaitteilta vaaditaan sopeutumiskykyä vaativiinkin olosuhteisiin. Nykyiset ADSL-standardit eivät vaadi päätelaitteilta riittävää suorituskykyä, jotta luotettava tiedonsiirto onnistuisi myös huonoissa verkko-olosuhteissa. Epäkohdan korjaamiseksi DSL Forum on kehittänyt yhdessä laitevalmistajien, tietoliikenneoperaattoreiden ja komponenttivalmistajien kanssa ADSL-päätelaitteiden yhteensopivuustestaukseen testipaketin nimeltä TR-048. Se on kattava joukko tarkkaan kuvattuja testejä, joissa keskitytään enimmäkseen fyysisen kerroksen testaamiseen. TR-048:aa ei vaadita vielä nykyisissä ADSL-standardeissa, mutta yksityiset laboratoriot ja laitetoimittajat ovat vähitellen ottamassa sitä käyttöön. Tämän työn keskeisenä tavoittena oli tehdä sovellus, jolla automatisoitiin suurin osa TR-048:n sisältämien ADSL-linjan fyysisen kerroksen testeistä. Valmiilla sovelluksella ajetun testikierroksen perusteella arvioitiin sovelluksesta saatua hyötyä ja tuotekehitysvaiheessa olevan Nokia D500 tilaajasolmun suorituskykyä. Työn teoriaosassa esitellään ADSL-teknologiaa ja ADSL-lähetin-vastaanottimen loogista toimintaa.

Broadband prices in the European Union : competition and commercial strategies

This paper analyses the determinants of broadband Internet access prices in a group of 15 EU countries between 2008 and 2011. Using a rich panel dataset of broadband plans, we show the positive effect of downstream speed on prices, and report that cable and fibre-to-the-home technologies are available at lower prices per Mbps than x DSL technology. Operators’marketing strategies are also analysed as we show how much prices rise when the broadband service is offered in a bundle with voice telephony and/or television, and how much they fall when download volume caps are included. The most insightful results of this study are provided by a group of metrics that represent the situation of competition and entry patterns in the broadband market. We show that consumer segmentation positively affects prices. On the other hand, broadband prices are higher in countries where entrants make greater use of bitstream access and lower when they use more intensively direct access -local loop unbundling-. However, we do not find a significant effect of inter-platform competition on prices.

Applications of graph transformation in tools for domain-specific modeling languages

The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the accumulated knowledge and experience of previous implementations, can in turn be used to generate new applications with unique sets of requirements. For this reason, DSLs are considered to be an important approach for software reuse. However, the toolset supporting a particular domain-specific language is also domain-specific and is per definition not reusable. Therefore, creating and maintaining a DSL requires additional resources that could be even larger than the savings associated with using them. As a solution, di erent tool frameworks have been proposed to simplify and reduce the cost of developments of DSLs. Developers of tool support for DSLs need to instantiate, customize or configure the framework for a particular DSL. There are di erent approaches for this. An approach is to use an application programming interface (API) and to extend the basic framework using an imperative programming language. An example of a tools which is based on this approach is Eclipse GEF. Another approach is to configure the framework using declarative languages that are independent of the underlying framework implementation. We believe this second approach can bring important benefits as this brings focus to specifying what should the tool be like instead of writing a program specifying how the tool achieves this functionality. In this thesis we explore this second approach. We use graph transformation as the basic approach to customize a domain-specific modeling (DSM) tool framework. The contributions of this thesis includes a comparison of di erent approaches for defining, representing and interchanging software modeling languages and models and a tool architecture for an open domain-specific modeling framework that e ciently integrates several model transformation components and visual editors. We also present several specific algorithms and tool components for DSM framework. These include an approach for graph query based on region operators and the star operator and an approach for reconciling models and diagrams after executing model transformation programs. We exemplify our approach with two case studies MICAS and EFCO. In these studies we show how our experimental modeling tool framework has been used to define tool environments for domain-specific languages.

Defining the art of grammar: Ancient perceptions of γραμματική and grammatical

The subject of this dissertation, which belongs to the field of Classical Philology, are the definitions of the art of grammar found in Greek and Latin sources from the Classical era to the second century CE. Definitions survive from grammarians, philosophers, and general scholars. I have examined these definitions from two main points of view: how they are formed, and how they reflect the development of the art itself. Defining formed part of dialectic, in practice also of rhetoric, and was perceived as important from the Classical era onwards. Definitions of grammar seem to have become established as part of preliminary discussions, located at the beginning of grammatical manuals (tékhnai, artes). These discussions included certain principal notions of the art; in addition to the definition, a list of the parts of the art was also typically included. These lists were formed by two different methods: division (diaíresis, divisio) and partition (merismós, partitio). Many of the grammarians may actually have been unfamiliar with these methods, unlike the two most important scholars of the Late Republic, Varro and Cicero. Significant attention was devoted to the question whether the art of grammar is based on lógos or empeiría. This epistemological question had its roots in medical theories, which were prominent in Alexandria. In the history of the concept of grammatiké or grammatica, three stages become evident. In the Classical era, the Greek term is used to refer to a very concrete art of letters (grámmata); from the Hellenistic era onwards it refers to the art developed by the Alexandrian scholars, a matter of textual and literary criticism. Towards the end of the Hellenistic era, the grammarian also becomes involved with the question of correct language, which gradually begins to appear in the definitions as well.

Linguae finnicae brevis institutio, exhibens vocum flectiones per casus, gradus & tempora, nec non partium indeclinabilium significationem, dictionumq[ue] constructionem & prosodiam. Ad usum accommodata

Tekijä dedikaatiosta.