弱左型B半群的真覆盖

弱型B半群是在半富足半群范围内的广义逆半群.该文利用弱左型B半群真覆盖的定义,给出了弱左型B半群真覆盖的相关性质.特别地,得到了相应于弱左型B半群作用在幂单幺半群上的真覆盖的结构定理.     

酸法地浸采铀矿山地下水修复技术应用与探讨

随着地浸采铀矿山的退役,特别是应现代绿色矿山建设的要求,地下水修复越来越被重视,如何制定酸法地浸采铀矿山地下水修复法规,采用哪种修复技术才能获得更好的效果,这些问题一直困扰着环境保护部门和项目执行者。本研究针对酸法浸出矿山特点,提出了地下水修复法规的制定原则,并实践了地下水修复综合技术、自然净化、迁移净化、冲洗、弱酸浸出等方法,并在应用中获得较好的效果。在总结地浸采铀矿山地下水修复现场试验和退役矿山实际应用的基础上,充分分析影响地下水修复的矿床自然条件、地下水质量和用途、修复技术、修复费用和时间等因素,给出了推荐的酸法地浸采铀矿山地下水修复策略。     

旁侧基坑开挖对超大直径盾构隧道变形影响分析

密集城市区近接基坑工程易引发超大直径（>15 m）盾构隧道变形、结构开裂及渗漏水.当前超大直径盾构隧道建设处于起步阶段,基坑影响下隧道变形响应规律不明,合理的影响分区匮乏.本文采用有限元软件建立超大直径隧道旁侧基坑开挖的三维有限元模型,分析超大直径隧道的结构变形响应机制,并探讨隧道埋深、隧道-基坑间距、基坑开挖深度等因素影响规律.结果表明,基坑开挖引发地层朝向基坑的“鼓肚子”水平位移和“勺子”状竖向位移;与小直径隧道相比,超大直径盾构隧道表现出较小的纵向变形和较为显著的横向变形;隧道变形随隧道-旁侧基坑围护结构距离增大而减小、随埋深增大先增大后减小、随基坑开挖深度的增大而增大.通过基坑开挖深度归一化后,隧道最大变形与隧道-基坑间距可用指数函数高精度拟合.提出归一化后的影响分区图,为实际工程超大直径隧道结构保护提供重要的参考.     

反导作战任务分配方法

为充分发挥反导体系的作战能力,探讨了多任务与多资源的多属性匹配问题。以任务为中心进行反导任务分配,给出了多任务分配问题的描述。结合反导资源作战使用的实际情况,分析作战任务和资源的多维属性。通过引入资源能力负载系数,定义任务需求与资源能力之间的矢量距离。以资源冗余和最小化协同负载策略为优化原则,建立了任务分配数学模型。借鉴和改进多维动态列表规划算法的思想,设计了具体的求解步骤,确定了任务选择资源的优先级。通过案例分析,验证了所提方法的适用性。     

用B样条曲线构造几何物体模型的方法

根据Ｂ样条曲线原理,提出了先用若干个截平面去切割几何物体,得到一组与几何物体轮廓线相交的点。根据这些点,再用Ｂ样条曲线去构造几何物体的近似轮廓线,从而得到几何物体模型。该方法方便、精确,便于在计算机几何造型系统中应用。     

零维液态金属快速凝固过程的热力学和动力学

分析了零维液态金属快速凝固过程中的热流规律,计算了零维数滴在真空条件下的冷却速度,并建立了零维液滴单晶形核的过冷度方程,结果表明,零维液滴的凝固过程由形核前所达到的过冷和系统向环境 散热共同控制,零维液滴在真空条件下的冷却速度在１０＾５～１０＾８Ｋ／ｓ之间。     

基于小波分析的被动声纳信号宽带噪声包络调制分析

采用小波分析理论建立了一种新的被动声纳信号宽带噪声包络调制分析算法。通过被动声纳的海上实际信号的分析实验,取得了良好的检测效果且可以节省计算时间,具有很好的应用前景。     

Carbazole-type compounds in crude oils

Carbazole-type compounds were analyzed using GC and GC-MS-MS. A relatively high concentration of carbazole-type compounds was detected in crude oils of different types (marine and non-marine) and different maturities (low mature and mature) in Tarinl. Liaohe and Keilu basins. The results suggest the ratios of 1, 8-dimethyl-/2, 7-dimethylcarbazole and benu, [a] carbazole/benzo [e] carbazole might be taken as petroleum migration parameters.     

时变不确定非线性系统的鲁棒输出跟踪

该文研究了一为具有时变参数或扰动的非线性系统的鲁棒轨迹跟踪控制问题,假定系统的标称模型是可以反馈线性化的,通过递推构造壮环系统地的Ｌｙａｐｕｎｏｖ函数,给出了该类不确定系统鲁棒输出跟踪控制器设计方案。该控制器能保证闭环系统的状态是一致有界的,且通过对控制器参数的适当选择,可使闭环系统的输出跟踪达到指定的精度要求,最后由一机器人控制系统的仿真研究表明,该文提出了控制方案具有很强的鲁棒性,控制效果是令     

关于时滞Liénard型方程的周期解

本文研究具有时滞的Lienard型方程周期解的存在性,得到了一些新的结果。