A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Evaluation of algorithms used to order markers on genetic maps

When building genetic maps, it is necessary to choose from several marker ordering algorithms and criteria, and the choice is not always simple. In this study, we evaluate the efficiency of algorithms try (TRY), seriation (SER), rapid chain delineation (RCD), recombination counting and ordering (RECORD) and unidirectional growth (UG), as well as the criteria PARF (product of adjacent recombination fractions), SARF (sum of adjacent recombination fractions), SALOD (sum of adjacent LOD scores) and LHMC (likelihood through hidden Markov chains), used with the RIPPLE algorithm for error verification, in the construction of genetic linkage maps. A linkage map of a hypothetical diploid and monoecious plant species was simulated containing one linkage group and 21 markers with fixed distance of 3 cM between them. In all, 700 F(2) populations were randomly simulated with and 400 individuals with different combinations of dominant and co-dominant markers, as well as 10 and 20% of missing data. The simulations showed that, in the presence of co-dominant markers only, any combination of algorithm and criteria may be used, even for a reduced population size. In the case of a smaller proportion of dominant markers, any of the algorithms and criteria (except SALOD) investigated may be used. In the presence of high proportions of dominant markers and smaller samples (around 100), the probability of repulsion linkage increases between them and, in this case, use of the algorithms TRY and SER associated to RIPPLE with criterion LHMC would provide better results. Heredity (2009) 103, 494-502; doi:10.1038/hdy.2009.96; published online 29 July 2009

Meat Quality of Lambs Fed on Palm Kernel Meal, a By-product of Biodiesel Production

This study aimed to establish the optimum level of palm kernel meal in the diet of Santa Ines lambs based on the sensorial characteristics and fatty acid profile of the meat. We used 32 lambs with a starting age of 4 to 6 months and mean weight of 22 2.75 kg, kept in individual stalls. The animals were fed with Tifton-85 hay and a concentrate mixed with 0.0, 6.5, 13.0 or 19.5% of palm kernel meal based on the dry mass of the complete diet. These levels formed the treatments. Confinement lasted 80 days and on the last day the animals were fasted and slaughtered. After slaughter, carcasses were weighed and sectioned longitudinally, along the median line, into two antimeres. Half-carcasses were then sliced between the 12th and 13th ribs to collect the loin (longissimus dorsi), which was used to determine the sensorial characteristics and fatty acid profile of the meat. For sensorial evaluation, samples of meat were given to 54 judges who evaluated the tenderness, juiciness, appearance, aroma and flavor of the meat using a hedonic scale. Fatty acids were determined by gas chromatography. The addition of palm kernel meal to the diet had no effect on the sensorial characteristics of meat juiciness, appearance, aroma or flavor. However, tenderness showed a quadratic relationship with the addition of the meal to the diet. The concentration of fatty acids C12:0, C14:0 and C16:0 increased with the addition of palm kernel meal, as did the sum of medium-chain fatty acids and the atherogenicity index. Up to of 19.5% of the diet of Santa Ines lambs can be made up of palm kernel meal without causing significant changes in sensorial characteristics. However, the fatty acid profile of the meat was altered.

Influence of a probiotic soy product on fecal microbiota and its association with cardiovascular risk factors in an animal model

Background: Previous work showed that daily ingestion of an aqueous soy extract fermented with Enterococcus faecium CRL 183 and Lactobacillus helveticus 416, supplemented or not with isoflavones, reduced the total cholesterol and non-HDL-cholesterol levels, increased the high-density lipoprotein (HDL) concentration and inhibited the raising of autoantibody against oxidized low-density lipoprotein (ox-LDL Ab) and the development of atherosclerotic lesions. Objective: The aim of this study was to characterize the fecal microbiota in order to investigate the possible correlation between fecal microbiota, serum lipid parameters and atherosclerotic lesion development in rabbits with induced hypercholesterolemia, that ingested the aqueous soy extract fermented with Enterococcus faecium CRL 183 and Lactobacillus helveticus 416. Methods: The rabbits were randomly allocated to five experimental groups (n = 6): control (C), hypercholesterolemic (H), hypercholesterolemic plus unfermented soy product (HUF), hypercholesterolemic plus fermented soy product (HF) and hypercholesterolemic plus isoflavone-supplemented fermented soy product (HIF). Lipid parameters and microbiota composition were analyzed on days 0 and 60 of the treatment and the atherosclerotic lesions were quantified at the end of the experiment. The fecal microbiota was characterized by enumerating the Lactobacillus spp., Bifidobacterium spp., Enterococcus spp., Enterobacteria and Clostridium spp. populations. Results: After 60 days of the experiment, intake of the probiotic soy product was correlated with significant increases (P < 0.05) on Lactobacillus spp., Bifidobacterium spp. and Enterococcus spp. and a decrease in the Enterobacteria population. A strong correlation was observed between microbiota composition and lipid profile. Populations of Enterococcus spp., Lactobacillus spp. and Bifidobacterium spp. were negatively correlated with total cholesterol, non-HDL-cholesterol, autoantibodies against oxidized LDL (ox-LDL Ab) and lesion size. HDL-C levels were positively correlated with Lactobacillus spp., Bifidobacterium spp., and Enterococcus spp. populations. Conclusion: In conclusion, daily ingestion of the probiotic soy product, supplemented or not with isoflavones, may contribute to a beneficial balance of the fecal microbiota and this modulation is associated with an improved cholesterol profile and inhibition of atherosclerotic lesion development.

