103 research outputs found
Perencanaan Waduk Desel Guna Penanggulangan Banjir pada Sungai Beringin, Semarang
No full textKota Semarang adalah salah satu kota besar yang berada di daerah pesisir pantai utara Pulau Jawa. Kota ini memiliki jumlah penduduk sebanyak 1.763.370 jiwa pada tahun 2016 dan menjadi kota besar nomor lima di Indonesia. Luas Kota Semarang tercatat sebesar 373,80 km². Semarang merupakan salah satu daerah yang rawan terjadi banjir. Masalah utama yang dihadapi di Semarang ini yaitu masalah banjir dengan genangan yang cukup lama. Sungai Beringin merupakan sungai yang secara periodik menyebabkan banjir di kawasan Mangkang, Kecamatan Tugu, Kota Semarang. Seringkali pada musim penghujan tanggul pada sungai Beringin tidak mampu menahan debit air sungai Beringin sehingga tanggul tersebut jebol dan mengakibatkan banjir.Guna menanggulangi banjir yang terjadi maka dibuatlah sistem pengendalian banjir dengan membuat tampungan berupa embung dan waduk di beberapa daerah hulu sungai Beringin. Dari beberapa bangunan yang akan direncanakan, diperkirakan Waduk Desel merupakan bangunan dengan kapasitas tampungan tertinggi. Sehingga memiliki peran penting dalam penanggulangan banjir sungai Beringin. Perencanaan Waduk Desel meliputi perencanaan kontruksi bendungan dan bangunan pelengkapnya. Perhitungan debit banjir rencana didesain menggunakan debit rencana 100 tahun untuk kontruksi bendungannya dan 50 tahun untuk konstruksi saluran pengelak. Debit banjir rencana yang didapatkan adalah 116,0 m³/s. Pemodelan waduk desel direncanakan menggunakan aplikasi HEC-HMS 4.2 dan Plaxis 8.2. Konstruksi bendungan pada Waduk Desel direncanakan menggunakan tipe urugan dengan ketinggian 50 m dan kelandaian lereng 1:3 yang dapat menampung air dengan volume 9,192,471.87 m³. Proyek ini menelan biaya sebesar Rp 816,503,642,600.00
Feedback Provision Strategies in Intelligent Tutoring Systems Based on Clustered Solution Spaces
No full textGross S, Mokbel B, Hammer B, Pinkwart N. Feedback Provision Strategies in Intelligent Tutoring Systems Based on Clustered Solution Spaces. In: Desel J, Haake JM, Spannagel C, Gesellschaft für Informatik, eds. DeLFI 2012: Die 10. e-Learning Fachtagung Informatik. GI-Edition : Proceedings. Vol 207. Hagen, Germany: Köllen; 2012: 27-38
IS standards in designing business-to-government collaborations.
No full textIS STANDARDS IN DESIGNING BUSINESS-TO-GOVERNMENT COLLABORATIONS. Elaborating the impact of standards on inter-organizational collaborations, inter-organizational studies demonstrated a standard’s positive impact on the collaboration between governmental and business partners. How and under which conditions information systems (IS) standards contribute to the effectiveness of business-to-government (B2G) collaborations in customs management is the topic of this thesis. Chapter 2 provides the theoretical and methodological background of the thesis. It illustrates how standards research emerged under institutional conditions such as actor types, linkages and social structures. With the case study in Chapter 3, the thesis introduces a reference framework that gathers different aspects in three pre-selected international business-to-government collaborations. Describing the cases that are subject to the export from EU to non-EU countries a diagnosis of B2G collaborations and relevant elements for the design of the artifact is conducted. A diagnosis of related work in the field of B2G collaborations is provided in Chapter 4. The assessment of collaboration forms revealed necessary constructs of a procedure model and institutional steps necessary to form B2G collaboration as such. Chapter 5 distils related work of IS standards research. In Chapters 6 and 7 considerations from the previous chapters lead to the core part of the thesis, the design and build of a procedure model to institutionalize B2G collaborations, the B2G Procedure Model (B2GPM). The results from the first round of design, the building blocks for B2G collaborations, are subject to Chapter 6. They conclude in a set of design principles of the B2GPM that are being introduced in the chapter. Chapter 7 covers the second round of design by refining the elements of B2G collaboration and the design principles. It continues with the design of the B2GPM. The composition, description, and documentation of the procedure model are the core part of this chapter. Chapter 8 is dedicated to the question of required organizational adoption to deploy the B2GPM. The model is seen as a procedural innovation by which B2G collaboration in customs management can be further improved. The applicability of the B2GPM is based on a series of evaluation cycles and results in the provision of influencing factors of organizational adoption.
Connector algebras for C/E and P/T nets interactions
No full textA quite flourishing research thread in the recent literature on component based system is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hiding and inaction, plus their duals and it was shown how they can be freely composed in series and in parallel to model sophisticated "glues". In this paper we explore the expressiveness of stateful connectors obtained by adding one-place buffers or unbounded buffers to the stateless connectors. The main results are: i) we show how different classes of connectors exactly correspond to suitable classes of Petri nets equipped with compositional interfaces, called nets with boundaries; ii) we show that the difference between strong and weak semantics in stateful connectors is reflected in the semantics of nets with boundaries by moving from the classic step semantics (strong case) to a novel banking semantics (weak case), where a step can be executed by taking some "debit" tokens to be given back during the same step; iii) we show that the corresponding bisimilarities are congruences (w.r.t. composition of connectors in series and in parallel); iv) we show that suitable monoidality laws, like those arising when representing stateful connectors in the tile model, can nicely capture concurrency aspects; and v) as a side result, we provide a basic algebra, with a finite set of symbols, out of which we can compose all P/T nets, fulfilling a long standing quest
Chromosomale Lokalisierung von repetitiven und unikalen DNA-Sequenzen durch Fluoreszenz-in situ-Hybridisierung in der Genomanalyse der Beta-Arten
No full textDurch sensitive und hochauflösende Verfahren der Fluoreszenz-in situ-Hybridisierung (FISH) wurde die Genomstruktur, Genomorganisation und –zusammensetzung von nematodenresistenten Rübenhybriden untersucht. Durch FISH wurde die Struktur und der Aufbau der Chromosomen im Genom von Zuckerrübenlinien (Beta vulgaris) und in Wildrübenarten (z.B. Beta procumbens) vergleichend analysiert. Multi-colour FISH erlaubte die chromosomale Lokalisierung von DNA-Sequenzen der ribosomalen DNA, unterschiedlicher Satelliten-DNA-Familien als auch von Elemente verschiedener Retrotransposonklassen im Beta-Genom. Ein Karytyp der Zuckerrübenchromsomen konnte durch Kombination der FISH-Hybridisierungmuster erstellt werden. Die Einführung von hochauflösenden und hochsensitiven FISH-Verfahren (wie fibre-FISH und Hybridisierung an Pachytänchromosomen) und der Nachweis von unikalen Sequenzen ermöglichte erstmalig eine physikalische Feinkartierung chromosomaler Segmente und die Genlokalisierung auf Chromosomen der Beta-Arten durch FISH. In funktionellen chromosomalen Regionen (Telomere und Centromere) konnte die genaue Organisation verschiedener Repeatfamilien ermittelt werden. Im Genom einer nematodenresistenten Translokationslinie von B. vulgaris wurden unikale DNA-Sonden detektiert. Zwei YACs als auch eine Gensonde, die eine interne DNA-Sequenz des Nematodenresistenzgens Hs1pro-1 mit der Länge 684 bp enthielt, wurden erfolgreich nachgewiesen
On the Algebraic Structure of Petri Nets
No full textThis paper retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri nets
Erfahrungen beim Entwurf eines gemischt analog-digitalen Meßwertaufnahme-ICs
No full textS.693-698Ein Bereich der Mikroelektronik der unter anderem in den letzten Jahren stark gewachsen ist, ist der ASIC-Bereich. Speziell für den europäischen Markt sind die ASICs sehr wichtig, da hier ein hohes System Know-How vorhanden ist. Um auf dem internationalen Markt zu bestehen, muß dieses Know-How eingesetzt werden. Dies läßt sich mittels ASICs, speziell analog/digitalen ASICs, verwirklichen. Die Vorteile gegenüber einem Board-Aufbau mit Standard-ICs und passiven Elementen sind z. B. weniger Platzbedarf, geringere Stückkosten, geringerer Stromverbrauch, "Verstecken" des System Know-Hows und mehr "Intelligenz". Auf einem analog/digitalen ASIC lassen sich analoge Meßgrößen verarbeiten. Diese können analog vorverarbeitet und nach der AD-Umsetzung kann die weitere Signalverarbeitung digital vorgenommen werden. Es ist so möglich, eine hohe Funktionalität auf einem einzigen ASIC zu integrieren
- …
