The performance of concrete exposed to marine environments: predictive modelling and use of laboratory/on site test methods

This paper reports an approach by which laboratory based testing and numerical modelling can be combined to predict the long term performance of a range of concretes exposed to marine environments. Firstly, a critical review of the test methods for assessing the chloride penetration resistance of concrete is given. The repeatability of the different test results is also included. In addition to the test methods, a numerical simulation model is used to explore the test data further to obtain long-term chloride ingress trends. The combined use of testing and modelling is validated with the help of long-term chloride ingress data from a North Sea exposure site. In summary, the paper outlines a methodology for determining the long term performance of concrete in marine environments.

Test methods for concrete durability indicators

Durability of concrete structures is primarily dependent on the environmental influences, i.e. the penetration of aggressive substances in the structural element from the environment. Penetrability is an important durability indicator of concrete and by specifying different classes of penetrability of concrete it should be possible to design a structure with the required resistance to environmental loads. This chapter covers descriptions of the available and commonly applied in situ and laboratory, non-invasive and semi-invasive test methods for evaluating concrete penetrability properties.

Some Additional Specification Tests for Generalized Method of Moments Estimators with Macro-Economic Applications Part I : Theory

In This Paper Several Additional Gmm Specification Tests Are Studied. a First Test Is a Chow-Type Test for Structural Parameter Stability of Gmm Estimates. the Test Is Inspired by the Fact That \"Taste and Technology\" Parameters Are Uncovered. the Second Set of Specification Tests Are Var Encompassing Tests. It Is Assumed That the Dgp Has a Finite Var Representation. the Moment Restrictions Which Are Suggested by Economic Theory and Exploited in the Gmm Procedure Represent One Possible Characterization of the Dgp. the Var Is a Different But Compatible Characterization of the Same Dgp. the Idea of the Var Encompassing Tests Is to Compare Parameter Estimates of the Euler Conditions and Var Representations of the Dgp Obtained Separately with Parameter Estimates of the Euler Conditions and Var Representations Obtained Jointly. There Are Several Ways to Construct Joint Systems Which Are Discussed in the Paper. Several Applications Are Also Discussed.

Revise for Geography AS Edexcel specification B.

Esta guía proporciona el apoyo para cubrir la información y las habilidades que los estudiantes de secundaria necesitan para tener los conocimientos de Geografía requeridos en el nivel AS. La obra está dividida en tres módulos:cambios terrestres y su gestión; gestión del cambio en ambientes humanos; la investigación ambiental. El contenido de cada módulo se divide en secciones en las que se incluyen:una lista de lo que será revisado; un resumen del contenido de los temas clave; los conceptos fundamentales; diagramas que destacan la información clave; estudios de casos. Cada sección, también proporciona la comprobación rápida con preguntas para ayudar en la comprensión del test. Al final de cada módulo hay preguntas similares en estilo a las que los alumnos encontrarán en los exámenes. Al final del libro están las respuestas a estas preguntas.

Linear vs. log-linear unit-root specification: an application of mis-specification encompassing

The objective of this paper is to apply the mis-specification (M-S) encompassing perspective to the problem of choosing between linear and log-linear unit-root models. A simple M-S encompassing test, based on an auxiliary regression stemming from the conditional second moment, is proposed and its empirical size and power are investigated using Monte Carlo simulations. It is shown that by focusing on the conditional process the sampling distributions of the relevant statistics are well behaved under both the null and alternative hypotheses. The proposed M-S encompassing test is illustrated using US total disposable income quarterly data.

Can portmanteau nonlinearity tests serve as general mis-specification tests?

A number of recent papers have employed the BDS test as a general test for mis-specification for linear and nonlinear models. We show that for a particular class of conditionally heteroscedastic models, the BDS test is unable to detect a common mis-specification. Our results also demonstrate that specific rather than portmanteau diagnostics are required to detect neglected asymmetry in volatility. However for both classes of tests reasonable power is only obtained using very large sample sizes.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Strategy of specification of management areas: rice grain yield as related to soil fertility

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Allium cepa test in environmental monitoring: A review on its application

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Changes in the surface of four calcium silicate-containing endodontic materials and an epoxy resin-based sealer after a solubility test