Antimicrobial compounds produced by Lactobacillus sakei subsp sakei 2a, a bacteriocinogenic strain isolated from a Brazilian meat product

Bacteriocins produced by lactic acid bacteria are gaining increased importance due to their activity against undesirable microorganisms in foods. In this study, a concentrated acid extract of a culture of Lactobacillus sakei subsp. sakei 2a, a bacteriocinogenic strain isolated from a Brazilian pork product, was purified by cation exchange and reversed-phase chromatographic methods. The amino acid sequences of the active antimicrobial compounds determined by Edman degradation were compared to known protein sequences using the BLAST-P software. Three different antimicrobial compounds were obtained, P1, P2 and P3, and mass spectrometry indicated molecular masses of 4.4, 6.8 and 9.5 kDa, respectively. P1 corresponds to classical sakacin P, P2 is identical to the 30S ribosomal protein S21 of L. sakei subsp. sakei 23 K, and P3 is identical to a histone-like DNA-binding protein HV produced by L. sakei subsp. sakei 23 K. Total genomic DNA was extracted and used as target DNA for PCR amplification of the genes sak, lis and his involved in the synthesis of P1, P2 and P3. The fragments were cloned in pET28b expression vector and the resulting plasmids transformed in E. coli KRX competent cells. The transformants were active against Listeria monocytogenes, indicating that the activity of the classical sakacin P produced by L. sakei 2a can be complemented by other antimicrobial proteins.

Retention of the Enzymatic Activity and Product Properties During Spray Drying of Pineapple Stem Extract in Presence of Maltodextrin

The aim of this work was to investigate the effects of drying parameters on the retention of the enzymatic activity and on the physical properties of spray-dried pineapple stem extract. A Box and Behnken experimental design was used to investigate the effects of the processing parameters on the product properties. The parameters studied were the inlet temperature of drying gas (Tgi), the feed flow rate of the pineapple extract relative to evaporative capacity of the system (Ws /Wmax), and the concentration of maltodextrin added to the extract (MD). Significant effects of the processing parameters on the retention of the proteolytic activity of the powdered extract were observed. High processing temperatures lead to a product with a smaller moisture content, particle size, and lower agglomerating tendency. A product with insignificant losses of the proteolytic activity ( 10%) and low moisture content (less than 6.5%) is obtained at selected conditions.

Development of a Phytopharmaceutical Intermediate Product via Spray Drying

The influence of concentration and incorporation time of different drying excipients on the processing yields and physical properties of Eugenia dysenterica DC spray-dried extracts were investigated following a factorial design. Under the established conditions, the process yield ranged from 57.55 to 89.14%, and in most experiments, the recovered products presented suitable flowability and compressibility, as demonstrated by the Hausner factor, Carr index, and angle of repose. Additionally, in a general way, the parameters related to the dried products` flowability varied over a range acceptable for pharmaceutical purposes. An analysis of variance (ANOVA) proved that both factors and some of their interactions significantly affected most of the investigated responses at different levels. Mannitol proved to be an interesting alternative as an excipient for the drying of herbal extracts, even at low concentrations such as 12.5%. Furthermore, these results imply that the best condition to obtain dry extracts of E. dysenterica with high performance and adequate pharmacotechnical properties involves the lowest concentration and the highest incorporation time of mannitol.

Development Resource Planning: Complexity of Product Development and the Capacity to Launch New Products

Overcommitment of development capacity or development resource deficiencies are important problems in new product development (NPD). Existing approaches to development resource planning have largely neglected the issue of resource magnitude required for NPD. This research aims to fill the void by developing a simple higher-level aggregate model based on an intuitive idea: The number of new product families that a firm can effectively undertake is bound by the complexity of its products or systems and the total amount of resources allocated to NPD. This study examines three manufacturing companies to verify the proposed model. The empirical results confirm the study`s initial hypothesis: The more complex the product family, the smaller the number of product families that are launched per unit of revenue. Several suggestions and implications for managing NPD resources are discussed, such as how this study`s model can establish an upper limit for the capacity to develop and launch new product families.

Exploratory Approach to the use of Techniques of Regression Analysis and Pooled Analysis in Studies of Consumer Behavior

This paper is part of a large study to assess the adequacy of the use of multivariate statistical techniques in theses and dissertations of some higher education institutions in the area of marketing with theme of consumer behavior from 1997 to 2006. The regression and conjoint analysis are focused on in this paper, two techniques with great potential of use in marketing studies. The objective of this study was to analyze whether the employement of these techniques suits the needs of the research problem presented in as well as to evaluate the level of success in meeting their premisses. Overall, the results suggest the need for more involvement of researchers in the verification of all the theoretical precepts of application of the techniques classified in the category of investigation of dependence among variables.

ON THE DIFFERENCES BETWEEN THE MARGINAL PRODUCT OF CAPITAL ACROSS COUNTRIES

We extended the standard neoclassical model of investment for the case of an open economy. Our model shows that risk premium not only creates a wedge between the marginal product of capital across countries but also reduces an economy`s savings rate. A riskier market thus presents a lower income per capita, ceteris paribus. Our empirical analysis, from 1950 to 2003, lends support to the conclusion that both risk and the correction for output price to investment ratio help to explain the differentials.

