格蕴涵代数的拓扑结构

给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质和结构进行了研究，证明了格蕴涵代数中全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。     

A Multiple Nested Lattice Boltzmann Method and Its Application

Introduction In recent years,the lattice Boltzmann method(LBM)has developed into an alternative andpromising numerical scheme for simulating hydro-dynamic and aerodynamic flow[1].The success ofthe LBM can be partly attributed to the particle-based approach which is directly inherited from itspredecessor,the lattice gas automata(LGA)[1,2],unlike LGA,the LBM simulates a flow system bytracking the evolution of particle distributions in-stead of tracking single particles.For this reason,it o…     

����������ͨ�����㷽���о�

诱增交通量是交通需求预测与交通建设项目评价中的重要组成部分.本文从诱增交通量概念出发，从宏观和微观两个角度阐述了区域诱增交通量产生的机理，分析了现行单个建设项目诱增交通量计算思路的局限性，研究提出了基于区域的诱增交通量计算的多元线性回归模型.论文结合我国的国情，对该模型参数进行了标定，提出了符合中国实际的基于区域诱增交通量计算方法.利用北京地区改革开放之后(1978年至2003年)的数据进行了实例分析，得到了道路建设对交通量的近期影响弹性系数0.17,远期影响弹性系数0.29的结果.     

一类混合判断矩阵排序的优化模型及其应用

研究混合判断矩阵的排序问题,提出了一种新的混合判断矩阵排序法.定义一类新型混合判断矩阵,利用C-OWA算子、C-OWG算子及三角模糊数期望值公式分别将区间数互补、区间数互反和三角互补互(或互反)判断元素一致化为数值型互补与互反判断元素.基于一致性互补与互反判断矩阵的定义,建立一个优化模型,通过求解该模型获得方案的排序向量.提出一种新的混合判断矩阵序法,该方法具有操作简便和易于上机实现的特点.通过实例说明方法的可行性和实用性.     

The relationship between urban street networks and private motorized trips at the city level

There are factors that impact car usage in urban areas, such as density, diversity and design, but there have been few studies that examine the relationship between street network factors and car usage at the city level (macro level). This paper focuses on this relationship by introducing urban street network variables, such as blocks per area, nodes per block and length of roads and motorways, as independent variables and the percentage of daily trips by private motorized modes as the dependent variable. The street network in this study includes interconnecting lines and points that present streets, roads, motorways, intersections and blocks. The strength of the relationship in this study is found using multiple linear regression. The findings of this research indicate that an increase in car usage is correlated with an increasing number of blocks per area, number of nodes per block and length of motorways. In addition, because the urban street network is the result of macro-scale planning decisions, considering this relationship can lead to better planning decisions.     

基于扩展卡尔曼滤波神经网络算法的公路货运周转量预测

介绍了扩展卡尔曼滤波的原理,针对人工神经网络神经元之间权值的调整过程,建立了权值调整的状态空间模型,并采用扩展卡尔曼滤波对该模型的状态变量进行递推估计.文中仿真以全国历年公路货运周转量为例,分别采用BP算法和扩展卡尔曼滤波算法对神经网络进行训练,2种训练方法预测的结果对比表明扩展卡尔曼滤波训练算法具有更好的准确性和更高的运算效率.     

大跨径预应力连续刚构桥施工控制的理论与方法

运用工程控制论的思想, 将预应力连续刚构桥的施工控制视为一随机最优控制问题, 建立相应的数学模型、目标函数及物理模型, 采用卡尔曼最优一步预测, 按确定性的最优控制规律构成闭环状态反馈系统． 同时, 在现场建立计算机工作站, 使计算机对各施工阶段进行调整控制,达到控制的目的． 其成果已在重庆黄花园嘉陵江大桥的施工控制中得到了应用．     

PERFORMANCE ANALYSIS OF HYBRID DS SFH/SSMA SYSTEMS OVER MULTIPATH FADING CHANNELS

ＩｎｔｒｏｄｕｃｔｉｏｎＤｉｒｅｃｔｓｅｑｕｅｎｃｅｓｐｒｅａｄｓｐｅｃｔｒｕｍｍｕｌｔｉｐｌｅａｃｃｅｓｓ（ＤＳ／ＳＳＭＡ）ｓｙｓｔｅｍｃａｎｏｆｆｅｒｈｉｇｈｅｒｃａｐａｃｉｔｙｔｈａｎｆｒｅｑｕｅｎｃｙｈｏｐｐｉｎｇｓｐｒｅａｄｓｐｅｃｔｒｕｍｍｕｌｔｉ－ｐｌｅａｃｃｅｓｓ（ＦＨ／ＳＳＭＡ）ｓｙｓｔｅｍ,ｂｕｔｔｈｅｃａｐａｃｉｔｙｏｆｔｈｅｓｙｓｔｅｍｄｅｐｅｎｄｓｇｒｅａｔｌｙｏｎｔｈｅｐｏｗｅｒｏｆｔｈｅｕｓｅｒ＇ｓｒｅｃｅｉｖｅｄｓｉｇｎａｌｓ,ｔｈａｔｉｓｓｏ－ｃａｌｌｅｄｎｅａ…     

BRIEF HYPOXIA PRECEDING E. COLI BACTEREMIA DOWNREGULATES HEPATIC TNF-α PRODUCTION

Ｅａｒｌｙａｆｔｅｒｇｒａｍ－ｎｅｇａｔｉｖｅｂａｃｔｅｒｅｍｉａ（ＧＮＢ）,ｄｅｆｅｃｔｉｖｅｒｅｇｕｌａｔｉｏｎｏｆｅｎｄｏｔｏｘｉｎ－ｉｎｄｕｃｅｄｉｎｆｌａｍｍａｔｏｒｙｒｅｓｐｏｎｓｅｓｏｆｔｅｎｃｕｌ－ｍｉｎａｔｅｓｉｎｐｒｏｇｒｅｓｓｉ...