土地财政依赖和土地供给结构对城镇保障性住房供应的影响——基于地级及以上城市的面板数据

该文基于2009年－2017年290个地级及以上城市的面板数据,分析以土地为中心发展模式下中国城市保障性住房土地供应的空间格局特征及其影响因素.实证结果显示：中国地级及以上城市保障性住房土地供应的空间分异特征异于其他社会经济空间格局.土地财政依赖和工业偏向的土地供给结构对地方政府保障性住房的土地供应有负面影响,但土地供给结构对保障住房供应的影响有一定的区域异质性,即在中西部内陆地区,工业偏向的土地供给结构对保障性住房用地供给的抑制作用会更显著.该研究结论为如何有效推动保障性住房供给和差异化的保障性住房政策的制定和实施具有重要政策涵义.     

风险相依的双险种模型下的生存概率

将双险种poisson风险模型推广到一种相依的结构,即某险种的索赔到达间隔分布依赖于前一时刻另一险种的索赔大小. 利用拉普拉斯变换,推导出了其生存概率的表达式.     

Ginzburg-Landau方程对系数的连续依赖性

运用一些微分不等式和积分的技巧,建立了非零边值Ginzburg-Landau方程的解对系数的连续依赖性关系,并在向后时间问题中获得了解对系数Hlder连续依赖性结论。     

基于系统依赖图的过程间指针分析方法

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。     

一种基于脆弱点依赖图的脆弱性评估方法

为弥补目前网络脆弱性评估系统比较简单、评估结果不全面不准确的不足,提出一种基于脆弱点依赖图的网络脆弱性评估方法,并在该评估方法基础上开发出相应的评估系统.该方法吸收了通用弱点评价体系(CVSS)的优势,同时与目标网络的脆弱点依赖图很好地结合起来,可对网络脆弱性做出一个客观评价.在计算过程中,该方法将脆弱性可利用性和脆弱性影响分开计算,并与实际目标网络中的脆弱点依赖图相结合,从而使得计算值更有参考和实用价值.     

基于Bi-LSTM 的多层面隐喻识别方法

以双向长短期记忆网络(Bi-LSTM)为核心,结合多层卷积神经网络以及单向长短期记忆网络构建了多层面隐喻识别模型.基于多特征协同作用的思想,利用依存关系特征、语义特征、词性特征等多特征融合输入方法,丰富了模型的学习信息.为降低信息干扰,利用基于统计学的规范化文本输入方法提升模型识别效果.在英文语料词层面和句层面实验中,各个特征均表现出明显的正向作用.裁剪和填充处理及多特征协调作用在英文语料词层面研究中使F_1值分别提升2.5%和5.1%,在句层面研究中F_1值分别提升3.1%和1.9%.在中文语料句层面实验中,最优效果的F_1值可达88.8%.     

带负相依控制变化尾的双边随机变量和的精致大偏差

得到了带负相依双边控制变化尾分布的随机变量的和的精致大偏差结果,把Tang关于E和Wang等关于NAr．v．s的结果分别推广到D和NDr．v.s．     

基于符号方法的模拟电路可测度分析

现有电路可测度符号分析方法在低可测度电路故障诊断中没有考虑元件故障模糊组的影响。可测度分析时需要计算所有元件参数组合的可测度,但实质上其中部分参数组合的可测度是相同的,不必重复计算。鉴于上述问题,在可测度符号分析方法的基础上,提出根据系数依赖矩阵划分元件故障模糊组,将各个模糊组中的元件参数赋值后计算电路可测度。该方法减少了符号法可测度分析的计算量,适用于模拟电路的自动测试与故障诊断。     

强线性相关与弱线性无关

目的推广线性相关与线性无关的定义与性质。方法借助于对比分析的方法进行研究。结果/结论引入了强线性相关与弱线性无关的定义,给出了它们的性质和判别方法,并得到线性空间的一些结论。     

Dependence analysis for C programs with combinability of dataflow facts under consideration

To avoid the precision loss caused by combining dataflow facts impossible to occur in the same execution path in dependence analysis for C programs, this paper first proposes a flow-sensitive and context-insensitive points-to analysis algorithm and then presents a new dependence analysis approach based on it. The approach makes more sufficient consideration on the executable path problem and can avoid invalid combination between points-to relations and between points-to relations and reaching definitions. The results of which are therefore more precise than those of the ordinary dependence analysis approaches. Biography: QIAN Ju (1981–), male, Ph.D., research direction: program analysis and software testing.