Aim To compare the changes in the surface structure and elemental distribution, as well as the percentage of ion release, of four calcium silicate-containing endodontic materials with a well-established epoxy resin-based sealer, submitted to a solubility test. Methodology Solubility of AH Plus, iRoot SP, MTA Fillapex, Sealapex and MTA-Angelus (MTA-A) was tested according to ANSI/ADA Specification 57. The deionized water used in the solubility test was submitted to atomic absorption spectrophotometry to determine and quantify Ca2+, Na+, K+, Zn2+, Ni2+ and Pb2+ ions release. In addition, the outer and inner surfaces of nonsubmitted and submitted samples of each material to the solubility test were analysed by means of scanning electron microscopy and energy-dispersive spectroscopy (SEM/EDX). Statistical analysis was performed by using one-way anova and Tukeys post hoc tests (a = 0.05). Results Solubility results, in percentage, sorted in an increasing order were -1.24 +/- 0.19 (MTA-A), 0.28 +/- 0.08 (AH Plus), 5.65 +/- 0.80 (Sealapex), 14.89 +/- 0.73 (MTA Fillapex) and 20.64 +/- 1.42 (iRoot SP). AH Plus and MTA-A were statistically similar (P > 0.05), but different from the other materials (P < 0.05). High levels of Ca2+ ion release were observed in all groups except AH Plus sealer. MTA-A also had the highest release of Na2+ and K+ ions. Zn+2 ion release was observed only with AH Plus and Sealapex sealers. After the solubility test, all surfaces had morphological changes. The loss of matrix was evident and the filler particles were more distinguishable. EDX analysis displayed high levels of calcium and carbon at the surface of Sealapex, MTA Fillapex and iRoot SP. Conclusions AH Plus and MTA-A were in accordance with ANSI/ADAs requirements regarding solubility whilst iRoot SP, MTA Fillapex and Sealapex did not fulfil ANSI/ADAs protocols. High levels of Ca2+ ion release were observed in all materials except AH Plus. SEM/EDX analysis revealed that all samples had morphological changes in both outer and inner surfaces after the solubility test. High levels of calcium and carbon were also observed at the surface of all materials except AH Plus and MTA-A.

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Bayes Factors Based on Test Statistics

Traditionally, the use of Bayes factors has required the specification of proper prior distributions on model parameters implicit to both null and alternative hypotheses. In this paper, I describe an approach to defining Bayes factors based on modeling test statistics. Because the distributions of test statistics do not depend on unknown model parameters, this approach eliminates the subjectivity normally associated with the definition of Bayes factors. For standard test statistics, including the _2, F, t and z statistics, the values of Bayes factors that result from this approach can be simply expressed in closed form.

LED bulb lamps technical specification and testing procedure for solar home systems.

With the consolidation of the new solid state lighting LEOs devices, te5t1n9 the compliance 01 lamps based on this technology lor Solar Home Systems (SHS) have been analyzed. The definition of the laboratory procedures to be used with final products 15 a necessary step in arder to be able to assure the quality of the lamps prior to be installed [1]. As well as with CFL technology. particular attention has been given to simplicity and technical affordability in arder to facilitate the implementation of the test with basie and simple laboratory too15 even on the same SHS electrification program locations. The block of test procedures has been applied to a set of 14 low-cost lamps. They apply to lamp resistance, reliability and performance under normal, extreme and abnormal operating conditions as a simple but complete quality meter tool 01 any LEO bulb.

An ITS architecture specification - The FOTsis project experience

The recent continuous development of Cooperative ITS has resulted in several initiatives which focus on different parts of the Cooperative environment landscape. The FOTsis project focuses on the infrastructure side of the Cooperative environment and will deploy and test 7 services designed to maximise the benefits of the integration of the road operator and infrastructure-based information providers into the ITS environment. This integration can take place in any of the stages of data collection, processing and actuations of the services, but also support and trigger external tasks such as operations of the emergency response entities, etc. This paper describes the current status of the project and focuses on the specification of the supporting architecture to the services tested: references, a brief outline of the requirements’ definition, and the FOTsis architecture proposal, with some conclusions about the architecture tests conducted. The outlook on the project’s next steps is given in the last section of the paper.