泛在电力物联网在北京经济技术开发区的应用探索

泛在电力物联网是物联网在电力领域的具体体现，建设泛在电力物联网是推进"三型两网"建设的关键环节，也是实现能源转型的必要手段。阐述了泛在电力物联网的定义，从供电公司角度出发，根据北京经济技术开发区实际情况，讨论了依托地区特点的泛在电力物联网实施策略和实际应用场景，分析了可能遇到的问题。得出结论：随着泛在电力物联网的深入建设，供电公司能够为电力客户提供多元化服务，提高客户满意度；地市供电公司能够依托泛在电力物联网开展更多电力相关业务；泛在电力物联网的安全性、实用性、有效性是发展面临的首要问题。     

基于双离合变速器电控单元的Volcano CAN开发

Volcano 是集汽车电子网络设计、实现和测试于一体的完整工具链。它包括整车网络规划及优化设计工具VNA,网络节点(TCU等)实现工具VTP以及网络测试工具Tellus。本文着重介绍了基于TCU的VTP。     

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

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

炉前TMT三大机控制系统可靠性升级项目

首钢京唐公司一期1#、2#高炉有效容积5500m3,日最高产铁量13200t,平均每分钟产出铁水量最多为9.17t,为确保高炉正常生产,要求炉缸内的铁水数量不能超过安全容铁量,这就必须保证高炉将单位时间内生成的铁水全部及时地从铁口排出,否则就会造成高炉减风、停风,要将每分钟内生成的大约9t铁水及时排出炉外,单铁口出铁显然无法满足要求,这就需要一定时间内有两个铁口同时出铁,首钢京唐公司1#、2#高炉出铁场共设有4个出铁口,每个铁口每分钟出铁量大约4t^7t,因此4个出铁口就处于2用2修状态,因此,倘若有一个铁口的设备发生故障,也没有备用铁口出铁,在这种情况下,如果不能迅速地、及时地排除故障,都将造成高炉减风、停风;同时,这也要求炉前三大机系统有很高的稳定性及可靠性,这就要求我们对其系统功能进行完善,减小各类设备故障对系统造成的影响,确保高炉炉前的正常、连续生产。     

浅议SPC数据分析在质量管控中的运用

通过运用SPC数据分析,查找影响产品质量的因素,提升质量控制能力与水平,确保生产过程趋于稳定。     

公路路基施工技术及质量控制浅析

随着时代的发展,人们对公路路基建设提出了更高的要求。出于这个原因,相关单位应该重视公路路基质量,满足人们的需要。本论文主要是对于公路路基的施工要点还有相关程度把控进行阐述,目的是能够增加公路的耐用程度以及降低施工事故出现的概率,希望能够起到一定的借鉴作用。     

建筑钢筋混凝土保护层的作用及质量控制措施分析

随着我国建筑事业的不断发展,越来越多的新型建筑构件在建筑工程中的作用也在不断的体现出来,因而本文仅以普通钢筋混凝土保护层厚度为例,主要就普通钢筋混凝土保护层的作用及质量控制措施进行了探讨。旨在与同行进行业务之间的交流,以不断强化建筑工程的质量。     

建筑施工安全风险控制与安全管理模式创新

本文围绕着建筑施工安全风险控制以及安全管理模式的创新2个方面展开了详细的论述,希望给大家以借鉴的作用。     

投稿要求

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