论聚合与推理的顺序

给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的,并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．     

大跨度钢管混凝土拱桥拱肋吊装中的扣索索力计算

在讨论现有算法的基础上,通过确定斜拉索施工张拉力的影响矩阵,对扣索索力进行了优化．并以茅草街大桥模型桥为实例,较好地模拟了拱肋吊装施工过程,计算了各吊装阶段的扣索索力,在空钢管成拱落架状态下满足了设计要求．     

知识推理的程度化方法(英文)

在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.     

Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布

利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。     

三I方法与区间值模糊推理

（ｉ）进一步论证了模糊推理ＣＲＩ方法应当改进三Ｉ方法;（ｉｉ）提出区间值型模糊推理问题;（ｉｉｉ）提出“激活一个,否则离开”原则作为解决问题（ｉｉ）的预处理手段;（ｉｖ）解决问题（ｉｉ）。     

关于序同态的若干特征定理

1979年,作者在文献[1]中引入了序同态概念,随后又于文献[2,3]中较系统地研究了它的基本性质。由于Zadeh型函数、Fuzz函数都是序同态的特例,特别是当把通常映射f:X→Y与它诱导出的映射f:p(X)→p(Y)等同看待时,可认为通常映射也是序同态的特例,所以序同态这一概念有着广泛的实际背景。本文将进一步给出关于序同态的若干特征     

修正的Kleene系统中的Σ-(α-重言式)理论

证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .     

合成射流激励频率对车辆气动阻力的影响

利用大涡模拟方法,研究了激励频率对三维地面车辆气动阻力的影响规律及其控制机理.流动分析结果表明:合成射流布置在车辆顶部和斜背交界处,在不同激励频率下实现车辆减阻,当频率低于90 Hz时,增大频率,阻力增大;频率高于90 Hz,随着频率的增大,阻力减小;频率达到1 500Hz时,阻力不再减小.斜背附着距离和雷诺应力分布的差异解释了气动力随不同激励频率变化的原因.不同激励频率下的频谱分析表明:合成射流控制了斜背动态附着现象,导致速度、压力和阻力系数频谱峰值皆对应激励频率.     

剩余格中的Fuzzy(P)滤子的结构

在剩余格中引入生成Fuzzy(P)滤子的概念并给出了它的结构。证明了剩余格中的Fuzzy(P)滤子之集构成完备的分配格,并在全体Fuzzy(P)滤子之集上引入运算""和"→",证明了剩余格中的部分Fuzzy(P)滤子之集添入特殊的零元得到的集合带上这两个运算构成剩余格。     

(L)ukasiweicz n值命题逻辑中公式的真度理论和极限定理

在Lukasiewicz n值命题逻辑中引入了公式的真度概念，得到了一个极限定理．表明当n趋于无穷时由公式的真度决定的真度函数τn收敛于积分真度函数τ，从而架起了离散值Lukasiewicz逻辑与连续值Lukasiewicz逻辑之间的桥梁．所得的结果是二值命题逻辑中相应结果的自然推广。