Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability

In this paper, we consider branching time temporal logic CT L with epistemic modalities for knowledge (belief) and with awareness operators. These logics involve the discrete-time linear temporal logic operators “next” and “until” with the branching temporal logic operator “on all paths”. In addition, the temporal logic of knowledge (belief) contains an indexed set of unary modal operators “agent i knows” (“agent i believes”). In a language of these logics, there are awareness operators. For these logics, we present sequent calculi with a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for these calculi are proved. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 328–340, July–September, 2007.     

Influence of hydrodynamic conditions of the solution on the sensitivity of stripping analysis of trace metals

Possibilities to increase the sensitivity of stripping analysis by optimising the hydrodynamic conditions of the solution during the deposition and rest period are evaluated. Rotation rates as high as 13 000 rpm can be applied during the deposition step at a mercury film rotating disc electrode for Zn, Cd, Pb, In and Tl determinations when 10-20 mg/l of Hg(2+) for the renewal of the mercury film is added. Because of the extreme sensitivity on the properties of the mercury film in the case of Ga only 4000-5000 rpm are recommended. The highest stirring efficiencies using a magnetic stirrer are equivalent to 2500-3000 rpm when a rotating disc electrode is used. The effect of the duration of the rest period is not significant for square wave stripping voltammetry, however, analytical signals can be increased 10 and more times when potentiometric stripping analysis is applied.     

Inhibition activity of ethyleneglycol and its oligomers on tin electrode

Voltammetry and electrochemical impedance spectroscopy were applied to investigate the inhibition activity of ethyleneglycol and its oligomers on tin electrode in strong acidic sulfate solutions. Tetraethyleneglycol was found to be the most active substance among compounds HO–(CH₂–CH₂–O) _m –H (m≤4) that retards diffusion-controlled Sn(II) reduction due to its inhibitive adsorption. This rather slow process is controlled both by diffusion and electrosorption steps. A comparison of exchange current densities obtained in the presence of different polyethers shows that the length of the hydrocarbon chain is the main factor responsible for inhibition activity of such substances on tin electrode.     

Silicone glue based solid phase microextraction fiber for amino acid determination

A solid phase microextraction fiber based on high temperature silicone glue coated on a stainless steel wire is presented for use in the extraction of amino acid derivatives. Amino acids were derivatizad using ethyl chloroformate. Effects of the extraction and desorption parameters including extraction and desorption time, desorption temperature and ionic strength on the extraction/desorption efficiency have been studied and quality parameters of the method were measured. A possibility to apply the proposed method for the identification of proteinaceous binders was demonstrated.     

Generalized (f,U s,u t , λ s t )-structures

iauliai Pedagogical Institute, P. Viinskio str. 25, 5419 iauliai, Lithuania. Translated from Lietuvos Matematikos Rinkinys, Vol. 33, No. 2, pp. 135–141, April–June, 1993.     

Mesomorphic Properties of New 5-Alkyl-2-Pyrimidinols Esters

Abstract

A synthesis of a number of 5-alkyl-2-pyrimidinol esters was conducted, their mesomorphic properties were examined. Two ring esters of said pyrimidinols are nonmesomorphic, while three ring esters are typical mesogens, forming nematic either nematic-smectic mesophases.     

Probing the influence of an allylic methyl group in zearalenone analogues on binding to Hsp90

By the replacement of an acetate with propionate by means of organic synthesis, a range of zearalenone analogues were prepared that feature an allylic methyl group. For the synthesis of the aliphatic region of the analogues, we used an asymmetric alkylation to yield pentenol derivatives 16 and ent‐ 16 . By means of hydroboration the corresponding aldehydes were secured. These were coupled with 2‐pentynol derivate 23 by means of a Carreira acetylide addition. Further routine steps led to the sulfones 29 and 45 , respectively. After merging them with 2‐bromobenzaldehyde 9 in a Julia–Kocienski reaction, metalation, carboxylation, and protecting‐group manipulations gave the seco acids 35 and 49 . By means of lactonization under Mitsunobu (alcohol activation) or Trost–Kita conditions (carboxyl activation), all four possible macrocyclic ketone stereoisomers were accessible. In all, considering various protecting‐group decorations, 16 analogues were obtained and tested for cytotoxicity (L929 mouse fibroblast cell line). Whereas most of the analogues were less active than zearalenone (IC₅₀=9.4 μM ), the resorcinol derivatives were comparable, with one stereoisomer ( 40 b ) being slightly more active (IC₅₀=6.6 μM ). These results were also reflected in the binding assays to Hsp90 in which 40 b showed a dissociation constant (K_d) value of 130 nM .     

Hydration of cement with superabsorbent polymers

Hydration of cement is a complex thermodynamic system where a number of heterogeneous compounds interact with each other to form cement hydrates. Superabsorbent polymers (SAP) can be added to cement systems with many different reasons, so it is relevant that the basic knowledge of this new compound on the development of hydration is well understood. This paper reports basic research on thermal analysis of cement pastes with SAP—a suspension-polymerized poly acrylic acid–acrylamide copolymer. Several parameters were analysed: the concentration of SAP, the effect of particle size distribution and their influence on the hydration process with focus on ordinary Portland cement. The methodology included thermogravimetric analysis and differential scanning calorimetry. Combined water method was employed at different thermodynamic conditions, so the energy of activation in the different systems can be accessed. The introduction of SAP in cement-based materials significantly affects the chemical balance of ordinary Portland cement. The effect is not only in terms of the amount of hydrates, but also the type of hydrates being generated, thermodynamically favourable to precipitation of calcium hydroxide. This paper provides information relevant to hydration modelling and comprehension of cementitious materials when internal curing is active.