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  (140)
  • thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials  (106)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • formal logic
  • KIT Scientific Publishing  (108)
  • Springer  (27)
  • Springer Nature Switzerland  (5)
Sammlung
Schlagwörter
Sprache
Erscheinungszeitraum
  • 1
    Publikationsdatum: 2024-04-11
    Beschreibung: This work describes a method for weighted least squares approximation of an unbounded number of data points using a B-spline function. The method can shift the bounded B-spline function definition range during run-time. The approximation method is used for optimizing velocity trajectories for an electric vehicle with respect to travel time, comfort and energy consumption. The trajectory optimization method is extended to a driver assistance system for automated vehicle longitudinal control.
    Schlagwort(e): vehicle longitudinal control; Kalman filter; approximation; B-spline; trajectory optimization; Fahrzeuglängsführung; Kalmanfilter; Approximation; B-Spline; Trajektorienoptimierung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The work represents a toolbox for the design of a highly efficient photocatalytic process for solar-driven synthesis. The focus is the optimization of photoreactors and photocatalysts. The described photoreactor design strategy is based on numerical methods mapping radiation transport and additive manufacturing delivering prototypes. The photocatalyst engineering is based on suitable photocatalyst support strategies and a method for the determination of the quantum yield in photoreactions.
    Schlagwort(e): photocatalyst; photoreactor; photoreaction engineering; solar fuels; Artificial photosynthesis; Fotokatalysator; Fotoreaktor; Fotoreaktionstechnik; Solare Kraftstoffe; Künstliche Fotosynthese ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Publikationsdatum: 2024-04-11
    Beschreibung: Ihrer Arbeit in der Originalsprache: This work aims at identifying relevant road surface characteristics to mitigate tire-road noise of free-rolling tires using a systematic approach. As using open porous roads is already known as an efficient measure to reduce tire rolling noise, this study will focus on compact road surfaces which have a low acoustic absorption. Measurements on standardized ISO 10844 test tracks and on public roads are used to study the norm's representativity and its completeness.
    Schlagwort(e): Groove Resonance; Road surface characteristics; Tire-Road Noise; Rillenresonanz; ISO 10844; Fahrbahneigenschaften; Reifen-Fahrbahn-Geräusch ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Publikationsdatum: 2024-04-11
    Beschreibung: This work proposes a system architecture for secure and robust behavioral decision-making for automated vehicles. It assembles basic behavior blocks in a hierarchical arbitration graph and ensures safety through verification and diverse levels of fallback. The presented method contributes to a transparent and comprehensible decision-making process and produces safe and stable driving behavior even at high failure rates.
    Schlagwort(e): safety verification; automated driving; hierarchical arbitration graphs; behaviour planning; decision-making; Verifikation; automatisiertes Fahren; hierarchische Arbitrationsgraphen; Verhaltensplanung; Verhaltensentscheidung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Publikationsdatum: 2024-04-11
    Beschreibung: In the context of the present work methods are developed, which allow the statistical estimation of feasible ranges of functional tyre characteristics for any combination of rim and tyre dimension under different operating conditions. Therefore, measurement data regarding energy efficiency, driving dynamics and comfort are statistically analyzed and interpreted with regard to their physical root causes.
    Schlagwort(e): Functional Tyre Characteristics (FTC); Rim dimension; Tyre dimension; Rim; Tyre; Funktionale Reifeneigenschaften (FTC); Raddimension; Reifendimension; Rad; Reifen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Research into micro energy harvesting systems has been driven by the need for self-sustaining, stable power sources for interconnected wireless sensors. Waste heat, particularly at temperatures below 200 °C, presents a promising but challenging energy source to recover using current conversion technology.
    Schlagwort(e): miniature energy harvesting; resonant self-actuation; thermomagnetic; power generation; Energy; Miniatur-Energie; ernteresonante Selbstaktivierung; thermomagnetisch; Stromerzeugung; Energie ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Publikationsdatum: 2024-04-11
    Beschreibung: Computational homogenization permits to capture the influence of the microstructure on the cyclic mechanical behavior of polycrystalline metals. In this work we investigate methods to compute Laguerre tessellations as computational cells of polycrystalline microstructures, propose a new method to assign crystallographic orientations to the Laguerre cells and use Bayesian optimization to find suitable parameters for the underlying micromechanical model from macroscopic experiments.
    Schlagwort(e): Polykristalline Metalle; Ermüdung; Mikromechanische Modellierung; Laguerre-Kachelungen; Texturkoeffizienten-Optimierung; Polycrystalline metals; Fatigue; Micromechanical modeling; Laguerre tessellations; Texture coefficients optimization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Publikationsdatum: 2024-04-11
    Beschreibung: The aim of this work is to model and experimentally characterize the anisotropic material behavior of SMC composites on the macroscale with consideration of the microstructure. Temperature-dependent thermoelastic behavior and failure behavior are modeled and the corresponding material properties are determined experimentally. Additionally, experimental biaxial damage investigations are performed. A parameter identification merges modeling and experiments and validates the models.
    Schlagwort(e): SMC Verbundwerkstoff; Thermomechanische Eigenschaften; Mikrostrukturbasierte Makromodellierung; Biaxiale Schädigungs- und Versagens-Experimente; SMC composite; Thermomechanical properties; Microstructure-based macro modeling; Biaxial damage and failure experiments ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Materials of industrial interest often show a complex microstructure which directly influences their macroscopic material behavior. For simulations on the component scale, multi-scale methods may exploit this microstructural information. This work is devoted to a multi-scale approach for brittle materials. Based on a homogenization result for free discontinuity problems, we present FFT-based methods to compute the effective crack energy of heterogeneous materials with complex microstructures.
    Schlagwort(e): Effektive Rissenergie; FFT-basierte Homogenisierungsmethoden; Phasenfeld-Bruchmechanik; Minkowski-Tensoren; Fast-Marching-Methoden; Effective crack energy; FFT-based computational homogenization; Phase-field fracture; Minkowski tensors; Fast marching methods ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    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: This work aims to gain an understanding of the interactions between tread compounds and surface texture on dry and wet road conditions. If, for example, a corundum surface, which is very well-established in the tire industry, is used on the tire test bench instead of a real track surface, for wet track conditions ranking inversions in the tested compounds occur.
    Schlagwort(e): PKW-Reifen; Laufstreifenmischung; Fahrbahntextur; Kraftübertragung; Passenger Car; Tire Tread Compound; Road Surface Texture; Traction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The workshop proceedings contain the contributions of the 33rd workshop "Computational Intelligence" which will take place from 23.11. - 24.11.2023 in Berlin. The focus is on methods, applications and tools for Fuzzy systems, Artificial Neural Networks, Evolutionary algorithms and Data mining methods as well as the comparison of methods on the basis of industrial and benchmark problems.
    Schlagwort(e): Modelling and Simulation; Fuzzy Systems; Artificial Intelligence; Maschine Learning; Modellierung und Simulation; Computational Intelligence; Fuzzy Systeme; Künstliche Intelligenz; Maschinelles Lernen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch , Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The 15th International Workshop on Beryllium Technology (BeWS-15) was held as a joint event combining BeWS-15 and industrial forum BeYOND-IX on September 14-15, 2022 in Karlsruhe, Germany with great success as a hybrid event. The workshop was organized by the Karlsruhe Institute of Technology. Participants came from Germany, the US, the UK, Kazakhstan, Latvia, Czech Republic, Japan, Sweden, France and China, totaling 55 persons, which was not expected immediately after the global pandemic.
    Schlagwort(e): fabrication of beryllides; neutron and ion irradiation; Fertigung von Legierungen aus Beryllium; Bestrahlung; Beryllium; safety; nuclear fusion; Kernfusion; beryllium; Sicherheit ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    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 ...
  • 14
    Publikationsdatum: 2024-04-11
    Beschreibung: This work deals with the mechanisms of disturbing noises at the electric wheel hub motor and describes a multiphysical model which simulates them. From this, countermeasures are derived and evaluated. A vibroacoustical optimized control approach, was developed and applied to the system. Furthermore, limitations and the interaction of the optimized control approach with the motor control are examined more detail.
    Schlagwort(e): elektrische Maschine; NVH; Akustik; HCI; Radnabenmotor; electric machine; acoustic; wheel hub motor ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    Publikationsdatum: 2024-04-11
    Beschreibung: We investigate deep material networks (DMN). We lay the mathematical foundation of DMNs and present a novel DMN formulation, which is characterized by a reduced number of degrees of freedom. We present a efficient solution technique for nonlinear DMNs to accelerate complex two-scale simulations with minimal computational effort. A new interpolation technique is presented enabling the consideration of fluctuating microstructure characteristics in macroscopic simulations.
    Schlagwort(e): deep material networks; data-driven modeling; Two-scale simulations; Deep Material Networks; Datengetriebene Modellierung; Zweiskalensimulationen; micromechanics; Mikromechanik; machine learning; Maschinelles Lernen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This book contains the conference proceedings to the lectures of the 9th symposium on 28th February 2023 in Karlsruhe. The state of research and new developments in the field of drive technology for mobile machines are reported in 12 articles. The conference proceedings are characterized by technical contributions on climate-neutral, efficiency-optimized and electrified drives in a variety of machines. In addition to traction drives, drive systems for performing work tasks are also addressed.
    Schlagwort(e): Hybrid; Antrieb; Mobile Arbeitsmaschine; Elektrifizierung; Klimaneutrale Antriebe; Drive Technology; Mobile Machine; Electrification; Climate-neutral drives ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, silicon nitride/silicon carbide composites are manufactured and characterized for tribologically highly stressed applications. The characterization of the composite materials shows the influence of the silicon carbide content on the resulting microstructure and the mechanical properties. The friction properties of the composite materials were characterized in tribological experiments. The composites show very good friction and wear behavior.
    Schlagwort(e): Siliziumnitrid ; Siliziumkarbid ; technische Keramik ; keramische Prozesstechnik ; Tribologie ; silicon nitride ; silicon carbide ; technical ceramics ; ceramic process technology ; tribology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    Publikationsdatum: 2024-04-11
    Beschreibung: With the introduction of highly automated assistance systems in passenger cars, the requirements for the reliability of the electrical power supply increase significantly. In this thesis, a method for evaluating the reliability of the electrical power supply in automotive pre-development is presented and applied. As a result, it could be shown that the classical electrical power supply is not suitable for supplying highly automated assistance systems.
    Schlagwort(e): pre-development; Vorentwicklung; energy supply; Reliability; Zuverlässigkeit; Energieversorgung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The adhesion of encapsulation materials is an dendrimental factor for the robustness and functionality of a power electronic device. In this work the adhesion of ceramic potting materials was developed. A new primer was invented, that enabled high shear strengths even at high temperatures for short times. Furthermore, a completely new potting material was invented on the basis of alkoxysilanes. Especially MTES showed beneficial properties for the adhesion under temperature load.
    Schlagwort(e): Vergussmasse; Scherfestigkeit; Primer; Alkoxysilan; Leistungselektronik; Potting Material; Shear Strength; Alkoxysilane; Power Electronics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    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: This work proposes a new numerical approach for analyzing the behavior of fiber-reinforced materials, which have gained popularity in various applications. The approach combines theories and methods to model the fracture behavior of the polymeric matrix and the embedded fibers separately, and includes a modified plasticity model that considers the temperature-dependent growth of voids. Tests are conducted to explore different types and sequences of failure in long fiber-reinforced polymers.
    Schlagwort(e): duktiler Bruch ; faserverstärkte Materialien ; Verbundwerkstoff ; Phasenfeld ; Plastizität ; ductile fracture ; fiber-reinforced materials ; composite ; phase-field ; plasticity ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    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 ...
  • 22
    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 ...
  • 23
    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 ...
  • 24
    Publikationsdatum: 2024-04-11
    Beschreibung: An estimation of the road wetness level supports the driver as well as the vehicle to maneuver safely. This study presents the fundamentals of a system that uses structure-borne sound measurements at various positions on the vehicle to detect the water spraying up from the tires and uses this information to estimate the degree of road wetness. The system finds its first application in the Porsche 911, Type 992.
    Schlagwort(e): Fahrbahnnässe; Fahrzeugsicherheit; Wasseraufwirbelung; Road wetness; Vehicle safety; Tire splash and spray ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The content of this work is the development of a localization system, which enables several driverless transport vehicles to navigate locally in a highly flexible and free way. The ceiling mounted sensor system detects and analyzes objects within the field of view. The detected properties of all objects are made available via an interface and enable vehicles to identify themselves and navigate freely without a sensor mounted on the vehicle.
    Schlagwort(e): Lokalisierung; fahrerlose Transportfahrzeuge; 3D-Kamera; Objekterkennung; Kommunikation; Localization; automated guided vehicles; 3D camera; object recognition; communication ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The electromechanical behavior of two new sodium bismuth titanate based lead-free ferroelectric materials as well as bilayer composites are investigated in experiments and numerical simulations. For the Finite-Element-Method, a fully coupled, three dimensional ferroelectric constitutive model is developed. In a parameter study, the electromechanical coupling of bilayer composite is optimized.
    Schlagwort(e): Finite-Elemente-Simulation ; Piezoelektrizität ; Ferroelektrizität ; bleifreie Ferroelektrika ; Piezoelectricity ; Ferroelectricity ; Lead-Free Ferroelectrics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    Publikationsdatum: 2024-04-11
    Beschreibung: This work investigates how the energy efficiency and punctuality of streetcars can be increased by using AI. The AI is trained on two scenarios at three traffic times each. The determined driving profiles are compared with those of drivers from regular passenger operation as well as with a theoretical optimum determined by Dynamic Programming. In addition, transfer learning capabilities of the AI will be investigated.
    Schlagwort(e): Straßenbahn; KI; Energie; effizienz; Pünktlichkeit; Modellierung; Light Rail; AI; Energy Efficiency; Punctuality; Modelling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, a novel knowledge discovery framework able to analyze data produced in the Gasoline Direct Injection (GDI) context through machine learning is presented and validated. This approach is able to explore and exploit the investigated design spaces based on a limited number of observations, discovering and visualizing connections and correlations in complex phenomena. The extracted knowledge is then validated with domain expertise, revealing potential and limitations of this method.
    Schlagwort(e): Gasoline Direct Injection; Data-Driven Development; Machine Learning Application; Datengetriebene Entwicklung; Anwendung des Maschinellen Lernens; Knowledge Discovery; Benzin-Direkteinspritzung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    Publikationsdatum: 2024-04-11
    Beschreibung: This work aims to develop a method that can reschedule the matrix production in the case of a disruption. For this purpose, different artificial intelligence methods are combined in a novel way. The developed method is validated on a theoretical and a real scheduling case.
    Schlagwort(e): Produktionssteuerung; Reinforcement Learning; Künstliche Intelligenz; Terminierung; Production control; artificial intelligence; scheduling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    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 ...
  • 31
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The current design of gears against pitting fatigue is based on simple physical models in combination with empirically determined factors. In contrast to that, this work presents a new design concept against pitting fatigue which is based on local quantities and allows a more detailed consideration of different influence parameters on the expected pitting life.
    Schlagwort(e): Pitting; Grübchenbildung; Zahnradermüdung; Zahnradberechnung; örtliches Auslegungskonzept; gear fatigue; gear design; local fatigue concept ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Modern production systems have become more flexible and agile. For them, a suitable control and planning method is needed. Agent-based systems offer the required characteristics. The contributions of these work are a remodeling of the Shifting Bottleneck heuristic to include limited buffers, the development of a decentralized multi-agent system for production planning, and the adaptation of the heuristic to the agent system. It concludes with evaluations of real-world production systems.
    Schlagwort(e): Produktionsplanung; Dezentral; Limitierte Puffer; Ablaufplanung; Multi-Agenten-System; Production Planning; Decentral; Limited Buffer; Scheduling; Multi-Agent System ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: With the further development of automated driving, the functional performance increases resulting in the need for new and comprehensive testing concepts. This doctoral work aims to enable the transition from quantitative mileage to qualitative test coverage by aggregating the results of both knowledge-based and data-driven test platforms. The validity of the test domain can be extended cost-effectively throughout the software development process to achieve meaningful test termination criteria.
    Schlagwort(e): automatisiertes Fahren; Nutzfahrzeuge; Testmethoden; Stichprobenverfahren; messbare Sicherheitsvorhersage; automated driving; commercial motor vehicles; test methods; sampling methods; measurable safety prediction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This work considers dampers that do not solely focus on a single strategy but instead combine them. The capabilities of conventional dry friction dampers are expanded by taking into account piecewise defined contact geometries. This leads to friction dampers that change their behavior depending on the amplitude of the oscillations. The vibration damping device in this work, introduces damping at high oscillation amplitudes and takes advantage of absorption at low oscillation amplitudes.
    Schlagwort(e): semi-active systems ; averaging methods ; friction dampers ; semi-aktive Systeme ; Mittelwertbildung ; Reibungsdämpfer ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    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: High brittle-ductile transition temperatures preclude the use of conventionally manufactured tungsten (W) as a structural material. Ultrafine grained (UFG) W materials, however, exhibit the brittle-ductile transition at very low temperatures and consequently exhibit room-temperature ductility. The correlative microstructure analysis revealed a strong correlation between the transition temperature and the mean grain boundary spacing along the crack front.
    Schlagwort(e): kink pair mechanism; Arrhenius activation energy; brittle-ductile transition; ultrafine grained; Kinkenpaarmechanismus; Arrhenius-Aktivierungsenergie; Spröd-duktil-Übergang; ultrafeinkörnig; tungsten; Wolfram ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 36
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The advantages offered by the flexible electronics and control systems technologies were utilized for tackling the challenges facing two crucial Magnetic Resonance (MR) applications. The first application is in the field of interventional Magnetic Resonance Imaging (MRI), and the other application is in the field of Nuclear Magnetic Resonance spectroscopy (NMR).
    Schlagwort(e): Interventional MRI; micro-NMR; Flexible electronics; Interventionelle MRT; Mikro-NMR; Mikrofabrikation; Flexible Elektronik; Microfabrication; Control systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 37
    Publikationsdatum: 2024-04-11
    Beschreibung: Within this work, the friction coefficient is calculated for the dry contact of two sliding metallic bodies as a function of various physical parameters. For this purpose, a thermomechanical model is developed and evaluated for different contact configurations considering the surface roughness of both contact bodies. Subsequent investigations on the consequences of the calculated friction coefficient in the context of friction-induced vibrations are carried out.
    Schlagwort(e): Strukurdynamik; Thermoelastizität; Kontaktmechanik; Stochastik; Stabilitätstheorie; Trockene Reibung; Raue Oberflächen; structural dynamics; thermoelasticity; contact mechanics; stochastics; theory of stability; dry friction; rough surfaces ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 38
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Elastocaloric cooling is an emerging solid-state cooling technology with the potential to provide environmentally friendly, efficient cooling. The elastocaloric effect in superelastic shape memory alloy films is used to develop advanced cooling devices for small-scale applications. Cascaded and parallelized devices are developed to increase device temperature span and cooling capacity. The concepts are proven experimentally, a maximum temperature span of 27° C is achieved in a cascaded device.
    Schlagwort(e): Elastokalorik ; Festkörperkühlung ; Kaskadierte Kühleinheit ; Superelastische Formgedächtnislegierung ; Aktive Miniatur Kühlung ; Elastocaloric Cooling ; Solid-State Cooling ; Superelastic Shape Memory Alloy ; Cascaded Cooling Device ; Small Scale Cooling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 39
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: On almost every construction site, mobile fresh-concrete pumps of different designs can be found, all of which have an interruptions in delivery. In this work, a fresh-concrete constant-flow pump is developed and simulated. In order to be able to develop the new type of fresh-concrete valve required for this, knowledge is built up in a first step. This is done with a test bench using statistical design of experiments.
    Schlagwort(e): Konstantflusspumpe für Frischbeton ; Frischbetonventil ; statistische Versuchsplanung ; virtual Prototyping ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 40
    Publikationsdatum: 2024-04-11
    Beschreibung: Bridge cranes are widely used as discontinuous material handling systems in industrial environments. The so-called crane bridge plays a central role in the overall construction. With increasing span widths and load capacities, the dimensions of the crane bridge also increase. The core of this work is the design and optimization of a new type of bridge crane system, which consists of individual segments and is eccentrically pretensioned by a tensile member.
    Schlagwort(e): Maschinenbau; Kranbau; Nichtlineare Optimierung; Mechanik; Mechanical Engineering; Crane construction; Nonlinear Optimization; Engineering mechanics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 41
    Publikationsdatum: 2024-04-11
    Beschreibung: The focus of this work is on the modelling of the degradation behaviour of conventional lithium-ion cells with graphite/NMC electrodes in conjunction with electrolytes based on LiPF6 in organic solvents. The potential for improvements of parameterization methods dealing with physical-chemical aging effects and simulation studies for optimization of the battery lifetime is shown. In the process of model parameterization mostly data-based as well as non-invasive analysis methods are used.
    Schlagwort(e): Lithium-Ionen-Zelle ; Batterie ; Elektrofahrzeug ; Degradationsmechanismen ; Lebensdauerprädiktion ; lithium-ion cell ; battery ; electric vehicle ; degradation mechanism ; lifetime prediction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 42
    Publikationsdatum: 2024-04-11
    Beschreibung: Interdisciplinary development approaches for system-efficient lightweight design unite a comprehensive understanding of materials, processes and methods. This applies particularly to continuous fibre-reinforced plastics (CoFRPs), which offer high weight-specific material properties and enable load path-optimised designs. This thesis is dedicated to understanding and modelling Wet Compression Moulding (WCM) to facilitate large-volume production of CoFRP structural components.
    Schlagwort(e): Faserverbundkunststoffe; Nasspresstechnologie; Kohlefasergewebe; FEM-Methode; Abaqus; Fiber composite plastics; Wet compression molding; carbon fiber fabric; FEM ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 43
    Publikationsdatum: 2024-04-11
    Beschreibung: In the present work, lithium-ion battery cathodes and battery half-cells are numerically investigated. Of main interest is the influence of the calendering of an electrode during its manufacture on the mechanically induced changes in the microstructure and the resulting performance characteristics of a cell. In particular, the influence of varying particle shape and plastic material properties is considered.
    Schlagwort(e): Lithium-Ionen-Batterien ; Diskrete Elemente ; Mechanik ; Lithium-Ion-Batteries ; discrete elements ; mechanics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 44
    Publikationsdatum: 2024-04-11
    Beschreibung: In this book, a new three-dimensional approach for the process simulation of SMC is developed. This approach takes into account both, the core layer that is dominated by the extensional viscosity and the thin lubrication layer. In order to transfer the information from the process to the structure simulation, a CAE chain is further developed. In addition, a new rheological tool is developed to analyze flow behavior experimentally and to provide the required material parameters.
    Schlagwort(e): Prozesssimulation; virtuelle Prozesskette; Materialcharakterisierung; SMC; process simulation; virtual process chain; material characterization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 45
    Publikationsdatum: 2024-04-11
    Beschreibung: Water diffusing into silica surfaces gives rise for several effects on diffusion behaviour and mechanical properties. In a preceding booklet, we focused on diffusion and fiber strengths and deformations which were obtained by water soaking under external loading. In the present booklet we deal with results and interpretations of strength increase in the absence of applied stresses.
    Schlagwort(e): Quarzglas ; Schwellen ; Schädigung ; Diffusion ; Wasser/Quarzglas Reaktion ; Silica ; swelling ; damage ; diffusion ; water/silica glass reaction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 46
    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 ...
  • 47
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Both types of hybrids are tested and compared in terms of their mechanical properties in quasi-static, dynamic and cyclic three-point bending tests in reference to their damage behaviour. The intrinsic hybrid structures bear approximately a 20% higher maximum force at all load cases investigated and are less prone to mechanical, thermal and corrosive pre-damage.
    Schlagwort(e): Hybridwerkstoffe ; Fügen ; Bauteilnahe Beanspruchung ; Hybridmaterials ; Joining ; Near service loads ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 48
    Publikationsdatum: 2024-04-11
    Beschreibung: Water diffusing into silica surfaces gives rise for several effectson diffusion behaviour and mechanical properties. Water added to silica glass increases its specific volume so that the silica expands near the surface. Mechanical boundary conditions give rise for compressive “swelling stresses”. This fact provides a tool for the interpretation of many experimental observations from literature.
    Schlagwort(e): Quarzglas ; Hydroxylbildung ; Schwellen ; Diffussion ; Wasser/Quarzglas Reaktion ; silica ; silica/water reaction ; swelling ; diffusion ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    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: The assessment of perceived exertion is highly relevant for workplace design to improve the quality of work. This approach represents an objective method based on kinematic data. The method's objective was to determine the feasibility of using the time derivative of acceleration - jerk - as an indicator of time of increased physical exertion (TIPE). The result showed that the jerk data peaks' height and frequency are useful indicators for identifying physical exertion.
    Schlagwort(e): Ruck; körperliche Beanspruchung; Anstrengung; Ergonomie; Arbeitsplatzgestaltung; repetitive Tätigkeiten; Arbeitswissenschaft; Jerk; physical exertion; perceived exertion; ergonomics; workplace design; repetition task; human factors ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 50
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, thermal grooving experiments were performed on anode microstructures, Ni polycrystals and Ni bicrystals. The grain boundary grooves were measured by means of an AFM. The results provide for the first time reliable values as well as the complete anisotropy of the relevant material parameters - the relative grain boundary energies and the surface diffusion coefficients - of nickel under realistic operating conditions of an SOFC anode.
    Schlagwort(e): solid oxide fuel cell ; grain boundary energy ; Festoxid-Brennstoffzelle ; SOFC ; Nickel ; Diffusion ; Korngrenzenergie ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 51
    Publikationsdatum: 2024-04-11
    Beschreibung: The structure-borne sound transmission properties of hydraulic and conventional engine mounts is analyzed experimentally and numerically in a acoustically relevant frequency range. In order to do so, first of all a test bench environment for analyzing the dynamic sound transmission properties is presented. In subsequent steps the main influence parameters on the transmission properties are determined experimentally and numerically.
    Schlagwort(e): Akustik; Körperschall; Aggregatelager; Schall; acoustics; Structure borne noise; engine mount; noise ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 52
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This conference volume contains the contributions of the 32nd workshop "Computational Intelligence" of the Technical Committee 5.14 of the VDI/VDE Society for Measurement and Automation Technology (GMA) of 1.12. – 2.12.2022 in Berlin. The focus is on methods, applications and tools for.
    Schlagwort(e): Computational Intelligence ; Maschinelles Lernen ; Deep Learning ; Fuzzy Systeme ; Datenanalyse ; Machine Learning ; Fuzzy Systems ; Data Mining ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 53
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Due to a trend towards miniaturization of many MEMS devices and thus also the cavity volumes of inertial sensors, the influence of slight changes in the damping atmosphere in sensor cavities on the reliability of the sensors is increasing. In this work, mechanisms affecting the pressure stability of gyroscopes are investigated and countermeasures are presented. A focus is placed on desorption sources as well as gas diffusion paths in the sensor layer stack.
    Schlagwort(e): MEMS-Sensor ; Drehratensensor ; Inertialsensor ; Dämpfung ; Q-Faktor ; MEMS sensor ; gyroscope ; inertial sensor ; damping atmosphere ; Q factor ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 54
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This work aims at improving the energy consumption forecast of electric vehicles by enhancing the prediction with a notion of uncertainty. The algorithm itself learns from driver and traffic data in a training set to generate accurate, driver-individual energy consumption forecasts.
    Schlagwort(e): Elektromobilität ; Vorhersagen ; Algorithmen ; Fahrzeugtechnik ; Energiemanagement ; E-Mobility ; Forecasting ; Algorithms ; Vehicle Technology ; Energy Management ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 55
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, model approaches for the internal processes of large-format lithium-ion batteries are developed, experimentally parameterized, and validated. The electrochemical losses in the electrode’s microstructure are investigated as well as their interaction with the heterogeneous potential and temperature distribution of large-format cells. In addition, permissible operating conditions of the cells are identified as well as potentials with regard to increasing power and energy density.
    Schlagwort(e): Batterie; Lithium-Ionen-Batterie; Modellierung; Multiskalenmodell; Simulation; Charakterisierung; Multiskalen Modell; battery; lithium-ion battery; modeling; multiscale model; simulation; characterization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 56
    Publikationsdatum: 2024-04-11
    Beschreibung: Swash plate axial piston pumps are used in various industrial & mobile applications. An optimization of this displacement principle can be achieved by the active influence of the hydrostatic relief in tribological contacts.The approach addressed in this work is a characteristic field-based pressure control of pressure reservoirs, which can be used to adjust the degree of relief of the individual contact surfaces according to the operating point.
    Schlagwort(e): Axialkolbenpumpe; Tribologie; Hydrostaten; Verdängereinheiten; Hydraulik; Axial piston pump; tribology; hydrostat; displacement pump; hydraulic ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 57
    Publikationsdatum: 2024-04-11
    Beschreibung: This work focuses on the development of a quantification method for GHG (CO2e) emissions from construction machines. The method considers CO2e reduction potentials in the time past-present–future, through influencing factors from six pillars: Machine efficiency, process efficiency, energy source, operating efficiency, material efficiency and CCS. In addition, transformation solutions are proposed to reduce GHG emissions from construction machines like liquid methane, fuel cell drive or CCS.
    Schlagwort(e): CO2; bauprozess; Baumaschinen; CCS; Alternative Antriebe; Construction process; construction equipment; alternative powertrains ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 58
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work the production of a thin film of lithium lanthanum titanate by tape casting for use in a lithium ion solid state battery is described. The influence of the composition of the slip on its flow properties is investigated. The layers produced are characterized both individually and in connection with a composite anode made of lithium titanate. Their suitability for use in a solid-state battery is demonstrated.
    Schlagwort(e): Keramik ; Foliengießen ; Festkörperelektrolyt ; Lithium-Ionen-Batterie ; Lithium-Lanthan-Titanat ; ceramics ; tape casting ; solid electrolyte ; lithium ion battery ; lithium lanthanum titanate ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 59
    Publikationsdatum: 2024-04-11
    Beschreibung: This work describes the set-up of a roll-to-roll (R2R) system and the development of a specific microstructuring process for a variety of different materials ranging from high-performance polymers and low-melting-point metals to glass nanocomposites and thermoplastic nonwovens, including a lithography and electroplating-based semi-automated tooling production for seamless R2R microreplication.
    Schlagwort(e): Roll-to-Roll; Heißprägen; Mikrostruktur; Lithographie; Galvanik; roll-to-roll; thermal nanoimprint; microstructure; lithography; electroplating ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 60
    Publikationsdatum: 2024-04-11
    Beschreibung: We introduce an algorithm that allows for a fast generation of SMC composite microstructures. An exact closure approximation and a quasi-random orientation sampling ensure high fidelity. Furthermore, we present a modular framework for anisotropic damage evolution. Our concept of extraction tensors and damage-hardening functions enables the description of complex damage-degradation. In addition, we propose a holistic multiscale approach for constructing anisotropic failure criteria.
    Schlagwort(e): Mikrostruktur; Modellierung; Schädigung; SMC; Komposit; Microstructure; Modeling; Damage; Composite ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 61
    Publikationsdatum: 2024-04-11
    Beschreibung: The mechanical behavior of many applied materials arises from their microstructure. Thus, to aid the design, development and industrialization of new materials, robust computational homogenization methods are indispensable. The present thesis is devoted to investigating and developing FFT-based micromechanics solvers for efficiently computing the (thermo)mechanical response of nonlinear composite materials with complex microstructures.
    Schlagwort(e): Mikromechanik; Homogenisierung; Rechnergestützte Mechanik; Nichtlineare Optimierung; Themomechanik; Micromechanics; homogenization; computational mechanics; nonlinear optimization; thermomechanics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 62
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In the frame of this research work, a complete tyre suspension brake system, which includes a McPherson strut and a modified ABS hydro aggregate is analyzed, developed and optimized on the inner drum test bench and studied using different tyres as well as under various road and braking excitations. By direct control of each interior magnet valve in the ABS hydro aggregate by a real time computer, complex brake slopes as well as various ABS control concepts are implemented on the test bench.
    Schlagwort(e): Bremsverhalten ; Reifen ; Fahrwerk ; ABS ; Optimierte Ansteuerung ; Braking behavior ; tyre ; chassis ; Optimized control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 63
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Centrifugal classifiers are processing machines used in the gas-particle classification. The aim of this work is to reduce energy costs by improving the classification properties and reducing the pressure drop. In addition to design measures, the focus is also on model development. For the development of the models, a deeper understanding of the flow processes is required.
    Schlagwort(e): Gas-Partikel-Klassierung ; Abweiseradsichter ; Mathematische Modellierung ; Numerische Simulation ; Optimierung ; Gas particle separation ; Centrifugal Classifier ; Mathematical Modeling ; Numerical Simulation ; Optimization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 64
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The aim of the present work is to develop an in-depth understanding of the microstructural changes in neutron-irradiated beryllium. In particular, it aims to reveal the precise mechanisms leading to the observed tritium retention.Both, helium and tritium could be detected for the first time by high-resolution electron energy loss spectroscopy (EELS) within bubbles in the grain interior as well as along grain boundaries.
    Schlagwort(e): Beryllium ; Wasserstoff ; Mikrostruktur ; EELS ; Bestrahlung ; beryllium ; hydrogen ; microstructure ; irradiation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 65
    Publikationsdatum: 2024-04-11
    Beschreibung: The quality and performance of components is largely determined by the execution of the manufacturing processes involved. The process result depends -- in addition to the initial state of the component and the process -- on the course of the process. In many manufacturing processes, the course of the process can be decisively determined by manipulated variables that change over time. This work deals with methods to optimize these time-varying quantities under fluctuating process conditions. The quality of components depend to a large extent on the execution of the industrial processes involved in manufacturing. In addition to the initial conditions of the component and the process, the process result depends on the course of the process, which often can be significantly determined by time-varying manipulated variables. Methods for the optimization of these time-dependent quantities with regard to the component quality and depending on process conditions is the subject of this work.
    Schlagwort(e): Maschinelles Lernen; Entscheidungsoptimierung; Bestärkendes Lernen; Prozesspfadoptimierung; Optimale Regelung; machine learning; reinforcement learning; decision optimization; process optimization; optimal control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 66
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In engineering work, the optimization of the microstructure of a material, of mechanically loaded components and of components influencing the flow behaviour is important. Understanding the behavior of flows in geological structures can be used to optimize the design of geothermal power plants. In this thesis, methods from continuum mechanics, fluid mechanics and the phase field method are presented for the optimization of such processes and examples of optimizations are shown.
    Schlagwort(e): Kontinuumsmechanik ; Strömungsmechanik ; Phasenfeldmethode ; Topologieoptimierung ; continuum mechanics ; fluid mechanics ; phase field method ; topology optimization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 67
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This work offers three solutions tailored to specific applications to overcome NMR challenges in the micro-domain. As the first sub-topic of this work, different potential electrode designs, compatible with NMR technique, are suggested and experimentally evaluated. As the second focus point, this work tackles multinuclear detection challenges. In parallel, a low-cost, broadband insert is discussed to enhance the sensitivity of standard NMR coils when a small sample volume is available.
    Schlagwort(e): Broadband ; NMR sensor ; Micro-coil ; MEMS ; MRI ; NMR ; Kernresonanzspektroskopie ; Magnet-Resonanz-Tomographie ; Mikrospule ; Sensor ; Breitband ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 68
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Sheet Molding Compounds (SMC) are discontinuous fiber reinforced composites that are widely applied due to their ability to realize composite parts with long fibers at low cost. A novel Direct Bundle Simulation (DBS) method is proposed in this work to enable a direct simulation at component scale utilizing the observation that fiber bundles often remain in a bundled configuration during SMC compression molding.
    Schlagwort(e): Sheet Molding Compound ; Fließpressen ; Prozesssimulation ; CoDiCoFRP ; Compression Molding ; Process simulation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 69
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This work presents novel simulation techniques for injection molding of fiber reinforced polymers. These include approaches for anisotropic flow modeling, hydrodynamic forces from fluid on fibers, contact forces between fibers, a novel fiber breakage modeling approach and anisotropic warpage analysis. Due to the coupling of fiber breakage and anisotropic flow modeling, the fiber breakage directly influences the modeled cavity pressure, which is validated with experimental data.
    Schlagwort(e): Spritzgusssimulation ; anisotropes Fließen ; Faserbruch ; Faserkräfte ; Verzugsanalyse ; injection molding simulation ; anisotropic flow ; fiber breakage ; fiber forces ; warpage analysis ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 70
    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 ...
  • 71
    Publikationsdatum: 2024-04-11
    Beschreibung: Hierarchically structured active materials in electrodes of lithium-ion cells are promising candidates for increasing gravimetric energy density and improving rate capability of the system. To investigate the influence of cathode structures on the performance of the whole cell, efficient tools for calculating effective transport properties of granular systems are developed and their influence on the electrochemical performance is investigated in specially adapted cell models.
    Schlagwort(e): Hierarchisch strukturierte Kathoden; Widerstand-Netzwerk-Methoden; Zellmodellierung; Effektive Transporteigenschaften; Hierarchically structured cathodes; Resistor network methods; Cell modeling; Effective transport parameters ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 72
    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 ...
  • 73
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: A method based on the singular perturbation theory and the averaging method is developed for the dynamic analysis of hydraulic valves. Periodic solutions are calculated and stability is analyzed under the influence of non-smooth phenomena. Based on this analysis, reduced models are developed, which exhibit significantly improved computational time efficiency, both in the simulation of non-stationary motions as well as in nonlinear valve control.
    Schlagwort(e): hydraulisches Druckregelventil; singulär gestörtes System; nichtlineare Dynamik; nicht-glatte Dynamik; Regelung; hydraulic pressure control valve; singularly perturbed system; nonlinear dynamics; non-smooth dynamics; control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 74
    Publikationsdatum: 2024-04-11
    Beschreibung: Proteins are macromolecules composed of amino acids that are essential for a large number of biological metabolic processes. Proteins are also used in technical applications, for example to catalyze reactions. The objective of this work is to provide an indication of filterability early in the process development. A filtration cell for a centrifuge developed in this work makes it possible to characterize filtration on a small scale.
    Schlagwort(e): Proteinkristall; Fest-Flüssig-Trennung; Kleinstmaßstab; Bruch; Protein Crystal; Solid-Liquid Separation; Small Scale; Fracture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 75
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The proceedings of the 30th workshop on computational intelligence focus on methods, applications, and tools for fuzzy systems, artificial neural networks, deep learning, system identification, and data mining techniques.
    Schlagwort(e): Computational Intelligence ; Data Mining ; Deep Learning ; Machinelles Lernen ; Evolutionäre Algorithmen ; Machine Learning ; Evolutionary Algorithms ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 76
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The electrification of the power train as well as the automatisation of driving have a strong influence on chassis for future vehicles. Due to the possibility for recuperation using the electric motor a strong shift in the so far used load spectrum can be seen. Furthermore, this increases the high amount of requirements for brake systems. For understanding the interactions and for developing corresponding optimal systems for future vehicles, proper tools and concepts are necessary.
    Schlagwort(e): Bremssysteme; hydraulisch; by-Wire; Werkzeuge; Elektromobilität; brake systems; hydraulic; by-wire; tools; electrification ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 77
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: A physically-based dislocation theory of plasticity is derived within an extended continuum mechanical context. Thermodynamically consistent flow rules at the grain boundaries are derived. With an analytical solution of a three-phase periodic laminate, dislocation pile-up at grain boundaries and dislocation transmission through the grain boundaries are investigated. For the finite element implementations, numerically efficient approaches are introduced based on accumulated field variables.
    Schlagwort(e): Gradienten-Kristallplastizität ; Erweiterte Kontinuumstheorie ; Kontinuumsversetzungstheorie ; Korngrenzmodellierung ; Finite Elemente Methode ; Gradient Crystal Plasticity ; Extended Continuum Theory ; Continuum Dislocation Theory ; Grain Boundary Modeling ; Finite Element Method ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 78
    Publikationsdatum: 2024-04-11
    Beschreibung: This work focuses on the numerical investigation of fracture formation, crystallization, and crystal dissolution processes in subsurface hydrothermal environments on microscale. Phase-field models are presented and applied to these processes. The formation of mineral veins in limestones and in quartz-rich microstructures are modeled to investigate different factors which influence the evolving crystal structure. Moreover, crystal dissolution processes of different minerals are modeled.
    Schlagwort(e): Phasenfeldsimulation; Rissausbreitung; Kristallisation; Kristallauflösung; Mikrostrukturanalyse; phase-field simulation; fracture formation; crystallization; crystal dissolution; microstructure analysis ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 79
    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 ...
  • 80
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: The use of wheel-individual drives on the steered axle simultaneously enables propulsion and implementation of steering assistance. This work presents a closed-loop and open-loop method for controlling wheel-selective drives with the aim of reducing the steering wheel torque. The proposed optimal linear-quadratic-integral controller achieves a high control quality while ensuring driving safety and reducing energy consumption.
    Schlagwort(e): wheel individual ; steering assistance ; steering torque ; closed-loop control ; Open-loop control ; radselektiv ; Lenkkraftunterstützung ; Lenkradmoment ; Regelung ; Steuerung ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 81
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Infrastructure construction is society's cornerstone and economics' catalyst. Therefore, improving mobile machinery's efficiency and reducing their cost of use have enormous economic benefits in the vast and growing construction market. In this thesis, I envision a novel concept smart working site to increase productivity through fleet management from multiple aspects and with Artificial Intelligence (AI) and Internet of Things (IoT).
    Schlagwort(e): Smart Working Site; Multi Working Machine Pathfinding Algorithm; Multivariable Time Series Classification Algorithm; SLAM; 5G; IEEE 802.11p ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 82
    Publikationsdatum: 2024-04-11
    Beschreibung: Order fulfilment systems are forced to manage a volatile customer demand while meeting customer-required short order deadlines. To handle these challenges, we introduce the Strategy of Levelled Order Release (LOR) for workload balancing over time. The contributions of this work are (1) the workload balancing concept LOR, (2) a discrete-time Markov chain for performance analysis, and (3) an algorithm for capacity planning under performance constraints in order fulfilment systems with LOR.
    Schlagwort(e): Order fulfilment; Glättung; Kapazitätsplanung; Markov-Kette; ableitungsfreie Optimierung; order fulfilment; workload balancing; capacity planning; Markov chain; derivative-free optimisation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 83
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Recent studies of deformation mechanisms of metals and alloys pioneer the better investigation of the friction and wear behavior of materials with well-defined initial microstructures. Within this scope, in this work, the effect of sub-surface deformations on the resulting friction and wear behavior has been searched by means of a systematic experimental study on Au-Ni metallic multilayer model alloy system.
    Schlagwort(e): Reibung und Verschleiß ; Plastizität ; nanocrystalline ; plasticity ; grain boundary ; dislocation ; friction and wear ; Au-Ni multilayers ; Nanokristallin ; Korngrenze ; Versetzung ; Au-Ni Multilagen ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 84
    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 ...
  • 85
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, modular damage reduction assistance systems are investigated. Identification modules provide information about the current driving and working state, the machine operator, the bulk material mass and system parameters. Damage modules with complexity reduced calculation approaches allow a quantification of the machine damage. Possible applications and the potential of the assistance systems are demonstrated in a model-based development environment.
    Schlagwort(e): Assistenzsysteme ; Schädigungsreduktion ; Machine Learning ; Modellbasierte Entwicklung ; Radlader ; assistance systems ; damage reduction ; machine learning ; model-based development ; wheel loader ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 86
    Publikationsdatum: 2024-04-11
    Beschreibung: Ferromagnetic inhomogeneities along the track serve as landmarks. With these, each track section in the track network can be uniquely identified. In addition to non-contact speed determination, this also provides a track-selective method for determining the absolute position of the rail vehicle.
    Schlagwort(e): bordautonome Lokalisierung ; berührungslose Geschwindigkeitsmessung ; ferromagnetische Inhomogenitäten ; ferromagnetische Signaturen ; Schienenfahrzeug ; high accuracy velocity and position estimation ; ferromagnetic inhomogeneities ; ferromagnetic signatures ; rail vehicle ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 87
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This contribution presents an analytical and a numerical model for predicting the effective thermal conductivity of porous electrode coatings as a function of microstructure parameters. Both models account for the morphological parameters and the thermal bulk materials of the constitutive cell components. The results of both models have been successfully verified against each other and validated with literature data as well as own experimental measurements.
    Schlagwort(e): thermal conductivity ; thermal transport properties ; porous electrodes ; lithium-ion cell ; lithium-ion battery ; Wärmeleitfähigkeit ; thermische Transporteigenschaften ; poröse Elektroden ; Lithium-Ionen Zelle ; Lithium-Ionen Batterie ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 88
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: Fiber-reinforced materials offer a huge potential for lightweight design of load-bearing structures. However, high-volume production of such parts is still a challenge in terms of cost efficiency and competitiveness. Numerical process simulation can be used to analyze underlying mechanisms and to find a suitable process design. In this study, the curing process of the resin is investigated with regard to its influence on RTM mold filling and process-induced distortion.
    Schlagwort(e): Prozesssimulation ; Leichtbau ; Faserverbundwerkstoff ; Formfüllsimulation ; Bauteilverzug ; process simulation ; lightweight design ; composite ; mold-filling simulation ; process-induced distortion ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 89
    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 ...
  • 90
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, the influence of compaction of LiNi1/3Co1/3Mn1/3O2 and graphite-based electrodes is characterized electrochemically at current rates between C/20 and 5C in a wide porosity range from uncompacted states to porosities 〈 20%. From the determined capacitances, gravimetric and volumetric considerations, among others, are presented in Ragone plots and correlated with the microstructural analysis findings.
    Schlagwort(e): Lithium-Ionen-Zellen ; Elektrodenfertigung ; Elektroden-Mikrostruktur ; elektrochemische Eigenschaften ; Lithium ion batteries ; electrode manufacturing ; electrode microstructure ; electrochemical properties ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 91
    Publikationsdatum: 2024-04-11
    Beschreibung: This study investigates the effects of swirl on the supersonic wake of longitudinally-aligned axisymmetric afterbodies. The swirl was introduced upstream of the base corner by either spinning non-canted or non-spinning canted fins. Depending on the introduced swirl rate, both the experimental and numerical results show two distinctively different wake flow structures. The fluid-dynamic processes present in the rotating wakes and the resulting structural changes are analyzed in detail.
    Schlagwort(e): Überschallnachlauf ; Drall ; Wirbelaufplatzen ; Windkanalmessungen ; Numerische Simulationen ; supersonic wake flow ; swirl ; vortex breakdown ; wind-tunnel measurements ; numerical simulations ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 92
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, contributes to the optimization of local continuous fiber reinforcement patches, under consideration of manufacturing constraints. This approach requires specific optimization strategies. Therefore, an multi-objective optimization strategy for the placement of local reinforcement patches, under consideration of manufacturing constraints, has been developed. During the multi objective optimization, structural and process related objectives are considered.
    Schlagwort(e): Faserverbund ; Optimierung ; Fertigungsrandbedingungen ; Simulation ; composites ; optimization ; manufacturing constraints ; simulation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    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 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 ...
  • 94
    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 ...
  • 95
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: This book contains the collected conference proceedings to the lectures of the 8th symposium on 23rd February 2021 in Karlsruhe. The state of research and new developments in the field of drive technology for mobile machines are reported in 11 articles. The conference proceedings are characterised by technical contributions on intelligent machine control systems, innovative electrical drives and development methods for off-highway vehicles.
    Schlagwort(e): Hybrid ; Antrieb ; Mobile Arbeitsmaschine ; Elektrifizierung ; Industrie 4.0 ; Drive Technology ; Mobile Machine ; Electrification ; Industry 4.0 ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Deutsch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 96
    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 ...
  • 97
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In motion planning for automated vehicles, a thorough uncertainty consideration is crucial to facilitate safe and convenient driving behavior. This work presents three motion planning approaches which are targeted towards the predominant uncertainties in different scenarios, along with an extended safety verification framework. The approaches consider uncertainties from imperfect perception, occlusions and limited sensor range, and also those in the behavior of other traffic participants.
    Schlagwort(e): Bewegungsplanung ; Planung unter Unsicherheiten ; Entscheidungsfindung ; Automatisiertes Fahren ; POMDP ; Motion Planning ; Planning under Uncertainty ; Decision-Making ; Automated Vehicles ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 98
    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 ...
  • 99
    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 ...
  • 100
    facet.materialart.
    Unbekannt
    KIT Scientific Publishing | KIT Scientific Publishing
    Publikationsdatum: 2024-04-11
    Beschreibung: In this work, initially, the requirements on a simulation model of the non-isothermal stamp forming process of unidirectional fiber-reinforced, and thermoplastic tape laminates are investigated experimentally. On this basis, different isothermal as well as a fully coupled thermomechanical simulation model under consideration of the crystallization kinetics are developed. For validation, a complex shaped geometry is simulated and compared to experimental forming results.
    Schlagwort(e): Prozesssimulation ; Umformung ; UD tape ; Finite Elemente Analyse ; thermoplastisch ; process simulation ; forming ; Finite Element Analysis ; thermoplastic ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials
    Sprache: Englisch
    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...