Automatic boosting of cross-product coverage using Bayesian networks

Closing the feedback loop from coverage data to the stimuli generator is one of the main challenges in the verification process. Typically, verification engineers with deep domain knowledge manually prepare a set of stimuli generation directives for that purpose. Bayesian networks based CDG (coverage directed generation) systems have been successfully used to assist the process by automatically closing this feedback loop. However, constructing these CDG systems requires manual effort and a certain amount of domain knowledge from a machine learning specialist. We propose a new method that boosts coverage in the early stages of the verification process with minimal effort, namely a fully automatic construction of a CDG system that requires no domain knowledge. Experimental results on a real-life cross-product coverage model demonstrate the efficiency of the proposed method.     

Using a pseudo-stochastic approach for multiple-parts scheduling on an unreliable machine

In this paper we follow previous “pseudo-stochastic” approaches that solve stochastic control problems by using deterministic optimal control methods. In a similar manner to the certainty equivalence principle, the suggested model maximizes a given profit function of the expected system outcome. However, unlike the certainty equivalence principle, we model the expected influences of all future events (including those that are expected beyond the planning horizon), as encapsulated by their density functions and not only by their mean values. The model is applied to the optimal scheduling of multiple part-types on a single machine that is subject to random failures and repairs. The objective of the scheduler is to maximize the profit function of the produced multiple-part mix. A numerical study is performed to evaluate the suggested pseudo-stochastic solutions under various conditions. These solutions are compared to a profit upper bound of the stochastic optimal control solutions.     

Distributed Multi-Level Recovery in Main-Memory Databases

In this paper we present recovery techniques for distributed main-memory databases, specifically for client-server and shared-disk architectures. We present a recovery scheme for client-server architectures which is based on shipping log records to the server, and two recovery schemes for shared-disk architectures—one based on page shipping, and the other based on broadcasting of the log of updates. The schemes offer different tradeoffs, based on factors such as update rates.Our techniques are extensions to a distributed-memory setting of a centralized recovery scheme for main-memory databases, which has been implemented in the Dalì main-memory database system. Our centralized as well as distributed-memory recovery schemes have several attractive features—they support an explicit multi-level recovery abstraction for high concurrency, reduce disk I/O by writing only redo log records to disk during normal processing, and use per-transaction redo and undo logs to reduce contention on the system log. Further, the techniques use a fuzzy checkpointing scheme that writes only dirty pages to disk, yet minimally interferes with normal processing—all but one of our recovery schemes do not require updaters to even acquire a latch before updating a page. Our log shipping/broadcasting schemes also support concurrent updates to the same page at different sites.     

On periodic resource scheduling for continuous-media databases

The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popularity. The aim is to increase the number of clients that can be serviced concurrently beyond the capacity limitations of available resources, while guaranteeing a constraint on the response time. This is achieved by sharing periodic continuous-media streams among multiple clients. The EPPV model offers a number of advantages over other data-sharing schemes (e.g., batching), which make it more attractive to large-scale service providers. In this paper, we provide a comprehensive study of the resource-scheduling problems associated with supporting EPPV for continuous-media clips with (possibly) different display rates, frequencies, and lengths. Our main objective is to maximize the amount of disk bandwidth that is effectively scheduled under the given data layout and storage constraints. Our formulation gives rise to -hard combinatorial optimization problems that fall within the realm of hard real-time scheduling theory. Given the intractability of the problems, we propose novel heuristic solutions with polynomial-time complexity. We also present preliminary experimental results for the average case behavior of the proposed scheduling schemes and examine how they compare to each other under different workloads. A major contribution of our work is the introduction of a robust scheduling framework that, we believe, can provide solutions for a variety of realistic EPPV resource-scheduling scenarios, as well as any scheduling problem involving regular, periodic use of a shared resource. Based on this framework, we propose various interesting research directions for extending the results presented in this paper. Received June 9, 1998 / Accepted October 13, 1998     

Controlled microtribology of a metal oxide surface

The rational control of the friction and wear (damage) of engineering, as opposed to model, surfaces under practical conditions such as high contact pressures has long been a technological challenge with much fundamental interest. Lubricant fluids and physisorbed surfactant monolayers (boundary lubricants) are effective friction modifiers but often fail at high loads. We show that the chemisorption of a suitably designed single-chained phosphonate surfactant onto crystalline α-alumina surfaces produces robust protective monolayers that significantly reduce the friction forces and wear even at high loads. The mechanisms are explained, which point to some general principles that offer a basis for scale-up in many different engineering systems. This revised version was published online in June 2006 with corrections to the Cover Date.     

Feasibility of Using Titanium Machine Turnings in Powder Metallurgy Processes

JOM - The use of titanium machine turnings has been identified as a possible ultralow-cost method to produce titanium powder. However, very little data are available on the viability of this...     

Model demonstrating the potential for coupled nitrification denitrification in soil aggregates

A model of reactive, multi-species diffusion has been developed to describe N transformations in spherical soil aggregates, emphasizing the effects of irrigation with reclaimed wastewater. Oxygen demand for respiratory activity has been shown to promote the establishment of anaerobic conditions. Aggregate size and soil respiration rate were identified as the most significant parameters governing the existence and extent of the anaerobic volume in aggregates. The inclusion of kinetic models describing mineralization, nitrification, and denitrification facilitated the investigation of coupled nitrification/denitrification (CND), subject to O2 availability. N-transformations are shown to be affected by effluent-borne NH4+-N content, in addition to elevated BOD and pH levels. Their incremental contribution to O2 availability has been found to be secondary to respiratory activity. At the aggregate level, significant differences between apparent and gross rates of N-transformations were predicted (e.g., NH4+ oxidation and N2 formation), resulting from diffusive constraints due to aggregate size. With increasing anaerobic volume, the effective nitrification rate determined at the aggregates level decreases until its contribution to nitrification is negligible. It was found that the nitrification process was predominantly limited to aggregates <0.25 cm. Assuming that nitrification is the main source for NO3- formation, denitrification efficiency is predicted to peak in medium-sized aggregates, where aerobic and anaerobic conditions coexist, supporting CND. In effluent-irrigated soils, the predicted NO2- formation rate in small aggregates is enhanced when compared to freshwater-irrigated soils. The difference vanishes with increasing aggregate size as anaerobic NO2- consumption exceeds aerobic NO2- formation due to the coupling of nitrification and denitrification.     

Chemical Profile and Biological Activities of Two Edible Plants: Chemical Investigation and Quantitative Analysis Using Liquid Chromatography Tandem Mass Spectrometry and Gas Chromatography Mass Spectrometry

The objectives of this study were to define the phenolic and fatty acid profiles, anticholinesterase, antioxidant, antimicrobial activities, and total phenolic-flavonoid contents of Lycopsis orientalis and Tragopogon latifolius var. angustifolius which have been used as food source and food supplement in Anatolia and have never been examined before. Rosmarinic and quinic acids (21.11 and 11.46 mg g^–1 extract, respectively) were found to be the most abundant constituents in L. orientalis and T. latifolius var. angustifolius among the studied 27 compounds by liquid chromatography tandem mass spectrometry. In the fatty acid compositions of L. orientalis and T. latifolius var. angustifolius that were determined by gas chromatography mass spectrometry, oleic (29.1%) and palmitic (28.7%) acids were identified as the major components, respectively. The high antioxidant activity of the methanol extract of L. orientalis shows parallelism to its rosmarinic acid content. Besides, this extract showed medium anticholinesterase activity. The results of the present study proves that the L. orientalis might also be used as a food source due to its high phenolic acid content and strong antioxidant property.