排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
文章给出了线性规划问题标准形式的一种较弱形式——准标准形并给出了相应的单纯形方法,然后以此为工具给出了寻找第一个对偶可行基的一般方法,从而为求解常量含参数的线性规划问题提供了一般解法.这一方法使对偶单纯性方法这一理论体系得以完善. 相似文献
2.
童雪 《北京师范大学学报(自然科学版)》1995,31(2):143-148
给出了lω1ω的一个子逻辑系统l'ω1ω,并在其上初步讨论了一些重要的模型论性质,给出了l'ω1ω的一个特征。主要结果是:如果l是一强于l'ω1ω的可有限分离的正规逻辑系统,且在l上LST定理和ω1-紧致性定理成立,则l与l'ω1ω等价。 相似文献
3.
4.
本文定义了完备型序列,讨论了完备型序列的一些性质.作为其应用,我们给出了素模型存在定理的另一种证明. 相似文献
5.
基于AHP-Fuzzy综合评价法的工业厂房可靠度分析 总被引:1,自引:0,他引:1
文章采用基于层次分析法的模糊综合评价法,对影响工业厂房可靠度的因素进行量化,建立可靠度分析的递阶层次结构模型,并运用特征向量法合理地确定影响因素的权重,最后根据最大隶属度原则确定工业厂房的总体可靠度评价等级。实例应用表明采用AHP-Fuzzy综合评价法能够有效地对工业厂房的结构可靠度进行评估,且评估结果接近实际。 相似文献
6.
童雪 《北京师范大学学报(自然科学版)》1995,(2)
给出了的一个子逻辑系统,并在其上初步讨论了一些重要的模型论性质,给出了的一个特征。主要结果是:如果是一强于的可有限分离的正规逻辑系统,且在上LST定理和ω_1-紧致性定理成立,则与等价。 相似文献
1