Spelling suggestions: "subject:"atemsystem model"" "subject:"atemsystem godel""
91 |
Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute GrammarsSchöne, René 18 December 2023 (has links)
Adaptation enables a reaction to a changing environment. For traditional software development, that means changing the design and implementation of the software in a potentially complex and expensive process. If requirements are not known until the runtime of a software system, this system must be able to cope with changes during its runtime. For this, self-adaptive systems (SAS) were created. They have internal knowledge about themselves and their environment to reason about changes and take appropriate actions. Many approaches aiming to build such systems have been published since the start of the research area at the beginning of the 21st century.
However, it is difficult to find an appropriate approach, even when all requirements of a scenario the system should be built for are known. If no suitable approach can be found, software developers have to built a new system leading to high development costs and potentially inefficient solutions due to the complexity of the system.
This thesis follows two goals: (1) To make approaches building SAS more comparable through a feature model describing features of SAS, and (2) to provide a novel way of specifying SAS concisely using reference attribute grammars (RAGs) providing efficient systems. RAGs originate from the research field of compiler construction and enable the concise description of parts of the internal knowledge mentioned above as well as of the computation of the actions to cope with recognised changes. To make RAGs fully usable, this thesis presents two extensions: Relational RAGs enable the efficient handling of relations required for knowledge graphs, and Connected RAGs let RAG-based system communicate with other external systems to both recognise changes and execute actions.
To evaluate the novel approaches, a classification of 30 approaches for the feature model and several case studies in the areas smart home, robotics, and system orchestration were conducted. It can be shown, that significantly less code is required to specify SAS. To specify the computation, 14.5 % to 28.7 % less code was required, whereas in another case study only 6.3 % of the total code was manually written and the rest was generated. The efficiency is similar to the best comparable approaches for graph queries. Furthermore, using additional optimizations (incremental evaluation), the execution time can be shown to be faster by a factor of 167.88 less albeit being sometimes by 50.0 % slower for very small workloads and specific queries. In a more realistic, extrapolated experiment, using incremental evaluation creates speed-up factors between 6.63 and 44.93.
With the contributions in this thesis, existing approaches can be selected more precisely, new approaches can classify themselves within the research area, and the development of self-adaptive systems is possible using RAG-based systems.
|
92 |
台灣時裝設計師進軍國際市場動態過程之個案研究:以Csikezentmihalyi創造力系統模式觀點 / The Dynamic Processes of How Taiwanes Fashion Designers Market Their Products and Brands into International Fashion Market孫翠杏, Sun, Tsui-Hsing Unknown Date (has links)
在國際時尚舞台中,台灣在過去一直扮演代工的角色:儘管手中握有無與倫比的研發與生產技術,然而報酬率卻遠不及握有「國際品牌」的廠商。
1990年起,台灣以往勞力、技術密集的紡織產業開始走下坡。台灣紡織產業開始面臨勞工短缺、工資上漲,許多低價紡織品在國內生產已無獲利空間;從2000年左右開始,隨著全球化市場發展,中國大陸與東南亞等新興國家陸續崛起,我國紡織產業開始產生外移。2005年,WTO協定生效,取消「紡織貿易配額」,以及全球各地逐漸形成的「區域經濟體」,使得全球紡織產業發生結構性的變化。
近來「美學經濟」指標性產業:「時尚產業」,已經成為亞洲國家積極發展的目標,而政府也大力鼓吹由過去專業代工的「製造經濟」,轉型為以品牌、設計為主的「創意、知識經濟」。2008年國家重點發展計畫中提出「產業高值化」政策,除了研發,強化行銷能力以提升品牌知名度亦是創造高附加價值的重要關鍵。
台灣在本土時裝設計師品牌不少。然而,礙於台灣市場規模,始終無法有大幅的成長。因此,台灣設計師如何進軍國際市場,便成了一個值得深入探討的議題。
本研究結合Csikezentmihalyi創造力系統模式、與設計師日常事業經營,探討本土設計師時裝品牌國際化的動態過程:設計師如何以服裝設計專業、結合創業營運相關知識,不斷與國際時尚界專業人士與買家們溝通互動,進而使其品牌在國際間佔有一席之地。
本研究同時歸納設計師在進軍國際市場時需要哪些能力,以及在進入國際市場不同階段所應注意的管理議題,期望能供業界、後續學術研究參考、指教。 / This research is about how Taiwanese fashion designers market their products internationally.
Taiwanese textile companies didn’t have their own brands before. They mainly manufactured and sold products overseas under foreign brand names. However, the textile manufacturing industry in Taiwan has already moved abroad to low-labor-cost area during the past two decades. Taiwanese designer brands have been struggleing between the small domestic market and the competition of foreign brands.
I explored three cases of Taiwanese fashion designers who market their brands and products internationally. They are respectively Hong, Li Fen’s designer brand ‘Sophie Hong’, Chien, Yu Feng and Pan, Po Shun’s ‘Shawnyï’, and Chia, Wen Lan’s ‘Twinkle by Wenlan’. I analyzed these cases based on the Creativity Dynamic System Model (Csikezentmihalyi, 1990).
First, I discovered how they combine their expertises of fashion design and business management to organize their international network. Second, the abilities a fashion designer has to possess during his way to international fashion market have already been clearly listed and categorized. In the end, I casted several managerial issues the fellow designers should pay attention to in different stages when they try to internationalize their brands and products.
|
93 |
MEMS-Laser-Display-System / MEMS Laser Display SystemSpecht, Hendrik 19 October 2011 (has links) (PDF)
In der vorliegenden Arbeit werden die im Zusammenhang mit der Strahlablenkung stehenden Systemaspekte der auf MEMS-Scanner basierenden Laser-Display-Technologie theoretisch analysiert und aus den Ergebnissen die praktische Implementierung eines Laser-Display-Systems als Testplattform vorgenommen. Dabei werden mit einem Ansatz auf Basis zweier 1D-Scanner und einem weiteren Ansatz mit einem 2D-Scanner zwei Varianten realisiert. Darüber hinaus erfolgt die Entwicklung eines bildbasierten Multiparametertestverfahrens, welches sowohl für den Test komplettierter Strahlablenkeinheiten bzw. Projektionsmodule als auch zum umfassenden und zeiteffizienten Test von MEMS-Scannern auf Wafer-Level geeignet ist. Mit diesem Verfahren erfolgt eine Charakterisierung der zwei realisierten Varianten des Laser-Displays.
Ausgehend von den Eigenschaften des menschlichen visuellen Systems und den daraus resultierenden Anforderungen an das Bild sowie einer systemtheoretischen Betrachtung des mechanischen Verhaltens von MEMS-Scannern bildet die Ansteuersignalerzeugung für den resonanten Betrieb der schnellen und den quasistatischen Betrieb der langsamen Achse einen Schwerpunkt. Neben dem reinen digitalen Regler- bzw. Filterentwurf sowie mehreren Linearisierungsmaßnahmen beinhaltet dieser auch die Herleitung einer FPGA-basierten Videosignalverarbeitung zur Konvertierung von Scannpattern, Zeitregime und Auflösung mit einer entsprechenden Synchronisierung von Strahlablenkung und Lasermodulation. Auf Grundlage der daraus resultierenden Erkenntnisse über den Zusammenhang zwischen Scanner-/Systemparametern und Bildparametern werden Testbild-Bildverarbeitungsalgorithmus-Kombinationen entwickelt und diese, angeordnet in einer Sequenz, mit einem Kalibrierverfahren zu einem Testverfahren für MEMS-Scanner vervollständigt.
Die Ergebnisse dieser Arbeit entstanden im Rahmen von industriell beauftragten F&E-Projekten und fließen in die andauernde Fortführung des Themas beim Auftraggeber ein.
|
94 |
Best practice guidelines to monitor and prevent morbidity and mortality related to gestational diabetes mellitus in Addis Ababa, Ethiopia / Dintlhakaelo tsa tiriso e e gaisang ya go tlhokomela le go thibela ditshwaetsego tsa bomme le dintsho tse di golaganeng le bolwetsi jwa sukiri (diabetis mellitus) jwa baimana kwa Addis Ababa, EthiopiaGetahun Sinetsehay Alemayehu 08 1900 (has links)
Text in English with abstracts and keywords in English and Setswana / Aim: The purpose of the research was to determine the magnitude and factors associated
with gestational diabetes mellitus (GDM), and to explore the experiences of
gynaecologists/obstetricians and midwives in the monitoring and prevention of GDM- related
adverse maternal outcomes in order to propose best practice guidelines which may be
implemented to overcome the problem.
Methods: A concurrent mixed methods design was used. Participants for the quantitative
study were selected using systematic random sampling, with purposive sampling being used
for the qualitative part of the study. A total of 2000 medical records were reviewed using a
checklist, in addition to which 7 gynaecologists/obstetricians and 12 midwives were
interviewed using an in-depth interview guide. Descriptive and inferential statistics were used
for the quantitative part, while Colaizzi’s manual qualitative data analysis method wasused
for the qualitative part of the study.
Findings: The magnitude of GDM was found to be 2.2%. Age and family history of diabetes
mellitus were found to be factors associated with GDM (at p < 0.001). Other factors such as
obesity, previous GDM, previous history of fetal macrosomia and multiple gestations were
identified by respondents as factors related with GDM. In addition, the study explored the
experiences of health professionals (HPs) in the monitoring and prevention of adverse maternal outcomes related to GDM, with the results showing some differences in screening
and diagnostic techniques. It was also shown that lifestyle modification (physical exercise,
diet management) and medication were utilised for managing women with GDM. In this
regard, all the HPs agreed that creating awareness is the best intervention for preventing
GDM as well as its adverse maternal outcomes.
Conclusions: The magnitude of GDM is increasing, and much needs to be done to draw
attention to the burden that GDM places on the health of pregnant women and the public.
Since GDM is not considered a public health problem, little is being done to monitor the
condition and its adverse maternal outcomes. It is hoped that the best practice guidelines
developed from this research study may assist in reducing the adverse maternal outcomes
of GDM in Ethiopia / Maikaelelo: Lebaka la patlisiso e ne e le go tlhotlhomisa go nna teng le mabaka a a
golaganeng le bolwetsi jwa sukiri jwa baimana (GDM), le go tlhotlhomisa maitemogelo a
dingaka tsa malwetsi a basadi (gynaeologists/ obstetricians) le babelegisi mo go
tlhokomeleng le go thibeleng ditlamorago tse di maswe mo baimaneng tse di amanang le
GDM gore go tshitshinngwe dintlhakaelo tse di gaisang tse di ka diragadiwang go fenya
bothata.
Mekgwa: Go dirisitswe thadiso ya mekgwa e e tlhakantsweng. Banni-le-seabe ba
thutopatlisiso e e lebelelang dipalopalo ba ne ba tlhophiwa go diriswa go tlhopha sampole
ka go se latele thulaganyo, mme go tlhopha sampole ka maikaelelo go ne ga diriswa mo
karolong ya thutopatlisiso e e lebelelang mabaka. Go sekasekilwe palogotlhe ya direkoto tsa
kalafi tse 2 000 go diriswa lenanetshekatsheko, mme mo godimo ga moo, go ne ga nna le
dipotsolotso le dingaka tsa malwetsi a basadi di le supa le babelegisi ba le 12 go diriswa
kaedi ya dipotsolotso tse di tseneletseng. Dipalopalo tse di tlhalosang le tse go sweditsweng
ka tsona di ne tsa diriswa mo karolong ya dipalopalo ya thutopatlisiso, fa go dirisitswe
mokgwa wa ga Colaizi wa tokololo ya data ya mabaka mo karolong e e lebelelang mabaka.
Diphitlhelelo: Go nna teng ga GDM go ne ga fitlhelwa e le 2.2%. Dingwaga le hisetori ya bolwetsi jwa sukiri ya baimana mo lelapeng di fitlhetswe e le dintlha tse di golaganeng le
GDM (ka p < 0.001). Dintlha dingwe, jaaka go nona phetelela, GDM mo nakong e e fetileng,
go nna teng ga macrosomia ya masea mo nakong e e fetileng le boimana jwa masea a feta
bongwe di ne tsa supiwa ke batsibogi jaaka dintlha tse di golaganeng le GDM. Go tlaleletsa
foo, thuto e ne ya sekaseka maitemogelo a baporofešenale ba boitekanelo (HPs) mo
tlhokomelong le thibelo ya ditlamorago tse di sa siamang mo baimaneng tse di golaganeng
le GDM, mme dipholo di bontshitse dipharologano dingwe mo dithekeniking tsa
go sekirina le go phekola. Go bonagetse gape gore phetolo ya mokgwa wa botshelo
(katiso ya mmele, tsamaiso ya mokgwa wa go ja) le kalafi di ne tsa diriswa go laola bolwetsi
jwa basadi ba ba nang le GDM. Mo lebakeng le, baporofešenale botlhe ba boitekanelo ba
ne ba dumelana gore go dira temoso ke tsereganyo e e gaisang ya go thibela GDM ga
mmogo le ditlamorago tsa yona tse di sa siamang mo baimaneng.
Ditshwetso: Go nna teng ga GDM go a oketsega, mme go tshwanetse go dirwa go le gontsi
go lemosa ka mokgweleo o bolwetse jono bo o bayang mo boitekanelong jwa baimana le
setšhaba. Ka ntlha ya gore GDM ga e kaiwe jaaka bothata jwa boitekanelo jwa setšhaba,
ga go dirwe go le kalo go tlhokomela bolwetsi le ditlamorago tsa jona tse di sa siamang mo
baimaneng. Go solofelwa gore dintlhakaelo tsa tiriso e e gaisang tse di dirilweng mo
thutopatlisisong eno di ka thusa go fokotsa ditlamorago tse di sa siamang tsa GDM mo
baimaneng kwa Ethiopia. / Health Studies / D. Litt. et Phil. (Public Health)
|
95 |
MEMS-Laser-Display-System: Analyse, Implementierung und TestverfahrenentwicklungSpecht, Hendrik 20 May 2011 (has links)
In der vorliegenden Arbeit werden die im Zusammenhang mit der Strahlablenkung stehenden Systemaspekte der auf MEMS-Scanner basierenden Laser-Display-Technologie theoretisch analysiert und aus den Ergebnissen die praktische Implementierung eines Laser-Display-Systems als Testplattform vorgenommen. Dabei werden mit einem Ansatz auf Basis zweier 1D-Scanner und einem weiteren Ansatz mit einem 2D-Scanner zwei Varianten realisiert. Darüber hinaus erfolgt die Entwicklung eines bildbasierten Multiparametertestverfahrens, welches sowohl für den Test komplettierter Strahlablenkeinheiten bzw. Projektionsmodule als auch zum umfassenden und zeiteffizienten Test von MEMS-Scannern auf Wafer-Level geeignet ist. Mit diesem Verfahren erfolgt eine Charakterisierung der zwei realisierten Varianten des Laser-Displays.
Ausgehend von den Eigenschaften des menschlichen visuellen Systems und den daraus resultierenden Anforderungen an das Bild sowie einer systemtheoretischen Betrachtung des mechanischen Verhaltens von MEMS-Scannern bildet die Ansteuersignalerzeugung für den resonanten Betrieb der schnellen und den quasistatischen Betrieb der langsamen Achse einen Schwerpunkt. Neben dem reinen digitalen Regler- bzw. Filterentwurf sowie mehreren Linearisierungsmaßnahmen beinhaltet dieser auch die Herleitung einer FPGA-basierten Videosignalverarbeitung zur Konvertierung von Scannpattern, Zeitregime und Auflösung mit einer entsprechenden Synchronisierung von Strahlablenkung und Lasermodulation. Auf Grundlage der daraus resultierenden Erkenntnisse über den Zusammenhang zwischen Scanner-/Systemparametern und Bildparametern werden Testbild-Bildverarbeitungsalgorithmus-Kombinationen entwickelt und diese, angeordnet in einer Sequenz, mit einem Kalibrierverfahren zu einem Testverfahren für MEMS-Scanner vervollständigt.
Die Ergebnisse dieser Arbeit entstanden im Rahmen von industriell beauftragten F&E-Projekten und fließen in die andauernde Fortführung des Themas beim Auftraggeber ein.
|
96 |
Emploi de techniques de traitement de signal MIMO pour des applications dédiées réseaux de capteurs sans fil / Adaptive optimisation of MIMO Channel for Smart sensor networksBen Zid, Maha 09 July 2012 (has links)
Dans ce travail de thèse, on s'intéresse é l'emploi de techniques de traitement de signal de systèmes de communication MIMO (Multiple Input Multiple Output) pour des applications aux réseaux de capteurs sans fil. Les contraintes énergétiques de cette classe de réseau font appel à des topologies particulières et le réseau peut être perçu comme étant un ensemble de grappes de nœuds capteurs. Ceci ouvre la porte à des techniques avancées de communication de type MIMO. Dans un premier temps, les différents aspects caractérisant les réseaux de capteurs sans fil sont introduits. Puis, les efforts engagés pour optimiser la conservation de l'énergie dans ces réseaux sont résumés. Les concepts de base de systèmes MIMOs sont abordés dans le deuxième chapitre et l'exploration par voie numérique de différentes pistes de la technologie MIMO sont exposées. Nous nous intéressons à des techniques de diversité de polarisation dans le cadre de milieux de communication riches en diffuseurs. Par la suite, des méthodes de type beamforming sont proposées pour la localisation dans les réseaux de capteurs sans fil. Le nouvel algorithme de localisation est présenté et les performances sont évaluées. Nous identifions la configuration pour la communication inter-grappes qui permet pour les meilleurs compromis entre énergie et efficacité spectrale dans les réseaux de capteurs sans fil. Finalement, nous envisageons la technique de sélection de nœuds capteurs afin de réduire la consommation de l'énergie dans le réseau de capteur sans fil. / The aim of this work is to study from a signal processing point of view the use of MIMO (Multiple Input Multiple Output) communication systems for algorithms dedicated to wireless sensor networks. We investigate energy-constrained wireless sensor networks and we focus on cluster topology of the network. This topology permits for the use of MIMO communication system model. First, we review different aspects that characterize the wireless sensor network. Then, we introduce the existing strategies for energy conservation in the network. The basic concepts of MIMO systems are presented in the second chapter and numerical results are provided for evaluating the performances of MIMO techniques. Of particular interest, polarization diversity over rich scattering environment is studied. Thereafter, beamforming approach is proposed for the development of an original localization algorithm in wireless sensor network. The novel algorithm is described and performances are evaluated by simulation. We determine the optimal system configuration between a pair of clusters that permits for the highest capacity to energy ratio in the fourth chapter. The final chapter is devoted to sensor nodes selection in wireless sensor network. The aim of using such technique is to make energy conservation in the network.
|
Page generated in 0.06 seconds