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.

On Building a Memory Evolutive System for Application to Learning and Cognition Modeling

We address here aspects of the implementation of a memory evolutive system (MES), based on the model proposed by A. Ehresmann and J. Vanbremeersch (2007), by means of a simulated network of spiking neurons with time dependent plasticity. We point out the advantages and challenges of applying category theory for the representation of cognition, by using the MES architecture. Then we discuss the issues concerning the minimum requirements that an artificial neural network (ANN) should fulfill in order that it would be capable of expressing the categories and mappings between them, underlying the MES. We conclude that a pulsed ANN based on Izhikevich`s formal neuron with STDP (spike time-dependent plasticity) has sufficient dynamical properties to achieve these requirements, provided it can cope with the topological requirements. Finally, we present some perspectives of future research concerning the proposed ANN topology.

Evaluation of Characterization and Performance Modeling of Cementitiously Stabilized Layers in the Mechanistic-Empirical Pavement Design Guide

Cementitious stabilization of aggregates and soils is an effective technique to increase the stiffness of base and subbase layers. Furthermore, cementitious bases can improve the fatigue behavior of asphalt surface layers and subgrade rutting over the short and long term. However, it can lead to additional distresses such as shrinkage and fatigue in the stabilized layers. Extensive research has tested these materials experimentally and characterized them; however, very little of this research attempts to correlate the mechanical properties of the stabilized layers with their performance. The Mechanistic Empirical Pavement Design Guide (MEPDG) provides a promising theoretical framework for the modeling of pavements containing cementitiously stabilized materials (CSMs). However, significant improvements are needed to bring the modeling of semirigid pavements in MEPDG to the same level as that of flexible and rigid pavements. Furthermore, the MEPDG does not model CSMs in a manner similar to those for hot-mix asphalt or portland cement concrete materials. As a result, performance gains from stabilized layers are difficult to assess using the MEPDG. The current characterization of CSMs was evaluated and issues with CSM modeling and characterization in the MEPDG were discussed. Addressing these issues will help designers quantify the benefits of stabilization for pavement service life.

Host-guest complexation of a nitroheterocyclic compound with cyclodextrins: a spectrofluorimetric and molecular modeling study

Nitroheterocyclic compounds (NC) were candidate drugs proposed for Chagas disease chemotherapy. In this study, we investigated the complexation of hydroxymethylnitrofurazone (NFOH), a potential antichagasic compound, with alpha-cyclodextrin (alpha-CD), beta-cyclodextrin (beta-CD), Hydroxypropyl-beta-cyclodextrin (HP-beta-CD), Dimethyl-beta-cyclodextrin (DM-beta-CD) and gamma-cyclodextrin (gamma-CD) by fluorescence spectroscopy and molecular modeling studies. Hildebrand-Benesi equation was used to calculate the formation constants of NFOH with cyclodextrins based on the fluorescence differences in the CDs solution. The complexing capacity of NFOH with different CDs was compared through the results of association constant according to the following order: DM-beta-CD > beta-CD > alpha-CD > HP-beta-CD > gamma-CD. Molecular modeling studies give support for the experimental assignments, in favor of the formation of an inclusion complex between cyclodextrins with NFOH. This is an important study to investigate the effects of different kinds of cyclodextrins on the inclusion complex formation with NFOH and to better characterize a potential formulations to be used as therapeutic options for the oral treatment of Chagas disease.

Design, synthesis, antimicrobial activity and molecular modeling studies of novel benzofuroxan derivatives against Staphylococcus aureus

Molecular modi. cation is a quite promising strategy in the design and development of drug analogs with better bioavailability, higher intrinsic activity and less toxicity. In the search of new leads with potential antimicrobial activity, a new series of 14 4-substituted [N`-(benzofuroxan-5-yl) methylene] benzohydrazides, nifuroxazide derivatives, were synthesized and tested against standard and multidrug-resistant Staphylococcus aureus strains. The selection of the substituent groups was based on physicochemical properties, such as hydrophobicity and electronic effect. These properties were also evaluated through the lipophilic and electrostatic potential maps, respectively, considering the compounds with better biological pro. le. Twelve compounds exhibited similar bacteriostatic activity against standard and multidrug-resistant strains. The most active compound was the 4-CF(3) substituted derivative, which presented a minimum inhibitory concentration (MIC) value of 14.6-13.1 mu g/mL, and a ClogP value of 1.87. The results highlight the benzofuroxan derivatives as potential leads for designing new future antimicrobial drug candidates. (C) 2009 Elsevier Ltd. All rights reserved.

Free-Surface Aeration and Momentum Exchange at a Bottom Outlet

