Refine
Year of publication
Document Type
- Article (reviewed) (277) (remove)
Keywords
- 3D printing (7)
- blockchain (6)
- neuroprosthetics (5)
- Blockchain (4)
- Götz von Berlichingen (4)
- lithium-ion battery (4)
- mechanical properties (4)
- Acceptance (3)
- Adsorption (3)
- COVID-19 (3)
Institute
- Fakultät Maschinenbau und Verfahrenstechnik (M+V) (115)
- Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) (74)
- INES - Institut für nachhaltige Energiesysteme (47)
- Fakultät Elektrotechnik und Informationstechnik (E+I) (bis 03/2019) (35)
- Fakultät Wirtschaft (W) (31)
- Fakultät Medien (M) (ab 22.04.2021) (17)
- ivESK - Institut für verlässliche Embedded Systems und Kommunikationselektronik (15)
- POIM - Peter Osypka Institute of Medical Engineering (13)
- IMLA - Institute for Machine Learning and Analytics (9)
- ACI - Affective and Cognitive Institute (6)
Open Access
- Open Access (277) (remove)
Formal verification (FV) is considered by many to be complicated and to require considerable mathematical knowledge for successful application. We have developed a methodology in which we have added formal verification to the verification process without requiring any knowledge of formal verification languages. We use only finite-state machine notation, which is familiar and intuitive to designers. Another problem associated with formal verification is state-space explosion. If that occurs, no result is returned; our method switches to random simulation after one hour without results, and no effort is lost. We have compared FV against random simulation with respect to development time, and our results indicate that FV is at least as fast as random simulation. FV is superior in terms of verification quality, however, because it is exhaustive.
The structure of the separation bubble that appears in the secondary meridional flow between two coaxially rotating spheres at low and finite Reynolds number (Re) is considered. The low Re analytical study was motivated by recognizing some errors in the analytical work on this problem by Arunachalam and Majhi (1987, Q. Jl Mech. Appl. Math., 40, 47) whilst the finite Re experimental study was motivated by the desire to observe the separation bubble in the laboratory. Though the finite Re experiments were performed in a confined apparatus, they exhibit the qualitative features of the low Re theoretical predictions for the axisymmetric separation bubble that encloses two toroidal vortices symmetrically disposed above and below the mid‐plane of sphere separation, but strong effects of confinement are apparent. The flows observed include (i) a wall‐attached bubble symmetric about the mid‐plane at low Re, (ii) symmetric free‐standing bubbles at moderate Re, and (iii) an asymmetric bubble with flow separating from one sphere and attaching to the support shaft between the spheres at sufficiently high Re.
Lattice vibrations and electronic transitions in the rare-earth metals: Praseodymium under pressure
(2004)
Praseodymium was investigated by Raman spectroscopy under pressure. A negative pressure shift of the E2g mode is observed in the dhcp phase, which indicates that the initial structural sequence hcp→Sm−type→dhcp→fcc as a whole in the regular lanthanides is associated with a softening of this mode. The pressure response of the phonon modes, observed in the monoclinic and α-uranium phases, where 4f bonding becomes important, is characteristic for anisotropic bonding properties.
The mobile devices related industries are subject to rapid change, driven by technological advances and dynamic consumer behaviour. Hence, the understanding of the mobile devices markets is an important step in the analysis phase of mobile applications development. In this paper, a brief description of the different markets is introduced followed by an analysis of the main features of the markets leaders' devices which are important in the development process of mobile web applications. Finally, approaches are proposed to deal with the mobile devices diversity.
HPTLC on amino plates, with simple heating of the plates for derivatization, has been used for quantification of glucosamine in nutritional supplements. On heating the plate glucosamine reacts to form a compound which strongly absorbs light between 305 and 330 nm, with weak fluorescence. The reaction product can be detected sensitively either by absorption of light or by fluorescence detection. The detection limit in absorption mode is approximately 25 ng per spot. In fluorescence mode a detection limit of 15 ng is achievable. A calibration plot for absorption detection is linear in the range 25 to 4000 ng glucosamine. The derivative formed from glucosamine by heating is stable for months, and the relative standard deviation is 1.64% for 600 ng glucosamine. The amounts of glucosamine found in nutritional supplements were in agreement with the label declarations.
There are some existing Java benchmarks, application benchmarks as well as micro benchmarks or mixture both of them,such as: Java Grande, Spec98, CaffeMark, HBech, etc. But none of them deal with behaviors of multi tasks operating systems. As a result, the achieved outputs are not satisfied for performance evaluation engineers. Behaviors of multi tasks operating systems are based on a schedule management which is employed in these systems. Different processes can have different priority to share the same resources. The time is measured by estimating from applications started to it is finished does not reflect the real time value which the system need for running those programs. New approach to this problem should be done. Having said that, in this paper we present a new Java benchmark, named FHOJ benchmark, which directly deals with multi tasks behaviors of a system. Our study shows that in some cases, results from FHOJ benchmark are far more reliable in comparison with some existing Java benchmarks.
Hydrogen chloride and sulphur dioxide are gaseous by-products of chloridization processes that employ thionyl chloride. Absorption would be a feasible method to clean the rich gas stream. Two serial connectable absorption columns were equipped with the latest generation of packings to effect product recovery. Therefore, several tests concerning the baffle properties had to be performed. In the first experimental section, the hydraulic parameters pressure drop and hold-up were investigated. The hold up value range of the new baffles Raschig Super Ring (RSR) and Raschig Super Pak (RSP) was clearly below that of the former installed packing, Raschig Ring (RR). However, due to the low maximal flow rate, the range of stagnation and flooding could not be measured. The maximal measured pressure drop value was, for RR, only 0.3 mbar/m, which is very low compared to the measurement error. Batch experiments, where the waste gases were produced by reaction of thionyl chloride in water, showed that for the steady state determination of the separation steps it is advisable to use just one column in simplex mode with a defined gas supply by a gas cylinder. The HTU determination for RSR and a HCl/H2O system delivered a value of HTUHCl,OG = 0.14 ± 0.01 m with a variation coefficient of 24.2%.
This paper presents a streaming-based E-Learning environment where closer integration between learning and work is achieved by integrating multimedia services into manufacturing processes. It contains a comprehensive and detailed explanation of the proposed E-Learning streaming framework, especially the adaption of streaming services to mobile environments. We first analyze several scenarios where E-Learning streaming services can be integrated into manufacturing processes. To allow systematic and tailor-made integration, we develop a model and a specification language for E-Learning streaming services and apply the model using practical scenarios from real manufacturing processes. Adaption of multimedia streaming services to mobile devices is discussed based on Synchronized Multimedia Integration Language (SMIL). Last, we comment on the benefits of using E-Learning streaming services as part of manufacturing processes and analyze the acceptance of the developed system. The key components of our E-Learning environment are 1) an xml based streaming service specification language, 2) adaption of multimedia E-Learning services to mobile environments, and 3) Web Services for searching, registration, and creation of E-Learning streaming services.
Regarding the importance of adsorptive removal of carbon monoxide from hydrogen-rich mixtures for novel applications (e.g. fuel cells), this work provides a series of experimental data on adsorption isotherms and breakthrough curves of carbon monoxide. Three recently developed 5A zeolites and one commercial activated carbon were used as adsorbents. Isotherms were measured gravimetrically at temperatures of 278–313 K and pressures up to 0.85 MPa. Breakthrough curves of CO were obtained from dynamic column measurements at temperatures of 298–301 K, pressures ranging from 0.1 MPa to ca. 6 MPa and concentrations of CO in H2/CO mixtures of 5–17.5 mol%. A simple mathematical model was developed to simulate breakthrough curves on adsorbent beds using measured and calculated data as inputs. The number of parameters and the use of correlations to evaluate them were restricted in order to focus the importance of measured values. For the given assumptions and simplifications, the results show that the model predictions agree satisfactorily with the experimental data at the different operating conditions applied.