中国移动NFV研究历程详解 五年实现深厚积累

中国移动高度重视NFV的发展,2014年的研究取得不错成绩,并计划携手合作伙伴推动NFV产业走向成熟。纵观整个NFV产业,标准化组织大力推进NFV的发展,全球运营商均积极进行NFV部署,全新商业模式、生态系统得到全面发展。据Analysys mason咨询公司预测,到2019年NFV产业规模将达到41亿美元。NFV的本质是网络设备的虚拟化和云化,虚拟化实现软硬件解耦,云化实现硬件资源的共享和系统随业务大小的自动伸缩,从而支撑业务的快速创新和快速上市。中国移动研究院网络所所长段晓东近期在相关     

基于STC12C5A60S2自动太阳能跟踪器的设计

在此阐述了利用光敏电阻寻找直射太阳的原理,以STC12C5A60S2为控制核心,设计了一种自动太阳能跟踪器。太阳照射情况通过太阳能电池板4边上的4个光敏电阻测得,经过放大后输送到单片机,在单片机内由软件进行分析计算,得出电池板需要偏移的方向和角度,最后通过2个伺服电机对电池板左右和上下偏移进行控制,从而提高了转化效率。     

PTA污水厂COD在线监测结果不合格原因分析及对策

对在线自动监测仪监测结果与人工化验数据存在误差的原因进行分析,以提高在线自动监测仪监测结果的科学性和可靠性,并提出了相对应的建议,有效提升装置出水合格率。     

锐化RAW文件细节表现

<正>任何一张照片都离不开锐化操作,这里我们教你在保证画质的前提下对RAW文件进行锐化处理,丰富画面纹理与细节。软件准备:Adobe Camera Raw学习目标:如何对照片进行锐化.并评估锐化的最终效果。操作耗时:10分钟我们可以通过调整照片的色彩与反差改善其画面效果,而调整锐度则能带来锦上添花的变化。但相对色彩与反差的调整来说,对照片进行正确的锐化处理则是一件非常棘手的事情。大多数相机为了避免细节丰富的区域出现摩尔纹的情况,通常都会内置低通滤镜对画面进行轻微的     

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

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

投稿要求

<正>为提高稿件审查、排版和校对效率,减少差错,提高出版质量,请作者投稿时参见以下要求:投稿请到本刊投稿平台http://www.e-foodtech.net/。原收稿邮箱shipinkj@vip.163.com 2010年10月1日起不再执行收稿工作,邮箱自动回复将提示您投稿登录平台,请各位作者注意邮箱的自动回复。投稿流程可以登录食品科技博客参考,注意请不要到中国知网的采编平台投稿。某些代发论文网站与我社均毫无联系,请您注意以免上