This paper analyzes the impact of power-supply noise on the performance of high-frequency microprocessors. First, delay models that take this noise into account are proposed for device-dominated and interconnect-dominated timing paths. For typical circuits, it is shown that the peak of the noise is largely irrelevant and that the average supply voltage during switching is more important. It is then argued that global differential noise can potentially have a greater timing impact than common-mode noise. Finally, realistic values for the model parameters are measured on a 2.53-GHz Pentium4 microprocessor using a 130-nm technology. These values imply that the power-supply noise present on the system board reduces clock frequency by 6.7%. The model suggests that the frequency penalty associated with this power-supply noise will steadily increase and reach 7.6% for the 90-nm technology generation. 相似文献
In the present work, a general implicit source-based enthalpy method is presented for the analysis of solidification systems.
The proposed approach is both robust and efficient. The performance of the method is illustrated by application to a number
of problems taken from recent metallurgical literature. 相似文献
Developers often use replication and caching mechanisms to enhance Web application performance. The authors present a qualitative and quantitative analysis of state-of-the art replication and caching techniques used to host Web applications. Their analysis shows that selecting the best mechanism depends heavily on data workload and requires a careful review of the application's characteristics. They also propose a technique for Web practitioners to compare different mechanisms' performance on their own 相似文献
In General, Mobile Ad-Hoc Network (MANET) has limited energy resources, and it cannot recharge itself. This research goal focuses on building a power management scheme that saves energy in the MANET. Due to power instability, there is a chance that cluster heads fail and function incorrectly in cluster-based routing. As a result, instability occurs with the cluster heads while collecting data and communicating with others effectively. This work focuses on detecting the unstable cluster heads, which are replaced by other nodes implementing the envisaged self-configurable cluster mechanism. A self-configurable cluster mechanism with a k-means protocol approach is proposed to designate cluster heads effectively. The proposed k-means procedure is based on periodic irregular cluster head rotations or altering the number of clusters. We also propose a trust management mechanism in this research to detect and avoid MANET vulnerabilities. Because of the continuously changing topology and limited resources (power, bandwidth, computing), the trust management algorithm should only use local data. Consequently, compared to traditional protocols, the proposed approach with the k-means procedure and its experimental results show lower power usage and provide an optimal system for trust management.
This paper adopts the communication closed layer (CCL) concept of Elrad and Francez to the formal reasoning of randomized distributed algorithms. We do so by enriching probabilistic automata (PA) with a layered composition operator, an intermediate between parallel and sequential composition. Layered composition is used to establish probabilistic counterparts of the CCL laws that exploit independence and/or precedence conditions between the constituent PA. The probabilistic CCL laws enable partial order (po-) equivalence when layered composition is replaced by sequential composition. Such po-equivalence induces a purely syntactic partial-order state space reduction via layered separation in compositions of PA while preserving probabilistic next-free linear-time properties. The feasibility of such layered separation is demonstrated on a randomized mutual exclusion algorithm by Kushilevitz and Rabin, complementing an algebraic approach (for analyzing this algorithm) by McIver, Gonzalia, Cohen, and Morgan. 相似文献
Abstract: Recent evidence has demonstrated that nitrites play an important role in the cardiovascular system. Fennel (Foneiculum vulgare) seeds are often used as mouth fresheners after a meal in both the Indian sub‐continent and around the world. The present study aims to quantify the nitrite and nitrates in fennel seeds as well as elucidating the effect of fennel derived‐nitrites on vascular functions. Results from our study show that fennel seeds contain significantly higher amount of nitrites when compared to other commonly used post‐meal seeds. Furthermore our study confirmed the functional effects of fennel derived‐nitrites using in vitro and ex vivo models that describe the promotion of angiogenesis, cell migration, and vasorelaxation. We also showed that chewing fennel seeds enhanced nitrite content of saliva. Thus our study indicates the potential role of fennel derived‐nitrites on the vascular system. Practical Application: This study is focused on determining the effect of fennel‐derived nitrites on angiogenesis (the formation of new blood vessels from pre‐existing ones), cell migration, and vasorelaxation (dilation of blood vessels) thereby preserving cardiovascular health. 相似文献
PulseNet is a national network of pubic health and food regulatory laboratories established in the US to detect clusters of foodborne disease and respond quickly to foodborne outbreak investigations. PulseNet laboratories currently subtype Escherichia coli O157:H7, non-typhoidal Salmonella, and Shigella isolates by a highly standardized 1-day pulsed-field gel electrophoresis (PFGE), and exchange normalized DNA "fingerprint" patterns via the Internet. We describe a standardized molecular subtyping protocol for subtyping Listeria monocytogenes that was recently added to PulseNet. The subtyping can be completed within 30 h from the time a pure culture of the bacteria is obtained. 相似文献
The pectinase enzymes isolated from Aspergillus spp., A. indicus, A. flavus and A. niveus were used for fermentation of tea leaves. The enzymes were purified and characterized. The effect of both crude enzyme preparation and purified pectinase enzymes on the improvement of tea leaf fermentation were determined in terms of theaflavin, thearubigin, high polymerized substances, total liquor colour, dry matter content and total soluble solids of the tea produced. The crude enzyme preparations obtained from ethanol precipitation were found to be more effective in improving tea leaf fermentation than the purified pectinase enzymes. 相似文献