FIRE-PROTECTION WITH ALKALI-ACTIVATED CEMENT BINDER

Fire resistance of unprotected steel structures is very low and steel elements must be protected from fire. One possibility is to create a protective layer of a cement-based material. Most types of cement have a low resistance to high temperatures, reducing mechanical properties. In flammability tests, cement activated with alkaline compounds showed better properties compared to conventional types of cement. This paper represents the determination of the properties of two H-Cement mortars with experlite or fireclay sand. Experiments carried out in a small kiln simulating a 1D load showed differences between elements in terms of heat transfer to the tested elements. The calculation model created to predict the course of the experiments has been validated and the unknown properties of the material have been calculated based on the data collected. The samples were tested in a small fire furnace. Finally, the thermal conductivity pattern was determined depending on the temperature

On Varieties of Ordered Automata

The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\mathcal C$-varieties of languages to positive $\mathcal C$-varieties of ordered automata and we present various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting

Recognisable languages over monads

The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of composing structures into bigger structures. It so happens that category theory has an abstract concept for this, namely a monad. The goal of this paper is to propose monads as a unifying framework for discussing existing algebras and designing new algebras

Free profinite R-trivial, locally idempotent and locally commutative semigroups

This paper is concerned with the structure of implicit operations on R intersection with LJ1, the pseudovariety of all R-trivial, locally idempotent and locally commutative semigroups. We give a unique factorization statement, in terms of component projections and idempotent elements, for the implicit operations on R intersection with LJ1. As an application we give a combinatorial description of the languages that are both R-trivial and locally testable. A similar study is conducted for the pseudovariety DA intersection with LJ1 of locally idempotent and locally commutative semigroups in which each regular D-class is a rectangular band.INVOTAN, grant 4/ A/94/PO.PRC-GdR AM

On Decidability of Intermediate Levels of Concatenation Hierarchies

It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained. More generally, for every concatenation hierarchy of regular languages, it is proved that decidability of one of its half levels implies decidability of the intersection of the following half level with its complement

A novel approach of introducing crystalline protection material and curing agent in fresh concrete for enhancing hydrophobicity

A new line of research to enhance the performance of concrete under adverse (harsh) and normal (air cured) curing conditions is presented. A crystallising hydrophobic admixture and curing agents were added to fresh concrete to improve its resistance against severe environmental conditions. A two-stage approach was pursued by adding the crystallising admixture to fresh concrete followed by curing agents, in a wax and liquid forms, in a separate application process, followed by exposing concrete to normal and adverse curing conditions. Results obtained suggests that protecting concrete with the crystallising admixture followed by applying wax based curing agent improves concrete strength and its resistance to water ingress than concrete cured with the liquid curing agent. When following the crystallising-wax treating system under adverse curing conditions, a more conserved strength was noticed compared to that produced by the crystallising-liquid system. Using the liquid curing agent in concrete with high water to cement ratio (w/c) has increased the cracks in the internal structure, while water permeability has decreased, either under normal curing conditions or adverse conditions. Following this protection-curing system in industry would resolve the problem of applying protection on wet surfaces and increase concrete’s resistance to deterioration. A microscopic study of the crystallising material was attained with a Scanning Electron Microscope (SEM) to check crystal growth with time

Full vs Partial Market Coverage with Minimum Quality Standards

The consequences of the adoption of quality standards on the extent of market coverage is investigated by modelling a game between regulator and low-quality firm in a vertically differentiated duopoly. The game has a unique equilibrium in the most part of the parameter range. There exists a non-negligible range where the game has no equilibrium in pure strategies. This result questions the feasibility of MQS regulation when firms endogenously determine market coverage