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

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

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

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

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

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

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

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

DNAN及TNT基熔铸炸药综合性能比较

为了对比载体炸药2,4,6-三硝基甲苯(TNT)和2,4-二硝基苯甲醚(DNAN)、以及以它们为基的熔铸炸药的综合性能,系统研究了DNAN和TNT、以及DNAN/HMX(20/80)和TNT/HMX(25/75)熔铸炸药的流变、能量、安全、以及力学等性能。结果表明:载体炸药DNAN(6.87 m Pa·s)的粘度低于TNT(9.05 mPa·s),DNAN/HMX熔铸体系的极限固含量(约80%)高于TNT/HMX熔铸体系(约75%);DNAN/HMX(20/80)和TNT/HMX(25/75)熔铸炸药的爆速分别为8336 m·s~(-1)和8452 m·s~(-1),爆压分别为31.03 GPa和31.44 GPa;在1 K·min~(-1)的慢速烤燃条件下,DNAN/HMX(20/80)和TNT/HMX(25/75)熔铸炸药的响应等级分别为燃烧反应和爆炸反应;在4.51GPa的冲击波入射压力条件下,TNT/HMX(25/75)在8～12 mm内达到完全爆轰,而DNAN/HMX(20/80)在12 mm内未能达到完全爆轰;DNAN/HMX(20/80)的抗拉和抗压强度均大于TNT/HMX(25/75)。因此可以得出结论,在能量性能基本持平的情况下,DNAN/HMX(20/80)熔铸炸药的安全及力学性能优于TNT/HMX(25/75)熔铸炸药。     

Threshold privacy-preserving cloud auditing with multiple uploaders

International Journal of Information Security - Data integrity is a critical security issue in cloud storage. The data integrity checking schemes by a third-party auditor (TPA) have attracted a lot...