基于矢量代数法的GPS解析解研究

通常GPS卫星导航定位利用至少需要四个经过线性化处理后的伪距方程获得,论文则研究了利用矢量代数法得到非线性化的直接观测方程解法.通过比较线性化方程获得的定位结果,发现在特定的几何星座分布会时,线性化方程会导致奇异解,而非线性方程的解析解却能完成正确的定位解算.     

零级代数体函数的最大型Borel方向

证明了当值零级代数体函数ω（z）满足条件－limr→∞T（r,ω）／（logr）^2＝∞时至少存在一条最大型Borel方向argz＝θ0,满足0＜^－limr→∞n（r,△（θ,ε）,a）／（logr）^ λ（r）-1 ≤evλ,至多除去两个例外值a。得出几个关于n（r,△（θ,ε）,a）的级和型的推论。     

用区间有限元计算桥梁结构荷载组合效应

不确定的桥梁结构荷载 ,可以用上、下限的区间来表示 ,用区间有限元 (FEM)方法可以求得结构位移和内力响应的包络界限 .用线弹性梁单元对实际桥梁结构进行离散化 ,并用确定的区间值表示不确定的荷载向量 ,根据区间代数原理和线性有限元程序求解响应量的界限 ,从而得到结构响应量不确定性的界限 .用该方法计算桥梁结构设计中的荷载工况组合效应 ,算例表明该方法具有使用简便、计算量小的特点 ,适合实际桥梁结构设计的荷载组合计算     

Hopf代数、Yang-Baxter方程与量子群

介绍了Ｈｏｐｆ代数的发展情况,Ｙａｎｇ－Ｂａｘｔｅｒ方程的由来和量子群的盛行。Ｈｏｐｆ代数、Ｙａｎｇ－Ｂａｘｔｅｒ和量子群是数学中目前十分活跃的３个领域,这３个领域来源于不同学科,文中着重指出３者之间的深刻联系,其中也包含有自己的一些观点。     

一种新的模糊逻辑代数系统

基于对模糊逻辑和模糊推理的系统研究,一种新的模糊逻辑代数－Ｒ０代数已于近期被建立,这为模糊逻辑提供了一种新的代数框架。文中对Ｒ０代数作进一步研究,给出Ｒ０代数的一系列代数性质,并澄清Ｒ０代数与其它模糊逻辑代数系统之间的关系。     

一种智能调度集中系统列车运行实时调整方法

智能调度集中系统中的列车运行调整业务，要求实时优化列车运行计划晚点时长。以此为目标，提出一种高实时性的列车运行调整业务数据处理方法，并基于不同的运输场景和调度操作，建立了约束规划模型；通过约束规划算法执行可递归检查流程，当列车运行计划状态变量不满足约束条件时，对调度操作进行调整，从而实现模型数据的更新。结合某调度区段的数据，计算采用约束规划模型的列车运行计划晚点时长，并与同等条件下采用整数规划模型的计算结果进行对比，验证了本方法对列车运行计划晚点时长具有较好的实时优化效果。