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

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

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

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

陕南山地烟田不同植烟年限土壤养分的变化

为给陕南山地烟草生产布局及有针对性的施肥措施提供依据,分析了陕南山地烟田不同植烟年限(0~15年)与土壤养分含量的关系。结果表明:随着植烟年限延长,有机质线性下降,全氮和速效钾显著上升,有效磷先上升后下降;氯、有效铁、有效锰、有效硼和有效铜无显著变化或变化很小,有效锌则在第1年急剧下降,之后保持稳定,10年后再次显著下降。认为陕南山地烟区烟叶生产中应适当增加有机肥的施用而合理控制氮肥、磷肥和钾肥的施用,并要注意锌肥的补充。     

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

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

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

125I粒子条联合胆道支架植入治疗恶性梗阻性黄疸22例疗效分析

【摘要】　 　目的 研究和探讨125I粒子条联合胆道支架植入治疗恶性梗阻性黄疸的临床疗效。方法 2011年6月—2013年9月收治恶性梗阻性黄疸患者40例。行胆道支架植入术治疗患者18例，为对照组；采用125I粒子条联合胆道支架植入患者22例，为观察组。两组均采用经皮肝穿刺胆道引流（PTCD）并胆道支架植入。结果 观察组与对照组的平均胆道开通时间分别为（8.7 ± 0.7）和（6.2 ± 0.4）个月，两组比较差异有统计学意义（P < 0.05）。观察组与对照组术后平均生存时间分别为（11.4 ± 0.8）和（8.7 ± 0.5）个月，生存时间的差异有统计学意义（P < 0.05）。术后近期疗效及并发症两组之间的比较无明显差异（P > 0.05），但是远期疗效有显著差异（P < 0.05）。结论 与对照组相比，观察组的术后生存时间及胆道开通时间明显延长，对于125I粒子条联合支架治疗恶性梗阻性黄疸值得进一步临床研究。
     

移动边缘计算环境下的动态资源分配策略

在通讯设备爆炸式增长的时代,移动边缘计算作为5G通讯技术的核心技术之一,对其进行合理的资源分配显得尤为重要。移动边缘计算的思想是把云计算中心下沉到基站部署(边缘云),使云计算中心更加靠近用户,以快速解决计算资源分配问题。但是,相对于大型的云计算中心,边缘云的计算资源有限,传统的虚拟机分配方式不足以灵活应对边缘云的计算资源分配问题。为解决此问题,提出一种根据用户综合需求变化的动态计算资源和频谱分配算法(DRFAA),采用"分治"策略,并将资源模拟成"流体"资源进行分配,以寻求较大的吞吐量和较低的传输时延。实验仿真结果显示,动态计算资源和频谱分配算法可以有效地降低用户与边缘云之间的传输时延,也可以提高边缘云的吞吐量。     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。