Predicting toxic gas concentrations resulting from enclosure fires using local equivalence ratio concept linked to fire field models

A practical CFD method is presented in this study to predict the generation of toxic gases in enclosure fires. The model makes use of local combustion conditions to determine the yield of carbon monoxide, carbon dioxide, hydrocarbon, soot and oxygen. The local conditions used in the determination of these species are the local equivalence ratio (LER) and the local temperature. The heat released from combustion is calculated using the volumetric heat source model or the eddy dissipation model (EDM). The model is then used to simulate a range of reduced-scale and full-scale fire experiments. The model predictions for most of the predicted species are then shown to be in good agreement with the test results

Ecological equivalence of species within phytoplankton functional groups

1.There are tens of thousands of species of phytoplankton found throughout the tree of life. Despite this diversity, phytoplankton are often aggregated into a few functional groups according to metabolic traits or biogeochemical role. We investigate the extent to which phytoplankton species dynamics are neutral within functional groups. 2.Seasonal dynamics in many regions of the ocean are known to affect phytoplankton at the functional group level leading to largely predictable patterns of seasonal succession. It is much more difficult to make general statements about the dynamics of individual species. 3.We use a 7 year time-series at station L4 in the Western English Channel with 57 diatom and 17 dinoflagellate species enumerated weekly to test if the abundance of diatom and dinoflagellate species vary randomly within their functional group envelope or if each species is driven uniquely by external factors. 4.We show that the total biomass of the diatom and dinoflagellate functional groups is well predicted by irradiance and temperature and quantify trait values governing the growth rate of both functional groups. The biomass dynamics of the functional groups are not neutral and each has their own distinct responses to environmental forcing. Compared to dinoflagellates, diatoms have faster growth rates, and grow faster under lower irradiance, cooler temperatures, and higher nutrient conditions. 5.The biomass of most species vary randomly within their functional group biomass envelope, most of the time. As a consequence, modelers will find it difficult to predict the biomass of most individual species. Our analysis supports the approach of using a single set of traits for a functional group and suggests that it should be possible to determine these traits from natural communities.

Development of a monoclonal antibody binding okadaic acid and dinophysistoxins-1, -2 in proportion to their toxicity equivalence factors

Okadaic acid (OA) and structurally related toxins dinophysistoxin-1 (DTX-1), and DTX-2, are lipophilic marine biotoxins. The current reference method for the analysis of these toxins is the mouse bioassay (MBA). This method is under increasing criticism both from an ethical point of view and because of its limited sensitivity and specificity. Alternative replacement methods must be rapid, robust, cost effective, specific and sensitive. Although published immuno-based detection techniques have good sensitivities, they are restricted in their use because of their inability to: (i) detect all of the OA toxins that contribute to contamination; and (ii) factor in the relative toxicities of each contaminant. Monoclonal antibodies (MAbs) were produced to OA and an automated biosensor screening assay developed and compared with ELISA techniques. The screening assay was designed to increase the probability of identifying a MAb capable of detecting all OA toxins. The result was the generation of a unique MAb which not only cross-reacted with both DTX-1 and DTX-2 but had a cross-reactivity profile in buffer that reflected exactly the intrinsic toxic potency of the OA group of toxins. Preliminary matrix studies reflected these results. This antibody is an excellent candidate for the development of a range of functional immunochemical-based detection assays for this group of toxins.

Localização de ontologias - elementos para a construção de uma abordagem

O desenvolvimento de recursos multilingues robustos para fazer face às exigências crescentes na complexidade dos processos intra e inter-organizacionais é um processo complexo que obriga a um aumento da qualidade nos modos de interacção e partilha dos recursos das organizações, através, por exemplo, de um maior envolvimento dos diferentes interlocutores em formas eficazes e inovadoras de colaboração. É um processo em que se identificam vários problemas e dificuldades, como sendo, no caso da criação de bases de dados lexicais multilingues, o desenvolvimento de uma arquitectura capaz de dar resposta a um conjunto vasto de questões linguísticas, como a polissemia, os padrões lexicais ou os equivalentes de tradução. Estas questões colocam-se na construção quer dos recursos terminológicos, quer de ontologias multilingues. No caso da construção de uma ontologia em diferentes línguas, processo no qual focalizaremos a nossa atenção, as questões e a complexidade aumentam, dado o tipo e propósitos do artefacto semântico, os elementos a localizar (conceitos e relações conceptuais) e o contexto em que o processo de localização ocorre. Pretendemos, assim, com este artigo, analisar o conceito e o processo de localização no contexto dos sistemas de gestão do conhecimento baseados em ontologias, tendo em atenção o papel central da terminologia no processo de localização, as diferentes abordagens e modelos propostos, bem como as ferramentas de base linguística que apoiam a implementação do processo. Procuraremos, finalmente, estabelecer alguns paralelismos entre o processo tradicional de localização e o processo de localização de ontologias, para melhor o situar e definir.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

The career indecision profile : measurement equivalence in two international samples

This study tested for the measurement equivalence of a four-factor measure of career indecision (Career Indecision Profile-65 [CIP-65]) between a U.S. sample and two international samples; one composed of French-speaking young adults from France and Switzerland and the other of Italian ado- lescents. Previous research had supported the four-factor structure of the CIP-65 in both the United States and Iceland but also showed that items on two of the four scales may be interpreted differently by young adults growing up in these two countries. This study extends previous research by testing whether the four CIP-65 factors are measured equivalently in two additional international samples. Results largely supported the configural and metric invariance of the CIP-65 in the United States and international samples, but several scales showed a lack of scalar invariance. Some explanations are offered for these findings along with suggestions for future research and implications for practice.