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

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

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

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

一种北斗联合低轨星座的导航增强方法研究

单纯依靠北斗导航系统提供定位导航授时服务,存在卫星信号落地功率低、易受遮蔽和阻断的不足。针对此问题,研究了一种北斗联合低轨星座实现导航增强的系统架构;提出了一种新的适应严重遮蔽或干扰条件下,基于到达时间(TOA)和到达频率(FOA)联合观测的定位解算算法;对高中低轨混合星座条件下的覆盖特性和精度衰减因子进行了仿真分析。分析结果表明,用户可见星数平均增加了64.2%,位置精度衰减因子(PDOP)平均改善了28.7%。研究结果可为下一代北斗的论证设计与研制建设提供参考借鉴。     

面部运动单元检测研究综述

面部运动单元检测旨在让计算机从给定的人脸图像或视频中自动检测需要关注的运动单元目标。经过二十多年的研究，尤其是近年来越来越多的面部运动单元数据库的建立和深度学习的兴起，面部运动单元检测技术发展迅速。首先，阐述了面部运动单元的基本概念，介绍了已有的常用面部运动单元检测数据库，概括了包括预处理、特征提取、分类器学习等步骤在内的传统检测方法；然后针对区域学习、面部运动单元关联学习、弱监督学习等几个关键研究方向进行了系统性的回顾梳理与分析；最后讨论了目前面部运动单元检测研究存在的不足以及未来潜在的发展方向。     

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.11 MPa,最大切应力为0.73 MPa,远低于光学元件破坏的强度极限,且受力均匀,无应力集中现象。     

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

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

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

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

地质探矿工程安全解决措施探讨

随着社会的不断发展,矿产资源为我国带来了巨大的经济效益,并在社会经济发展中占有重要的地位。但在矿山资源开发的过程中,威胁人身安全的事故经常发生。因此,本文对探矿工程安全措施进行了研究和分析。