Automated Parallelization of Discrete State-Space Generation

We consider the problem of generating a large state-space in a distributed fashion. Unlike previously proposed solutions that partition the set of reachable states according to a hashing function provided by the user, we explore heuristic methods that completely automate the process. The first step is an initial random walk through the state space to initialize a search tree, duplicated in each processor. Then, the reachability graph is built in a distributed way, using the search tree to assign each newly found state to classes assigned to the available processors. Furthermore, we explore two remapping criteria that attempt to balance memory usage or future workload, respectively. We show how the cost of computing the global snapshot required for remapping will scale up for system sizes in the foreseeable future. An extensive set of results is presented to support our conclusions that remapping is extremely beneficial.     

Data collection: evaluation of a pilot model

The overall purpose of this study was to explore nurses' feelings about the applicability and adequacy of a pilot model of nursing assessment (PMNA) developed for coronary care units (CCU) in order to obtain data that could help in establishing a definitive model. The evaluation, performed by 11 CCU nurses, showed that they considered the development and implementation of PMNA as valuable, and that its design was adequate for interviewing cardiac patients. These results will be employed in the elaboration of a definitive model of nursing assessment.     

Consumption of reduced-fat products: effects on parameters of anti-oxidative capacity

Plasma levels of fibrinogen, factor VIIc and prothrombin fragment F1 + 2, a marker of thrombin generation in vivo, were studied in 68 subjects with serum total cholesterol (TC) levels between 135 and 349 mg/dl but without clinical evidence of cardiovascular disease and other atherosclerotic risk factors. F1 + 2 plasma levels were directly correlated with TC (p < 0.0004), low-density lipoprotein cholesterol (LDL-C; p < 0.0018) and factor VIIc (p < 0.024). Thirty-five subjects with TC greater than 249 mg/dl (median value of the whole group) showed higher levels of F1 + 2 (p < 0.0001) and fibrinogen (p < 0.0015) than those with TC lower than 249 mg/dl. In subjects with TC > 249 mg/dl and F1 + 2 > 1.2 nM (median value of the whole group), a cholesterol-lowering drug (simvastatin) was able to reduce F1 + 2 (p < 0.009) as well as TC and LDL-C. This study shows a relationship between serum cholesterol and the rate of thrombin generation supporting the hypothesis that a hypercoagulable state may occur in hypercholesterolemic subjects before the onset of clinical evidence of atherosclerotic cardiovascular disease.     

Solution of temperature fields in hydrodynamics bearings by the numerical network method

Solution to the 2-D steady-state nonlinear heat conduction equation, involving cylindrical coordinates, applied to a plain bearing by a simple and versatile numerical technique based on network method is presented in this work. These advantages of the technique are necessary for the status evaluation of industrial machines during operation because time and computing resources are limited. The pressure field in the fluid is previously solved from the Reynolds equation by finite element method. The main difficulty is associated with the exponential dependency of the viscosity on temperature. The proposed model is very efficient and requires negligible computing times. Solutions are very close to the experimental and numerical results of other researchers.     

Hull-less Barley Varieties: Storage Proteins and Amino Acid Distribution in Relation to Nutritional Quality

Barley (Hordeum vulgare L.) has had an important impact on human nutrition. Hull-less barley is a genetically improved type that has been widely used in recent years. Six Brazilian hull-less barley varieties (IAC-IBON 214-82; IAC 8612-421; IAC 8501-31; IAC 8501-12; IAPAR 39-ACUMAI; IAC 8501-22) were analyzed for storage protein constituents, amino acid contents, and similarity among the hull-less barley varieties. Albumins, globulins, prolamins I and II, and glutelins were extracted and separated by SDS-PAGE. The total protein amino acid contents of the flour were also determined for each variety by TLC and HPLC. Variations in intensity and appearance and disappearance of protein bands were observed among the varieties suggesting genetic variability. However, the amino acid profile did not indicate any major variations in the amino acid concentrations. The high lysine and threonine total concentrations detected in the seeds of the hull-less barley varieties encouraged an investigation into the regulation of amino acid metabolism and storage protein synthesis.     

Maintenance strategy based on a multicriterion classification of equipments

In an industrial plant, the level of maintenance provided to individual equipment is directly related to the availability that is expected from it. Thus, it is hoped that the most critical equipments will not fail or, at least, that any failure will be rapidly detected and corrected in the minimum time possible. Since resources are limited, it is necessary to determine how they should be distributed, so that no important equipment remains neglected while more resources are concentrated on the most critical items. Therefore, it is necessary to classify equipment in an objective way according to its importance. The method of multicriterion classification of critical equipments (MCCE)², which is described in the present work, allows systematic and detailed quantification of the criticality of all equipment, that is to say, it provides an evaluation of the importance that its correct operation has for the plant. To provide this information, the consequences for a company of any failure in the equipment concerned are analysed. Finally, a real case example of an urban wastewater treatment plant is described, in which the MCCE method is applied.     

Infrared and ultraviolet–visible spectroscopic studies of silica, [(Cp)2ZrCl2] and trimethylaluminum interactions

Infrared and UV–vis studies of metallocene immobilization on silica are reported here. The results have indicated changes in the Zr coordination sphere of metallocene depending on the immobilization route used. The reaction of [(Cp)₂ZrCl₂] with silica formed [(Cp)₂ZrCl]⁺[SiO]⁻ species. The same metallocene, reacting with TMA modified silica, formed monomethylated and dimethylated species by the substitution of chloro for methyl ligands, stabilized on the surface by interaction with “MAO-like” species (methylaluminoxane, MAO). These monomethylated and dimethylated cationic zirconium species are the active centers for the polymerization reaction. Different order of TMA addition in the silica modification step generated surface species of a similar nature, differing in their relative quantities. The highest amount of these active species was obtained when the support was added to the TMA solution rather than adding the TMA solution to the silica support. This was the most significant parameter affecting catalytic activity in ethylene polymerization.     

An algorithm for solving multi-point boundary value problems

We describe a method for computing solutions of multi-point boundary value problems, where the polychotomic structure of the underlying solution space is specifically exploited. After the system is integrated in a multiple shooting way, the resulting linear system is solved by a special decoupling algorithm that takes into account the fact that the dichotomy on each interval is potentially different (in contrast to the two point case). A number of examples sustains the theory.     

Modeling Power Supply Noise in Delay Testing

Excessive power supply noise during test can cause overkill. This article discusses two models for supply noise in delay testing and their application to test compaction. The proposed noise models avoid complicated power network analysis, making them much faster than existing power noise analysis tools. can cause performance degradation and