大型烧结生产线供配电系统研究及设计

结合某钢铁企业新建大型烧结生产线供配电系统设计实践，分析供电负荷、高压配电系统、低压配电系统等，对于企业的生产及节能降耗有着重要参考意义。     

门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

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

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

数字化接访系统浅析

如何有效地拓宽信访渠道,节约信访成本,规范接访程序,减少不必要的重复访,避免群众因接访问题而滋生的群体性事件,对构建和谐社会与平安中国有不容小觑的意义。针对以上情况,文章主要研究数字化接访系统。     

数控机床技术分析

数字控制系统应用于机床主轴旋转和各坐标的自动化控制系统,是提高机床加工业产品质量和生产率的前提和发展方向。随着当今社会经济的发展和信息化水平的不断提高,数控技术已经在机械加工和制造行业之中取得了主导地位。然而在世界范围内,特别是在现代化工业生产过程中,数控技术的开发和应用,是国家技术水平和综合实力的标志。本文将对数控技术在机床自动化领域中的应用进行分析,并初步探讨数控技术的发展趋势。     

软件测试与IT系统的质量提升

企业信息化的高速发展,使得IT系统已成为电信行业竞争的基础,电信企业IT系统的运营支撑能力在很大程度上影响到其业务竞争力,测试作为IT系统质量保障的最重要手段越来越受到重视。文章从IT系统的测试及整体的系统质量管控角度进行论述,分析电信行业IT系统建设生命周期各阶段质量问题及相应的测试解决方法,以及中国联通质量管控发展情况,阐述软件测试作为质量保障的重要手段与IT系统提升的紧密联系,并对联通研究院现有的各类IT测试进行简要总结和概述,对中国联通质量管控能力的进一步提升和后续IT测试的规划、发展有一定的借鉴作用。     

基于J2EE的网上茶叶销售系统的设计

中国是世界最大的产茶国,茶文化深入人心,2013年全国茶叶总产值已达1000亿元,中国十几个主要产茶省区都大力发展茶叶市场。传统实体店的购物方式,无法满足人们消费行为的改变,在此情况下,很多企业把目光转向方便快捷消费的电子商务,由此电子商务应因而生。本文对网上茶叶销售系统进行可行性分析和需求分析,并采用了J2EE的MVC设计模式设计了网上茶叶销售系统。     

自动控制系统仿真

衡量控制系统调节品质优劣的性能指标可以理解为对每一类自动控制系统被控量变化全过程提出的共同基本要求,即稳定性、快速性和准确性。其中,稳定性是首要的,那么如何准确判断控制系统是否稳定就是十分重要的问题,通过设计程序算法和控制系统仿真,能够很好地解决这个问题。     

投稿要求

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