开挖对露天矿山软弱夹层边坡稳定性的影响分析-以南芬铁矿为例

以露天矿高边坡为背景,对分步开挖条件下含有软弱夹层边坡的稳定性问题进行了研究,采用三维有限差分程序,对比分析了不含软弱夹层和含有软弱夹层两种不同边坡计算模型受开挖效应的影响情况。水平位移云图和位移矢量图表明,开挖条件下,不含软弱夹层边坡水平方向位移变化不大;含有软弱夹层边坡水平方向位移增大明显,位移变化区域受夹层控制显著。对比剪应变增量云图表明,剪应变较大值最先出现在滑体下部弱层区,随着分步开挖进行,剪应变增量较大区域逐渐向上部弱层扩展,呈现出逐渐贯通趋势,说明含有软弱岩层边坡对工程开挖十分敏感。     

嵌入式电容层析成像系统的成像加速方法研究

为了提高嵌入式系统设计中电容层析成像(ECT)的图像重构速度,研究了一种针对进阶精简指令集机器加上现场可编程门阵列(ARM+FPGA)硬件架构的图像重构算法加速技术。针对广泛应用且鲁棒的Landweber迭代算法(ILA),首先分析算法结构,然后基于FPGA的流水线特点,改进ILA涉及的循环结构,从而达到加速的效果。同时,针对ARM+FPGA架构的特点,讨论了ARM核与FPGA核各自的任务分配方式,进一步优化了算法速度。为了验证算法的有效性,分别在使用MATLAB编程和使用提出的加速方法搭建的ZYNQ平台进行了图像重构实验,从图像重构耗时、图像相对误差和图像相关系数3个指标论证提出方法的有效性。实验结果显示,使用搭建的ZYNQ平台进行Landweber算法成像时,每个图像的运行时间比使用MATLAB编程的运行时间减少了30%～40%。该研究在保持重构精度的同时有效提升了迭代算法的速度,对于ECT系统的硬件加速具有一定适用性。     

一类混合边界条件的裂缝散射问题及数值模拟

考虑时谐电磁波对非常薄的无限长圆柱理想导体的散射问题,该散射体在水平截面上抽象为平面上的曲线段(即裂缝).假设曲线段是光滑的,且其2侧赋予不同的边界条件(混合边界条件),首先证明了散射问题解的唯一性; 然后通过位势理论与积分方程方法,将问题转化为等价的奇异积分方程组并证明了解的存在性; 最后,通过求解奇异积分方程组给出了混合边界裂缝散射问题的数值模拟.     

图是极大3限制边联通的充分条件

设S是连通图G中的一个边子集。若G S不连通且它的每个连通分支的阶至少为k,则称S是G的一个k限制边割。图G的最小k限制边割的边数称为G的k限制边连通度,记为λκ(G)。定义ξκ(G)=min{|［X,X］|:|X|=k,G［X］连通},其中X=V(G)＼X。若λk (G)=ξk(G),则称G是极大k限制边连通的。设G是一个围长至少为5的λ3 连通图。本文证明了若G中不存在5个点u1,u2,v1,v2,v3使得d(ui,vj)≥3(i=1,2;j=1,2,3),则G是极大3限制边连通的。     

参考点依赖特征对拥挤收费路网流量分配的影响

考虑出行者路径选择决策过程中的参考点依赖,即当路网出行成本变化时,出行者将变化前的出行成本作为路径选择决策的参考点。基于参考点依赖理论,提出了考虑出行时间和拥挤收费的出行决策模型,建立了考虑参考点依赖的确定性网络用户均衡模型以及等价的变分不等式,并提出了求解模型的算法。最后,通过算例分析了参考点依赖对路径流量分配的影响,算例结果表明:经验出行成本和历史收费费率会影响出行者的路径选择决策,从而影响确定性网络流量分布。因此,在制定拥挤收费策略时,需考虑当前的出行时间成本和费用成本对出行决策的影响。     

石油地质图形库设计与实现

本文论述了石油地质行业图形库系统的建设方案,系统将大量多格式的勘探开发图件数据收录到统一的平台,实现勘探开发图件的网络化应用与数据共享;并能利用基于互联网的查询系统快速查找图件,以国内常用图件格式输出图形,直接应用于油田科研和勘探开发方案的编制,提高石油勘探工程中图件的利用率,为数字化油田打好基础,促进石油工业信息化发展。     

一类具有双时滞的捕食模型的稳定性和Hopf分支

建立了一类具有B-D型功能反应和不同避难行为的双时滞捕食模型,并以时滞作为参数,分析了模型在不同时滞情况下正平衡点的稳定性和Hopf分支.研究结果表明,当时滞等于相应的临界值时,模型在正平衡点处发生Hopf分支,且正平衡点的稳定性发生改变.     

延河流域泥沙连通性对土地利用变化的响应

泥沙连通性是表征泥沙在地貌单元间物理级联关系的重要参数,探讨其对土地利用变化的响应,对揭示流域内部水沙动态以及不同土地利用类型的水土保持效应具有重要意义。基于延河流域1990—2019年土地利用与径流输沙量等数据资料,结合连通性指数(index of connectivity, IC)分析土地利用变化对泥沙连通性时空分布的影响及与径流输沙量的关系。结果表明：1)近30年来,延河流域土地利用变化以退耕还林还草为主,加之少量的建设用地扩张。2)1990—2019年,延河流域IC整体呈下降趋势,截至2019年降低17.85%。退耕还林还草和建设用地扩张可有效降低泥沙连通程度,且退耕还林还草具有长期生态效益。3)IC存在明显的空间分异规律,呈现由南向北、由东向西的增加趋势。流域中部是主要退耕还林还草区和建设用地扩张区,也是泥沙连通性明显下降区;流域西北部泥沙连通性较高,且随土地利用变化降幅较小;流域南部泥沙连通性低。4)IC与输沙量之间存在显著正相关关系(P<0.05),适用于流域输沙预测。研究成果可为深入理解流域泥沙输移过程提供科学依据,并为布局和优化土地利用提供参考。     

相机系统中单片机电路的可靠性设计

结合CCD相机系统的电子学设计,主要从冗余备份、软件陷阱和看门狗技术三个方面,介绍了单片机电路的可靠性设计要点。实践证明,这些方法有效、实用。     

n阶方阵集合的端点性质

证明了范数不大于1的n×n阶方阵组成集合的端点恰为正交矩阵的全体.