Refine
Year of publication
Document Type
- Article (reviewed) (121) (remove)
Has Fulltext
- no (121) (remove)
Keywords
- Adsorption (3)
- Mikrostruktur (3)
- Durchblutung (2)
- Elektronische Bibliothek (2)
- Ermüdung (2)
- Export (2)
- Gehirn (2)
- Grauguss (2)
- Gusseisen (2)
- HPTLC (2)
Institute
- Fakultät Maschinenbau und Verfahrenstechnik (M+V) (45)
- Fakultät Elektrotechnik und Informationstechnik (E+I) (bis 03/2019) (31)
- Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019) (21)
- INES - Institut für nachhaltige Energiesysteme (13)
- Fakultät Wirtschaft (W) (10)
- Fakultät Medien (M) (ab 22.04.2021) (7)
- IMLA - Institute for Machine Learning and Analytics (4)
- IfTI - Institute for Trade and Innovation (4)
- ACI - Affective and Cognitive Institute (2)
- Fakultät Medien und Informationswesen (M+I) (bis 21.04.2021) (2)
Open Access
- Open Access (121) (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.
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.
An analytical and numerical study of the wobbling dynamics of friction disks is presented. Of particular interest is the excitation mechanism taking into account two contrarian effects both originating in dry friction: the circulatory terms describing the energy input due to the sliding contacts and the friction induced damping which stabilizes the system. Balance of these terms determines the instability domain in the parameter space. It is shown that there is a slip threshold so that, if the slip is under this limit, the system remains stable. If the slip is larger than this limit, then the criterion of stability is determined by the relation between the friction coefficient and the internal damping. The limit cycle appearing in the unstable domain is also investigated. It is shown that the limit cycle can be described as a kind of a regular reverse precession of the wobbling disc. Its amplitude is limited by the geometric nonlinearity and partial contact loss. Analytic results are compared with numeric simulations.
A survey in 2000 revealed that only about 30% of the prescriptions in the European pediatric population were on the basis of evidence-based medicine (EbM). Less for radiopharmaceuticals and principally for diagnostics, radiologists throughout Europe are referred to the pediatric guidelines of the European Association of Nuclear Medicine (EANM), as none of the frequently used tracers have been evaluated in clinical trials in the different pediatric subgroups. Following a resolution to address the lack of EbM in children, the European Commission published the Pediatric Regulation EC 1901/2006 and its amendment EC 1902/2006, effective from 2007. This regulation foresees the development of evidence-based medicine in the pediatric population. This is effected through a set of principles like the mandatory pediatric investigation plan (PIP) to be included with the market authorization application (MAA), and the pediatric use market authorization (PUMA) for off-patent pharmaceuticals, and to a very small part radiopharmaceuticals with funding possibilities for pediatric-specific research through the 7th Framework Programme (7FP) of the European Union.
Routine nuclear cardiology examinations indicate heart rate, cardiac rhythm, the height of cardiac pulse and respiration rhythm. It would be of interest to study whether these data, especially if the same tests are repeated, can indicate patients’ well being in the future and perhaps patients’ life span, other factors being equal. Related old theories and suggestions are mentioned. Furthermore, some drugs like I-f channel antagonists and stress tests testing cardiac reserves could support such a study.
The Humboldt digital library (HDL) represents an innovative system to access the works and legacy of Alexander von Humboldt in a digital form on the Internet (www.avhumboldt.net). It contributes to the key question about how to present interconnected data in an appropriate form using information technologies. The HDL has been created as a dynamic digital library with the capability of connecting multilingual and multimedia data from diverse online archives. Humboldt’s volumes have become available, but beyond that any relevant information related to the observations of Humboldt, even outside the works can become immediately accessible. This makes it possible to recognize natural changes and compare Humboldt’s descriptions with recent situations. The technology we have developed addresses the issues of sustainability and makes it possible to detect changes in the environment since the time of Humboldt’s observations.
The newly synthesized Zn4O-based MOF 3∞[Zn4(μ4-O){(Metrz-pba)2mPh}3]·8 DMF (1·8 DMF) of rare tungsten carbide (acs) topology exhibits a porosity of 43% and remarkably high thermal stability up to 430 °C. Single crystal X-ray structure analyses could be performed using as-synthesized as well as desolvated crystals. Besides the solvothermal synthesis of single crystals a scalable synthesis of microcrystalline material of the MOF is reported. Combined TG-MS and solid state NMR measurements reveal the presence of mobile DMF molecules in the pore system of the framework. Adsorption measurements confirm that the pore structure is fully accessible for nitrogen molecules at 77 K. The adsorptive pore volume of 0.41 cm3 g−1 correlates well with the pore volume of 0.43 cm3 g−1 estimated from the single crystal structure.
Seit den ersten Projekten der 90er Jahre arbeiten Hochschulen daran, geeignete Servicestrukturen für E-Learning zu etablieren, die die erforderliche technische, didaktische und organisatorische Unterstützung hochschulweit zur Verfügung stellen. Ging es zunächst darum, Services überhaupt dauerhaft zu sichern, steht heute die Frage des „wie“ im Vordergrund. Dabei wird am Bereich E-Learning ein eigentlich viel allgemeineres Problem deutlich: Die bisher überwiegende Organisation der Hochschule nach funktionellen Einheiten stößt an ihre Grenzen. Wir schlagen eine stärker prozessorientierte Sichtweise vor, analog zu Entwicklungen bei der Organisation von Unternehmen.
Many SMEs are still faced with the problematic fact that their corporate structures and processes are not designed for efficient development and market positioning and there is a lack of appropriate methods and tools. SMEs are often inefficiently targeted to the internal or external demands for services. The following key questions are answered in this article: 1) Which studies are available in terms of strategic planning in young SMEs? 2) Which aspects should be considered in the implementation and control of these instruments?
The present study describes medium-chain-length polyhydroxyalkanoates (mcl-PHAs) production by the Pseudomonas Gl01 strain isolated from mixed microbial communities utilized for PHAs synthesis. A two-step fedbatch fermentation was conducted with glucose and waste rapeseed oil as the main carbon source for obtaining cell growth and mcl-PHAs accumulation, respectively. The results show that the Pseudomonas Gl01 strain is capable of growing and accumulating mcl-PHAs using a waste oily carbon source. The biomass value reached 3.0 g/l of CDW with 20% of PHAs content within 48 h of cultivation. The polymer was purified from lyophilized cells and analyzed by gas chromatography (GC). The results revealed that the monomeric composition of the obtained polyesters depended on the available substrate. When glucose was used in the growth phase, 3-hydroxyundecanoate and 3- hydroxydodecanoate were found in the polymer composition, whereas in the PHAs-accumulating stage, the Pseudomonas Gl01 strain synthesized mcl-PHAs consisting mainly of 3- hydroxyoctanoate and 3-hydroxydecanoate. The transcriptional analysis using reverse-transcription real-time PCR reaction revealed that the phaC1 gene could be transcribed simultaneously to the phaZ gene.
In this work the adsorption of CO2 and CH4 on a series of isoreticular microporous metal–organic frameworks based on 2-substituted imidazolate-4-amide-5-imidates, IFP-1–IFP-6 (IFP = Imidazolate Framework Potsdam), is studied firstly by pure gas adsorption at 273 K. All experimental isotherms can be nicely described by using the Tòth isotherm model and show the preferred adsorption of CO2 over CH4. At low pressures the Tòth isotherm equation exhibits a Henry region, wherefore Henry's law constants for CO2 and CH4 uptake could be determined and ideal selectivity αCO2/CH4 has been calculated. Secondly, selectivities were calculated from mixture data by using nearly equimolar binary mixtures of both gases by a volumetric–chromatographic method to examine the IFPs. Results showed the reliability of the selectivity calculation. Values of αCO2/CH4 around 7.5 for IFP-5 indicate that this material shows much better selectivities than IFP-1, IFP-2, IFP-3, IFP-4 and IFP-6 with slightly lower selectivity αCO2/CH4 = 4–6. The preferred adsorption of CO2 over CH4 especially of IFP-5 and IFP-4 makes these materials suitable for gas separation application.
The suffix-free-prefix-free hash function construction and its indifferentiability security analysis
(2012)
In this paper, we observe that in the seminal work on indifferentiability analysis of iterated hash functions by Coron et al. and in subsequent works, the initial value (IV) of hash functions is fixed. In addition, these indifferentiability results do not depend on the Merkle–Damgård (MD) strengthening in the padding functionality of the hash functions. We propose a generic n-bit-iterated hash function framework based on an n-bit compression function called suffix-free-prefix-free (SFPF) that works for arbitrary IVs and does not possess MD strengthening. We formally prove that SFPF is indifferentiable from a random oracle (RO) when the compression function is viewed as a fixed input-length random oracle (FIL-RO). We show that some hash function constructions proposed in the literature fit in the SFPF framework while others that do not fit in this framework are not indifferentiable from a RO. We also show that the SFPF hash function framework with the provision of MD strengthening generalizes any n-bit-iterated hash function based on an n-bit compression function and with an n-bit chaining value that is proven indifferentiable from a RO.
In this paper, the multiaxial formulation of a mechanism-based model for fatigue life prediction is presented whichcan be applied to low-cycle fatigue (LCF) and thermomechanical fatigue (TMF) problems in which high-cycle fa-tigue loadings are superimposed. The model assumes that crack growth is the lifetime limiting mechanism and thatthe crack advance in a loading cycleda/dNcorrelates with the cyclic crack-tip opening displacement ΔCTOD.The multiaxial formulation makes use of fracture mechanics solutions and thus, does not need additional modelparameters quantifying the effect of the multiaxiality. Furthermore, the model includes contributions of HCF on ΔCTODand assesses the effect of the direction of the HCF loadings with respect to LCF or TMF loadings inthe life prediction. The model is implemented into the finite-element program ABAQUS. It is applied to predictthe fatigue life of a thermomechanically loaded notched specimen that should represent the situation between theinlet and outlet bore holes of cylinder heads. A good correlation of the predicted and the measured fatigue lives isobtained.