Logical Properties of Lattice Filter of Lattice Implication Algebra

Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis…     

蕴涵算子

文中给出了蕴涵算子的定义，讨论了蕴涵算子的一些基本性质及生成方法，建立了蕴涵算子之间的运算，并构造了一个蕴涵算子范畴。     

格蕴涵代数的单性与周期性

讨论了格蕴涵代数的单性和周期性，并研究了这两种性质之间的关系，同时给出了格蕴涵代数具有单性的几个断定方法，得出了一个重要结论；如果有限的单格蕴涵代数中存在对偶原子，则一定唯一。     

模糊格蕴涵代数

本文将模糊集合率应用于格蕴涵代数，给出了模糊格蕴涵代数的概念，并讨论了它们的一些基本性质。     

On the Existence of （v, 3 × 3,λ）-Splitting Balanced Incomplete Block Design with A between 2 to 9

Let (υ, u × c, λ)-splitting BIBD denote a (υ, u × c, λ)-splitting balanced incomplete block design of order υ with block size u × c and index λ. The necessary conditions for the existence of a (υ, u × c, λ)-splitting BIBD are υ ⩾ uc, λ(υ − 1) ≡ 0 0 mod (c(u − 1)) and λυ(υ − 1) ≡ 0 mod (c ² u(u − 1)). In this paper, for 2 ⩽ λ ⩽ 9 the necessary conditions for the existence of a (υ, 3 × 3, λ)-splitting BIBD are also sufficient with one possible exception for (υ, λ) = (39, 9). Foundation item: the National Natural Science Foundation of China (No. 10771193); the Starter Foundation for the Doctors of Zhejiang Gongshang University (No. 1020XJ030517); the Natural Science Foundation of Universities of Jiangsu Province (No. 07KJB110090); the Starter Foundation for the Doctors of Nantong University (No. 07B12)     

零级代数体函数的最大型Borel方向

证明了当值零级代数体函数ω（z）满足条件－limr→∞T（r,ω）／（logr）^2＝∞时至少存在一条最大型Borel方向argz＝θ0,满足0＜^－limr→∞n（r,△（θ,ε）,a）／（logr）^ λ（r）-1 ≤evλ,至多除去两个例外值a。得出几个关于n（r,△（θ,ε）,a）的级和型的推论。     

用区间有限元计算桥梁结构荷载组合效应

不确定的桥梁结构荷载 ,可以用上、下限的区间来表示 ,用区间有限元 (FEM)方法可以求得结构位移和内力响应的包络界限 .用线弹性梁单元对实际桥梁结构进行离散化 ,并用确定的区间值表示不确定的荷载向量 ,根据区间代数原理和线性有限元程序求解响应量的界限 ,从而得到结构响应量不确定性的界限 .用该方法计算桥梁结构设计中的荷载工况组合效应 ,算例表明该方法具有使用简便、计算量小的特点 ,适合实际桥梁结构设计的荷载组合计算     

一种智能调度集中系统列车运行实时调整方法

智能调度集中系统中的列车运行调整业务，要求实时优化列车运行计划晚点时长。以此为目标，提出一种高实时性的列车运行调整业务数据处理方法，并基于不同的运输场景和调度操作，建立了约束规划模型；通过约束规划算法执行可递归检查流程，当列车运行计划状态变量不满足约束条件时，对调度操作进行调整，从而实现模型数据的更新。结合某调度区段的数据，计算采用约束规划模型的列车运行计划晚点时长，并与同等条件下采用整数规划模型的计算结果进行对比，验证了本方法对列车运行计划晚点时长具有较好的实时优化效果。