基于空气质量模拟的江苏省大气污染物排放清单比较研究

大气污染物排放清单是空气质量模拟和空气污染治理的重要依据.本研究比较分析了两套覆盖江苏省的2017年大气污染物排放清单，即分别由上海市环境科学研究院、江苏省环境科学研究院编制的"长三角清单"和"江苏省清单"，并结合区域空气质量模型CMAQ评估不同清单对长三角地区2017年1、4、7、10月的空气质量模拟的影响.清单比较结果表明，除二氧化硫（SO₂）以外，江苏省清单估算的各污染物排放量较长三角清单低.通过与观测数据比较，发现两套清单对SO₂、氮氧化物（NO_x）、臭氧（O₃）和细颗粒物（PM_2.5）的模型模拟性能均较好.江苏省清单与长三角清单两者的模拟结果空间分布接近，其中江苏省清单模拟的PM_2.5和O₃在长三角多数地区略低于长三角清单的模拟结果（1月O₃除外）.江苏省清单与长三角清单均能够用于空气质量模式模拟，可为江苏地区的细颗粒物和光化学烟雾污染的控制策略制定提供参考.     

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

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

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

Preparation of Silver Nanowires via a Rapid,Scalable and Green Pathway

Rapid synthesis of silver nanowires(Ag NWs) with high quality and a broad processing window is challenging because of the low selectivity of the formation of multiply twinned particles at the nucleation stage for subsequent Ag NWs growth.Herein we report a systematic study of the water-involved heterogeneous nucleation of Ag NWs with high rate(less than 20 min) in a simple and scalable preparation method.Using glycerol as a reducing agent and a solvent with a high boiling point,the reaction is rapidly heated to 210 ℃ in air to synthesize Ag NWs with a very high yield in gram level.It is noted that the addition of a small dose of water plays a key role for obtaining highly pure Ag NWs in high yield,and the optimal water/glycerol ratio is0.25%.After investigating a series of forming factors including reaction temperature and dose of catalysts,the formation kinetics and mechanism of the Ag NWs are proposed.Compared to other preparation methods,our strategy is simple and reproducible.These Ag NWs show a strong Raman enhancement effect for organic molecules on their surface.     

Polyethylene oxide-polypropylene oxide -polyethylene oxide derived porous carbon materials with different molecular weights as ORR catalyst in alkaline electrolytes

Polyethylene oxide (PEO)-polypropylene oxide (PPO)-polyethylene oxide block copolymer having different molecular weights are used as precursors of carbon materials to prepare Hollow -Derivatives carbon material as an electrocatalyst through block copolymer self-assembly. The composition and microstructure of the prepared catalysts are shown by Raman spectroscopy, X-ray diffraction (XRD), Test of nitrogen adsorption and desorption curves, High resolution transmission electron microscopy (HR-TEM) and scanning electron microscopy (HR-SEM). Oxygen was passed into alkaline electrolyte solution until the solution reached saturation state. With molecular weight increasing, the obtained sample gradually changed from block to hollow and spherical. When the molecular weight was 12600 g mol^?1, the evenly hollow carbon nanocages was acquired (C-12600). In O₂ saturated alkaline electrolyte (0.1 M KOH solution), C-12600's limited current density，half-wave potential and initial potential are 5.23 mA cm^?2@0.4 V, 0.72 V and 0.81 V, respectively. And most important is that half-wave potential and onset potential have barely change after 2000 cycles of cyclic voltammetry. As a result, the porous carbon materials exhibited excellent electrocatalytic activity while maintaining high stability in alkaline KOH solution.     

面向航空通信应用的边沿触发器教学设计

研究和分析了面向航空通信应用的边沿触发器教学设计。以边沿触发电路实现原理为核心,引导边沿触发机制的探究式学习；以航空机载网络通信为具体应用背景,引入科学研究和工程实现中实际问题,设计曼切斯特码检测系统实验；使得边沿触发器教学成为“知识再创造”的过程和创新实践的新载体,以期培养新工科背景下的独立、创新和实践精神。     

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

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

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.     

公路隧道喷射混凝土套拱加固结构力学特性

为研究喷射混凝土套拱加固前后二次衬砌与混凝土套拱的受力状况,依托陕西汉中至留坝段八里关隧道,运用有限元软件建立隧道混凝土结构套拱加固分析模型,并通过现场监测获取二次衬砌与套拱间的接触压力、套拱格栅拱架钢筋应力、套拱混凝土应力,将数值模拟结果与现场测试结果相结合,得出套拱结构的一般受力变化规律。结果表明:套拱加固前衬砌结构的最不利荷载位置位于施工缝附近的拱顶、拱肩与拱脚处; 由于衬砌局部变形与温度应力的影响,套拱混凝土应力变化呈现反复“上升-下降-上升”最后趋于稳定的特点; 套拱的作用是控制二次衬砌的进一步变形,套拱施作后所承受荷载较小,套拱反作用力远小于围岩作用于衬砌的应力,在应力计算中不应将衬砌与套拱作为整体计算; 套拱结构数值模拟所得的结果与现场测试套拱结构内力(轴力、弯矩)的大小及分布相似度高,但在衬砌裂损严重部位,数值模拟所得结果误差较大,应以现场测试结果为准。