This study aims to provide some new understanding of the air-water flow properties in high-velocity water jets discharging past an abrupt drop. Such a setup has been little studied to date despite the relevance to bottom outlets. Downstream of the step brink, the free-jet entrains air at both upper and lower air-water interfaces, as well as along the sides. An air-water shear layer develops at the lower nappe interface. At the lower nappe, the velocity redistribution was successfully modelled and the velocity field was found to be similar to that in two-dimensional wake flow. The results highlighted further two distinct flow regions. Close to the brink (Wex < 5000), the flow was dominated by momentum transfer. Further downstream (Wex > 5000), a strong competition between air bubble diffusion and momentum exchanges took place.

Turbulent Time and Length Scale Measurements in High-Velocity Open Channel Flows

In high-velocity open channel flows, the measurements of air-water flow properties are complicated by the strong interactions between the flow turbulence and the entrained air. In the present study, an advanced signal processing of traditional single- and dual-tip conductivity probe signals is developed to provide further details on the air-water turbulent level, time and length scales. The technique is applied to turbulent open channel flows on a stepped chute conducted in a large-size facility with flow Reynolds numbers ranging from 3.8 E+5 to 7.1 E+5. The air water flow properties presented some basic characteristics that were qualitatively and quantitatively similar to previous skimming flow studies. Some self-similar relationships were observed systematically at both macroscopic and microscopic levels. These included the distributions of void fraction, bubble count rate, interfacial velocity and turbulence level at a macroscopic scale, and the auto- and cross-correlation functions at the microscopic level. New correlation analyses yielded a characterisation of the large eddies advecting the bubbles. Basic results included the integral turbulent length and time scales. The turbulent length scales characterised some measure of the size of large vortical structures advecting air bubbles in the skimming flows, and the data were closely related to the characteristic air-water depth Y90. In the spray region, present results highlighted the existence of an upper spray region for C > 0.95 to 0.97 in which the distributions of droplet chord sizes and integral advection scales presented some marked differences with the rest of the flow.

Hydraulic Design of Stepped Spillways and Downstream Energy Dissipators for Embankment Dams

In recent years, the design flows of many dams were re-evaluated, often resulting in discharges larger than the original design. In many cases, the occurrence of the revised flows could result in dam overtopping because of insufficient storage and spillway capacity. An experimental study was conducted herein to gain a better understanding of the flow properties in stepped chutes with slopes typical of embankment dams. The work was based upon a Froude similitude in large-size experimental facilities. A total of 10 configurations were tested including smooth steps, steps equipped with devices to enhance energy dissipation and rough steps. The present results yield a new design procedure. The design method includes some key issues not foreseen in prior studies : e.g., gradually varied flow, type of flow regime, flow resistance. It is believed that the outcomes are valid for a wide range of chute geometry and flow conditions typical of embankment chutes.

Coastal photograph: Aber Wrac'h, Pays du Léon, Bretagne

Aber Wrac’h, Pays du Léon, Bretagne. Aber Wrac’h, Bretagne, France, on 10 March 2004 at 13:30 (low tide) looking North (downstream) towards the Aber mouth and open sea between Lannilis and Plougerneau, Pays des Abers, Pays du Le´on. The word "Aber" is Britton (Breton) for a "fjord"-like estuary. Located on the Channel, the region "Pays des Abers" includes several deep incisions in the coastlines. The best known ‘‘Abers’’ are the Aber Wrac’h and Aber Benoit in the Pays du Léon, Finistere Nord.

Impact of Commercial Search Engines and International Databases on Engineering Teaching and Research

For the last three decades, the engineering higher education and professional environments have been completely transformed by the "electronic/digital information revolution" that has included the introduction of personal computer, the development of email and world wide web, and broadband Internet connections at home. Herein the writer compares the performances of several digital tools with traditional library resources. While new specialised search engines and open access digital repositories may fill a gap between conventional search engines and traditional references, these should be not be confused with real libraries and international scientific databases that encompass textbooks and peer-reviewed scholarly works. An absence of listing in some Internet search listings, databases and repositories is not an indication of standing. Researchers, engineers and academics should remember these key differences in assessing the quality of bibliographic "research" based solely upon Internet searches.

Experimental Analysis of Froude Number Effect on Air Entrainment in the Hydraulic Jump

A hydraulic jump is characterized by strong energy dissipation and mixing, large-scale turbulence, air entrainment, waves and spray. Despite recent pertinent studies, the interaction between air bubbles diffusion and momentum transfer is not completely understood. The objective of this paper is to present experimental results from new measurements performed in rectangular horizontal flume with partially-developed inflow conditions. The vertical distributions of void fraction and air bubbles count rate were recorded for inflow Froude number Fr1 in the range from 5.2 to 14.3. Rapid detrainment process was observed near the jump toe, whereas the structure of the air diffusion layer was clearly observed over longer distances. These new data were compared with previous data generally collected at lower Froude numbers. The comparison demonstrated that, at a fixed distance from the jump toe, the maximum void fraction Cmax increases with the increasing Fr1. The vertical locations of the maximum void fraction and bubble count rate were consistent with previous studies. Finally, an empirical correlation between the upper boundary of the air diffusion layer and the distance from the impingement point was provided.

