关于剩余格的正则滤子

基于一般的剩余格,引进了正则滤子的概念,给出了正则滤子的一些特征刻画,并且建立了正则滤子与其它一些特殊滤子(G-滤子、MV-滤子、Boolean滤子)之间的内在联系.证明了一个剩余格为正则剩余格当且仅当它的每个MP滤子是正则滤子.     

格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。     

桥梁的人文内涵

建筑是一种文化现象,反映人类文化意识是它的一种功能。桥梁与其他类型的建筑具有共通的美学属性,能反映地方与社会的人文内涵。在进行桥梁设计时,有意识地将人文内涵应用于方案中,并以合适的造型加以体现,能提升桥梁的景观品质,凸显桥梁的个性特征,使其真正成为地区标志性建筑。     

8字结形格栅钢架腹筋力学作用试验研究

在山岭隧道复合式衬砌施工中,格栅钢架被广泛应用。为研究8字结形格栅钢架腹筋的力学作用,采用模型试验方法,设计一系列格栅钢架试件,系统地研究腹筋直径和焊缝长度对格栅钢架的力学作用影响。研究结果表明： 1）随着8字结腹筋直径的减小,喷混凝土格栅钢架极限承载力基本没有降低,但优化指数大幅度增大; 2）对于腹筋直径,只需满足格栅钢架加工、存放、运输和安装过程中主筋架立和固定的要求即可; 3）主腹筋焊缝长度的减小对格栅钢架的承载力基本没有影响,但可以大幅降低格栅钢架的制作成本。     

基于CML的多重边复杂公交线路网络相继故障研究

为给城市公交系统的规划、建设和管理优化提供决策依据,在现有公交网络模型的基础 上,以常规公交线路为网络的节点,公交线路间的若干个公共停靠站点为连边,建立了基于耦合 映像格子的多重边复杂公交线路网络模型,基于该模型研究了多重边复杂公交线路网络的相继故 障问题。通过Matlab 数值仿真技术,详细分析了扰动幅值和耦合强度对网络相继故障的影响。研 究结果表明：蓄意攻击多重边复杂公交线路网络中度最大的节点最容易造成网络全局故障;另 外,耦合强度和扰动幅值越大,多重边复杂公交线路网络越容易发生相继故障。     

A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

线性代数教学之己见

线性代数是工科院校各专业的一门重要基础课,教育部将其列入重点评估课程之一。近些年来,随着计算机技术的不断发展,线性代数理论在实践中的应用也日益广泛,线性代数课程内容相对抽象,不易接受,难以理解。如何使学生较好地掌握课程的主要内容,培养学生熟练的运算能力及严密的逻辑思维能力,是我们教学工作者日常教学活动中所面临的主要问题,笔者结合数年的教学实践,浅谈对《线性代数》教学的体会。     

吊舱推进器螺旋桨的敞水性能数值图谱

基于MAU型螺旋桨图谱,应用升力面理论涡格法计算系列大毂径MAU型螺旋桨敞水特性,以单元函数法将敞水性能表达成为毂径比和进速系数的函数,通过二元多项式插值法将MAU型螺旋桨敞水特性拓展到包括大毂径比的POD螺旋桨的敞水性能曲线。     

微机模糊控制（4）──第四讲模糊逻辑及其电路的实现

介绍了模糊逻辑及其电路的实现问题，并举例说明了模糊逻辑电路的实际应用。     

在对称卡诺图上化简多输出布尔函数

用解析法或卡诺图对比法化简多输出的开关电路,既不直观,又易漏项,而且工作繁琐,使用不便.本文把多输出的化简移入对称卡诺图中进行,可准确求出最简布尔式.此法也可往计算机上进行,使用方便,容易掌握.