Verification of the role of the low level jets in Amazon squall lines

In this study we present a climatology of the Amazon squall lines (ASLs), between the years 2000 and 2008, using satellite imagery and European Centre for Medium-Range Weather Forecasts (ECMWF) reanalyses. The ASLs we are interested in are typically formed along the northern coast of Brazil and sometimes propagate for long distances inland. Results show that, on average, an ASL occurs every 2 days. ASLs are more frequent between April and June and less frequent between October and November. The years of 2005 and 2006 showed 25% more cases than the other years. This might be related to an increase of the Atlantic sea surface temperature. Of the total number of ASL cases, 54% propagated less than 170 km, 26% propagated between 170 and 400 km, and 20% propagated more than 400 km. We also studied the occurrence of low level jets (LLJs) associated with the coastal ASLs. Although LLJs are always present in the environment before the formation of the ASL and even on days without ASL cases, important differences were found, mainly related to the LLJ depths. (C) 2010 Elsevier B.V. All rights reserved.

Bayesian Estimation for Performance Measures of Two Diagnostic Tests in the Presence of Verification Bias

Sensitivity and specificity are measures that allow us to evaluate the performance of a diagnostic test. In practice, it is common to have situations where a proportion of selected individuals cannot have the real state of the disease verified, since the verification could be an invasive procedure, as occurs with biopsy. This happens, as a special case, in the diagnosis of prostate cancer, or in any other situation related to risks, that is, not practicable, nor ethical, or in situations with high cost. For this case, it is common to use diagnostic tests based only on the information of verified individuals. This procedure can lead to biased results or workup bias. In this paper, we introduce a Bayesian approach to estimate the sensitivity and the specificity for two diagnostic tests considering verified and unverified individuals, a result that generalizes the usual situation based on only one diagnostic test.

Indecomposable and noncrossed product division algebras over function fields of smooth p-adic curves

We construct indecomposable and noncrossed product division algebras over function fields of connected smooth curves X over Z(p). This is done by defining an index preserving morphism s: Br(<(K(X))over cap>)` --> Br(K(X))` which splits res : Br(K (X)) --> Br(<(K(X))over cap>), where <(K(X))over cap> is the completion of K (X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over <(K(X))over cap>. (C) 2010 Elsevier Inc. All rights reserved.

Verifiable Visualization for Isosurface Extraction

Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. In this paper, we present techniques to assess the behavior of isosurface extraction codes. Where applicable, these techniques allow us to distinguish whether anomalies in isosurface features can be attributed to the underlying physical process or to artifacts from the extraction process. Such scientific scrutiny is at the heart of verifiable visualization - subjecting visualization algorithms to the same verification process that is used in other components of the scientific pipeline. More concretely, we derive formulas for the expected order of accuracy (or convergence rate) of several isosurface features, and compare them to experimentally observed results in the selected codes. This technique is practical: in two cases, it exposed actual problems in implementations. We provide the reader with the range of responses they can expect to encounter with isosurface techniques, both under ""normal operating conditions"" and also under adverse conditions. Armed with this information - the results of the verification process - practitioners can judiciously select the isosurface extraction technique appropriate for their problem of interest, and have confidence in its behavior.

Spallation product distributions and neutron multiplicities for accelerator-driven system using the CRISP code

Neutron multiplicities for several targets and spallation products of proton-induced reactions in thin targets of interest to an accelerator-driven system obtained with the CRISP code have been reported. This code is a Monte Carlo calculation that simulates the intranuclear cascade and evaporationl fission competition processes. Results are compared with experimental data, and agreement between each other can be considered quite satisfactory in a very broad energy range of incitant particles and different targets.