无线传感器网络中移动sink节点的路径规划

在无线传感器网络中,大量感知数据汇集到sink节点的采集方法会导致sink节点附近的节点能量耗尽,造成能量空洞。针对该问题,利用移动的sink节点进行数据收集是一种解决方法,其中移动sink的路径规划成为一个重要的问题。提出了一个移动sink路径规划算法,将无线传感器中随机分布的节点划分为不同的子区域,寻找sink节点移动的最佳转向点,最终得到最优的移动路径,以实现无线传感器网络生命周期最大化。仿真实验表明,与现有方案相比,该算法能显著延长网络的生命周期。     

新型钢丝圈清洁器的使用效果

为了解决钢丝圈挂花问题,阐述了LH001新型钢丝圈清洁器的特点和应用效果;通过试验说明使用新型钢丝圈清洁器断头率低,基本无挂花,纺纱效果好。指出:新型钢丝圈清洁器是普通钢丝圈清洁器的更新换代产品,值得推广。     

锚栓用量对纯锚固岩棉保温系统抗风压性能的影响

采用ETAG 004:2013《外墙外保温薄抹灰系统欧洲技术认证指南》中规定的静态泡沫块法,测试在单位面积上使用不同数量锚栓的岩棉板外保温系统的抗风压性能。通过试验可以得出:在混凝土墙体上单纯采用敲击式锚栓锚固岩棉板外保温系统时,拉伸强度可达12.9 k Pa;单位面积增加锚栓的使用量可以提高系统的抗拉承载力,但在不同条件下增加相同数量锚栓对系统抗风载能力提高的程度不同;在普通混凝土墙中,单纯锚固岩棉板保温系统破坏时,单个锚栓承载力平均值的最大值约为其拉拔承载力的50.3%。     

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

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

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

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

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

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

Interlayer Engineering of Molybdenum Trioxide toward High‐Capacity and Stable Sodium Ion Half/Full Batteries

Orthorhombic molybdenum trioxide (MoO₃) is one of the most promising anode materials for sodium‐ion batteries because of its rich chemistry associated with multiple valence states and intriguing layered structure. However, MoO₃ still suffers from the low rate capability and poor cycle induced by pulverization during de/sodiation. An ingenious two‐step synthesis strategy to fine tune the layer structure of MoO₃ targeting stable and fast sodium ionic diffusion channels is reported here. By integrating partially reduction and organic molecule intercalation methodologies, the interlayer spacing of MoO₃ is remarkably enlarged to 10.40 Å and the layer structural integration are reinforced by dimercapto groups of bismuththiol molecules. Comprehensive characterizations and density functional theory calculations prove that the intercalated bismuththiol (DMcT) molecules substantially enhanced electronic conductivity and effectively shield the electrostatic interaction between Na⁺ and the MoO₃ host by conjugated double bond, resulting in improved Na⁺ insertion/extraction kinetics. Benefiting from these features, the newly devised layered MoO₃ electrode achieves excellent long‐term cycling stability and outstanding rate performance. These achievements are of vital significance for the preparation of sodium‐ion battery anode materials with high‐rate capability and long cycling life using intercalation chemistry.     

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

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