帷幕截流防治水工程研究

奥陶系灰岩水通过导水裂隙涌入矿井,造成安全隐患。采用帷幕截流进行防治水主要针对导水断层的赋存和特征,以及导水优势面进行注浆,阻断水的流通,是帷幕截流防治水的关键;通过断层性质、导水断层的优势面以及导水因素分析,提出了帷幕截留控制主要涌水通道的方法,成功解决了岩层水的涌入。     

一类带有线性边值条件拟线性微分方程解的存在性

应用不动点指数定理,研究了一类带有线性边值条件的拟线性微分方程{φ(x'));+a(t)f(x(t))=0,t∈(0,1){x(0)-βx'(0)=0,应用不动点指数定理得出该微分方程至少有一正解的充分{x(1)-δx'(1)=0条件.     

伽利略的实验思想评述

伽利略善于运用理论思维指导实验选题,同时把实验和数学进行有机结合,依靠逻辑推理,并用实验来检验,构成一整套的实验科学方法.他设计的实验构思巧妙,蕴涵着丰富的实验思想,其卓越的实验思想及由此发展起来的物理学探索方法,为近代物理学奠定了基础.     

基于距离方程组的机载SAR图像立体定位方法

提出一种基于距离方程组的机载SAR图像立体定位方法,该方法使用同一成像区域的3幅SAR图像进行无控制点定位,首先确定目标在3幅图像中对应的同名像点,解析该像点对应的雷达平台瞬时经纬度坐标、海拔高度以及目标到雷达平台的斜距值,在地心坐标系下建立3幅图像对应同名像点的距离方程组,对非线性方程组进行求解得到同名像点基于地心坐标系的坐标值,并通过坐标转换得到目标点的经纬度坐标及海拔高度,实现三维定位。对影响定位精度的系统误差因素进行仿真分析,利用实飞的机载SAR图像进行目标定位实验,结果验证了该方法的有效性。     

平面截长方体问题的探讨

截面问题是几何学的重要内容之一,平面以不同形式截不同的几何体,所得截面可能是三角形、四边形、五边形、六边形,关键取决于如何截取,对于每一种情形找出的规律及有关结论,对教学必有一定的帮助.     

落地侧切动作对下肢关节的影响与分析

目的:确定运动员在落地后即刻启动完成侧切变向(LSC)动作的下肢踝、膝和髋三关节矢状面的运动学和动力学特点,并与平地跑动侧切变向(SC)对比分析、探讨这些差异对下肢关节造成的影响。方法:以14名高水平足球运动员为背景的大学生完成落地侧切和平跑侧切动作时的下肢运动学和动力学数据进行采集与分析。结果:LSC动作的踝、膝关节ROM和关节角速度显著增加,髋关节ROM则呈相反趋势(P<0.05或P<0.01);LSC的踝、膝和髋关节力矩峰值,踝、髋关节功率峰值呈现显著大于SC(P<0.01),膝关节功率峰值小于SC(P<0.05);LSC在水平向后、垂直向上地反峰值及峰值加载率有明显的增加(P<0.01),水平向右地反无明显差异(P>0.05)。结论:LSC虽然略降低了膝关节功率峰值,但其余所有运动学、动力学及GRF都预示其下肢关节所承受的损伤风险更高,尤其是踝关节和膝关节。踝关节的高功率和跖屈肌的持续紧张、伸膝力矩和三维地反的显著升高,使得该动作比公认高损伤风险的平跑侧切损伤风险几率更大。     

KdV方程组的对称与群不变解

主要考虑KdV方程组的一些简单对称及其构成的李代数，并试图利用对称约化的方法得到此方程的群不变解。     

带有一个噪声的随机微分方程的全隐式格式

通过将Itô型随机微分方程转换为等价的Stratonovich型和向后Itô型随机微分方程,构造出分别与Stratonovich型和向后Itô型随机微分方程相容的两种全隐式随机数值格式.这两种数值格式应用于带一个噪声的随机微分方程,且均为均方1阶收敛的.     

随机微分方程的几种参数估计方法

提出3种基于离散观测数据的随机微分方程参数估计的方法。第1种方法应用于线性随机微分方程。推导出这类方程的真解的相关运算服从的分布,使观测数据的运算也服从此分布,由此来估计漂移系数与扩散系数中的未知参数。第2种方法用于Itô型随机微分方程。推导出Euler-Maruyama格式的数值解的相关运算服从的分布,使观测数据的运算服从此分布,由此来估计参数。第3种方法用于Stratonovich型随机微分方程。推导出中点格式的数值解的相关运算服从的分布,使观测数据的运算服从此分布,以此来估计参数。数值实验验证了这3种方法的有效性。数值实验显示,Euler-Maruyama格式参数估计的误差约为O（h^0.5）阶,中点格式参数估计的误差约为O（h）阶,其中h是数值方法的时间步长。我们提出的3种估计方法均比文献中已有的EM-MLE方法更精确。     

Laplace Transforms Without Integration

Calculating Laplace transforms from the definition often requires tedious integrations. This paper provides an integration-free technique for calculating Laplace transforms of many familiar functions. It also shows how the technique can be applied to probability theory.