高压离子色谱法快速测定水中7种无机阴离子

目的：建立高压离子色谱法快速测定水中氟离子、亚氯酸根离子、氯离子、硝酸根离子、氯酸根离子、溴离子、硫酸根离子7种无机阴离子含量的方法。方法：选用Dionex Integrion高压离子色谱仪和Ionpac AS19色谱分析柱，KOH淋洗液浓度为20 mmol/L、流速为2.00 mL/min条件下，通过抑制型电导检测器测定水中7种无机阴离子含量。结果：7种无机阴离子在7 min内实现分离，该方法的线性相关系数≥ 0.999，相对标准偏差＜2%，7种阴离子的样品加标回收率为95.3%~105.8%。结论：该方法具有简便快速、准确灵敏、环保高效等优点，适用于水质分析中7种无机阴离子的同时快速测定。     

加湿器外壳逆向工程与3D打印的应用

本文以加湿器外壳为例,通过一系列教学认识和操作,让学生对现代化技术产生充分的认识和兴趣,促进学生的积极和创新能力。     

亮剑斯里巴加湾——我军选手参加第11届BISAM轻武器技能大赛纪实:手枪篇

<正>2015年1月21日~2月1日,第11届文莱国际轻武器技能大赛(Brunei International Small Arms Meet,简称BISAM)在文莱首都斯里巴加湾举行,我军选手使用制式武器参加了手枪、步枪、机枪等共14个科目的比赛。本文将分三部分对各项赛事纪实展现——文莱国际轻武器技能大赛是文莱现任国王苏丹于1985年发起,每3年举办一届,今年已是第11届,赛事起初仅有东盟部分成员国参加,现已扩大到东盟十国,为进一步扩大交流,     

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

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

齐齐哈尔两家大米企业获生态原产地保护标志

<正>我们从齐齐哈尔检验检疫局获悉,2015年1月19日国家质检总局公告,根据《原产地标记管理规定》《生态原产地产品保护评定通则》等规定,经审核评定,批准齐齐哈尔市两家企业的大米为生态原产地保护产品,准予其使用生态原产地产品保护标志,自即日起实施保护。此项殊荣属我省首批,两家企业的产品也是目前为止全省唯一获得生态原产地保护的大米。生态原产地产品是指在产品     

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

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