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

Identification of novel exons 3'' to the human SNRPN gene

This paper examines the relationship between self-efficacy and social power (expert and referent) and how the application of this relationship, leads to client adherence and compliance. Referent power is defined, including methods that health care professionals may use to develop and apply referent power. Expert power is defined and addressed in the context of referent power, self-esteem and self-efficacy as a means of promoting adherence. Self-efficacy as a concept is defined and explored in the context of social power. The relationships between self-efficacy and social power (expert and referent) are shown as important determinants of adherence and compliance. The theory of the application of referent and expert power in relationship with self-efficacy has been compared with an effective programme, yielding high compliance, at Western Psychiatric Institute and Clinic, showing the theory's relevance and applicability in determining compliance. Explored are the reasons for non-compliance in the elderly population and how the theory model can remedy these detriments for compliance. The empowerment of elderly patients through the application of this theory to medication compliance is examined. The determination of adherence and compliance is shown by the application of the relationship between self-efficacy and both expert and referent power.     

Influence of total surface area of core material on yield of deposited coacervate

The neuronal cytoskeleton is one of the most profoundly altered organelles in late life neuro-degenerative disorders that are characterized by progressive impairments in cognitive abilities. The elucidation of the protein building blocks of these organelles as well as advances in understanding how these proteins become altered in Alzheimer's disease (AD) and other less common dementing illnesses, i.e., diffuse Lewy body disease (DLBD) or the Lewy body variant of AD (LBVAD), will provide insights into the molecular basis of these disorders. Within, we review evidence that normal adult human tau is abnormally phosphorylated and converted into the subunits of AD paired helical filaments (PHFs), and that Lewy bodies (LBs) represent accumulation of altered neurofilament (NF) triplet subunits. Although the precise biological consequences of PHF and LB formation in neurons is unknown, growing evidence suggests that the formation of PHFs and LBs from normal neuronal cytoskeletal proteins could have deleterious effects on neuronal function and survival. Finally, insights into the composition of PHFs and LBs could lead to the development of novel strategies for the timely and accurate diagnosis of AD, DLBD and the LBVAD.     

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.     

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.