前混合磨料射流锚杆拆除装置设计

介绍锚杆应用及常用的拆锚方法,针对现有前混合磨料射流退锚装置存在锚杆拆卸时间长、工人作业环境差、装置部件锈蚀维护性差等问题,提出了一种前混合磨料射流退锚改进装置,并进行现场试验,结果表明,所改进设计装置具有退锚时间短、对工人伤害小、操作简便、部件维护周期长和无需专门配备泵站等特点,对进一步提高锚杆拆除效率具有重要参考价值。     

陕南山地烟田不同植烟年限土壤养分的变化

为给陕南山地烟草生产布局及有针对性的施肥措施提供依据,分析了陕南山地烟田不同植烟年限(0~15年)与土壤养分含量的关系。结果表明:随着植烟年限延长,有机质线性下降,全氮和速效钾显著上升,有效磷先上升后下降;氯、有效铁、有效锰、有效硼和有效铜无显著变化或变化很小,有效锌则在第1年急剧下降,之后保持稳定,10年后再次显著下降。认为陕南山地烟区烟叶生产中应适当增加有机肥的施用而合理控制氮肥、磷肥和钾肥的施用,并要注意锌肥的补充。     

大口径光学元件装夹转运结构设计及分析

为了实现大口径光学元件的安全装夹、转运,通过光学元件开槽与不开槽两种装夹方式的分析,得出开槽夹紧转运方式将带来微裂纹、应力集中、成本高等缺陷,提出了利用摩擦力克服光学零件的重力和惯性力的低应力装夹转运方案。通过对光学元件低应力夹紧结构设计,并利用有限元分析方法,得到不开槽装夹方式下,光学元件的最大主应力为1.11 MPa,最大切应力为0.73 MPa,远低于光学元件破坏的强度极限,且受力均匀,无应力集中现象。     

绿色化工技术在精细化工中的应用研究

社会经济快速发展,科学技术不断进步,针对我国现代工业化工行业发展,所产生的新型化工技术应用,促进我国化工生产效率的提升。工业的发展不可避免地会带来污染物的产生,如果不能有效控制化工排放污染物,温室效应问题会更加严重。本文对绿色化工技术在精细化工中的有效应用进行研究,降低工业废气污染物排放量,维护生态环境平衡。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

反腐倡廉建设中党校的价值体现及其实施路径

党校教育在预防腐败中的基础性作用价值,包括党校教育对形成反腐倡廉思想潜移默化作用、积极的导向作用等,反腐倡廉中党校价值的实施路径,则主要体现在:突出重点,着力提高党校教育的贡献度,强化党校作为执政党思想输出的主渠道作用等。     

移动边缘计算环境下的动态资源分配策略

在通讯设备爆炸式增长的时代,移动边缘计算作为5G通讯技术的核心技术之一,对其进行合理的资源分配显得尤为重要。移动边缘计算的思想是把云计算中心下沉到基站部署(边缘云),使云计算中心更加靠近用户,以快速解决计算资源分配问题。但是,相对于大型的云计算中心,边缘云的计算资源有限,传统的虚拟机分配方式不足以灵活应对边缘云的计算资源分配问题。为解决此问题,提出一种根据用户综合需求变化的动态计算资源和频谱分配算法(DRFAA),采用"分治"策略,并将资源模拟成"流体"资源进行分配,以寻求较大的吞吐量和较低的传输时延。实验仿真结果显示,动态计算资源和频谱分配算法可以有效地降低用户与边缘云之间的传输时延,也可以提高边缘云的吞吐量。     

采用八叉树和OSG分页结点的海量点云三维可视化

针对现有海量点云可视化方法存在索引构建时间长、内存占用大等问题，研究一种八叉树索引结合OSG分页结点的快速可视化方法，可在占用较小内存的基础上快速建立点云索引并实时调度。采用八叉树索引结构对海量点云进行数据组织，建立各层级的八叉树结点并以文件映射的方式分块保存，对结点文件重组织转换为支持OSG渲染引擎的多分辨率点云数据。采用基于OSG分页结点的实时调度技术，对海量点云进行高质量可视化。与目前两款主流的点云数据处理商业软件进行实验对比分析，结果表明所提方法具有索引建立速度快、内存占用小等优点，同时可视化交互更加流畅，适用于各种配置计算机下海量点云数据的调度管理与实时可视化。     

基于时频域的卷积神经网络运动想象脑电信号识别方法

针对目前运动想象脑电（EEG）信号识别率较低的问题，考虑到脑电信号蕴含着丰富的时频信息，提出一种基于时频域的卷积神经网络（CNN）运动想象脑电信号识别方法。首先，利用短时傅里叶变换（STFT）对脑电信号的相关频带进行预处理，并将多个电极的时频图组合构造出一种二维时频图；然后，针对二维时频图的时频特性，通过一维卷积的方法设计了一种新颖的CNN结构；最后，通过支持向量机（SVM）对CNN提取的特征进行分类。基于BCI数据集的实验结果表明，所提方法的平均识别率为86.5%，优于其他传统运动想象脑电信号识别方法；同时将该方法应用在智能轮椅上，验证了其有效性。