关于印发《能效“领跑者”制度实施方案》的通知

<正>发改环资[2014]3001号各省、自治区、直辖市、计划单列市及新疆生产建设兵团发展改革委、财政厅(局)、工业和信息化主管部门、机关事务管理局、能源局、质量技术监督局、检验检疫局:为落实国务院《2014-2015年节能减排低碳发展行动方案》(国办发[2014]23号)、《关于加快发展节能环保产业的意见》(国发[2013]30号)和《大气污染防治行动计划》(国发[2013]37号),我们研究制定了《能效"领跑者"制度实施方案》,现印发你们,请认真组织实施。附件:能效领跑者制度实施方案     

Quantitative spectrum occupancy evaluation in China: based on a large scale concurrent spectrum measurement

Due to the usable frequency becomes more and more crowed,dynamic spectrum access (DSA) is a new hope to solve this problem.However,DSA in China requires a quantitative analysis of the current spectrum ...     

基于内存数据库的电网实时智能监测系统的设计与实现

将内存数据库技术引入到电网实时智能监测系统中,并对其体系结构和关键的实现技术如SQL语法解析、多线程并发和数据转存策略进行改进,使之适合电网实时监测的具体应用。将经过改进的内存数据库技术整合到电网实时监测系统中,并在此基础上,提出并实现一个完整的基于内存数据库技术的企业电网智能监测系统的框架模型。该框架模型能够在保证数据实时性的同时,提高监测系统的海量数据的并行处理能力和系统的稳定性,满足了电网实时智能监测的需要。     

上海市房屋安全监察所（上海市房屋检测中心、上海市历史建筑保护事务中心）

上海市房屋安全监察所（上海市房屋检测中心、上海市历史建筑保护事务中心）为上海市住房保障和房屋管理局直属处级事业单位,主要职责是：负责本市房屋安全监察和技术监管;负责本市建筑物、构筑物拆除行业管理和行政执法;负责本市房屋检测鉴定行业管理和危险房屋鉴定管理,承担本市房屋检测技术委员会日常工作;开展房屋捡测、监测、拆除等安全技术咨询和技术服务,配合做好本市房屋应急抢险的技术保障工作;负责本市历史保护、保留建筑技术管理和行政事务工作等．     

基于交互式定理证明的并发程序验证工作综述

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证。本文对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性。交互式定理证明方法中常用程序逻辑对程序进行验证,本文分析了基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用了这些方法的程序验证工具和程序验证成果进行了总结。     

IPTV中EPG模块的设计与优化

首先介绍了IPTV系统中EPG模块的系统结构和设计方案,然后结合一个终端用户获取热门影片信息的例子说明了EPG的具体实现过程。接着针对实际开发中用户与机顶盒交互可能产生的不可预知的错误,并考虑后期EPG功能的扩展和代码维护,提出了一种基于事务机制的Handler对象的设计和实现方案。实验结果表明,本方案正确可行,有利于系统扩展和维护。     

P2P文件共享系统中的一种双向并发信任机制

近似于人际关系网络,P2P文件共享交易存在着相互信任的问题.服务请求节点和服务提供节点是参与文件共享交易的两类实体,通过分析两者的信任关系,提出一种双向并发信任机制-BPTM.该信任机制研究交易双方的相互信任问题,并在此基础上建立服务选择信任模型和服务确认信任模型,实施信任关系评估的双向化.仿真与分析表明,BPTM相比传统的单向信任机制,在交易成功率上有较大的改进,可使节点之间更有效的建立互信关系.     

基于SystemVerilog的I^2C总线模块验证

针对I2C总线模块,介绍了一种基于Systemverilog验证环境的验证IP设计。这种基于面向对象设计的验证架构可以很容易地被重用。文中分析了基于Systemverilog验证环境的结构,并在介绍I2C总线协议的基础上,重点论述了验证环境中事务产生器及驱动器的设计     

韩国将配装轮胎压力监测系统提上日程

韩国土地、交通和海运事务部宣布了一系列改善公路安全性的措施,其中一项措施是从2013年1月1日起3.5t以下的乘用车和轻型载重汽车必须配装轮胎压力监测系统;另一项措施是从2012年起强制配装稳定性控制系统。     

基于Maemo系统拍照上传服务器

本文介绍了多线程文件传输模型,给出多线程多客户与服务器（C／S）并发通信模型的详细算法,并介绍了基于Maemo系统利用socket进行TCP网络连接、并通过多线程技术,实现了拍照上传服务器的应用,最后展示客户端成功将拍摄的照片上传到服务器的演示效果。