Weak‐quasi‐Stone algebras

In this paper we shall introduce the variety WQS of weak‐quasi‐Stone algebras as a generalization of the variety QS of quasi‐Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬‐lattices to give a duality for WQS. We prove that a weak‐quasi‐Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly irreducible algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A lattice-valued Banach-Stone theorem

Let X and Y be compact Hausdorff spaces, and let E be a Banach lattice. In this short note, we show that if there exists a Riesz isomorphismΦ:C(X, E) →C(Y, R) such that Φ(f) has no zeros if f has none, then X is homeomorphic to Y and E is Riesz isomorphic to R. This revised version was published online in June 2006 with corrections to the Cover Date.     

On Pseudocomplemented and Stone Ordered Sets

The aim of this paper is to characterize both the pseudocomplemented and Stone ordered sets in a manner similar to that used previously for Boolean and distributive ordered sets. The sublattice G(A) of the Dedekind–Mac Neille completion DM(A) of an ordered set A generated by A is said to be the characteristic lattice of A. We will show that there are distributive pseudocomplemented ordered sets whose characteristic lattices are not pseudocomplemented. We can define a stronger notion of pseudocomplementedness by demanding that both A and G(A) be pseudocomplemented. It turns out that the two concepts are the same for finite and Stone ordered sets.     

幕墙石材红砂岩测试评价方法的探讨

红砂岩板材作建筑物幕墙,在国内外非常少见,其测试评价方法标准和验收规程在国内几乎是空白。本文参照《金属与石材幕墙工程技术规范》(JGJ 133-2001)和根据红砂岩的特性,提出了红砂岩作幕墙板材需进行测试的指标,包括物性指标和强度指标等;对初步选定的满足设计要求的红砂岩石材,特别需进行大气稳定性试验。同时对其有关指标进行必要的鉴定和评价,才能找出符合要求的红砂岩板材作幕墙。     

龙游石窟群工程地质条件分析及保护对策初步研究

新发现的龙游石窟群 ,由于其规模之大 ,地下开挖水平之高 ,也由于存在着许多疑团而引起广泛的关注。本文将从其工程地质条件、古石窟群开挖技术中的科学技术亮点、围岩的主要变形破坏类型以及这一古石窟群的保护对策等方面进行研究。     

Domain理论与拓扑

Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用,本文力图从Ｄｏｍａｉｎ理论产生的背景,它在几个方面的发展,反映Ｄｏｍａｉｎ理论与拓扑的紧密联系,使我们看到序和拓扑的结合怎样应用于程序设计语言研究。     

碎石桩复合地基三维地震响应分析

将饱和砂土视为土—水两相介质,以Biot动力固结方程为基础,编制了完全耦合的三维排水有效应力动力反应分析程序。利用该程序对碎石桩复合地基进行了动力反应分析。结果表明:在地震荷载作用下,碎石桩具有明显的减震效应,碎石桩复合地基表层的最大水平振动加速度与天然地基相比明显减小,并且碎石桩对地基的沉降变形有明显的抑制作用;碎石桩的排水效应十分显著,随着输入地震加速度的减弱,在孔压达到峰值以后,由下到上出现了明显的孔压消散现象,碎石桩排水效应的影响范围为上窄下宽的圆台形;碎石桩的加密效应显著;考虑碎石桩各效应的耦合作用比仅考虑其单一效应,计算得到的孔压比要小,因此在进行碎石桩复合地基抗液化判别时,应该综合考虑碎石桩各效应的相互耦合作用。     

白色‐浅灰色高山石与昌化石产地鉴别谱学初探

我国印章石文化源远流长。寿山石和昌化石是我国著名的印章石品种,但是其价格存在一定的差异。高山石是寿山石中的主要品种,市场占有率高。为了有效进行产地鉴别的初步研究,选择白色-浅灰色高山石与昌化石,以避免致色矿物或致色元素对产地鉴别的干扰。采用傅里叶变模红外光谱（FTIR）、拉曼光谱（LRM）、和激光剥蚀-等离子体质谱（LA-ICP-MS）分析白色-浅灰色的高山石和昌化石的矿物组成和痕量化学成分,并结合两者的物理性质,探究两个产地的印章石的异同和鉴别方法。白色-浅灰色高山石颜色较昌化石均一,高山石透明度整体上较好,两者密度和折射率非常相近。根据红外光谱指纹区谱峰,可以确定白色-浅灰色的高山石和昌化石的基质均以高岭石族矿物为主要成分。高岭石族矿物中羟基在结构中的占位不同,因此在红外光谱中羟基伸缩振动吸收峰的数目与形态各不相同。根据红外光谱中官能团区的羟基峰形态和数目的测试结果,可知高山石的主要矿物成分为有序地开石,而昌化石样品中的主要矿物成分为无序地开石,两者均可含有少量高岭石。利用拉曼光谱对两者的砂钉状及棉点状杂质矿物成分进行了研究,发现高山石中杂质矿物成分较简单,暗色砂钉为黄铁矿,透明砂钉为石英;而昌化石中的杂质矿物成分较复杂,含有赤铁矿、金红石、锐钛矿、石英和重晶石。对比两者中地开石的LA-ICP-MS数据发现,高山石中Ge元素含量较高,而昌化石中V和Zn元素含量较高。根据Ge/Zn元素含量比值,高山石基本大于0.2,昌化石基本小于0.2;而根据Ge/V元素含量比值,昌化石大部分小于0.1,而高山石分布在0～1.0之间。两个产地Ge/V-Ge/Zn散点分布不同,区分度可达90%以上。白色-浅灰色的高山石和昌化石的颜色、密度和折射率等物理性质均相近,仅通过外观特征和物理性质较难准确将两个产地的白色-浅灰色印章石区分开。但是两者的杂质矿物种类和含量不同,杂质矿物成分的和分析可以作为两者产地的鉴别依据之一。另外,两者的痕量元素化学成分不同,根据它们的Ge/V-Ge/Zn散点图可以有效进行产地鉴别。