ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Bücher  (136)
  • thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology  (102)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • formal logic
  • KIT Scientific Publishing  (103)
  • Springer  (28)
  • Springer Nature Switzerland  (5)
Sammlung
Schlagwörter
Sprache
Erscheinungszeitraum
  • 1
    facet.materialart.
    Unbekannt
    Springer Nature | Springer Nature Switzerland
    Publikationsdatum: 2024-04-14
    Beschreibung: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Schlagwort(e): artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    facet.materialart.
    Unbekannt
    Springer Nature | Springer Nature Switzerland
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Schlagwort(e): architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; embedded systems ; model checking ; programming languages ; software architecture ; software design ; software quality ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    facet.materialart.
    Unbekannt
    Springer Nature | Springer Nature Switzerland
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Schlagwort(e): architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; software engineering ; distributed systems ; model checking ; programming languages ; software quality ; theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    facet.materialart.
    Unbekannt
    Springer Nature | Springer Nature Switzerland
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Schlagwort(e): architecture verification and validation ; artificial intelligence ; computer programming ; computer systems ; distributed systems ; embedded systems ; formal logic ; model checking ; programming languages ; software architecture ; software design ; software quality ; software engineering ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    facet.materialart.
    Unbekannt
    Springer Nature | Springer Nature Switzerland
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Schlagwort(e): artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Schlagwort(e): Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Schlagwort(e): architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Schlagwort(e): artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Schlagwort(e): architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Sandstone is the most common kind of natural stone used for historic buildings in Central Europe. During the past century a dramatic increase in different types of damage to historic buildings, monuments and sculptures made from natural stone has been observed. The present work deals with theoretical aspects of strength loss, fracture processes and degradation during the decay processes.
    Schlagwort(e): TA1-2040 ; Ermüdung ; weathering model ; Lebensdauer ; finite element methods ; durability ; Verwitterungsmodell ; FEMsandstone ; Sandstein ; fatigue behaviour ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    Publikationsdatum: 2024-04-11
    Beschreibung: Several experimental campaigns are conducted to find feasible fiber reinforcements for buildings under earthquake conditions. Therefore tensile tests for the description of the bonding behavior of the fibers, shear tests on three-stone small specimen, small static cyclic shear wall tests, bending tests of wall segments, large format dynamically loaded wall plates and five building experiments were performed under realistic time history acceleration. At the end a calculation method is proposed.
    Schlagwort(e): TA1-2040 ; masonry ; Erdbeben ; Verstärkungen ; fiber reinforced concrete ; Bemessung ; Faserverbundwerkstoffe ; earthquake ; Mauerwerk ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    Publikationsdatum: 2024-04-11
    Beschreibung: Experiments to characterize the effects of moisture content and temperature on the mechanical properties of concrete were conducted. Based on these experiments, a new overall material model capable of predicting the mechanical behaviour of concrete subject to elevated temperatures up to 100 °C was developed. The material model estimates the time, temperature and moisture dependency of the compressive and tensile strength, creep and shrinkage of concrete.
    Schlagwort(e): TA1-2040 ; concrete ; Temperatur ; Beton ; Schwinden ; Temperature ; strength ; Kriechen ; creep ; Festigkeit ; shrinkage ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    Publikationsdatum: 2024-04-11
    Beschreibung: The subject of this PhD-thesis is the transferability of Facility Management (FM) by using the example of hospitals in Germany and Iran. The intention is to determine the status and significance of facility management in the project countries, to analyse similarities, semblances and differences in order to develop a system transferability model.
    Schlagwort(e): TA1-2040 ; health system ; facility management ; system transferability ; hospital ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Schlagwort(e): Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    Publikationsdatum: 2024-04-11
    Beschreibung: Viele Talauen sind sowohl für die Gewinnung von Trinkwasser aus Grundwasser, als auch für die Schaffung von Hochwasserrückhalteräumen geeignet. Im vorliegenden Leitfaden werden die Prozesse des Stofftransports von der fließenden Welle über den Retentionsraum bis zu den Entnahmebrunnen eines Wasserwerks vorgestellt. Es wird deren Einfluss auf ein höheres Risiko der Verunreinigung der Grundwasserressource durch den Eintrag von Schadstoffen aus den Retentionsräumen diskutiert.
    Schlagwort(e): TA1-2040 ; Grundwasser ; Hochwasserretentionsraum ; Trinkwassergewinnung ; Schadstofftransport ; Verunreinigungsrisiko ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Errichtung von Hochwasserretentionsräumen entlang von Flüssen ist eine verbreitete Maßnahme zur Verbesserung des Hochwasserschutzes. Durch die zusätzlichen Überflutungsflächen können vermehrt Schadstoffe aus der Hochwasserwelle in das Grundwasser eingetragen werden. Dies kann zu einer Gefährdung der Trinkwasserressource in den Flussauen führen. In der vorliegenden Arbeit wird eine Methode zur Risikoberechnung für eine Grundwassergefährdung in einem Hochwasserretentionsraum vorgestellt.
    Schlagwort(e): TA1-2040 ; Grundwasser ; Hochwasserretentionsraum ; Boden ; Schadstofftransport ; Risikoberechnung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Eine zügige, ökologisch-ökonomisch ausgewogene und innovative Umsetzung der erforderlichen Infrastruktur wird mit der bestehenden Herangehensweise in Deutschland bisher nicht erreicht. Mit der vorliegenden Arbeit wurde am Beispiel des Tunnelbaus mit dem ""Projektbegleitenden
    Schlagwort(e): TA1-2040 ; Umweltverträglichkeit ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Im Rahmen der mikroskopischen Verkehrsnachfragemodellierung wird ein Modell vorgestellt, das den für den Planungsraum relevanten Verkehr der in den Außenzellen wohnenden Personen abbildet. Voraussetzung dafür ist die Übertragbarkeit von individuellen Mobilitätsdaten, die auf Basis der Daten des Deutschen Mobilitätspanels (MOP) analysiert wird. Darüber hinaus wird eine Methode zur Abgrenzung von Untersuchungsgebieten für beliebige Planungsräume in Deutschland dargelegt.
    Schlagwort(e): TA1-2040 ; Mikroskopisch ; Untersuchungsgebiet ; Verkehrsnachfragemodellierung ; Mobilitätsdaten ; Außenverkehr ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    Publikationsdatum: 2024-04-11
    Beschreibung: Dieses zweisprachige Wörterbuch zur Wasserwirtschaft ist das Standardwerk bei Kontakten unter Wissenschaftlern und Technikern aus Deutschland und deutschsprachigen Ländern mit Kollegen aus Russland und den russischsprachigen US-Staaten. Es ist als aktuelles und handliches Hilfsmittel vor allem für die Praxis gedacht. Das Wörterbuch enthält ca. 40.000 Begriffe aus den Bereichen Energie- und Wasserwirtschaft, Wasserbau sowie anderer angrenzender Industrie- und Wissenschaftsbereiche.
    Schlagwort(e): TA1-2040 ; Wasserwirtschaft ; Umweltschutz ; Wasserbau ; Energiewasserwirtschaft ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, the measurement system ResoCable®, consisting of hardware and software, was developed with the implementation and evaluation of the frequency measurements of external tendons and cables. Numerous measurements at external tendons and cables were conducted. Among them, the behavior of strands and deflection points was investigated with FE calculations.
    Schlagwort(e): TA1-2040 ; frequency analysis ; ZfP ; ResoCable ; stay cable ; Schrägseil ; Spannglied ; Frequenzanalyse ; Tendon ; NdT ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Schlagwort(e): Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    Publikationsdatum: 2024-04-11
    Beschreibung: Das Deutsch-Russische Wörterbuch für Wasserwirtschaft ist ein unentbehrliches Hilfsmittel für den Aufbau von Kontakten und Kooperationen zwischen den Fachleuten und Wissenschaftlern aus russischsprachigen GUS-Staaten und deutschsprachigen Ländern. Das Wörterbuch enthält rund 40.000 Stichwörter und nahezu die gleiche Anzahl Bedeutungen aus den Bereichen Energie- und Wasserwirtschaft, Wasserbau,
    Schlagwort(e): TA1-2040 ; Energiewirtschaft ; Wasserwirtschaft ; Wasserbau ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    Publikationsdatum: 2024-04-11
    Beschreibung: Die vorliegende Festschrift ""Baustoffe und Betonbau - Lehren, Forschen, Prüfen, Anwenden"" ist Herrn Prof. Dr.-Ing. Harald S. Müller zum 60. Geburtstag gewidmet. Sie würdigt die Tätigkeit von Herrn Prof. Müller als Hochschullehrer und Forscher, seinen unermüdlichen Einsatz für die Materialprüfung und Normung von Baustoffen sowie sein umfangreiches und langjähriges Engagement in vielen für die Betonbauweise relevanten Gremien und Vereinigungen.
    Schlagwort(e): TA1-2040 ; Beton ; Bauwesen ; Baustoffe ; Zement ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The Netherlands have a long-termstanding experience concerning regarding the reuse of churches. The work delivers an in-depth analysis of current re-use practises and strategies that is following a mixed methods approach. Based on an initial policy analysis, 35 re-used churches were investigated by mapping their spatial and structural characteristics, complemented by governance and planning process related attributes. The work provides conditions, enablers and barriers for the German situation.
    Schlagwort(e): TA1-2040 ; Umnutzung ; Kirchengebäude ; Netherlands ; Niederlande ; Strategie ; Strategy ; Church buildings ; Re-Use ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Schlagwort(e): Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    Publikationsdatum: 2024-04-11
    Beschreibung: Mit dem Falling Weight Deflectometer können Tragfähigkeitsmuster als Merkmal für die strukturellen Gegebenheiten einer Straßenkonstruktion erfasst werden. Zur Bewertung dieser Tragfähigkeitsmuster (Deflexionsmulden) wurde durch Generierung theoretischer Deflexionsmulden eine bereits vorhandene Datenbank erweitert und dieser Datenbestand klassifiziert. Durch den Einsatz von Künstlichen Neuronalen Netzen wurde außerdem eine pragmatische Anwendung des klassifizierten Datenbestandes dargestellt.
    Schlagwort(e): TA1-2040 ; Substanzbewertung ; Zustandserfassung ; Erhaltung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    Publikationsdatum: 2024-04-11
    Beschreibung: In dieser Arbeit wird ein tiefengemitteltes Large-Eddy-Simulationsverfahren für Flachwasserströmungen entwickelt. Dazu liefern umfangreiche dreidimensionale LES-Rechnungen Informationen über die in den tiefengemittelten Gleichungen zu modellierenden Terme.Als Anwendungen werden unter anderem die ausgebildete Gerinneströmung, die Zylinderumströmung, eine Mischungsschicht sowie die Strömung in einem Buhnenfeld betrachtet.
    Schlagwort(e): TA1-2040 ; LES ; Flachwasser ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    Publikationsdatum: 2024-04-11
    Beschreibung: An efficient highway capacity design is becoming an increasingly important topic, thanks to recurring congestions and unreliable travel times in the German highway network. This work provides a new methodology for the analysis of oversaturated freeway facilities. A Cell Transmission Model was used as an underlying traffic flow model for modeling oversaturated freeway facilities and tailor-fitted to represent the HBS manual faithfully.
    Schlagwort(e): TA1-2040 ; freeway ; Bundesautobahn ; HCM ; traffic flow model ; Verkehrsqualität ; HBS ; level of service ; Cell Transmission Model ; Verkehrsflussmodell ; Zellenmodell ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Schlagwort(e): Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The characteristic feature of phyllosilicates like muscovite (KAl2[Si3AlO10(OH)2] is their layered structure. Due to the resulting anisotropic optical and electrical properties this mineral is an important raw material in paint industries and polymer composites.Crucial for many of these properties is on one hand a high aspect ratio of the stacks, which will be enhanced by delamination of the mineral. On the other hand the exchange of the interlayer cations like potassium changes the chemical properties of the muscovite, its refraction behaviour and surface properties. But these interlayer cations are difficult to access and are not exchangeable under normal conditions.Thus a process for the intercalation of cations like Cu2+, Mg2+ or Zn2+ from super saturated nitrate solutions in autoclaves was developed to reveal a chemically modified mica phase.The extensive modification of the muscovite structure, due to the intercalation is monitored by X-ray diffractometry and several spectroscopic methods. The XRD results strongly suggest the formation of an intercalated irregular mixed-layer phase. This is proven by far infrared spectroscopy which show the simultaneous occurrence of both K+ and Cu2+ in the interlayer region, strongly increasing the interlayer space.1Investigations in the mid infrared region using diffuse reflectance spectroscopy (DRIFT) suggest a further migration of the intercalated cations deep into the ditrigonal holes of the tetrahedral sheet and their fixation within these holes close to the OH groups.
    Schlagwort(e): TA1-2040 ; Spektroskopie ; Interkalation ; Phyllosilicate ; Delamination ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Schlagwort(e): Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-04
    Beschreibung: not yet available
    Beschreibung: Die sozialkonstruktivistischen Essays über Technikrituale und Technikakzeptanz bieten an ausgewählten Beispielen und Quellen der 1920er bis 1960er Jahre einen Blick auf einige, zum Teil bislang wenig beachtete Quellenformen aus der Nähe, getragen von dem erkenntnisleitenden Interesse an ihrer identitätsstiftenden, also soziokulturellen Bedeutung, ihrem sozialen Leben in unserem Leben. Dabei geht es um eine Umsetzung der Ansätze der social construction of technology (SCOT).
    Schlagwort(e): history of technology ; technikgeschichte ; sozialkonstruktivismus ; constructivism ; Deutsche Reichsbahn (1920–1945) ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDR Impact of science and technology on society ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Schlagwort(e): Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Simultaneous 2D pressure and 2D velocity information at the rough water-sediment interface of streambeds were gained by a newly developed measurement setup. In the bed the pressure fluctuations decay exponentially within the first 1-2 equivalent sand roughnesses. Structural findings concerning coherent flow structures are consistent with models originally developed for smooth walls. A significant bed destabilizing flow-pressure pattern was identified for the first time.
    Schlagwort(e): TA1-2040 ; open channel flow ; pressure sensors ; coherent structures ; gravel bed ; PIV ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 36
    Publikationsdatum: 2024-04-11
    Beschreibung: Hydraulic structures are exposed to multifaceted exposures. Particular the hydro-abrasive wear of the concrete edge zones represents a key exposure. The knowledge about the abrasive mechanisms of concrete and its degradation process is still insufficient. Relating to the hydro-abrasive test method, the relevant material parameter and degradation model incomplete knowledge existed which was removed.
    Schlagwort(e): TA1-2040 ; Beton ; Lebensdauer ; Test method ; Hydroabrasionsverschleiß ; Concrete ; SchädigungsmodellHydro-abrasion ; Prüftechnik ; Life-time ; Deterioration model ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 37
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In den Jahren 1993 bis 2005 wurde in Dresden die Frauenkirche wieder aufgebaut. Am Ende der Bauzeit wurden in einer Vortragsreihe in Dresden und Karlsruhe die dabei gewonnenen Einsichten und Erfahrungen wiedergegeben und zur Diskussion gestellt. Die Referenten der Vortragsreihe waren alle unmittelbar und direkt am Wiederaufbau der Frauenkirche beteiligt.Das Buch befasst sich mit Fachfragen, die fachlich korrekt und gleichzeitig verständlich für den baufachlichen Laien wiedergeben werden.
    Schlagwort(e): TA1-2040 ; Dokumentation ; Dresden / Frauenkirche ; Wiederaufbau ; Vortragsreihe ; Kirchenbau ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 38
    Publikationsdatum: 2024-04-11
    Beschreibung: Derzeit existiert keine Alternative mit DNAPL kontaminierte Böden hydraulisch sicher und mit hoher Effizienz zu reinigen. Die untersuchte neue in-situ Sanierungstechnologie jedoch verspricht dies: Die Kombination des Verfahrens der Alkohol-Spülung mit der Sanierungstechnik des Grundwasser-Zirkulations-Brunnen (GZB).
    Schlagwort(e): TA1-2040 ; Grundwasser ; Chlorkohlenwasserstoffe ; Grundwassersanierung ; Brunnen ; Zirkulation ; Alkohol ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 39
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-03-30
    Beschreibung: not yet available
    Beschreibung: 'Vertrauen' spielt in fast allen Bereichen menschlichen Lebens eine wichtige Rolle. Von 'Vertrauen' wird gesprochen in Bezug auf Personen, Unternehmen, Institutionen, Technik usw. Es gibt das Urvertrauen, die vertrauensvolle Zusammenarbeit im Betrieb, die Vertrauensfrage im Parlament, den Vertrauensschaden im Recht. Der Band "Vertrauen - zwischen sozialem Kitt und der Senkung von Transaktionskosten" soll die Bandbreite der Thematik aufzeigen und der Frage nach dem 'Vertrauen' in ausgewählten Wissenschaften nachgehen.
    Schlagwort(e): history of technology ; ethics of business ; technikgeschichte ; umweltgeschichte ; wirtschaftsethik ; Ethik ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 40
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Cross laminated timber (CLT) is a plate-like multi layer element with crosswise arrangement of lamellas. CLT could be used for long-span beams in particular with tensile stresses perpendicular to the beam axis. Within this work, CLT beams were optimised, resulting in diagonal orientated timber (DLT). Both CLT and DLT beams were tested in edgewise bending. Their load-carrying behaviour was studied using experimental results and finite element analysis.
    Schlagwort(e): TA1-2040 ; Cross laminated timber ; Diagonal laminated timber ; CLT ; DLT ; Diagonal oriented timber ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 41
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Gegenstand dieses Buches ist die Untersuchung des Fließverhaltens von Zementsuspensionen. Hierbei wird insbesondere auf die dem Fließverhalten zugrundeliegenden Mechanismen der Partikelwechselwirkung eingegangen. Auf dieser Grundlage wird ein Materialmodell vorgestellt, dass es gestattet, das rheologische Verhalten von Zementleimen unter Kenntnis ausgewählter Zementparameter vorherzusagen.
    Schlagwort(e): TA1-2040 ; Beton ; Bauwesen ; Suspension ; Rheologie ; Zement ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 42
    Publikationsdatum: 2024-04-11
    Beschreibung: Ein bestehendes Rechenmodell zur Abschätzung der Rissbildung im Holz beim Eindrehen einer selbstbohrenden Holzschraube wurde so erweitert, dass das Spaltverhalten für unterschiedliche Schraubenbilder ermittelt werden kann. Die resultierenden Rissflächen können für mehrere, faserparallel hintereinander angeordnete Schrauben in Abhängigkeit unterschiedlicher Abstände und Holzdicken berechnet werden. Des Weiteren wurde das Modell auf Anschlüsse mit mehreren Schraubenreihen übertragen.
    Schlagwort(e): TA1-2040 ; Rechenmodell ; Holzschrauben ; Holzbau ; Verbindungen ; Spaltversagen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 43
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Schlagwort(e): User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 44
    Publikationsdatum: 2024-04-11
    Beschreibung: Im Bauwesen wurde Mitte der 90er Jahre begonnen, singuläre Gestaltungsprinzipien und Methoden der Lean Production zu adaptieren sowie neue bauspezifische Methoden zu entwickeln (Lean Construction). In der vorliegenden Arbeit werden die bisweilen einzeln betrachteten Methodenbausteine zu einem Ganzheitlichen Produktionssystem Modell für Bauproduktions-Unternehmen zusammengeführt und vervollständigt. Dieses Bau-PSM ist ein Ordnungsrahmen für die Transformation in ein ""leanes"" Bauunternehmen.
    Schlagwort(e): TA1-2040 ; Lean Management ; Produktionssysteme ; Lean Construction ; Baubetrieb ; Bauorganisation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 45
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-04
    Beschreibung: not yet available
    Beschreibung: Nostalgie wurde bisher als allgemeine kulturelle Erscheinung, aber kaum in ihrer Relation zur technologischen Entwicklung betrachtet. Der Band enthält neben Beiträgen zur Relevanz von alten Technologien Analysen zu drei technischen Feldern: Mobilität (Auto und Bahn), Architektur und Städtebau (reale und virtuelle Retro-Räume, Historismen in Konstruktion und Design sowie postapokalyptische nostalgiegeladene Utopien) und technische Medien (Photographie, Film und Videospiele).
    Schlagwort(e): history of technology ; cultural studies ; techniknostalgie ; technikgeschichte ; kulturwissenschaft ; Architektur ; Retrowelle ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDR Impact of science and technology on society ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 46
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Voraussetzungen für Schulbildung von Mädchen im ländlichen Westafrika werden hinsichtlich Sozialstatus von Frauen und Investitionsverhalten einer Subsistenzgesellschaft basierend auf qualitativen und quantitativen Daten analysiert und an einem konkreten Beispiel beleuchtet. = Basées sur des données qualitatives et quantitatives, les conditions de scolarisation des filles en Afrique de l'ouest rural sont analysées par rapport au statut social des femmes et au comportement d'investissement d'une société de subsistance et illustrées par un exemple concret.
    Schlagwort(e): TA1-2040 ; Investitionsverhalten = Afrique de l'ouest ; soziale Stellung ; Bildung ; comportement d'investissement ; éducation ; Westafrika ; situation sociale ; Feldforschung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 47
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Auswirkungen von Baumpflanzungen auf die Durchlüftung von innerstädtischen Straßenzügen wurden in Windkanalexperimenten und in numerischen Simulationen untersucht. Die Baumpflanzungen führten zu geringeren Windgeschwindigkeiten und höheren verkehrsbedingten Schadstoffbelastungen aufgrund eines verminderten Luftaustausches mit der Umgebung. Ein Modell zur Bestimmung der Auswirkungen von Baumpflanzungen auf die verkehrsbedingte Schadstoffbelastung in Straßenschluchten wurde entwickelt.
    Schlagwort(e): TA1-2040 ; Baumpflanzungen ; Windkanal ; Straßenschluchten ; Schadstoffausbreitung ; Verkehrsemissionen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 48
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Hagia Sophia in Istanbul ist eines der baugeschichtlich wichtigsten und ingenieurmäßig bemerkenswertesten Bauwerke der letzten 1500 Jahre. Mit Hilfe zerstörungsfreier geophysikalischer Untersuchungsverfahren konnte der heutige Bestand und Zustand der Hauptkuppel, der Pendentifs und der Hauptpfeiler intensiv erkundet werden. Auf Grundlage der erlangten neuen Kenntnisse zum Konstruktionsgefüge wurden Berechnungsmodelle entwickelt und eine Aussage zum Tragverhalten der Hagia Sophia getroffen.
    Schlagwort(e): TA1-2040 ; Kuppel ; Baukonstruktion ; Zerstörungsfreie Prüfung ; Istanbul ; Hagia Sophia ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 49
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Der Fokus der Arbeit liegt durch die Berücksichtigung einer Verwendung als Rettungsgerät nicht nur auf dem Abbaugerät, sondern auch auf dessen Wirkung auf den bearbeiteten Gegenstand. Die Studie fußt auf großmaßstäblichen Versuchen an Betonquadern mit einer handelsüblichen Anbaufräse. Die entdeckten Zusammenhänge widersprechen der gängigen Auffassung vom Fräsvorgang; ein eigenes revidiertes Modell wird vorgestellt. Ferner liefert die Studie etliche Anhaltspunkte zur Optimierung der Frästechnik.
    Schlagwort(e): TA1-2040 ; Beton Bearbeitung Fräse Rettung Katastrophe ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 50
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Für die Verwendung von Holzfaserdämmplatten als aussteifende Beplankung von Holztafeln wurden die Grundlagen ermittelt. Für die Berechnung der Tragfähigkeit der Verbindung zwischen Beplankung und Rippen wurden bereits bekannte Gleichungen verwendet und erweitert sowie die Eingangsparameter in Versuchen ermittelt. Weitere Materialkennwerte wurden experimentell bestimmt. Das Trag- und Verformungsverhalten von Holztafeln wurde in Versuchen untersucht und Berechnungsmodellen gegenübergestellt.
    Schlagwort(e): TA1-2040 ; Verbindung ; Holzfaserdämmplatte ; Beplankung ; Aussteifung ; Holztafel ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 51
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Schlagwort(e): Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 52
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Based on the consolidation of the consignment volume of cooperating building materials traders, the logistics network will be improved and the transport efficiency of the cooperation partners will be increased. In addition to the development, the cooperation model will be evaluated by simulations on the basis of real data and the impact of the cooperation model for the total drive distance of the cooperation partners will be examined.
    Schlagwort(e): TA1-2040 ; Kooperationsmodell ; building materials trade ; transport consolidation effects ; Transportdisposition ; Baulogistik ; Transportkonsolidierungseffekte ; cooperation model ; Baustoff-Fachhandel ; transport disposition ; Construction logistics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 53
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Das ingenieurorientierte Fachgebiet der Gerinnehydraulik"" basiert auf den strömungsmechanischen Grundlagen der Hydromechanik, verwendet aber meist vereinfachende eindimensionale Strömungsansätze.Das vorliegende Lehrbuch ""Einführung in die Gerinnehydraulik"" ist für Studierende in Studiengängen zum Bau- und Umweltingenieurwesen geeignet. Es beinhaltet eine detaillierte Beschreibung der turbulenten Strömungseigenschaften von Gerinneströmungen und der damit verbundenen Ingenieuransätze zum Fließwiderstand in offenen Gerinnen, die Betrachtung des stark ungleichförmigen Abflusses und der damit verbundenen Kontrollbauwerke sowie der Einrichtungen zur Energiedissipation und die Erläuterung des leicht ungleichförmigen Abflusses mit Ansätzen zur numerischen Berechnung von Wasserspiegellagen in Flüssen und Kanälen unter stationären Bedingungen. Das abschließende Kapitel ist den instationären Abflussvorgängen einschließlich periodischer Wellen, Schwall- und Sunkbewegungen sowie allmählich ablaufender Hochwasserwellen gewidmet.
    Schlagwort(e): TA1-2040 ; Gerinnehydraulik ; Fließzustand ; Wasserspiegellage ; Wellenbewegung ; Kontrollbauwerk ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 54
    Publikationsdatum: 2024-04-11
    Beschreibung: Windschutzstreifen werden seit langem angelegt, um insbesondere landwirtschaftlich genutzte Flächen vor Windangriffen zu schützen. Aufgrund eines steigenden Umweltbewusstseins und infolge von erhöhten Anforderungen im Emissionsschutz gewinnen Windschutzanlagen heutzutage vor allem an der städtisch-industriellen Schnittstelle zunehmend an Bedeutung. Als Windschutzanlagen kommen dabei oftmals einzelne linienförmige, ebenerdige (wallose) oder wallbehaftete Gehölzstreifen zum Einsatz, deren Wirksamkeit als hinreichend erforscht angesehen werden kann. Darüber hinaus werden jedoch immer häufiger ganze Industrieflächen von einer Windschutzanlage umgeben. Dies geschieht bevorzugt z. B. bei Deponien und Umschlagplätzen von Schüttgütern oder bei Produktionsstätten, bei denen unter Umständen sogar schwermetallhaltige Schwebstoffe erzeugt werden. Derartige Windschutzanlagen sind vor allem in dichtbesiedelten Gebieten anzutreffen.Industrieflächen werden windberuhigt, indem durch geeignete Windschutzanlagen eine Reduktion konvektiver Strömungsgrößen im Schutzgebiet erzielt wird. Dadurch werden gleichzeitig angrenzende Siedlungsgebiete vor starken Immissionen geschützt.Im Gegensatz zu einzelnen linienförmigen Windschutzstreifen war der Wissensstand über die Strömungszustände bei einer Doppelanordnung, d.h. bei Anordnung je eines Streifens luv- und leeseits einer windzuberuhigenden Fläche, zu Beginn dieser Studie sehr lückenhaft. Durch systematische Windkanaluntersuchungen sollten daher grundlegende Beziehungen zwischen den relevanten Einflussparametern einer Windschutzanlage (Porosität der Bewuchsstreifen, Böschungswinkel, Verhältnis Bewuchshöhe zu Sockelwallhöhe und Abstand der begrenzenden Streifen) und deren Schutzwirksamkeit erfasst werden. Zu Validierungszwecken wurden auch numerische Berechnungen mit einem k-Epsilon Turbulenzmodell durchgeführt.Die Ergebnisse zeigen, dass der Abstand der beiden Windschutzstreifen und die Porosität der Bewuchsstreifen einen großen Einfluss auf die Windschutzwirkung der Anlage ausüben, während der Einfluss der Sockelwallgeometrie gering ist. Ein variiertes Verhältnis von Bewuchs- zu Sockelwallhöhe wirkt sich bei undurchlässigen Windschutzstreifen konstanter Gesamthöhe ebenfalls nur wenig aus. Die Schutzwirkung eines Walls ohne Bewuchs ist jedoch deutlich schlechter. Bei mitteldichten Bewuchsstreifen bewirkt ein variiertes Höhenverhältnis vor allem im nahen Lee der Streifen starke Veränderungen. Mit den abgeleiteten Schutzvolumen, welche die Größe geschützter Bereiche abhängig von der Art und vom Grad der Schutzwirkung beschreiben, wird dem planenden Ingenieur eine Bemessungsgrundlage für solch doppelt angeordnete Windschutzanlagen geliefert.
    Schlagwort(e): TA1-2040 ; Windschutzstreifen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 55
    Publikationsdatum: 2024-04-11
    Beschreibung: Die herrschende Komplexität beim Rückbau von massiven Betonstrukturen in kerntechnischen Anlagen erfordert auf Planungsseite eine sorgfältige Auswahl der Rückbauverfahren. Im Rahmen dieser Arbeit wird ein Entscheidungsunterstützungsmodell zur effizienten Verfahrensauswahl vorgestellt, mit dem es unter Berücksichtigung unterschiedlichster Randbedingungen und Anforderungen möglich ist, das wirtschaftlichste bzw. geeigneteste Verfahren oder die optimalste Verfahrenskombination zu finden.
    Schlagwort(e): TA1-2040 ; Rückbau kerntechnischer Anlagen ; massive Betonstrukturen ; Regelbasiertes Schließen ; Entscheidungsunterstützung ; Matrixpartition ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 56
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In der vorliegenden Arbeit wurde mit der Entwicklung einer differentiellen Turbulenzsäule das advektionsfreie Turbulenzprofil einer offenen Gerinneströmung im Labor nachgebildet. Hierin konnten die Prozesse der Feinsedimentdynamik nachgebildet und gemessen werden. Die Ergebnisse beschreiben den Prozessablauf in der Feinsedimentdynamik und dienten als Grundlage für die Entwicklung und Validierung eines Modells zur Bilanzierung der Feinsedimentdynamik in der Wassersäule.
    Schlagwort(e): TA1-2040 ; Aggregation ; Sediment ; Feinsediment ; Turbulenz ; Sedimentation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 57
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Schlagwort(e): Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 58
    Publikationsdatum: 2024-04-11
    Beschreibung: This work examines the mechanical deformation of flexible pavement under vertical load. Mechanical approaches for the computation of the radius of curvature R0 at the centre of the loaded area from HWD data were developed. Material parameter have been backcalculated in an iterative way using rheological models After that the radius of curvature has been subsequently calculated based on mechanical systems.
    Schlagwort(e): TA1-2040 ; Asphalt ; FWD ; RheologieAsphalt ; bearing capacity ; rheological models ; Tragfähigkeit ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 59
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This work presents the results of model tests and numerical simulations of shallow foundations subjected to cyclic loads typical of offshore loadings. Main focus is spent on the accumulated rotational and settlement behaviour relevant in particular for fixed installed offshore wind turbines.
    Schlagwort(e): TA1-2040 ; cyclic loads ; shallow foundations ; numerical simulations ; model tests ; offshore wind turbines ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 60
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Vehicle delay is used to assess the level of service for intersections. The impact of non-stationary arrival flow rates has only partly been included in calculation methods. Empirical data is used to show that traffic volume during the peak hour can be distributed in very different forms. A microscopic traffic simulation study is carried out in order to assess their impact on the delay. As a result a new factor is proposed to include non-stationarity more precisely in the calculation of delay.
    Schlagwort(e): TA1-2040 ; non-stationarity ; delay ; Lichtsignalanlage ; traffic signal ; Kapazität ; Wartezeit ; Instationarität ; Verkehr ; traffic ; capacity ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 61
    Publikationsdatum: 2024-04-11
    Beschreibung: While the present state of knowledge on the time dependent deformation behaviour of normal and high-strength concrete may be considered as sufficiently determined, the creep and shrinkage of lightweight aggregate (LWA) concrete, particularly of high-strength LWA concrete, can only be specified inadequately. On the basis of the experimental results a prediction model for shrinkage and creep of structural lightweight aggregate concrete was developed.
    Schlagwort(e): TA1-2040 ; LWA concrete ; Schwinden ; Relaxation ; Leichtbeton ; prediction model ; Kriechen ; VorhersagemodellCreep ; shrinkage ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 62
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Pyramidal buildings are undergoing a renaissance in todays architectural design due to their attractive mystery that has fascinated many architects. From an aerodynamic engineering point of view, structural buildings with the shape of a pyramid have their own interesting and particular aerodynamic characteristics as compared to other usual structural buildings (i.e. cuboidal).However, despite its distinct aerodynamic characteristics compared to other usual structural buildings, the flow and pressure characteristics around pyramidal structures have not yet been investigated completely. Very limited studies about pyramidal buildings can be found in the literature.Consequently, the technical layout with respect to wind load assumption of pyramidal buildings are usually not listed in standard tables which underlines the need of systematic investigations for pyramidal structures.In this study, pyramids with a wide range of base angle variation (theta = 30°, 40°, 45°, 50°, 55°, 60°, 70°) have been investigated intensively through a detailed and accurate laboratory experiments at the Laboratory of Building- and Environmental Aerodynamics, Institute for Hydromechanics, at the University of Karlsruhe. The flow measurements were performed using a 2-D Laser Doppler anemometry (LDA) and The pressure measurements were carried out using a standard pressure tapping technique. The present study focuses on the most important parameters affecting the flow and pressure characteristics that include the influence of base angles, the influence of wind directions and the influence of the pyramid heights with respect to a characteristic length. Besides the experimental investigations, numerical investigations with the aid of a software package called FLOVENT were also additionally performed in order to prove, whether experimental and numerical studies deliver the same results.Based on the flow measurement results, this study was able to distinguish the general characteristics of flow around pyramid building when compared to other type of structures (i.e. cuboidal structure). A set of equations to calculate the reattachment length at the leeward side of the pyramid was generated. In addition, an equation to estimate the zero streamline and an area below line as a function of the reattachment length and base angle, respectively, are proposed. These equations will illustrate the recirculation zone at the leeward side of the pyramid.The pressure measurement results show that the three investigated parameters (base angle, wind direction and pyramid height) have an important influence to the pressure characteristics (magnitude of pressure, suction and fluctuation) in the surfaces of the pyramids. For practical purposes, this study was able to provide the typical values of pressure and aerodynamic coefficients for pyramidal buildings that can be used for structural calculations. The values that are given in this study can be used to fill in the gap of the unavailable design values for pyramidal buildings in standard tables.
    Schlagwort(e): TA1-2040 ; flow and pressure measurements ; building aerodynamics ; bluff body ; pyramid ; LDA ; wind tunnel ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 63
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Schlagwort(e): Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 64
    Publikationsdatum: 2024-04-11
    Beschreibung: This dissertation deals with the development of a Virtual Reality-based construction site control centre for earth work in consideration of lean management principles. Beside the enhanced availability of information and increased transparency in presentation, a raise in the performance on-site by the use of a digital Kanban system could be proved.
    Schlagwort(e): TA1-2040 ; Lean Management ; Kanban ; Earthwork ; Baustellenleitstand ; construction site control centre ; Erdbau ; Virtual Reality ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 65
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Schlagwort(e): Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 66
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Dieses Buch beschreibt die Konzeption und die Umsetzung eines auf systemischen Ansätzen basierenden Projektmodells für Unikatentwicklungen im Baubereich.Die Verschmelzung von Projektmanagement, Objektplanung und Produktdatenmanagement zu einer ganzheitlichen Kooperationsmethodik ist dabei ein wesentlicher Lösungsansatz.Durch die Umsetzung der erarbeiteten Konzepte und Methoden als prototypische internetbasierte Projektumgebung werden die Möglichkeiten und Potentiale aufgezeigt, welche durch eine Kopplung von ganzheitlichen Methoden und modernen Informationstechnologien entstehen.
    Schlagwort(e): TA1-2040 ; Prozessmanagement ; Produktentwicklung ; Informationslogistik ; Computer Supported Cooperative Work ; Bedarfsplanung ; Projektmanagement ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 67
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Diese Dissertation erkundet im Rahmen von experimentellen und numerischen Untersuchungen die wesentlichen Einflussfaktoren auf das Materialverhalten - sowohl Tragfähigkeit als auch Versagensmechanismus - eines Betonprobekörpers unterschiedlicher Festigkeitsklasse im Spaltzugversuch. Anhand statistischer Überlegungen hergeleitete Beziehungsfunktionen erlauben eine genauere Abschätzung der einaxialen Zugfestigkeit aus der Spaltzugfestigkeit als gegenwärtig verwendete Umrechnungsformeln.
    Schlagwort(e): TA1-2040 ; Spaltzugversuch ; einaxiale Zugfestigkeit ; Spaltzugfestigkeit ; Druck-Zug-Spannungszustand ; Versagensmechanismus ; Bruchmechanik ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 68
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Brettsperrholz (CLT) besitzt im Gegensatz zu Brettschichtholz verhältnismäßig hohe Schub- und Querzugfestigkeiten. Bauteile aus CLT sind daher weniger empfindlich gegenüber Rissen und weisen eine größere Robustheit auf. Im Rahmen eines Forschungsvorhabens wurde das Tragverhalten von CLT-Trägern mit Ausklinkungen, Durchbrüchen und Queranschlüssen sowie Trägern mit schräg zur Faserrichtung angeschnittenen Rändern untersucht und Bemessungsansätze für die verschiedenen Trägerformen entwickelt.
    Schlagwort(e): TA1-2040 ; BrettsperrholzBiegefestigkeitDurchbruchAusklinkungangeschnittener Rand ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 69
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Eigenschaften einer Massivholzbauweise, die aufgrund ihrer Flexibilität und des einfachen Aufbaus besonders für den Einsatz in Erdbebengebieten geeignet ist, wurden untersucht. In experimentellen Untersuchungen wurden die Eigenschaften der Verbindungsmittel und von Wandscheiben in Originalgröße geprüft. Mit Hilfe numerischer Modelle wurde das Verhalten der Bauweise unter monotonen und zyklischen Lasten berechnet. Mit den Modellen wurde der Verhaltensbeiwert q bestimmt.
    Schlagwort(e): TA1-2040 ; Erdbeben ; Holzbau ; Wandscheiben ; Aussteifung ; Energiedissipation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 70
    Publikationsdatum: 2024-04-11
    Beschreibung: The book describes the hydraulic design and environmental impact prediction technologies for such installations. Focus are the hydrodynamics approached by computer models. First, a multiport diffuser design program was developed. Second, two model systems for discharge analysis, CORMIX for the near-field and intermediate-field and Delft3D for the far-field were coupled, and third a regulatory procedure is proposed to license and monitor outfall installations.
    Schlagwort(e): TA1-2040 ; delft3d ; coupling ; cormix ; environmental fluid mechanics ; bacteria concentration ; plume ; et ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 71
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Eine unstetige Wärmeversorgung (DigiFlow), bei der Räume eines Mehrfamilienhauses über ein zentral steuerbares Ventil im unstetigen Betrieb versorgt werden, wird zur Optimierung eines solar unterstützten Heizungssystems und zur Verringerung von Energieverbrauch untersucht. DigiFlow zeichnet sich durch die einfache Installation im Vergleich zu stetigen Regelungen aus. Der Pumpen- und Heizenergieverbrauch können in kleinen oder mittelgroßen Mehrfamilienhäusern mit DigiFlow eingespart werden.
    Schlagwort(e): TA1-2040 ; Pumpenenergieverbrauch ; Unstetig ; Energieeinsparpotenzial ; Mehrfamilienhaus ; Wärmeversorgung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 72
    Publikationsdatum: 2024-04-11
    Beschreibung: This work deals with the experimental , static - cyclic testing of large-scale tests on walls made from hollow blocks. Based on this non-linear finite element models are developed and verified using the extensive experimental data ,whereby a semi - empirical design concept could finally be derived for hollow concrete masonry walls by a parametric study .
    Schlagwort(e): TA1-2040 ; hollow concrete masonry ; Nichtlineare Finite Elemente Analyse ; numerical modeling of large scale masonry walls ; Numerische Modellierung großformatiger Versuche ; Massivbaunonlinear finite element analysis ; Schalungssteine ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 73
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Last-Zeit-Funktion beim Aufprall von Aluminiumstoßkörpern, deren Geometrie- und Steifigkeitsverteilung an eine Passagiermaschine angepasst waren, wurde in experimentellen Untersuchungen auf Basis von unabhängigen Messsystemen und Hochgeschwindigkeitsaufnahmen für verschiedene Füllgrade des implementierten Tankes bestimmt.Ein numerisches Simulationsmodell zur Abbildung des Aufpralls sowie die Bestimmung der Last-Zeit-Funktion mit analytischen Berechnungsmodellen werden dargestellt.
    Schlagwort(e): TA1-2040 ; numerische Simulation ; Last-Zeit-Funktion ; Riera ; Anprall ; Stoßkörper ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 74
    Publikationsdatum: 2024-04-11
    Beschreibung: Acetylierte Radiata Kiefer, das Produkt einer speziellen Holzmodifikation, besitzt eine verbesserte Dauerhaftigkeit und Formstabilität. Sie ist grundsätzlich für die Herstellung von Brettschichtholz frei bewitterter Konstruktionen geeignet. In der Forschungsarbeit werden entsprechende Kennwerte, die für die Bemessung von Bauteilen und von Verbindungsmitteln erforderlich sind, mit wissenschaftlichen Verfahren hergeleitet.
    Schlagwort(e): TA1-2040 ; Pinus Radiata ; Acetylierung ; Dauerhaftigkeit ; Accoya ; Holzmodifikation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 75
    Publikationsdatum: 2024-04-11
    Beschreibung: Klimawandel und Klimafolgen erfordern in der Konsequenz der Erkenntnis um ihre anthropogenen Ursachen einen veränderten Umgang mit Raum und Natur. Das Projekt Natur ist der zentrale inhaltliche Ansatz des gesamträumlichen Konzepts Klimaschutz und Klimaanpassung, das in dieser Schrift exemplarisch am Beispiel der Metropolregion Rhein-Neckar entwickelt wird, in der Absicht, gesellschaftliche Partizipation und die räumliche Umsetzung der Transformation zu befördern.
    Schlagwort(e): TA1-2040 ; Energiewende ; gesamträumliches Konzept Klimaschutz und Klimaanpassung ; Stadtumbau ; Metropolregion im Klimawandel ; das Projekt Natur ; Energieumbau ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 76
    Publikationsdatum: 2024-04-11
    Beschreibung: This book is about the invention of mechanical connections and contact joints to support the utilization of beech wood for structural applications. Further the influence of fastener holes in the tension and compression area of timber and glulam members on the load‐carrying capacity under load parallel to the grain was studied.
    Schlagwort(e): TA1-2040 ; Gewindestange ; Zapfenverbindungbeech wood ; Querschnittsschwächung ; threaded rod ; reductions in the cross-sectional area ; mortise-and-tenon joints ; Buchenholz ; Treppenversatz ; multiple step joint ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 77
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Schlagwort(e): Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 78
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Mit dieser Festschrift würdigen Schüler, Mitarbeiter und Wegbegleiter Herrn Prof. Dr.-Ing. Dirk Zumkeller anlässlich seiner Verabschiedung als Leiter des Instituts für Verkehrswesen an der Universität Karlsruhe (TH).Die neun Beiträge der Festschrift überdecken eine Bandbreite unterschiedlicher in Zusammenhang mit der Verkehrsplanung stehender Themen, die Ausdruck von der Reichweite des Wirkens von Dirk Zumkeller geben.
    Schlagwort(e): TA1-2040 ; Verkehrserhebung Mobilitätspanel Verkehrsmodellierung Verkehrsplanung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 79
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Vorgestellt werden die Grundlagen für die hydraulische und statische Bemessung von Schlauchwehren auf Basis von Laboruntersuchungen sowie analytischer und numerischer Berechnungen. Ursache und Vermeidung von Schwingungen sind zentrale Punkte.
    Schlagwort(e): TA1-2040 ; Karlsruhe / Bundesanstalt für Wasserbau ; Wehr ; Statik ; Stauanlage ; Hydraulik ; Finite-Elemente-Methode ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 80
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This thesis presents the results gained within a broad experimental programme on the long term behaviour in particular of ultra high performance concrete in corrosive environments. Within the investigations, the main mechanisms influencing the corrosion resistance of concrete were detected. Based on the findings, a physical model to predict the corrosion resistance of concrete was derived using the example of chemical attack.
    Schlagwort(e): TA1-2040 ; Widerstand ; ultrahochfester Beton ; Dauerhaftigkeit ; Langzeitverhalten ; Korrosion ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 81
    Publikationsdatum: 2024-04-11
    Beschreibung: Ziel dieser Arbeit war die Prüfung, ob und ggf. inwieweit durch Modifikation von Splittmastixasphalt mit Elektroofenschlacke (EOS) in verschiedenen Kornklassen eine Optimierung des Verformungswiderstandes unter Berücksichtigung des thermischen Verhaltens möglich ist. Hierzu wurden helle Gesteinskörnungen aus Moräne mit EOS kombiniert und die Eigenschaften der damit hergestellten Asphalte labortechnisch untersucht. Dabei wurden Empfehlungen für die Rezeptierung von SMA 0/11 S mit EOS gegeben.
    Schlagwort(e): TA1-2040 ; Elektroofenschlacke EOS Splittmastixasphalt Verformungswiderstand Asphalttemperatur Wärmeverhalten ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 82
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The gas transfer process across the air-water interface in a ottom-shear-induced turbulent environment was investigated to gain improved fundamental understanding of the physical mechanisms that control the process. For this purpose, it is necessary to reveal the hydrodynamics of the flow field as well as the molecular diffusion and the turbulent transport contributions to the total flux. Therefore, detailed laboratory experiments were conducted to obtain these information.The experiments were performed in a grid-stirred tank using a combined Particle Image Velocimetry - Laser Induced Fluorescence (PIV-LIF) technique that has been developed for these near surface gas transfer measurements. The turbulence characteristics of the velocity near the interface were acquired from the PIV measurements and showed generally good agreement with the theoretical profiles from Hunt & Graham (1978). The LIF technique enabled visualization of the planar concentration fields which provided more insight into the gas transfer mechanisms. The high data resolution allowed detailed quantification of the concentration distribution within the thin aqueous boundary layer. The mean and turbulent fluctuation characteristics of the concentration could be elucidated and the molecular diffusion contribution to the total flux across the interface could be determined. With the combined PIV-LIF technique, which enables simultaneous and spatially synoptic measurements of 2D velocity and concentration fields, the turbulent mass flux term cw and also the total mass flux across the air-water interface could be quantified directly. For the first time, a particular trend can be inferred from the measured mean cw profiles. It could also be shown that the contribution of the turbulent mass flux to the total gas flux is significant. The co-spectra indicated different behavior for the cases with lower and higher turbulent Reynolds numbers.The interrelated interpretation of the obtained results suggest that the gas transfer process is controlled by a spectrum of different eddy sizes and the gas transfer at different turbulence levels can be associated to certain eddy sizes. For high turbulence levels the gas transfer should be asymptotic to the small eddy model, whereas for low turbulence level to the large eddy model. The new results of turbulent mass flux should aid as an excellent database in refining numerical models and developing more accurate models for the prediction of the transfer velocity.
    Schlagwort(e): TA1-2040 ; grid-stirred turbulence ; gas transfer ; combined particle image velocimetry and laser induced fluorescence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 83
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This thesis aims to contribute to a better understanding of turbulent open channel flow, sediment erosion and sediment transport. The thesis provides an analysis of high-fidelity data from direct numerical simulation of (i) open channel flow over an array of fixed spheres, (ii) open channel flow with mobile eroding spheres, (iii) open channel flow with sediment transport of many mobile spheres. An immersed boundary method is used to resolve the finite-size particles.
    Schlagwort(e): TA1-2040 ; sediment erosion ; CFD ; open channel flow ; sediment transport ; turbulence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 84
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Diese Forschungsarbeit, ausgelöst durch Einstürze von Hallen aus Holz im Winter 2006, möchte Schadensfälle und begleitenden Umstände nicht individuell, sondern gemeinsam darstellen und ganzheitlich analysieren.Es werden Schwachpunkte, fehleranfällige Konstruktionen und Ursache-Wirkung-Mechanismen aufgezeigt und Konsequenzen benannt.
    Schlagwort(e): TA1-2040 ; Brettschichtholz ; Bauschaden ; Holzkonstruktion ; Konstruktionsfehler ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 85
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Schlagwort(e): architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 86
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Neben der bekannten Holztafel- und Holzskelettbauweise entwickelten sich in den letzten Jahren verschiedene innovative Wandbausysteme aus Holz, von denen zwei im Rahmen dieser Arbeit hinsichtlich ihrer Eigenschaften unter Erdbeben untersucht wurden. In experimentellen Untersuchungen wurden einzelne Verbindungen und auch ganze Wandscheiben der Bauweisen untersucht. Das Verhalten von Verbindungen und Wandscheiben kann mit den erstellten numerischen Modellen berechnet werden.
    Schlagwort(e): TA1-2040 ; Erdbeben ; Wandscheiben ; Hysterese ; Verhaltensbeiwert ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 87
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Der Frischbetondruck wird wesentlich durch die rheologischen Eigenschaften der ver­arbeiteten Betone beeinflusst. Dies gilt sowohl für frische Normalbetone als auch frische selbstverdichtende Betone. In der vorliegenden Arbeit konnte, unter Einbeziehung der einbaudynamischen und schalungskonstruktiven Prozesse, der Zusammenhang zwischen den rheologischen Eigenschaften frischer Betone und ihrem Frischbetondruck aufgezeigt werden. Die entwickelten Materialmodelle Sie bieten dem planenden Ingenieur bzw. Betontechnologen ein Werkzeug, den Frischbetondruck wirklichkeitsnah abzuschätzen.
    Schlagwort(e): TA1-2040 ; selbstverdichtender Beton ; Normalbeton ; Frischbetondruck ; rheologische Eigenschaften ; Materialmodelle ; Schalungskonstruktion ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 88
    Publikationsdatum: 2024-04-11
    Beschreibung: Shallow turbulent wake flows are generated by large obstacles - like islands or headlands - introduced to shallow turbulent open-channel flows. Large-scale quasi two-dimensional vortices may shed off from an obstacle, and advect downstream in a vertical shear flow with predominantly small-scale turbulence induced by bottom friction. Experimental, analytical, and numerical techniques are employed in the present study to characterize the mean flow and turbulence properties of shallow wakes; mechanisms of generation and decay of large-scale vortical structures are clarified, as is their influence on momentum and mass transport in shallow wakes; the global and local stability of shallow wakes is analyzed and evidenced from experimental data. Part I of this work covers non-intrusive optical measurement techniques especially adapted to investigate shallow shear flows. Flow velocities and mass concentrations are obtained (i) point-wise with high spatiotemporal resolution using a combinded LDV-LIF system, and (ii) field-wise using near-surface PIV and depth-averaged PCA systems with a coupling by phase-resolved averaging. Improved algorithms for the evaluation of mass concentrations are based on hydro-optical models of the underlying fluorescence and light attenuation processes. Part II addresses the time-mean description of shallow wake flows. The stochastic description of the turbulence fields displays a characteristic spectral distribution both of kinetic energy and of mass variance, which is partially consistent with the theory of unbounded 2D turbulence at large scales, and with the theory of homogeneous 3D turbulence at small scales. An integral wake model including the effect of bottom friction is derived analytically, and is validated by experimental data. The time-mean distributions of flow velocities and of mass concentration allow to identify wake near fields and far fields with specific asymptotic wake developments. Wake stability classes are associated with local stability regions suggested by linear stability analyses. Part III elaborates the structure and dynamics of quasi-periodic wake flows and the significance of large-scale eddies. This involves a structure identification scheme to educe individual vortices, and a phase-resolved averaging procedure to decompose the flow fields into large-scale coherent and small-scale turbulent parts. A Numerical Particle Tracking technique is employed to model the mass transport and to elucidate different diffusion and dispersion effects.
    Schlagwort(e): TA1-2040 ; vortex street ; wake flow ; flow measurement ; LIF ; shallow water ; turbulence ; coherent structure ; PCA ; mass transport ; light absorbtion ; PIV ; LDV ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 89
    Publikationsdatum: 2024-04-11
    Beschreibung: For several years, European cities increasingly focus on long-term planning perspectives due to their spatial development, separated and independent of classic urban land-use planning. As a logical consequence, the city of Karlsruhe define the challenge to develop a spatial mission statement called „Räumliches Leitbild"". For the city anniversary in 2015, most of the development process of the spatial mission statement is documented through an exhibition and the present publication.
    Schlagwort(e): TA1-2040 ; Stadtplanung ; Räumliches Leitbild ; KA300 urban planning ; Karlsruhe Institute of Technology (KIT) ; Karlsruher Institut für Technologie (KIT) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 90
    Publikationsdatum: 2024-04-11
    Beschreibung: Durch den schnellen Fortschritt in der Informationstechnologie und das rapide Anwachsen raumbezogener Daten steigen die Anforderungen an Systeme, die Wissen aus diesen Daten extrahieren und darstellen. ""Urban Data Mining"" wird als Methodik zur Problemlösung verstanden, um logische oder mathematische, zum Teil komplexe Beschreibungen von Mustern und Regelmäßigkeiten in Datensätzen zu entdecken. Auf der Grundlage von bestehenden Methoden des Data Mining und der Knowledge Discovery wird ein für die Stadt- und Regionalforschung strukturiertes methodisches Arbeitskonzept erarbeitet und am deutschen Gemeindesystem empirisch-analytisch vorgestellt. Neben Methoden, die eine kritische Bestandsaufnahme und Auseinandersetzung mit vorhandenen räumlichen Eigenschaften und Entwicklungstendenzen ermöglichen, werden Vorgehensweisen gesucht, die sich eignen, bereits vorhandene Informationen oder Erkenntnisse auf weitere Objekte zu übertragen.
    Schlagwort(e): TA1-2040 ; GIS ; Gebäudebestand ; Regionalwissenschaft ; Data Mining ; Clusteranalyse ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 91
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The dispersive mass transport in rivers has been investigated to improve the predictability of transport scenarios in case of accidental pollutant spills. In particular, the influence of dead-water zones, as they are given by groin fields, on the transport characteristics in the main stream has been analyzed. A literature review of detailed map material from the rivers Rhine, Waal and Elbe has been performed, in order to plan representative laboratory experiments. Typical aspect ratios of the groin fields as well as typical inclination angles have been summarized. Based on these results, experiments have been performed in a laboratory flume equipped with schematized groins. Within theses experiments the aspect ratio, the inclination angles as well as the groin field volume has been varied. Due to the fact that the flow is very shallow and, therefore, quasi two-dimensional, the flow velocities have been determined at the water surface, using a Surface Particle-Image-Velocimetry-System that has been developed for that purpose. Additional measurements, using a two-dimensional Laser-Doppler-Velocimeter, have been performed for resolving the velocity distribution over the water depth. With the help of these measurements it was possible to determine the typical recirculating flows in the groin fields as well as the coherent, horizontal eddies in the mixing layer between dead-water zone and main stream, that are governing the mass exchange. The high spatial and temporal resolution of the surface PIV measurements made it possible to estimate also the mass exchange between groin field and main stream. With the help of Planar-Concentration-Analysis, which is a method for determining depth-averaged planar concentration fields, it could be shown that the mass exchange between groin field and main stream increases with increasing length of the groin field. For these measurements a tracer injection device has been developed, that consists of a movable multi-port injection-box and vacuum-pressure-unit, which is able to produce instantaneously, homogeneous and reproducible concentration fields. Finally a Lagrangian-Particle-Tracking-Method was developed to transfer the results, obtained locally at single groin fields, into the overall transport characteristics in the far-field of pollutant spill scenario for a river system consisting of a series of groin fields. Through the implementation of a transient-adhesion-boundary, it was possible to parameterize the influence of groin fields on the longitudinal dispersion, the transport velocity and the skewness of the concentration distribution in the case of a pollutant spill.
    Schlagwort(e): TA1-2040 ; pollutant transport ; Groin fields ; Lagrangian particle tracking ; dispersion ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 92
    Publikationsdatum: 2024-04-11
    Beschreibung: Within this work a material law was developed which correctly describes the creep and relaxation characteristics of young and mature normal strength and high-strength concretes. It is based on an aging thermodynamically sound rheological model and considers the complex nonlinear creep behavior under constant and variable stresses. In case of relaxation the corresponding integral relation is solved by means of a numerical algorithm.
    Schlagwort(e): TA1-2040 ; Relaxation ; Stoffgesetz ; Kriechmodell ; Kriechen ; rheologisches Modell ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 93
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Schlagwort(e): Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 94
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The reason for this research are the differences of the bond stress-slip relationships between pullout, push-in and tension tie specimen. A general admitted bond stress-slip law is developed which bases upon analytical consideration. The new developed bond stress-slip law considers the three-dimensional stress state of concrete in front of the rib of the reinforcing bar.
    Schlagwort(e): TA1-2040 ; Verbundverhalten Stahlbeton / analytisches Verbundmodell / Ausziehkörper ; bond in concrete / analytical bond model / pullout ; push-in and tension tie specimen ; Ausdrückkörper und Dehnkörper ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 95
    Publikationsdatum: 2024-04-11
    Beschreibung: Eine effiziente und nachhaltige Verkehrsplanung benötigt Vorstellungen, wie die Verkehrsnachfrage in den kommenden Jahrzehnten aussehen wird. Neben der Alterung der Gesellschaft und wirtschaftlichen Entwicklungen sind hier vor allem Kohorteneffekte zu berücksichtigen. Mit Alters- Kohortenmodellen und geeigneten Längsschnittdaten können derartige Effekte analysiert werden. Die Ergebnisse werden hier beispielhaft eingesetzt, um die Verkehrsentstehung in unterschiedlichen Raumtypen vorherzusagen.
    Schlagwort(e): TA1-2040 ; demographischer Wandel ; Verkehrsentstehung ; Verkehrsplanung ; Längsschnittdaten ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 96
    Publikationsdatum: 2024-04-11
    Beschreibung: Die Arbeit beschreibt die Abhängigkeiten zwischen den Prozessen des Facility Management (FM) und den Primärprozessen im Krankenhaus in einem ganzheitlichen Modell. Die Kenntnis über die Leistungszusammenhänge der beiden Ebenen bildet die Grundlage für eine verursachergerechte Verrechnung der FM Kosten im Krankenhaus am Beispiel der Funktionsstelle OP-Bereich. Dabei schafft Transparenz die Basis für eine strategische Ressourcen- und Infrastrukturplanung.
    Schlagwort(e): TA1-2040 ; Krankenhaus ; Operationsbereich ; Kostenverrechnung ; Prozesse ; Facility Management ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 97
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2023-12-20
    Beschreibung: Software Architecture covers the technical organization of a software system and principles which determine design and evolution of the system. The research issue of this work results from software evolution, when the software needs to be modified. The contribution of this book is a method for change request analysis based on software architecture models. The method supports derivation of tasks covering several work areas and life cycle phases.
    Schlagwort(e): QA75.5-76.95 ; Software Evolution ; Change Request Analysis ; Software Engineering ; Software Architecture ; Änderungsanfragenanalyse ; Software ; Software-Evolution ; Software-Architektur ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 98
    Publikationsdatum: 2024-04-11
    Beschreibung: With a focus on the monitoring of concrete bridges, this study evaluates 19 different methods under realistic constraints. Then, the detailed numerical model of an unbonded post-tensioned box-girder bridge is created. There, nonlinear material laws, which have been validated by laboratory tests, are applied. Combining six different methods, the increase in cracking as a consequence of either the settlement of the pier or the decrease in the tension force can be assessed and localized.
    Schlagwort(e): TA1-2040 ; modal-based ; modalbasiert condition assessment ; Zustandsbewertung ; bridges ; Brücken ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 99
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This comprehensive book provides in-depth knowledge and understanding of design rules according to Eurocode 5. It is based on the first edition of the STEP (Structural Timber Education Programme) series, which was prepared in 1995 by about 50 authors from 14 European countries. The present work updates and extends the STEP compilation and is aimed at students, structural engineers and other timber structure professionals.
    Schlagwort(e): TA1-2040 ; Holzbau ; Bemessung ; Holz ; design ; structures ; Tragwerksplanung ; wood ; Ingenieur ; timber ; engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 100
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-03-28
    Beschreibung: not yet available
    Beschreibung: 'Vertrauen' spielt in fast allen Bereichen menschlichen Lebens eine wichtige Rolle. Von 'Vertrauen' wird gesprochen in Bezug auf Personen, Unternehmen, Institutionen, Technik usw. Es gibt das Urvertrauen, die vertrauensvolle Zusammenarbeit im Betrieb, die Vertrauensfrage im Parlament, den Vertrauensschaden im Recht. Der Band "Vertrauen - zwischen sozialem Kitt und der Senkung von Transaktionskosten" soll die Bandbreite der Thematik aufzeigen und der Frage nach dem 'Vertrauen' in ausgewählten Wissenschaften nachgehen.
    Schlagwort(e): cultural studies ; politikwissenschaft ; political science ; kulturwissenschaft ; soziale transaktionskosten ; social transactions ; Demokratie ; Vertrauen ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...