城市不断扩张,但也可以更加健康!

全球有超过一半的人口生活在城市。到2050年,城市人口将翻倍,城市化已成为世界上最具变革性的趋势之一。迅速城市化促进了住房、交通和基础设施等多个领域里创新解决方案的出现,有一个关键领域往往受到忽视:粮食安全和营养。如果想为子孙后代打造健康、可持续的城市,则须重新审视城市的运行方式。粮农组织"城市粮食议程"为全球决策者将粮食系统纳入城市规划提供支持。通过五种方式,使城市更健康和可持续。     

NNI-1型C_5/C_6烷烃异构化催化剂长周期运行分析及建议

中国石化海南炼油化工有限公司0.2 Mt/a C5/C6烷烃异构化装置以连续重整装置的拔头油为原料,使用NNI-1催化剂,采用一次通过流程,不设脱异戊烷塔和稳定塔,经设在连续重整装置内的脱丁烷塔稳定处理后作为汽油调合组分。该装置于2006年9月开工投产,截至2015年3月已连续运行3个周期。长周期运行分析结果表明:前两个周期中NNI-1催化剂具有较高的异构化活性及选择性,C5异构化率为60%左右,C6异构化率为80%左右,C6选择性为15%左右,产品辛烷值基本达到技术指标要求(RON≥78);而在第三周期运行中,催化剂积炭增加等原因导致其异构化活性及选择性降低,异构化产品辛烷值提升能力呈现逐步衰减的趋势,提高反应苛刻度已不能弥补催化剂活性下降造成的产品辛烷值降低。为保证装置长周期运行,建议择机停工对催化剂进行再生,或是直接换用与装置原料性质匹配的异构化催化剂。     

水泥窑分级燃烧脱硝技术优化效果分析

<正>1前言水泥窑分级燃烧减排NOx技术是通过对窑尾分解炉的温度场、流场和化学反应及分解炉结构、煤粉分级燃烧等的综合研究,实现降低NOx排放浓度的有效方法。其减排效率可以达到30%左右,5000t/d水泥熟料生产线年减排NOx量可达到1100t左右。减少污染物排放可获得显著的环境效益,同时优化回转窑的运行条件(减少煅烧系统引入干扰),降低企业生产运行成本(可大量减少额外的非碳系还原剂的使用)。     

玉水水库工程设置灌溉运行控制水位的合理性分析

泸州市纳溪区玉水水库规划灌区为中型规模,为满足灌区内高程300m以下耕园地自流灌溉的要求,在工程设计中设置了灌溉运行控制水位。从玉水水库的项目建设条件、规划设计过程出发,基于水库优化调度思想,探讨灌溉运行控制水位的概念、运用原理及过程,并通过设计方案的综合比选,论证玉水水库设置灌溉运行控制水位的经济合理性。     

带式输送机阀控调速型液力偶合器低速状态的模糊控制系统设计

针对带式输送机中应用的阀控型偶合器在20%~30%低速验带状态下发热量较大,不适合长时间运行的问题,结合模糊控制的原理设计了模糊控制器,优化设备的运行。通过模糊控制的仿真试验,可实现阀控型偶合器在低速状态下运行时间延长。     

大数据时代法律流程外包视阈下的法律法规翻译

大数据时代的到来,改变了人们的生活方式、思想方式和工作方式,也为国际服务外包产业带来了新的发展机遇。本文首先介绍了WTO透明度原则和我国加入WTO后在法律法规翻译方面应承担的义务及履行情况;其次,从法律流程外包(Legal Process Outsourcing,LPO)的概念、内容和特征出发,分析了大数据技术条件下我国政府法律法规译审外包的必要性,并根据大数据应用的可实时性、可解释性、数据准确性稳定性等基本原则,探讨了大数据技术条件下我国政府法律法规译审外包的运行模式及主要举措;最后,讨论了法律流程外包在我国的发展前景。     

电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

石油化工电气设备运行管理问题与处理措施

石油化工业中电气设备一直扮演着重要角色,和石油化工的功效息息相关。对电气设备运行过程中需要遵循的准则进行研究,并对电气设备运行维护方面的特征展开分析,重点介绍了石油化工电气设备运行管理的措施。     

核电机组辅助给水系统水温超运行技术规范限值的改造研究

针对夏季高温天气下，辅助给水系统（ASG）水温超过运行技术规范限值而导致机组后撤的问题，提出了对辅助给水贮水箱（ASG001BA）加装热交换器的改造方案，从工艺设计、仪控修改和运行控制角度进行了详细分析和论证。机组实践表明，在蒸汽发生器冷却正常停堆模式下，本文提出的改造方案保证了ASG001BA的水位和水温在运行技术规范要求的范围内，保证了机组安全经济的运行。本文的研究对机组大修优化、提升机组核安全水平具有参考价值。      

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

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