Bewertung alternativer Arbeitsmittel für Wärmepumpen im Gebäudesektor

Forschung im Ingenieurwesen - Das Arbeitsmittel in Wärmepumpen unterliegt einer Vielzahl von Anforderungen, welche für einen effizienten und sicheren Betrieb eingehalten werden...     

Solving the trade-off between fairness and throughput: Token bucket and leaky bucket-based weighted fair queueing schedulers

In this article, we present two efficient weighted fair queueing (WFQ) scheduling algorithms leaned on the well-known token bucket and leaky bucket shaping/policing algorithms. The performance of the presented algorithms is compared to those of the state-of-the-art WFQ approximations such as weighted round robin (WRR) and the recently proposed bin sort fair queueing (BSFQ). Our simulation results show that the proposed algorithms provide a better fairness at a lower implementation complexity while simultaneously achieving a comparable network utilization.     

Has risk associated with smoking increased? Results from the Copenhagen Center for Prospective Population Studies

BACKGROUND: Two recent much cited publications have raised the concern that risk associated with cigarette smoking has so far been underestimated. In this study we wish to determine whether excess all-cause mortality associated with smoking has increased during the last 20-30 years in a study population representative of the general Danish population and whether any such changes relate to changes in smoking behaviour. METHODS: Pooled data from three prospective population studies conducted in Copenhagen with detailed information on smoking habits. A total of 31,194 subjects, 17,669 males and 13,525 females, initially examined between 1964 and 1992 with examinations repeated at intervals from 1-10 years, were followed until 1995 for all-cause mortality. Relative mortality risk in smokers versus never-smokers was calculated within periods of five calendar years and compared throughout the study period. RESULTS: Male smokers' exposure did not change during the study period whereas female smokers' exposure to tobacco increased in terms of age at smoking onset, quantity smoked and depth of inhalation. During follow-up 5744 males and 2900 females died. In males, death rate ratios (comparing continuous smokers with never-smokers) did not change in the study period. In females, ratios increased from 1964-1978 to 1979-1994 by a factor of 1.3 (95% confidence interval 1.0-1.8). CONCLUSIONS: In agreement with the observed changes in smoking habits, excess mortality in male smokers did not increase whereas excess mortality in female smokers increased slightly.     

Common region of ALL-1 gene disrupted in epipodophyllotoxin-related secondary acute myeloid leukemia

Translocations at chromosomal band 11q23 characterize most de novo acute lymphoblastic leukemias (ALL) of infants, acute myeloid leukemias (AML) of infants and young children, and secondary AMLs following epipodophyllotoxin exposure. The chromosomal breakpoints at 11q23 have been cloned from isolated cases of de novo ALL and AML. Using an 859-base pair BamHI fragment of human ALL-1 complementary DNA that recognizes the genomic breakpoint region for de novo ALL and AML, we investigated two cases of secondary AML that followed etoposide-treated primary B-lineage ALL. In the first case, the translocation occurred between chromosomes 9 and 11 and the breakpoint at 11q23 localized to the same 9-kilobase region of the ALL-1 gene that is disrupted in most of the de novo leukemias. In the second case the translocation was between chromosomes 11 and 19. The breakpoint occurred outside of the ALL-1 breakpoint cluster region.     

Development and simulation studies of an unsteady state biofilter model for the treatment of cyclic air emissions of an α‐pinene gas stream

This paper describes the development and simulation of an unsteady state biofilter model used to predict dynamic behaviour of cyclically‐operated biofilters and compares it with experimental results obtained from three, parallel, bench‐scale biofilters treating both periodically fluctuating concentrations and constant concentrations of an α‐pinene‐laden gas stream. The dynamic model, using kinetic parameters estimated from the constant concentration biofilter, was able to predict the performance of cyclic biofilters operating at short cycle periods (ie, in the order of minutes and hours). Steady state kinetic data from a constant concentration biofilter can be used to predict unsteady state biofilter operation. At a 24 h cycle period, the dynamic model compared well with experimental results. For long cycle periods (ie, hours and days), removal efficiency decreased after periods of non‐loading: the longer the period of non‐loading, the poorer the biofilter's performance at the re‐commencement of pollutant loading. At longer time scales the model did not effectively predict transient behaviour, as adsorption and changes in kinetic parameters were not accounted for. Modelling results showed that similar biofiltration performance for the cyclic and constant concentration biofiltration of α‐pinene is expected for biofilters operating solely in the first order kinetics regime. Poorer performance for cyclic biofilters following Monod kinetics spanning the entire kinetics range is expected as the cycle amplitude increases. The most important parameters affecting the performance of a cyclically‐operated biofilter with short cycle periods are: amplitude of cyclic fluctuations, C_{g, max}/C_g, relative value of the half‐saturation constant in the Monod expression, K_s, and effective diffusivity of α‐pinene in the biofilm, D_e. Copyright © 2005 Society of Chemical Industry     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.