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…     

路面结构设计的关键因素分析

对路面结构设计中的关键影响因素进行的分析表明，土基模量和基层厚度对路面性能的影响至关重要．而基层模量的影响要小得多。该结论可供有关工程技术人员参考。     

弹库探测系统网络任务可靠性的探讨

针对弹库探测系统的智能传感器网络，结合其具体功能，分析了网络中各个传感器之间的相互关系和网络的整体效果，构建了单元和联任务可靠性模型并进行分析计算，阐述了其应用于智能传感器网络的合理性。     

边坡极限平衡分析中结构面抗剪强度的确定

研究目的:为了在边坡极限平衡分析中,能够正确确定控制性结构面的抗剪强度,从而为边坡的稳定性分析及其防护工程提供可靠的依据。研究方法:在系统研究Barton公式的基础上,结合2个边坡工程现场勘察取样、室内实验、提出了结构面粗糙度的确定方法,并通过实例验证。研究结果:提出了采用坡度均方根系数来确定JCS的方法,拟合出二者的关系式,提高了其准确性和适用性;对于软弱结构面,提出根据充填厚度(平直型软弱结构面)或充填度(粗糙型软弱结构面)确定其抗剪强度参数的方法和原则。研究结论:研究表明,在粗糙度系数准确测量的基础上,Barton估算方法提供的岩体结构面抗剪强度参数,可直接用于工程岩体稳定性评价,该方法预测岩体结构面抗剪强度是可靠的,且具有简便、经济、快速等优点,特别适用于公路、铁路路堑边坡稳定性计算评价。     

冻土隧道施工通风模糊控制系统的研究

研究目的:本文结合高海拔、高寒区铁路隧道施工的特点,介绍了冻土隧道施工通风控制的问题,提出了一种基于模糊理论的隧道施工通风新的控制系统。研究方法:采用两级模糊控制器,分别控制风量和风温两个被控参数.为了评价其实施效果,运用仿真技术,把设计控制方法和传统的控制方法进行比较。研究结论:该模糊控制系统不仅提高了隧道施工通风控制性能和自动化水平,而且节能效果非常显著。     

高等级公路路桥过渡段护栏结构设计

在分析高等级公路路桥过渡段护栏现状的基础上,总结讨论了其存在的主要问题。针对这些问题提出了一种新型的半刚性和刚性护栏平顺结合的路桥过渡段护栏的设计方案。     

������վ�ڳ˿���ɢʱ����㷽���о�

在分析实测数据的基础上,针对地铁车站内乘客疏散时间计算问题建立了考虑人群密度、空间环境变化的数学模型。文中分别对乘客下车过程、站台、通道和楼梯的行走过程、使用自动扶梯过程以及通过出口过程进行分析研究,以乘客疏散过程为依据建立基于统计学与排队理论的综合计算模型,给出了适合计算地铁车站内容乘客出站所需疏散时间的方法。本文以西直门地铁站乘客疏散为案例验证了所建立计算模型的有效性及实用性,模型计算结果与观测数据的总体误差约为2.25%,其中仅楼梯阶段与出口的通行时间计算误差超过10%。案例研究结果还表明地铁车站疏散能力存在上限,在进行地铁车站设计与列车运行计划制定的过程中应充分考虑这一限制因素。     

光学塑料表面涂层检测试验台的设计

光学塑料表面涂层检测试验台主要是根据汽车行业灯具试验相关标准设计，对汽车灯具塑料配光镜涂层附着力进行检验的一种测试设备。它能够按照规定的速度自动测量粘胶带的附着力，用规定的高速度自动进行塑料配光镜涂层附着力的试验。     

冲压稳固旧混凝土路面的施工工艺及质量控制

通过介绍冲击压实技术在广东旧混凝土路面改建工程中的应用情况。总结了冲击（破裂）压实旧混凝土路面的施工工艺和质量控制要点,为冲击压实技术在公路路面改建工程中的推广应用提供一些参考。     

基于CFD实尺2339标准箱集装箱船的阻力分析和实船验证

基于计算流体力学(CFD)方法对2339标准箱支线型集装箱船进行实尺数值模拟阻力预报。首先建立NUMECA/HEXPRESS全六面体非结构网格,采用湍流K-Omega(SST)-Menter模型进行数值模拟,计算其在压载工况下不同傅汝德数时的阻力;然后将CFD数值计算阻力结果同实船试航阻力进行比较与分析。结果表明:CFD数值模拟同实船以及实验结果趋势一致,误差较小。论文所述CFD分析方法对船舶的线型设计、优化和航速预报,具有一定的指导与参考意义。