一类三维混沌系统界的估计

对一类三维混沌系统的界进行了估计.首先运用参数法给出了该三维混沌系统在条件-1≤c＜0下两变量的一个上界估计定理并进行了证明, 其次在两变量上界估计的基础上给出了该混沌系统三变量的一个上界估计定理并进行了证明;最后给出了具体参数下该三维混沌系统的上界估计值并进行了数值模拟.     

卡尔曼滤波卫星授时的仿真技术

为了提高无线导航卫星系统授时精度,提出了采用卡尔曼滤波对用户时钟钟差、钟漂及老化率进行估计,并预测出下一采样时刻用户时钟与系统时的差值的闭环授时方法,设计了卡尔曼滤波器.分别对单星和多星的授时问题进行了讨论,理论证明了采用多颗卫星授时可提高授时精度,并给出了克拉默罗界.利用STK软件实时产生卫星三维位置和速度,建立了用户时钟仿真模型和观测误差仿真模型,对所提出的方法在单星和多星的情况下进行了仿真.结果表明,在噪声较大情况下仍能保持较高的授时精度.     

一类四阶微分方程边值问题解的存在性

研究一类四阶微分方程解的存在性,利用上下解及单调迭代的方法,得出这类四阶方程的最大解和最小解的存在.     

Construction of domain Web classification ontology based on suggested upper merged ontology

Aiming at the problem of merging heterogeneous semantic taxonomy emerged in Web information integration, a method of building Web classification ontology （WCO） has been proposed. A WCO that is logically consistent with the suggested upper merged ontology （SUMO） is defined, together with axioms needed to classify Web pages. WCO can be used as a foundation of merging heterogeneous semantic taxonomy, and could be used to support Web information integration and classification based Web information retrieval.     

四角系统的一般Randic′指标的下界

 一个图(分子)G的一般Randic′指标定义为图G的所有边上的权(d(u)d(v))α之和,这里d(u)表示G中点u的度且α是任意一个实数.确定了有n块格子的四角系统的一般Randic′指标在α≥１时的下界,并且给出了相应的极图.     

上限区域浅部煤层保水开采工作面安全推进速度实验研究

基于国内外研究结论,本文以皖北矿区百善煤矿6煤层为研究对象,通过分析浅部煤层保水开采机理和关键,提出以"上覆岩层水体渗流速度确定工作面推进速度"的思路(工作面推进速度能使关键层采后破断的砌体在上部水体渗流到采空区前闭合)。根据渗流理论、经验公式和实测资料等,对保水开采分类中工作面上覆岩层中的潜水渗流时间进行公式推导及计算;根据关键层理论和百善煤矿地质资料,计算出各分类上覆岩层初次和周期破断距。由此,计算和确定出各分类工作面推进速度,同时,以推进速度下限和采煤机切割速度确定安全保水开采的工作面长度范围。进一步完善保水开采技术体系,为浅部煤层保水开采技术的安全应用提供理论指导。     

不同分布的BUTI的大偏差

主要研究了长尾上的带有BUTI的、不同分布的随机变量和的尾概率,得到了部分和和随机和的一致渐近的大偏差的结论,推广了已存在的相应结论.     

超市选址问题具体案例研究

选址问题作为一个古老的问题,有百年的发展历程。一般将其分为两种基本类型:连续型和离散型。前者也称为平面上的选址问题,其研究方法多属微积分及数学规划方面;后者也称为网络上的选址问题,其研究方法多与组合分析密切相关。本文提出一个生活中的实例——超市网点的布设,通过分析,提出可能的解决方法,获得最优解。     

超定非线性系统奇异解的可信验证

利用边界矩阵和区间算法理论,讨论超定系统奇异解的数值解法及其可信验证.提出一种新算法,该算法输出一个近似解及其相应的误差界,使得在近似解的误差界范围内必存在一个精确解.