Use of cement suspension as an alternative matrix material for textile-reinforced concrete

Textile-reinforced concrete (TRC) is a material consisting of high-performance concrete (HPC) and tensile reinforcement comprised of carbon roving with epoxy resin matrix. However, the problem of low epoxy resin resistance at higher temperatures persists. In this work, an alternative to the epoxy resin matrix, a non-combustible cement suspension (cement milk) which has proven stability at elevated temperatures, was evaluated. In the first part of the work, microscopic research was carried out to determine the distribution of particle sizes in the cement suspension. Subsequently, five series of plate samples differing in the type of cement and the method of textile reinforcement saturation were designed and prepared. Mechanical experiments (four-point bending tests) were carried out to verify the properties of each sample type. It was found that the highest efficiency of carbon roving saturation was achieved by using finer ground cement (CEM 52.5) and the pressure saturation method. Moreover, this solution also exhibited the best results in the four-point bending test. Finally, the use of CEM 52.5 in the cement matrix appears to be a feasible variant for TRC constructions that could overcome problems with its low temperature resistance

P94 TLR7 and TLR8 differentially activate the IRF and NF-kB pathways in specific cell types to promote inflammation

n/

Integrating Abstraction Techniques for Formal Verification of Analog Designs

The verification of analog designs is a challenging and exhaustive task that requires deep understanding of physical behaviours. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. In the proposed method, system equations are automatically extracted from a circuit diagram by means of a bond graph. Verification is applied based on combining techniques from constraint solving and computer algebra along with symbolic model checking. Our methodology has the advantage of avoiding exhaustive simulation normally encountered in the verification of analog designs. To this end, we have used Dymola, Hsolver, SMV and Mathematica to implement the verification flow. We illustrate the methodology on several analog examples including Colpitts and tunnel diode oscillators

The pseudo McMillan degree of implicit transfer functions of RLC networks

We study the structure of a given RLC network without sources. Since the McMillan degree of the implicit transfer function is not a suitable measure of complexity of the network, we introduce the pseudo McMillan degree to overcome these shortcomings.Using modified nodal analysis models, which are linked directly to the natural network topology, we shaw that the pseudo-McMillan degree equals the sum of the number of capacitors and inductors minus the number of fundamental loops of capacitors and fundamental cutsets of inductors; this is the number of independent dynamic elements in the network. Exploiting this representation we derive a minimal realization of the given RLC network, that is one where the number of independent differential equations equals the pseudo McMillan degree

O37 M5049, a novel potent and selective inhibitor of toll-like receptors 7 and 8 (TLR 7/8)

n/

Multilab Direct Replication of Flavell, Beach, and Chinsky (1966): Spontaneous Verbal Rehearsal in a Memory Task as a Function of Age

Work by Flavell, Beach, and Chinsky indicated a change in the spontaneous production of overt verbalization behaviors when comparing young children (age 5) with older children (age 10). Despite the critical role that this evidence of a change in verbalization behaviors plays in modern theories of cognitive development and working memory, there has been only one other published near replication of this work. In this Registered Replication Report, we relied on researchers from 17 labs who contributed their results to a larger and more comprehensive sample of children. We assessed memory performance and the presence or absence of verbalization behaviors of young children at different ages and determined that the original pattern of findings was largely upheld: Older children were more likely to verbalize, and their memory spans improved. We confirmed that 5- and 6-year-old children who verbalized recalled more than children who did not verbalize. However, unlike Flavell et al., substantial proportions of our 5- and 6-year-old samples overtly verbalized at least sometimes during the picture memory task. In addition, continuous increase in overt verbalization from 7 to 10 years old was not consistently evident in our samples. These robust findings should be weighed when considering theories of cognitive development, particularly theories concerning when verbal rehearsal emerges and relations between speech and memory