浅谈石材幕墙在工程应用中的隐患

从石材幕墙的结构设计、材料选用、施工管理、业主使用等方面，探讨了石材幕墙产生的安全隐患，提出一些防治方法，并指出各界应对此给予足够重视。     

微机网络的实用产品——无盘计算机工作站

一、无盘工作站的原理由于计算机网络技术的发展,微型计算机的应用已在计算机应用领域有了很大的发展。网络化的微型计算机由于克服了资源相对缺少的缺点,而在信息处理电脑化方面有了与小型机竞争的实力。在Novell网络这类集中管理的网络系统支持下,提供联网用户使用的是一个带有访问管理的外存系统。无盘网络工作站就是在网络服务器的基础上,把原来微机中的外存储系统去掉的技术变革产品。无盘网络工作站是从原微型计算机系统联网后演变而得。如图1(a),(b),(c)所示。     

基础R0_代数的正规MP-滤子和布尔MP-滤子

BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。     

经典逻辑度量空间中的模2次范整线性空间结构

 将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.     

电厂四大管道及焊接三通的质量控制

本文主要介绍了从提高管理水平和技术措施两方面,阐述通过一系列有效的措施如选择合理的运行方式等方面来降低线损,使电网达到最优的经济运行,提高社会的经济效益。由于电力是一种特殊的能源不能大量储存,发、输、供同时完成。从发电到供电至电力用户这个环节中,其自身的损耗是相当大的,所以降低电力系统的损耗是电力部门的重要任务之一,同时对电力部门自身而言也是具有相当可观的经济效益的。     

A semantically complete extension sequence of the system (?)

In this paper, the method of well-combined semantics and syntax proposed by Pavelka is applied to the research of the prepositional calculus formal system (?)*. The partial constant values are taken as formulas, formulas are fuzzified in two manners of semantics and syntax, and inferring processes are fuzzified. A sequence of new extensions {(?)_n~*} of the system ? is proposed, and the completeness of (?)_n~* is proved.     

广义三角模和广义剩余蕴涵之间的对应关系

进一步讨论了广义三角模和广义剩余蕴涵的对应性质,完善和修正了过去已有的一些定理结论,证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系,一类是可以构成伴随对的,而另一类则不能构成伴随对。     

概念格属性约简的判定

引入Galois联络,利用Galois联络深入研究了概念格的基本性质。指出概念格同构是格同构。为了寻求更为简洁、合理的约简算法,在更一般的形式背景（即对象集和属性集有限或无限）中,给出协调集的四类判定定理,将已有结果做了推广而且丰富了协调集的判定。举例说明在一般的形式背景中,约简不一定存在。     

多值Łukasiewicz逻辑公式的范式表示和计数问题

将符号化计算树逻辑中的Shannon展开式做了推广,在n值Łukasiewicz逻辑系统Łn中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题,并在n值Łukasiewicz逻辑系统Łn中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.     

n值逻辑系统MTLn中命题的程度化方法

基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的?琢-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。