Refine
Year of publication
Document Type
- Article (387)
- Conference Proceeding (318)
- Part of a Book (72)
- Workingpaper / Report (34)
- Master's Thesis (8)
- Book (5)
- Doctoral Thesis (5)
- Collection (4)
- Preprint (4)
- Patent (3)
Language
- English (851) (remove)
Keywords
- VSVR (39)
- DOAJ (37)
- Virtual (TV) Studio (23)
- FHD (22)
- Forena (12)
- Poster (8)
- security (8)
- security requirement (7)
- DEAL (6)
- Lehre (6)
Department/institution
- Fachbereich - Medien (343)
- Fachbereich - Maschinenbau und Verfahrenstechnik (295)
- Creative Media Production and Entertainment Computing (142)
- Fachbereich - Sozial- & Kulturwissenschaften (90)
- Fachbereich - Elektro- & Informationstechnik (67)
- Sound and Vibration Engineering (42)
- Digitale Vernetzung und Informationssicherheit (30)
- Fachbereich - Architektur (22)
- Fachbereich - Wirtschaftswissenschaften (18)
- Intelligente Mensch-Technik-Interaktion (12)
A mobile phone the size of a candy bar offers dozens of complex functions, a masterpiece of engineering. Unfortunately, the more functions are available, the less they are accessible to the average user. The design of the user interface suffers from a lack of suitability for the tasks, does not conform to user expectations and a suboptimal self-descriptiveness. The usability of modern mobile phones was tested in a broad survey with over 1300 participants. An internet based simulation offered tasks and an online evaluation. It could be pointed out that mobile phones are not only hard to access for novices but also those who consider themselves experts have difficulties when confronted with unknown functions or another brand of phone. Approaches to increase the usability are discussed.
Striving for smaller losses in turbomachinery has led to many advancements in the design of seals. Modern sealing concepts such as brush seals hold a great potential to increase the efficiency of both flight engines and stationary turbines. At the same time, in order to maintain stable operating conditions of the rotor, swirl-induced forces must be kept at a minimum in the sealing channels. Therefore, the influence of the permeable and flexible bristle pack of brush seals on the flow around the rotor surface must be known. In this paper the swirl flow in the cavities of two different seal geometries is studied experimentally and numerically. A conventional three-tooth labyrinth serves as a reference. A second seal arrangement with a bristle pack upstream of two teeth is compared with the reference labyrinth. The swirl is evaluated experimentally from total and static pressure measurements in various axial and circumferential positions. Additionally, the axial swirl distribution is calculated using computational fluid dynamics (CFD). Here, the numerical model of the brush seal is based on the porous medium approach and is calibrated using the experimental values of the leakage and the bristle clearance by adjusting the thickness of the bristle pack. The calibrated CFD model is then used to study the impact of the brush seal on the swirl component of the sealing flow. The observed significant decrease of the swirl by the brush seal shows good agreement with the experimental data. The impact of changes in bristle pack clearance on the swirl is also investigated and compared with experimental evidence. The aim is to show that the brush seals have a natural tendency to interrupt seal swirl. They can therefore be used for swirl control in order to create a beneficial impact on the dynamic stability of turbomachines.
Multi-user virtual reality is transforming towards a social activity that is no longer only used by remote users, but also in large-scale location-based experiences. Usage of realtime-tracked avatars in co-located business-oriented applications with a ”guide-user-scenario” is examined for user-related factors of Spatial Presence, Social Presence, User Experience and Task Load. A user study was conducted in order to compare both techniques of a realtime-tracked avatar and a non-visualised guide. Results reveal that the avatar-guide enhanced and stimulated communicative processes while facilitating interaction possibilities and creating a higher sense of mental immersion for users and engagement.
Artificial intelligence methods based on machine learning or artificial neural networks have become indispensable in camera-based driver assistance systems, and also represent an essential building block for future autonomous driving. However, the great successes of these evaluation methods in environment perception and also driving planning are accompanied by equally great challenges in the validation and verification of these systems. One of the essential aspects for this is the required guaranteed safety of the functions under mass production conditions of the vehicles. This article explains this point of view using a detailed example from the field of camera-based driver assistance systems: the determination of inspection limits at the end of the production line. The camera is one of the most important sensor modalities for vehicle environment sensing and as such, the quality of the camera systems plays a key role in the safety argumentation of the overall system. Several illustrative application examples (role of simulations, calibration, influence of the windshield) will be presented. The basic ideas presented can be well transferred to the other sensor modalities (lidar, radar, ToF, etc.). The investigations/evidence show that doubts are allowed whether or how fast autonomous driving on level L4/5 will take hold as robotaxis or – even more challenging – in private ownership on a larger scale.
Augmented reality for supporting manual non-destructive ultrasonic testing of metal pipes and plates
(2018)
We describe an application of augmented reality technology for non-destructive testing of products in the metal-industry. The prototype is created with hard- and software, that is usually employed in the gaming industry, and delivers positions for creating ultra- sonic material scans (C-scans). Using a stereo camera in combination with an hmd enables realtime visualisation of the probes path, as well as the setting of virtual markers on the specimen. As a part of the implementation the downhill simplex optimization algorithm is implemented to fit the specimen to a cloud of recorded surface points. The accuracy is statistically tested and evaluated with the result, that the tracking system is accurate up to ca. 1-2 millimeters in well set-up conditions. This paper is of interest not only for research institutes of the metal-industry, but also for any areas of work, in which the enhancement with augmented reality is possible and a precise tracking is necessary.
Through constant technical progress, multi-user virtual reality is transforming towards a social activity that is no longer only used by remote users, but also in large-scale location-based experiences. We evaluate the usage of realtime-tracked avatars in co-located business-oriented applications in a "guide-user-scenario" in comparison to audio only instructions. The present study examined the effect of an avatar-guide on the user-related factors of Spatial Presence, Social Presence, User Experience and Task Load in order to propose design guidelines for co-located collaborative immersive virtual environments. Therefore, an application was developed and a user study with 40 participants was conducted in order to compare both guiding techniques of a realtime-tracked avatar guide and a non-visualised guide with otherwise constant conditions. Results reveal that the avatar-guide enhanced and stimulated communicative processes while facilitating interaction possibilities and creating a higher sense of mental immersion for users. Furthermore, the avatar-guide appeared to make the storyline more engaging and exciting while helping users adapt to the medium of virtual reality. Even though no assertion could be made concerning the Task Load factor, the avatar-guide achieved a higher subjective value on User Experience. Due to the results, avatars can be considered valuable social elements in the design of future co-located collaborative virtual environments.
Asset management for distribution networks with high penetration of distributed energy resources
(2018)
Musicians and music professionals are often considered to be expert listeners for listening tests on room acoustics. However, these tests often target acoustic parameters other than those typically relevant in music such as pitch, rhythm, amplitude, or timbre. To assess the expertise in perceiving and understanding room acoustical phenomena, a listening test battery was constructed to measure the perceptual sensitivity and cognitive abilities in the identification of rooms with different reverberation times and different spectral envelopes. Performance in these tests was related to data from the Goldsmiths Musical Sophistication Index, self-reported previous experience in music recording and acoustics, and academic knowledge on acoustics. The data from 102 participants show that sensory and cognitive abilities are both correlated significantly with musical training, analytic listening skills, recording experience, and academic knowledge on acoustics, whereas general interest in and engagement with music do not show any significant correlations. The regression models, using only significantly correlated criteria of musicality and professional expertise, explain only small to moderate amounts (11%–28%) of the variance in the “room acoustic listening expertise” across the different tasks of the battery. Thus, the results suggest that the traditional criteria for selecting expert listeners in room acoustics are only weak predictors of their actual performances.
Artificial intelligence and design of experiments for resource adequacy assessment in power systems
(2024)
Assessing the effects of the energy transition and liberalization of energy markets on resource adequacy is an increasingly important and demanding task. The rising complexity in energy systems requires adequate methods for energy system modeling leading to increased computational requirements. Furthermore, with complexity, uncertainty increases likewise calling for probabilistic assessments and scenario analyses. To adequately and efficiently address these various requirements, new methods from the field of data science are needed to accelerate current methods. With our systematic literature review, we want to close the gap between the three disciplines (1) assessment of security of electricity supply, (2) artificial intelligence, and (3) design of experiments. For this, we conduct a large-scale quantitative review on selected fields of application and methods and make a synthesis that relates the different disciplines to each other. Among other findings, we identify metamodeling of complex security of electricity supply models using AI methods and applications of AI-based methods for forecasts of storage dispatch and (non-)availabilities as promising fields of application that have not sufficiently been covered, yet. We end with deriving a new methodological pipeline for adequately and efficiently addressing the present and upcoming challenges in the assessment of security of electricity supply.
Airborne volcanic ash particles are a known hazard to aviation. Currently, there are no means available to detect ash in flight as the particles are too fine (radii < 30 μm) for on-board radar detection and, even in good visibility, ash clouds are difficult or impossible to detect by eye. The economic cost and societal impact of the April/May 2010 Icelandic eruption of Eyjafjallajökull generated renewed interest in finding ways to identify airborne volcanic ash in order to keep airspace open and avoid aircraft groundings. We have designed and built a bi-spectral, fast-sampling, uncooled infrared camera device (AVOID) to examine its ability to detect volcanic ash from commercial jet aircraft at distances of more than 50 km ahead. Here we report results of an experiment conducted over the Atlantic Ocean, off the coast of France, confirming the ability of the device to detect and quantify volcanic ash in an artificial ash cloud created by dispersal of volcanic ash from a second aircraft. A third aircraft was used to measure the ash in situ using optical particle counters. The cloud was composed of very fine ash (mean radii ~10 μm) collected from Iceland immediately after the Eyjafjallajökull eruption and had a vertical thickness of ~200 m, a width of ~2 km and length of between 2 and 12 km. Concentrations of ~200 μg m(-3) were identified by AVOID at distances from ~20 km to ~70 km. For the first time, airborne remote detection of volcanic ash has been successfully demonstrated from a long-range flight test aircraft.
CAD/CAM techniques are used increasingly in dentistry for design and fabrication of teeth restorations. An important issue is preserving occlusal contacts of teeth after restoration. Traditional techniques based on the use of casts with mechanical articulators require manual adjustment of occlusal surface, which becomes impractical when hard restoration materials like porcelain are used; they are also time and labor consuming. Most existing computer systems ignore completely such an articulation check, or perform the check at the level of a tooth and its immediate neighbors. We present a new mathematical model and a related user interface for global articulation simulation, developed for the Intelligent Dental Care System project. The aim of the simulation is elimination of the use of mechanical articulators and manual adjustment in the process of designing dental restorations and articulation diagnostic. The mathematical model is based upon differential topological modeling of the jawbs considered as a mechanical system. The user interface exploits metaphors that are familiar to dentists from everyday practice. A new input device designed specifically for use with articulation simulation is proposed.
Mobile live video streaming is becoming an increasingly popular form of interaction both in social media and remote collaboration scenarios. However, in most cases the streamed video does not take mobile devices' spatial data into account (e.g., the viewers do not know the spatial orientation of a streamer), or use such data only in specific scenarios (e.g., to navigate around a spherical video stream).
Applicability of Aeroacoustic Scaling Laws of Leading Edge Serrations for Rotating Applications
(2020)
Camera-based object detection is widely used in safety-critical applications such as advanced driver assistance systems (ADAS) and autonomous vehicle research. Road infrastructure has been designed for human vision, so computer vision, with RGB cameras, is a vital source of semantic information from the environment. Sensors, such as LIDAR and RADAR, are also often utilized for these applications; however, cameras provide a higher spatial resolution and color information. The spatial frequency response (SFR), or sharpness of a camera, utilized in object detection systems must be sufficient to allow a detection algorithm to localize objects in the environment over its lifetime reliably. This study explores the relationship between object detection performance and SFR. Six state-of-the-art object detection models are evaluated with varying levels of lens defocus. A novel raw image dataset is created and utilized, containing pedestrians and cars over a range of distances up to 100-m from the sensor. Object detection performance for each defocused dataset is analyzed over a range of distances to determine the minimum SFR necessary in each case. Results show that the relationship between object detection performance and lens blur is much more complex than previous studies have found due to lens field curvature, chromatic aberration, and astigmatisms. We have found that smaller objects are disproportionately impacted by lens blur, and different object detection models have differing levels of robustness to lens blur
Over the past decades, research in room acoustics has established several derivative measures of an impulse response, some of which are incorporated in the ISO 3382 standards. These parameters intend to represent perceptual qualities, but were developed without a consistent modeling of room acoustical perception. More recent research proposed comprehensive inventories of room acoustic perception that are purely based on evaluations by human subjects, such as the Room Acoustical Quality Index (RAQI). In this work RA-QI scores acquired for 70 room impulse responses were predicted from room acoustical parameters. Except for Reverberance, the prediction of RAQI factors performed rather poor. In most cases, the sound source had a greater impact on RAQI scores. All analyses are published in an online tool, where users can upload omnidirectional and binaural impulse responses, and instantly obtain and visualize several physical descriptors, as well as predicted RAQI scores for three different sound sources. So far, acceptable prediction accuracy is achieved for Reverberance, Strength, Irregular Decay, Clarity and Intimacy. Larger data sets of evaluated impulse responses are required to improve the model performance and enable reliable predictions of room acoustical quality. Therefore, the administration of RAQI evaluations within the website is currently being developed.
We present a process to develop secure software with an extensive pattern-based security requirements engineering phase. It supports identifying and analyzing conflicts between different security requirements. In the design phase, we proceed by selecting security software components that achieve security requirements. The process enables software developers to systematically identify, analyze, and finally realize security requirements using security software components. We illustrate our approach by a lawyer agency software example.
Considering legal aspects during software development is a challenging problem, due to the cross-disciplinary expertise required. The problem is even more complex for cloud computing systems, because of the international distribution, huge amounts of processed data, and a large number of stakeholders that own or process the data. Approaches exist to deal with parts of the problem, but they are isolated from each other. We present an integrated method for elicitation of legal requirements. A cloud computing online banking scenario illustrates the application of our methods. The running example deals with the problem of storing personal information in the cloud and based upon the BDSG (German Federal Data Protection Act). We describe the structure of the online banking cloud system using an existing pattern-based approach. The elicited information is further refined and processed into functional requirements for software development. Moreover, our method covers the analysis of security-relevant concepts such as assets and attackers particularly with regard to laws. The requirements artifacts then serve as inputs for existing patterns for the identification of laws relevant for the online banking cloud system. Finally, our method helps to systematically derive functional as well as security requirements that realize the previously identified laws.
This study aims to optimize the power generation of a conventional Manzanares solar chimney (SC) plant through strategic modifications to the collector inlet height, chimney diameter, and chimney divergence. Employing a finite volume-based solver for numerical analysis, we systematically scrutinize influential geometric parameters, including collector height (hi = 1.85 to 0.1 m), chimney inlet diameter (dch = 10.16 to 55.88 m), and chimney outlet diameter (do = 10.16 to 30.48 m). Our findings demonstrate that reducing the collector inlet height consistently leads to increased power output. The optimal collector inlet height of hi = 0.2 m results in a significant power increase from 51 to 117.42 kW (~ 2.3 times) without additional installation costs, accompanied by an efficiency of 0.25%. Conversely, enlarging the chimney diameter decreases the chimney base velocity and suction pressure. However, as turbine-driven power generation rises, the flow becomes stagnant beyond a chimney diameter of 45.72 m. At this point, power generation reaches 209 kW, nearly four times greater than the Manzanares plant, with an efficiency of 0.44%. Nevertheless, the cost of expanding the chimney diameter is substantial. Furthermore, the impact of chimney divergence is evident, with power generation, collector efficiency, overall efficiency, and collector inlet velocity all peaking at an outer chimney diameter of 15.24 m (corresponding to an area ratio of 2.25). At this configuration, power generation increases to 75.91 kW, approximately 1.5 times more than the initial design. Remarkably, at a low collector inlet height of 0.2 m, combining it with a chimney diameter of 4.5 times the chimney inlet diameter (4.5dch) results in an impressive power output of 635.02 kW, signifying a substantial 12.45-fold increase. To model the performance under these diverse conditions, an artificial neural network (ANN) is effectively utilized.
Leading edge serrations are well-known for their aeroacoustic potential in reducing aerofoil-turbulence interaction noise and are also associated with certain aerodynamic advantages. To prepare leading edge serrations for industrial application, two obstacles remain to be addressed. First is a combined analysis of the aeroacoustic and the aerodynamic performance of leading edge serrations to develop optimum designs. Second is the need to examine the transferability of the known effects of leading edge serrations from a single aerofoil to full rotors, which are considered to be the final area of application.
This thesis aims to assist in the transfer of a well-investigated aerofoil with serrated leading edges from the rigid to the rotating domain. With this purpose, a single aerofoil type is selected and thoroughly analysed, experimentally and numerically, to generate a reliable data basis for aerodynamic performance and noise reduction capability. Aside from gathering information on the overall performance, the spatial distribution of the noise sources is localised, and the spectral composition of the noise reduction is found to follow a clearly defined scaling law. Aerodynamically, generated vortices are found to be responsible for a complex three-dimensional separation mechanism of the leading edge serrations, causing a delay of stall.
The generated data basis is then used to design low-pressure axial fans of minimum complexity by keeping the initially chosen aerofoil type. The experimentally identified noise reduction mechanisms for the serrated axial fans are found to be more diverse than the single aerofoil and highly dependent on the inflow conditions and the operation point of the fan. A highly similar pattern for the spectral scaling of the noise reduction supports the finding that at optimum operation conditions, the previously identified noise reduction mechanisms for the single aerofoils are transferable to the rotating domain. On the other hand, additional aerodynamic mechanisms are found to dominate the noise reduction for the instability region of the fan, also contributing to reduced blade-to-blade interaction effects. Moreover, the blade-tip leakage flow is altered by delaying the development of coherent structures.
The next step towards a more general description of the aeroacoustic and aerodynamic dependencies is developing a comprehensive model based on artificial neural networks. This model allows a combined analysis of the aerodynamic and acoustic performance of rotors with serrated leading edges and shows an accurate prediction of the overall performance and the spectral composition of the radiated noise. It also enables the development of multi-objective optima for serration designs and motivates further studies into the generalisability of the observed trends. Furthermore, the developed model represents a feasible tool to create tailored serration designs for maximum efficiency in both aeroacoustics and aerodynamics, contributing to the development of future low-noise fans and rotating machinery.
The Chylla–Haase polymerization reactor is widely accepted as a benchmark process for the evaluation of control strategies for batch reactors. In this contribution a control concept based on Exact I/O-Linearization is proposed and compared to a conventional cascade control structure. In order to adapt the exact linearization control strategy to various polymerization products and batch conditions, an advanced probabilistic inference algorithm (Sigma-Point Kalman Filter) is applied and investigated. Sigma-Point Kalman Filters have the major improvement of simplified implementation compared to local linearization methods (i.e. Extended Kalman Filter) because no analytical Jacobians are required. Stochastic simulation studies are introduced and show the effectiveness, accuracy and benefit of the control concept. Within several scenarios a satisfying robustness against structural errors in the underlying model equations for the nonlinear control law and the inference algorithm is demonstrated. Furthermore it is pointed out, that with little effort in reassembling the plant design, control performance can be improved significantly.
To power dynamic processes in cells, the actin and microtubule cytoskeletons organize into complex structures. Although it is known that cytoskeletal coordination is vital for cell function, the mechanisms by which cross-linking proteins coordinate actin and microtubule activities remain poorly understood. In particular, it is unknown how the distinct mechanical properties of different actin architectures modulate the outcome of actin-microtubule interactions. To address this question, we engineered the protein TipAct, which links growing microtubule ends via end-binding proteins to actin filaments. We show that growing microtubules can be captured and guided by stiff actin bundles, leading to global actin-microtubule alignment. Conversely, growing microtubule ends can transport, stretch and bundle individual actin filaments, thereby globally defining actin filament organization. Our results provide a physical basis to understand actin-microtubule cross-talk, and reveal that a simple cross-linker can enable a mechanical feedback between actin and microtubule organization that is relevant to diverse biological contexts.
Actin droplet machine
(2019)
The actin droplet machine is a computer model of a three-dimensional network of actin bundles developed in a droplet of a physiological solution, which implements mappings of sets of binary strings. The actin bundle network is conductive to travelling excitations, i.e. impulses. The machine is interfaced with an arbitrary selected set of k electrodes through which stimuli, binary strings of length k represented by impulses generated on the electrodes, are applied and responses are recorded. The responses are recorded in a form of impulses and then converted to binary strings. The machine's state is a binary string of length k: if there is an impulse recorded on the ith electrode, there is a '1' in the ith position of the string, and '0' otherwise. We present a design of the machine and analyse its state transition graphs. We envisage that actin droplet machines could form an elementary processor of future massive parallel computers made from biopolymers.
The PSFC, or Pioneer Sound Field Controller, is a DSP-driven hemispherical loudspeaker array, installed at the University of Aizu Multimedia Center. The PSFC features realtime manipulation of the primary components of sound spatialization for each of two audio sources located in a virtual environment, including the content (apparent direction and distance) and context (room characteristics: reverberation level, room size and liveness). In an alternate mode, it can also direct the destination of the two separate input signals across 14 loudspeakers, manipulating the direction of the virtual sound sources with no control over apparent distance other than that afforded by source loudness (including no simulated environmental reflections or reverberation). The PSFC speaker dome is about 10 m in diameter, accommodating about fifty simultaneous users, including about twenty users comfortably standing or sitting near its ``sweet spot,'' the area in which the illusions of sound spatialization are most vivid. Collocated with a large screen rear-projection stereographic display, the PSFC is intended for advanced multimedia and virtual reality applications.
A swirling pulverized coal flame is computationally investigated. A Eulerian–Lagrangian formulation is used to describe the two-phase flow. Turbulence is modelled within a RANS (Reynolds averaged numerical simulation) framework. Four turbulence viscosity- (TV) based models, namely the standard k-ε model, realizable k-ε model, renormalization group theory k-ε model, and the shear stress transport k-ω model are used. In addition, a Reynolds stress transport model (RSM) is employed. The models are assessed by comparing the predicted velocity fields with the measurements of other authors. In terms of overall average values, the agreement of the predictions to the measurements is observed to be within the range 20–40%. A better performance of the RSM compared to the TV models is observed, with a nearly twice as better overall agreement to the experiments, particularly for the swirl velocity. In the second part of the investigation, the resolution of the discrete particle phase in modelling the turbulent particle dispersion (TPD) and particle size distribution (SD) is investigated. Using the discrete random walk model for the TPD, it is shown that even five random walks are sufficient for an accuracy that is quite high, with a less than 1% mean deviation from the solution obtained by thirty random walks. The approximation of the measured SD is determined by a continuous Rosin–Rammler distribution function, and inaccuracies that can occur in its subsequent discretization are demonstrated and discussed. An investigation on the resolution of the SD by discrete particle size classes (SC) indicates that 12 SC are required for an accuracy with a less than 1% mean deviation from the solution with 18 SC. Although these numbers may not necessarily be claimed to be sufficiently universal, they may serve as guidance, at least for SD with similar characteristics
We give an enumeration of possible problem frames, based on domain characteristics, and comment on the usefulness of the obtained frames. In particular, we investigate problem domains and their characteristics in detail. This leads to fine-grained criteria for describing problem domains. As a result, we identify a new type of problem domain and come up with integrity conditions for developing useful problem frames. Taking a complete enumeration of possible problem frames (with at most three problem domains, of which only one is constrained) as a basis, we find 8 new problem frames, 7 of which we consider as useful in practical software development.
A Sound Spatialization Server for a Speaker Array as an Integrated Part of a Virtual Environment
(1998)
Spatial sound plays an important role in virtual reality environments, allowing orientation in space, giving a feeling of space, focusing the user on events in the scene, and substituting missing feedback cues (e.g., force feedback). The sound spatialization framework of the University of Aizu, which supports number of spatialization backends, has been extended to include a sound spatialization server for a multichannel loudspeaker array (Pioneer Sound Field Control System). Our goal is that the spatialization server allows easy integration into virtual environments. Modeling of distance cues, which are essential for full immersion, is discussed. Furthermore, the integration of this prototype into different applications allowed us to reveal the advantages and problems of spatial sound for virtual reality environments.
In a virtual reality environment, users are immersed in a scene with objects which might produce sound. The responsibility of a VR environment is to present these objects, but a practical system has only limited resources, including spatialization channels (mixels), MIDI/audio channels, and processing power. A sound spatialization resource manager, introduced in this thesis, controls sound resources and optimizes fidelity (presence) under given conditions, using a priority scheme based on psychoacoustics. Objects which are spatially close together can be coalesced by a novel clustering algorithm, which considers listener localization errors. Application programmers and VR scene designers are freed from the burden of assigning mixels and predicting sound source locations. The framework includes an abstract interface for sound spatialization backends, an API for the VR environments, and multimedia authoring tools.
Today, the use of renewable energies and recycling of climate-changing gases are increasingly important. In this context,coupling of methanation with small, decentralized CO2sources such as biogas plants provides one possibility. However,fluctuating availability of renewables for hydrogen production in combination with small storage volumes result in anenhanced demand for dynamic process operation. This leads to new research challenges with respect to the required cata-lysts and the overall process design. To draw reliable conclusions about the catalytic performance under dynamic processoperation, the mechanism of the methanation reaction as well as typical deactivation procedures of the catalyst appliedunder steady-state conditions have to be reviewed thoroughly.
We present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security problems and associated solution approaches. They are arranged in a pattern system that makes dependencies between them explicit. We describe step-by-step how the pattern system can be used to analyze a given security problem and how solution approaches can be found. Further, we introduce a new frame that focuses on the privacy requirement anonymity.
The Common Lisp Interface Manager (CLIM) is used to develop graphical user interfaces for Lisp-basedapplications. With the prototype of the CLIM interface Builder (CLIB) the programmer can generate code for CLIM interactively. The developing process will be fast and less prone to errors. With this new tool, the interactive rapid prototyping reduces costs of a specification phase. Here we present the concept and first results of the prototype of CLIB.
The authors present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security problems and associated solution approaches. They are arranged in a pattern system that makes dependencies between them explicit. The authors describe step-by-step how the pattern system can be used to analyze a given security problem and how solution approaches can be found. Afterwards, the security problems and the solution approaches are formally modeled in detail. The formal models serve to prove that the solution approaches are correct solutions to the security problems. Furthermore, the formal models of the solution approaches constitute a formal specification of the software to be developed. Then, the specification is implemented by generic security components and generic security architectures, which constitute architectural patterns. Finally, the generic security components and the generic security architecture that composes them are refined and the result is a secure software product built from existing and/or tailor-made security components.
We present a pattern system/or security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of problem frames that serve to structure, characterize, analyze, and finally solve software development problems in the area of software and system security. We equip each frame with formal preconditions and postconditions. The analysis of these conditions results in a pattern system that explicitly shows the dependencies between the different frames. Moreover, we indicate related frames, which are commonly used together with the considered frame. Hence, our approach helps security engineers to avoid omissions and to cover all security requirements that are relevant for a given problem.