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

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

面向航空通信应用的边沿触发器教学设计

研究和分析了面向航空通信应用的边沿触发器教学设计。以边沿触发电路实现原理为核心,引导边沿触发机制的探究式学习；以航空机载网络通信为具体应用背景,引入科学研究和工程实现中实际问题,设计曼切斯特码检测系统实验；使得边沿触发器教学成为“知识再创造”的过程和创新实践的新载体,以期培养新工科背景下的独立、创新和实践精神。     

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

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

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.     

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

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

离子膜电解反向电流及其消除

探讨反向电流的形成、反向电流的危害、极化整流器消除反向电流的若干方式、C-DCDS装置构成及其与极化整流器匹配应用于电解槽的情况,以及单独使用极化整流器或C-DCDS和两者匹配使用的方法。     

电信运营商信息安全管控架构及集中策略研究

本文对运营商信息安全集中管控架构演进和信息安全管控策略面临的问题进行了深入分析，提出了信息安全集中管控架构的演进方向建议及对信息安全监控策略工作优化的若干意见。     

强碱三元复合驱色谱分离及其影响因素——以大庆油区喇嘛甸油田为例

三元复合驱油体系中驱油剂的协同效应,会使油水间的界面张力大幅度下降,原油采收率大幅度提高;但三元复合驱油体系的色谱分离现象也会破坏其协同效应和完整性,揭示色谱分离现象及其影响因素对于改善三元复合驱油效果具有十分重要意义。以油藏工程和分析化学理论为指导,以化学分析和物理模拟为技术途径,并以大庆喇嘛甸油田典型区块地质特征和流体性质为研究对象,开展强碱三元复合驱色谱分离现象及其影响因素研究。结果表明,采用前置高浓度聚合物段塞后,可以有效扩大波及体积,但表面活性剂与碱和聚合物之间无因次等浓距增加,色谱分离现象加剧。大庆油区喇嘛甸油田不同区块油水性质差异对色谱分离现象存在影响,原因在于部分重烷基苯石油磺酸进入油相,影响水相中浓度检测值。强碱三元复合驱油体系中表面活性剂与碱和聚合物之间色谱分离程度比较严重,碱与聚合物之间较弱。     

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

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