连续刚构铁路桥收缩徐变效应监测与分析

对连续刚构铁路桥箱梁温度场及桥梁线形进行长期、连续监测,通过主梁跨中下挠的理论与实测对比揭示了连续刚构铁路桥收缩徐变效应。对比了国内外常用收缩徐变估算模型,选择CEB-FIP徐变模型对黄河特大连续刚构桥进行了有限元分析。采用实测温度数据,以箱梁内测温度、外侧温度、顶底板温度梯度、左右侧温度梯度作为箱梁温度场的评判指标,对箱梁1年内的四季温度场分布进行分析。在基于相同温度场的条件下,通过理论值与实测值对比,发现分析成果与实测结果较吻合,说明混凝土的收缩徐变是引起连续刚构铁路桥跨中下挠的主要原因,对比结果还说明通过改善箱梁顶底板应力差能够改善收缩徐变长期效应。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

化学方程式配平的矩阵解法

基于矩阵解方程的理论，定义出了一个化学元素矩阵，从而找到了一种配平化学方程式的新方法，称之为矩阵解法。     

Desargues定理的推广

本文将射影几何著名的Desargues透视三点形定理推广到四面体和三维射影空间的完全n(n≥4)点形(体)中。     

Banach空间n阶非线性积分-微分方程初值问题解的存在性

用Tonelli方法研究了Banach空间中n阶非线性积分—微分方程初值问题，在非线性增长条件下，获得了初值问题解的存在性及其Tonelli迭代逼近。     

商空间的基

通过引入一个熟知的线性空间作桥梁，揭示了商空闻R^n／S基与矩阵A之间的关系。     

绿洲-荒漠生态系统演化因素及其非线性探讨——以新疆为例

对立统一于干旱区的绿洲—荒漠生态系统在降水等自然因素和人类活动等人为因素的影响下不断进行着演化.从长期看,这一演化过程具有不可预测性,短期内却有细微可预见性.现如今在绿洲扩展同时,荒漠也在扩展,整体趋势仍是荒漠在扩展.为维持绿洲的稳定性,促使绿洲—荒漠系统处于一种稳定的发展趋势,本文从分析绿洲-荒漠这对对立统一的生态系统入手,在探讨引起这对生态系统演化的自然因素和人为因素的基础上,确定了自然因素中的降水和人为因素中的政府调控行为为演化的主导因素,初步探索了促使这对生态系统统演化的主导因素作用所具有的非线性关系,这对维持绿洲的稳定性,抑制荒漠扩展有一定的实际意义.     

Banach空间中具Carathěodory条件常微分方程的Galerkin逼近

本文得到Banach空间中右端具Carathěodory条件常微分方程的Galerkin逼近,解的存在性,以及相应两方程解之间的关系。     

The estimation-valued property of B-valued asymptotic martingale

In this paper, with the Doob decomposition of B-valued asymptotic martingale, we study the estimation-valued property of B-valued asymptotic martingale in Banach space B,which has the Radon-Nikodym Property and is dual-separable, and give a series of result and proof.     

关于矩阵条件数的一些结论

本文讨论了一些矩阵范数达到极小的充要条件,其主要结果如下:1.设?为m×n实矩阵,且具有n个线性无关的列,则求?广义逆谱条件数等于1的充要条件为?=cI,其中c为正常数.2.设?为n阶非异实矩阵,则矩阵A的求逆p-范数条件数等于1的充要条件为A=cpσ,其中c为正常数,σ是置换阵,其对角元都等于 1或-1.3.设?为n阶非异实矩阵,则矩阵4的求逆F-范数条件数等于1的充要条件为?=cU,其中c为正常数,U为正交阵.