吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

中国智能铁路系统的若干设想

智能铁路系统IRS属智能交通系统ITS的轨道交通研究领城,许多中国专家和学者都在研究智能交通系统并取得了许多研究成果.总结了智能交通系统ITS的发展状况和智能铁路系统的国内外研究情况,提出了中国智能铁路系统CIRS的基本组成和总体结构,在此基础上,指出了中国智能铁路系统CIRS的若干关键技术,对发展中国铁路智能系统CIRS有借鉴意 义.     

铁路工务日报月报信息管理系统的研究与开发

铁路工务现场作业历史数据的收集、管理和经济评价,是工务信息管理系统的重要基础,须通过工务日报月报的管理来实现.介绍了工务日报月报信息管理系统的设计思路、工务作业编码、系统实现和应用情况.     

对外汉语专业的英美文学选读课教学初探

英美文学选读课有助于对外汉语专业的学生全面掌握语言文字的魅力,领略不同文化的精神内涵,肩负起自身的文化使命。笔者通过两年多的教学实践,以教学活动过程为背景,从预热、选材、学习、反思四个阶段,总结出了几点经验。     

坦桑尼亚珊瑚土回填料试验的中英标准对比

坦桑尼亚某码头工程后方堆场采用吹填成陆,主要用于暂存轻型小汽车,采用珊瑚土作为基层回填料。通过对珊瑚土、珊瑚石以及珊瑚石添加水泥等3种回填料的室内泡水加州承载比(CBR)试验、现场CBR及压实度试验以及中英标准对比分析,并总结其规律。结果表明,采用英标设计的承载力要求较低的堆场,可以采用掺黏土的珊瑚土作为基层;珊瑚土在掺一定量的黏土后方可满足设计压实度要求下的室内泡水CBR值;珊瑚土回填料因其孔隙率大、强度偏低、对于轻型集装箱堆场能满足要求,重箱堆场则须另做调研。     

扭王字块随机安放细则

某海外深水防波堤工程中选用了国内的扭王字块作为护面结构,但国标中有关扭王块安装规则的内容较少,因此在与外方咨工交涉过程中遇到一些安装细则的困扰,如扭王字块的最佳坡比,块体的详细姿态要求,堤身、堤头、堤顶等位置的具体安装顺序等问题。参照国外同类块体的技术,总结了数十年来我国工程技术人员在设计、物模试验、施工中积累的安放经验,整理出扭王字块安装中一些有益的安装细则,可为类似工程提供参考。综合而言,定点随机安装是最能充分发挥扭王字块优异水动力性能的安放方法。安装点位预定义图、水下可视化安装等新技术的应用能大幅提高扭王字块的安装质量。     

中英混凝土结构设计规范的材料特性对比

为便于采用英国规范设计时的材料选用,对中英混凝土结构设计规范的混凝土和钢筋材料特性进行对比。结果表明,中国规范的钢筋材料分项系数比英国规范高,但混凝土材料的分项系数则相反;同强度等级的混凝土,英国规范的抗压强度标准值比中国规范高;除C15强度等级外,中国规范的其他强度等级的混凝土弹性模量均高于英国规范;中英规范关于混凝土剪切模量和泊松比以及钢筋弹性模量的规定基本相同。     

益脑通络牵正汤配耳压法治疗面神经麻痹

采用自拟中医经验方益脑通络牵正汤配合王不留行子贴压耳穴法治疗面神经麻痹44例，总有效率95．45％，其中治愈显效率为86．36％，优于单纯西药组（P＜0．005），且疗程短，见效快，无毒副作用。     

中国古典园林与中国古典诗歌的关系

中国古典园林与古典诗歌的联系颇为紧密,在其内在的审美意境上互为相通互为映照,而在实际创作过程中也一并共同营造出一种诗景交融的综合艺术效果。本文旨在探索此两种艺术形式之间的关系,发掘其艺术语言的魅力之处。     

LKD1-J型既有线车站列控中心的研究

车站列控中心是CTCS-2级列控系统和既有线提速的重要信号设备。从系统特点、系统构成、软件模块等方面对LKD1-J型车站列控中心系统进行了全面的介绍。