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...     

Microsatellite markers in leukaemia and lymphoma: comments on a timely topic

Microsatellites are unique highly polymorphic and informative genetic markers dispersed in the human genome. Their detection by PCR is rapid and a wide variety of DNA sources including archival material are available for diagnostic purposes. Microsatellite typing of haematological neoplasms may be applied to the search for loss of heterozygosity at loci possibly harbouring tumour suppressor genes, for example in acute lymphoblastic leukaemia. The technique may detect submicroscopical chromosomal deletions which are not visible in the leukaemic karyotype. RER+ tumours exhibiting microsatellite instability appear to be rare among haematological cancers with the possible exception of lymphoid tumours in immunosuppressed patients and lymphomas derived from mucosa-associated lymphoid tissue. An X-chromosomal microsatellite near the human androgen receptor gene (HUMARA) may be used for clonal X-inactivation analysis. Microsatellites therefore represent a collection of powerful genetic markers suitable to tackle questions relevant to basic research and clinical problems in leukaemia and lymphoma.     

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.     

Morphological and functional polymorphism within clonal thyroid nodules

Thirty-nine thyroid nodules, removed because of recent growth, were analyzed morphologically by serial histological sections for the classical histomorphological hallmarks of follicular cell replication and for immunohistochemically demonstrable overexpression of the growth-associated ras-gene product p21ras. Clonal analysis was performed using the highly informative probe M27 beta that detects polymorphisms on the locus DXS255 of the X-chromosome. Twenty-four nodules were of clonal and 15 nodules were of poly-clonal origin. Only 3 out of the 24 clonal nodules were histomorphologically uniform. In all others, the structural hallmarks of active growth and the P21ras growth-marker expression were remarkably heterogeneous throughout the tumors. There were no histomorphological characteristics distinguishing these clonal tumors from polyclonal nodules. Even if a clonal thyroid tumor may be originally homogeneous in respect to the parameters studied here, mechanisms must exist that create wide heterogeneity of growth and of morphogenetic potential among the individual follicular cells during further expansion of the nodule. Thus, clonal nodules are much more common in nodular goiters than hitherto assumed on grounds of the classical morphological criteria. The diagnosis of a true monoclonal nodule can no longer rely on morphological and functional criteria alone but requires molecular or cytogenetic analysis of clonality.     

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.