Standardization of Methods for Characterizing the Surface Geometry of Solids

Since a comprehensive survey published in 1999 [1] much work was done in standardizing measuring methods to characterize the surface geometry of dispersed and/or porous solids and to certify reference materials. The present paper is an extension of a short communication [2]. It gives a survey on existing standards and reports on new drafts and proposals.     

Lattice valued intuitionistic fuzzy sets

In this paper a new definition of a lattice valued intuitionistic fuzzy set (LIFS) is introduced, in an attempt to overcome the disadvantages of earlier definitions. Some properties of this kind of fuzzy sets and their basic operations are given. The theorem of synthesis is proved: For every two families of subsets of a set satisfying certain conditions, there is an lattice valued intuitionistic fuzzy set for which these are families of level sets. The research supported by Serbian Ministry of Science and Technology, Grant No. 1227.     

Convergence of Computational Methods and Stability of Self-Balanced Stresses under Shrinkage of Spherical Inclusions of a Damageable Material

Some iterative methods for calculating self-balanced stresses under shrinkage of a ball inclusion enclosed in a spherical matrix of a physically nonlinear damageable material. The stability of this system was studied using methods of catastrophe theory. It has been established that the beginning of divergence of the proposed iterative processes coincides with the moment of transition of the system to an unstable position of equilibrium.     

Tensor Products of Quantum Structures and Their Applications in Quantum Measurements

Tensor products of quantum logics and effect algebras with some known problems are reviewed. It is noticed that although tensor products of effect algebras having at least one state exist, in the category of complex Hilbert space effect algebras similar problems as with tensor products of projection lattices occur. Nevertheless, if one of the two coupled physical systems is classical, tensor product exists and can be considered as a Boolean power. Some applications of tensor products (in the form of Boolean powers) to quantum measurements are reviewed.     

Macrodefect-Free Materials: Modification of Interfaces in Cement Composites by Polymer Grafting

MDF materials are chemically bonded ceramic materials free of the macrodefects typical of hydraulic cement-based materials. MDF materials arising through reactions of sulfo-aluminate-ferrite belitic (SAFB) clinkers and/or Portland cements (PC) with two types of water-soluble polymer (hydroxy-propylmethyl cellulose {HPMC}, polyphosphate glass {poly-P}) are discussed. Mixes of low energy SAFB clinkers with Portland cement, HPMC and, especially poly-P comprise promising cross-linked compositions additional to the better known MDF materials formed from high alumina cement with polyvinylalcohol/acetate. The principles of co-ordination of P and C atoms (of the polymer) with Al and Fe atoms (originating from the cement) are highlighted from spectroscopic information on next-nearest-neighbour interactions, along with the effects of second co-ordination spheres. Polymers modify the interface through functional bonding/grafting of polymer chains onto the surfaces of cement grains. Both the cross-linked atomic structure and the interface coincide well with the model of functional polymers and represent a new type of atomic-level structure in polymer-modified cements. Interpretation is based on previous magnetic resonance and thermal analysis studies. The compactness of Al(Fe)-O-P cross-links reduces transport through the interfaces, increasing the interfacial interactions and resisting the unfavourable uptake of moisture and carbonation.     

Stone代数的Cayley表示定理

首先通过集代数得到了Stone代数的表示定理,然后证明了每一个Stone代数均嵌入到某个集合X上的一个Stone映射类S中.     

Notes on Sublattice-Lattices

We prove that directly reducible lattices and selfdual subdirectly irreducible lattices of locally finite length are determined by their sublattice-lattices. As a corollary we obtain that splitting varieties are closed under the isomorphism of sublattice-lattices iff they are selfdual. A class of selfdual non-closed varieties is given too.     

Protein Conformation of a Lattice Model Using Tabu Search

We apply tabu search techniques to the problem of determining the optimal configuration of a chain of protein sequences on a cubic lattice. The problem under study is difficult to solve because of the large number of possible conformations and enormous amount of computations required. Tabu search is an iterative heuristic procedure which has been shown to be a remarkably effective method for solving combinatorial optimization problems. In this paper, an algorithm is designed for the cubic lattice model using tabu search. The algorithm has been tested on a chain of 27 monomers. Computational results show that our method outperforms previously reported approaches for the same model.     

Multibody dynamics of aircraft occupants seated behind interior walls

To improve aircraft crash safety, conditions critical to occupants survival during a crash must be known. In view of the importance of this problem, studies of post-crash dynamic behavior of victims are necessary in order to reduce severe injuries. In this study, crash dynamics program SOM-LA/TA, incorporating a dynamic model of the human body with a finite element model of the seat structure was used. Modifications were performed in the program for reconstruction of an occupant's head impact with the interior walls or bulkhead. A viscoelastic-type contact force model was used to represent the compliance characteristics of the bulkhead. Correlated studies of analytical simulations with impact sled test results were accomplished. A parametric study of the coefficients in the contact force model was then performed in order to obtain the correlations between the coefficients and the Head Injury Criteria. A measure of optimal values for the bulkhead compliance and displacement requirements was thus achieved in order to keep the possibility of a head injury as little as possible. This information could in turn be used in the selection of suitable materials for the bulkhead, instrument panel, or interior walls of an aircraft.     

Deformations of complex structures on Γ/SL 2(C)

LetG be a connected complex semisimple Lie group. Let Γ be a cocompact lattice inG. In this paper, we show that whenG isSL ₂(C), nontrivial deformations of the canonical complex structure onX exist if and only if the first Betti number of the lattice Γ is non-zero. It may be remarked that for a wide class of arithmetic groups Γ, one can find a subgroup Γ′ of finite index in Γ, such that Γ′/[Γ′,Γ′] is finite (it is a conjecture of Thurston that this is true for all cocompact lattices inSL(2, C)). We also show thatG acts trivially on the coherent cohomology groupsH ⁱ(Γ/G, O) for anyi≥0.