开放环境下的远程证明体系架构设计

虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来增强系统的安全性,并给出Sec_TV下远程证明协议设计,最后,从Sec_TV体系架构本身及Sec_TV远程证明协议两个方面讨论这个远程证明体系架构的安全性。     

新常态下玻纤行业持续发展的几点意见

介绍了我国玻纤行业在"十二五"期间的发展情况,指出了发展过程中存在了一些问题。对新常态下玻纤行业的发展做出了预测,从市场、政策等方面分析出我国玻纤行业在未来的一段时间内仍然将处于比较好的发展状态。从企业的角度给出了战略性建议,认为企业应该通过提效、绿色生产、提高产品质量、扩品和使用互联网技术等手段提高自己的竞争能力。指出了企业要重视产品开发更好适应市场,以创新作为驱动,最终实现可持续发展。     

Evaluating performance of AI operators using roofline model

Applied Intelligence - Artificial Intelligence algorithms have shown performance advantages in a wide range of application domains. However, the increasing demand for hardware resources raises...     

基于移动代理技术的分布并行计算环境

介绍了采用移动Agent技术构建分布式并行处理系统的设计与实现技术,讨论了系统的构成,并给出关键技术问题的解决方案。     

我国玻璃球生产现状和质量分析

对我国玻璃球产业近5年来的生产现状、生产工艺、企业分布等进行了调研,对玻璃球进行了抽样分析,并提出了其中存在的问题。结果显示,从2010年到2015年,全国玻璃球生产企业数量整体减少,产量相对较为稳定,而玻璃球窑数量逐年减少,企业的生产规模趋于扩大。同时,玻璃球生产中,也出现了玻璃球化学成分、生产工艺、玻璃球直径等偏离标准要求的问题。     

智能压力变送器的误差修正与功耗

本文简要介绍了智能压力变送器的工作原理，并就其研制和应用过程中涉及的误差修正及功耗问题开展讨论，提出了相应的解决措施．     

并行面向对象可视化开发环境的研究与实现

提出了基于并行对象的可视化开发环境，该环境充分体现了C 语言面向对象的程序设计思想和特点，将对象机制和并行机制有机结合起来，大大降低并行软件开发难度。片同时借助于可视化开发方法，用可视语法来解决实现的复杂性，使问题求解的难度进一步降低。     

一种自适应的数据预取与缓冲算法

在海量数据中进行的直接查找往往耗时巨大,在实际应用中很难满足实时性的需求,因此采用数据预取和缓冲技术实现对查找操作的优化成为实际系统中的重要环节。自适应的数据预取和缓冲算法是通过使用人工智能中的技术来分析用户的查询习惯,从而实现动态的预取策略并对预取的数据进行缓冲,以达到提高查询速度的目的。文章根据不同的数据查询需求提出了两类智能算法以适应不同的应用场合。在实验中分别针对单个用户的历史查询应用和多用户的并发查询应用分别进行了分析,证明了这两类智能算法分别对不同的应用场合拥有较好的性能。     

提高Linux桌面交互性能的主动页面换出算法

Linux系统正逐步由服务器领域步入桌面领域，由于Linux继承了传统的Unix的体系结构和算法，它能否为桌面应用提供好的交互性能是一个迫切需要研究的问题。该文分析了现有的Linux存储管理页面换出机制在交互式桌面应用中的不足，提出了符合交互式应用特点的主动页面换出算法。该算法基于页面状态等价关系优化了原系统中页面状态转换自动机模型，使得系统在内存压力大的情况下有条件紧急回收内存页面，从而提高桌面系统的交互性能。     

一种安全VM-vTPM迁移协议的设计与实现

在分析现有vTPM迁移方案的基础上提出了安全VM-vTPM迁移的安全需求,并针对这些安全需求,提出了一种新的安全VM-vTPM迁移协议。详细阐述了协议各阶段涉及的具体内容,并对其进行了安全评估。最后,基于Xen讨论了其实现及性能开支。