lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

寻找第一个对偶可行基的一般方法

文章给出了线性规划问题标准形式的一种较弱形式——准标准形并给出了相应的单纯形方法,然后以此为工具给出了寻找第一个对偶可行基的一般方法,从而为求解常量含参数的线性规划问题提供了一般解法.这一方法使对偶单纯性方法这一理论体系得以完善.     

防水板中钢筋抵抗裂缝贡献度分析

防水板通常当作倒楼盖计算,其受到水浮力作用,受力特性复杂.该文通过公式计算,得出钢筋应力σsk和有效截面配筋率ρte之间关系,通过分析裂缝计算配筋率与钢筋应力的关系,找出钢筋抵抗裂缝的贡献度;分析得出防水板中钢筋对于抵抗裂缝的受力特性.     

完备型序列及其应用

本文定义了完备型序列,讨论了完备型序列的一些性质.作为其应用,我们给出了素模型存在定理的另一种证明.     

_（ω_1ω）的一个子逻辑系统及其特征

给出了的一个子逻辑系统，并在其上初步讨论了一些重要的模型论性质，给出了的一个特征。主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。     

基于AHP-Fuzzy综合评价法的工业厂房可靠度分析

文章采用基于层次分析法的模糊综合评价法,对影响工业厂房可靠度的因素进行量化,建立可靠度分析的递阶层次结构模型,并运用特征向量法合理地确定影响因素的权重,最后根据最大隶属度原则确定工业厂房的总体可靠度评价等级。实例应用表明采用AHP-Fuzzy综合评价法能够有效地对工业厂房的结构可靠度进行评估,且评估结果接近实际。