桥头跳车的成因及处理方法

桥头跳车会增加行车风险并且会大大增加每年的养护费用．本文作者根据多年的养护管理及施工经验，对桥头跳车的成因从设计、施工及运营使用几方面进行了分析并提出了几种处理方法，尤其是对桥头搭板和土工格栅网两种目前工程界常用方法从设计机理到施工实践进行了比较详细的论述，同时对设计机理方面引入了相应的数学模型．     

边界拟合坐标网格生成方法研究

指出了Thompson及Thomas曲线网格生成方法中控制网格分布的调节函数的问题所在，克服了Thomas曲线网格生成法中边界局部平直近似假定的缺陷，经过严格推导得出一组新的调节函数，并给出了曲线网格生成实例。实例检验表明，该调节函数能够对复杂边界的单连通域或多连通域生成理想的曲线网格，即边界处网格正交，内部网格分布能够适应物理量场变化。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

网格技术发展现状研究

本文阐述了网格的概念、基础理论、国外一些国家的网格研究计划,并在此基础上对国内的研究工作提出了一些建议。     

基于网格技术的数字图书馆运行平台设计

简述了网格的概念及特性,分析了它的运行机制,提出了基于网格技术的数字图书馆运行平台设计。     

Zinc antagonizes the effect of botulinum type A toxin at the mouse neuromuscular junction

Summary Zn²⁺ (10–100 M) elevated the frequency of miniature end-plate potentials (MEPPs) in the mouse diaphragm. The effect did not depend on external Ca²⁺. Botulinum type A toxin (BTX_A, 50 ng/ml) abolished MEPPs almost completely within 30 min. Zn²⁺ (100 M) restored MEPPs and increased their frequency after they had been abolished by BTX_A in Ca²⁺-free solutions. The antagonistic effect of Zn²⁺ in the Ca²⁺-free solution was reduced by exposing the diaphragm to the toxin in the Ca²⁺-free solutions containing high K⁺. Thus, the action of BTX_A is probably enhanced by depolarization of the motor nerve terminals.     

自动网格体系在柱体绕流大涡模拟中的适用性评估

为了评估基于snappyHexMesh方法生成的自动网格体系在二维柱体绕流大涡模拟中的适用性,比较了该自动网格体系与人工网格体系对于Re为3 900圆柱绕流和Re为22 000方柱绕流的数值模拟结果。通过设置合理的计算域以及数值格式,采用snappyHexMesh自动网格以及人工网格的算例都表现出良好的数值稳定性。将不同网格体系的数值模拟结果与物理试验结果进行对比,结果表明,采用snappyHexMesh网格可以提高数值求解效率;圆柱绕流对网格体系的变化比较敏感,不同密度的snappyHexMesh网格会显著影响圆柱气动力特征以及尾流区域的流场结果;snappyHexMesh网格体系可以准确预测方柱绕流,在方柱绕流大涡模拟中具有相较于圆柱绕流更好的适用性。     

偏微分方程网格生成技术中非线性系数的研究

网格生成技术是ＣＦＤ中极为关键的问题之一,偏微分方程数值网格生成技术是目前应用和研究最多的网格生成方法。本文应该各非线性系数对网格正交性和空间分布的影响进行了理论研究和数值验证。结果表明系数β具有控制网格正交性的作用,系数α和γ具有调节网格空间分布的作用,且其调节作用的强弱和α／γ的值有直接关系。     

长江河口海岸演变长周期波动的初步研究

长周期波动作为一种地貌演变现象在河口海岸地区广泛存在,在长江河口,表现为长江河口水下三角洲及长江河口拦门沙地形的波动变化。而在杭州湾北岸,它又以“侵蚀波”的形式来影响岸滩的冲淤演变,本文试图通过揭示人在的动力机制来综合分析春在典型河口海岸演变中的表现。．     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，