汉语中介语的依存句法标注规范及标注实践

汉语中介语是伴随着汉语国际教育产生的,随着汉语学习在全球的不断开展,汉语中介语的规模不断增长,由于这些语料在语言使用上有其独特性,使得中介语成为语言信息处理和智能语言辅助学习的独特资源。依存语法分析是语言信息处理的重要步骤,英语中介语的依存语法标注语料已经有很好的应用,目前汉语中介语语料库对句法的关注度较低,缺乏一个充分考虑汉语中介语特点的依存句法标注规范。该文着眼于汉语中介语的依存句法标注语料库的建构,探讨依存标注规范,在充分借鉴国际通用依存标注体系(Universal Dependencies)的基础上,制定了汉语中介语的依存标注规范,并进行了标注实践,形成了一个包括汉语教学语法点的中介语依存语料库。     

Ethereum smart contract security research: survey and future research opportunities

Blockchain has recently emerged as a research trend, with potential applications in a broad range of industries and context. One particular successful Blockchain technology is smart contract, which is widely used in commercial settings (e.g., high value financial transactions). This, however, has security implications due to the potential to financially benefit froma security incident (e.g., identification and exploitation of a vulnerability in the smart contract or its implementation). Among, Ethereum is the most active and arresting. Hence, in this paper, we systematically review existing research efforts on Ethereum smart contract security, published between 2015 and 2019. Specifically, we focus on how smart contracts can be maliciously exploited and targeted, such as security issues of contract program model, vulnerabilities in the program and safety consideration introduced by program execution environment. We also identify potential research opportunities and future research agenda.     

青山嘴水库移民城市楼房安置后续发展趋势研究

云南青山嘴水库工程因地制宜,在国内首次提出将移民安置于城市楼房并享受20 a生活补助的安置方式,但20 a生活补助期满后移民的后续发展是否还能适应城市的社会经济发展尚不可知。以托达罗理论为基础,建立了移民在城市楼房安置后可持续发展的理想模型,并用时间序列法在现有数据的基础上对移民未来的经济能力进行预测,探寻基于现有政策的移民后续经济能力发展的趋势;结合我国十九大提出两步走战略安排,计算出预测结果与发展目标间的差距,并以此作为后续发展过程中移民所需帮扶的依据,提出帮助移民经济能力达到发展目标的具体措施。     

长江经济带农业水资源利用效率时空差异分析

长江经济带水资源总量充沛,但人均水资源量以及单位面积耕地占有量处于较低水平;农业用水量超过供水总量的50%,而农业水资源利用效率低。研究长江经济带农业水资源利用效率对保护长江具有重要的现实意义。基于Malmquist-Panel Data两阶段模型,对长江经济带农业水资源利用效率的时空差异特征及其影响因素进行了分析研究。分析结果表明:经济发展水平、第一产业固定资产投资额、水资源禀赋、节水农业发展水平、"长江经济带"国家战略的实施、区域变量以及部分时间变量等对农业水资源利用效率具有显著的正向影响,而种植结构即粮食播种面积占比则有着显著的负向影响;长江经济带农业水资源利用效率时空差异特征明显。因此,对于长江经济带,应因地制宜、合理规划农作物种植结构;同时,加强地区间的技术交流与合作,实现长江经济带整体发展与各区域特色发展协同共进。     

江淮丘陵区塘坝灌溉能力估算及其演变特征

鉴于塘坝工程在江淮丘陵区蓄水灌溉中的重要作用,通过对塘坝工程与作物种植结构发展历程的综合分析,提出了基于水量供需平衡分析的塘坝灌区灌溉能力概念及其计算模型,定量评估了江淮丘陵区不同年代的塘坝灌溉能力,揭示了塘坝灌溉能力的动态演变特征。研究结果表明:江淮丘陵区全区塘坝灌溉能力在20世纪60年代达到峰值后,70～90年代呈显著下降趋势,至21世纪初有所回升。研究结果可为江淮丘陵区塘坝发展规划与灌溉制度的制定提供理论依据与技术支撑,具有重要实际指导意义。     

面向水流系统功能的多维度水资源承载力评价指标体系

在简述水资源承载力研究进展的基础上,基于系统结构与功能的相互关系和水资源系统的演变特征,从水资源系统自然演化、生态服务和社会服务三大功能推演出水资源系统的水量、水质、水生栖息环境和连通性四维结构,并以此对水资源承载力进行表征。基于对水资源承载主体、客体及承载过程的分析,以水资源承载支撑力、压力和调控力描述承载过程,建立了基于承载过程的"水量-水质-水生栖息环境-连通性"四维指标体系,该指标体系可用于不同流域或区域多维水资源承载力评价。     

基于GR-SPA的膜下滴灌模式评价

针对膜下滴灌模式的优选问题,从集对分析(SPA)出发,由灰色关联(GR)分析计算待评模式与最优模式、中间模式和最劣模式之间的关联度,来构建膜下滴灌模式评价的联系度表达式,实现对多种灌溉模式的评价。将此方法应用于新疆的大田试验中,对9种灌溉模式进行评价,最终确定灌溉模式4为最优模式,即苗期灌溉时间比对照模式推迟2d,蕾期按对照模式及时进行复水,花铃前期和花铃后期适当控水。结果表明:基于GR-SPA评价法的最优灌溉模式与投影寻踪分类法和突变理论法的评价结果一致,也与大田试验推荐的灌溉模式相符,说明此方法能客观、真实地反映膜下滴灌模式的评价问题,评价结果可靠。     

符号几何规划问题的求解新方法

对符号几何规划问题,给出一种求其全局最优解的分支定界算法。利用不同的凸化方法将算法中关键的定下界操作转化为易于求解的凸规划问题。最后给出算法的收敛性证明和数值实验结果。     

当前网络政治参与中存在的问题与对策

针对我国当前网络政治参与中存在着非法参与行为多、政务信息不公开致使公众政治参与缺乏信息基础、政府对公众网络政治参与的行为与观点缺乏回应等问题,本文提出了采取完善政治参与和网络政治参与的法治化机制,建立健全网络参政相关法规,保障公民网络参政议政权益,规范和打击非法政治参与行为;修改政府信息公开的法律法规,加大政府信息公开力度与规范网络监督机制;建立政府对公民网络政治参与的回应制度,以解决公民网络政治参与的相关问题,推动法治文明.     

反射衰减诊断激光光束的应用分析

介绍了普通光学元件反射诊断激光光束的应用,提出了利用平面平晶的平面反射进行光能衰减,详细论述了采用该方法进行光能衰减的可行性,分析了平面平晶反射衰减中反射光S偏振态和P偏振态能量的差异,对激光束诊断的影响和解决方法,结合半导体绿激光器的光束诊断进行了应用分析。实验证明,该方法结构简单、调整方便、误差小,利用普通平面平晶反射衰减即可满足激光强度的匹配要求,实现了待测激光束无失真取样,达到很好的测试效果。