通过CC标准的思想确定RS-Linux的安全可信度

以一个称为RS－Linux的安全操作系统的研制工作为实验手段，对按照CC标准的思想开发安全产品的方法进行研究，并以该项研究为基础，探讨从CC框架蕴函的方法学中可以通过什么方式确定安全产品的安全可信度。     

面向管材存储的自动化立体仓库货位优化

文章以自动化立体仓库(automated storage and retrieval system, AS/RS)中管材的货位分配为研究对象，采用悬臂式货架进行存储，以存取效率、货架稳定性和货架平衡性为原则，建立多目标货位优化模型；设计粒子群算法(particle swarm optimization, PSO)和遗传算法(genetic algorithm, GA)的混合算法求解模型，使用MATLAB编程并运行汽车制管厂的实例数据进行仿真分析。结果表明，该文方法相较于传统PSO算法和GA算法具有一定的优越性，能够有效提高AS/RS的作业效率和货架安全性，对面向管材存储的AS/RS研究具有一定的理论和实践意义。