Surface Waves and Roughness in Self-Aerated Supercritical Flow

In high-velocity open channel flows, free-surface aeration is commonly observed. The effects of surface waves on the air-water flow properties are tested herein. The study simulates the air-water flow past a fixed-location phase-detection probe by introducing random fluctuations of the flow depth. The present model yields results that are close to experimental observations in terms of void fraction, bubble count rate and bubble/droplet chord size distributions. The results show that the surface waves have relatively little impact on the void fraction profiles, but that the bubble count rate profiles and the distributions of bubble and chord sizes are affected by the presence of surface waves.

Young children, adolescents and alcohol - Part II: Reputation enhancement and self-concept

The research reported builds on our earlier work (Houghton, Carroll, & Odgers, 1998) which explored young children's and adolescents' views pertaining to knowledge and awareness of alcohol and alcohol-related issues. In this second study 640 (286 male and 354 female) school students randomly selected from five primary schools and five high schools in Perth, Western Australia participated. Data were obtained using The Which Group picture booklet questionnaire which comprises five parts and utilises illustrations (drawn by a professional children's artist) to gather information about children's and adolescents' orientations towards alcohol risk social situations, reputation enhancement, self-concept, and other related issues. Of the sample, 73% of males and 70.6% of females had tried alcohol, with beer being consumed most often. Significantly more participants in higher Year levels had tried alcohol. Over 90% said they drank at a party. Multivariate analysis revealed that nine of the 11 dependent variables contributed to the significant main effect of alcohol risk group, of which three were self-concept variables and six were reputation enhancement variables. It appears that individuals with the highest levels of orientation to alcohol risk believe that they are liked by their families, are physically attractive and have greater confidence in themselves. They also have higher levels of Admiration of Alcohol Related Activities and also of prosocial activities. While striving to attain a non-conforming reputation these individuals also wish to be ideally perceived by others as conforming. Gender and Age differences are investigated.

Morphology of the thyroid in coastal and noncoastal populations of the koala (Phascolarctos cinereus) in Queensland

The gross morphology, histology, and ultrastructure of the thyroid gland of the koala, Phascolarctos cinereus, is described. Generally, the glands were found to contain large-diameter follicles in association with an epithelium of low height. Morphometric analysis demonstrated a high relative thyroid weight (0.3 +/- 0.2 g/kg) for koalas compared with the 0.07-0.24 g/kg typical of eutherian mammals and 0.03-0.1 g/kg found in other marsupials. The relative thyroid weight of glands (0.33 +/- 0.21 g/kg) from the coastal population (less than 28 km from the coastline) was found to be significantly higher (ANOVA: P = 0.007, significant at the 1% level) than that for glands (0.21 +/- 0.11 g/kg) of noncoastal koalas (greater than 28 km from the coastline). Follicle size was positively correlated (at the 0.1% level) with relative thyroid weight in the overall koala sample. The presence of C cells, occurring singly in the epithelial layer, was demonstrated in electron micrographs. Structural features such as low epithelial height, large follicle length and width, and large intercellular spaces in association with low concentrations of free TS (3.3 +/- 2.1 pM) and free T-3 (1.4 +/- 0.9 pM) as reported previously (Lawson et al., 1996) are consistent with an unusually low level of glandular activity in the koala thyroid even though iodine concentrations in the thyroid gland [4.7 +/- 1.6 mg/g (dry weight)] as well as leaf [0.8 +/- 0.3 mu g (dry weight)] and soil samples [3.8 mu g/g (dry weight)] from the koalas' habitat appear unremarkable. (C) 1998 Academic Press.

Coupled experimental and thermodynamic modeling studies for metallurgical smelting and coal combustion slag systems

An extensive research program focused on the characterization of various metallurgical complex smelting and coal combustion slags is being undertaken. The research combines both experimental and thermodynamic modeling studies. The approach is illustrated by work on the PbO-ZnO-Al2O3-FeO-Fe2O3-CaO-SiO2 system. Experimental measurements of the liquidus and solidus have been undertaken under oxidizing and reducing conditions using equilibration, quenching, and electron probe X-ray microanalysis. The experimental program has been planned so as to obtain data for thermodynamic model development as well as for pseudo-ternary Liquidus diagrams that can be used directly by process operators. Thermodynamic modeling has been carried out using the computer system FACT, which contains thermodynamic databases with over 5000 compounds and evaluated solution models. The FACT package is used for the calculation of multiphase equilibria in multicomponent systems of industrial interest. A modified quasi-chemical solution model is used for the liquid slag phase. New optimizations have been carried out, which significantly improve the accuracy of the thermodynamic models for lead/zinc smelting and coal combustion processes. Examples of experimentally determined and calculated liquidus diagrams are presented. These examples provide information of direct relevance to various metallurgical smelting and coal combustion processes.