对高等数学分层教学的探讨

随着高校的不断扩大招生,学生的数学基础差异性日趋变大,高等数学基础课分层教学成必然趋势。分层教学就是根据学生对数学掌握的程度和兴趣将学生分成不同层次进行施教。文章讨论了高等数学分层教学的理念和模式,并结合实践介绍了数学分层教学的实施办法。     

世界石油工业科技研发7大方向

（1）扩大勘探领域，提高勘探精度，发现更多的隐蔽油气藏．发展多学科综合储层描述、油藏管理和流体成像技术、地质模拟技术、三维可视化技术和多分量四维地震勘探技术．     

基于层面信息的路径优化

根据分层物体快速成型（LOM）中零件逐层累积的特点，从缩短加工时间、提高制件效率方面着手阐述了路径优化的必要性，针对LOM机的运动机理和软件数据结构，给出了扫描路径优化的原理，将图论中的便宜算法用于LOM机的扫描路径优化。     

三维捕食系统概周期解的存在性和全局吸引性

研究了有HollingⅡ类功能反应且具有概周期系数的三维顺环捕食系统，得到了该类系统在一定条件下存在唯一的，一致渐近稳定的概周期解。     

分层开采使用菱形金属网技术

在采煤工作面采用菱形金属网作为人工假顶，是全国煤炭系统重点推广的一项新技术。该技术具有明显的技术经济效益，推广前景广阔。     

利用早停可微架构搜索的三维点云模型分类

针对现有三维点云分类网络采用人工设计费时费力的问题,提出早停可微架构搜索(early-stopping differentiable architecture search,ES-DARTS)算法。利用从人工设计网络架构中提取到的先验知识,预定义一个包含高效候选操作的搜索空间,可快速搜索出适用于三维模型分类任务的高性能网络模型;通过追踪网络搜索阶段各候选操作的权重变化,找出跳跃连接操作在双重优化过程中发挥不公平竞争作用的临界点并在此处停止搜索,以保证各候选操作之间的稳定性,解决DARTS算法搜索过程中易出现性能崩溃的问题。提出的算法在ModelNet40数据集上达到了93.2%的识别准确率,比当前人工设计的主流网络具有更高的识别准确率。     

一种基于PVDAC描述子的RGB-D三维点云配准方法

利用RGB-D数据进行三维点云配准时容易陷入局部最优.针对这个难题,提出了一种基于多维特征的PVDAC描述子实现三维点云配准的方法.该方法首先通过ORB特征检测算法提取二维数据的关键点,并计算关键点在2D下的灰度特征,然后构建关键点在3D下的局部像素值距离、点云法线角度以及曲率特征,接着将2D特征和3D特征联合生成全新的PVDAC像素描述子,并利用PVDAC像素描述子描述关键点实现三维点云的粗配准,最后基于ICP算法完成三维点云的精细化配准.实验表明,本文算法在大场景点云配准时总体均方误差约为0.05 m2,在小场景单物体点云配准时达到了0.000 2 m2的较小误差,实现了三维点云的精确配准.     

考虑地层三维空间分布的盾构掘进模拟

为研究复杂地层条件下盾构掘进引起的地层扰动规律,提出了一种考虑地层三维空间分布的盾构掘进模拟方法. 该方法利用Kriging算法构建三维地质模型,通过条件判断算法将地层空间分布信息嵌入到有限元模型中,进而实现考虑地层三维空间分布的盾构掘进模拟. 此外,采用C#语言编写了复杂地层盾构掘进模拟前处理程序. 以长沙地铁四号线为例,根据掘进断面内极软岩、软岩、坚硬岩的占比,选取具有3种不同地层条件的区段,利用该前处理程序构建了土压平衡盾构机掘进过程模型,并开展模拟. 模拟结果显示盾构掘进断面内极软岩占比增大会导致地表最终沉降量显著增加. 相比于极软岩占比为50%的掘进断面,全断面极软岩处的地表最终沉降量增加了11.67?mm. 模拟结果与实测数据规律一致,验证了所提方法的有效性.     

基于TSV的3D IC层次化物理实现技术

随着集成电路特征尺寸逼近物理极限,硅通孔（TSV）实现层间互连的三维集成电路（3D IC）成为延续摩尔定律的一种趋势.但现有集成电路设计工具、工艺库、设计方法尚不成熟,难以实现三维集成中超大尺寸基板芯片的时序收敛问题.为此,本文提出了一种利用现有传统的EDA工具完成基于TSV的3D IC物理设计的流程.首先,用热应力模型将三维硅通孔投影成二维阻挡层,从而将三维集成电路设计转化成若干含阻挡层的二维集成电路分别实现;其次,针对超大尺寸基板芯片的时序收敛困难问题,提出了一种标准单元布局方法,通过在版图中划定若干固定放置区用于限定关键时序单元的摆放,并迭代确定这些关键单元在固定放置区中的位置,实现大尺寸芯片的时序收敛.基于所提出的三维集成电路设计流程完成了一款三维集成的网络路由芯片基板芯片的设计,结果表明,相比传统的设计流程,提出的3D IC物理设计流程可使超大尺寸基板芯片从时序无法收敛优化到可收敛并满足时序要求,验证了所提出的3D IC物理设计流程的可行性.