模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

安徽省乡村生产-生活-生态时空耦合研究

在构建乡村生产-生活-生态复合系统耦合协调评价指标体系的基础上,运用熵值法和耦合协调测度模型,测算安徽省16个地级市2010—2019年乡村"三生"复合系统的耦合协调度,并对其时空特征与演化状态进行比较和分析.结果表明:安徽省16个地级市的乡村生产-生活-生态系统综合发展水平整体上均呈波动上升趋势;乡村"三生"复合系统...     

在低码率信道中提高视频编码质量的方法

电视手机是未来几年数字视频应用的一个热点.该文探讨适合于中低码率无线信道应用的一种方法：在实时编码的初期,通过量化QP(quantization parameter)值的调整,来满足信道带宽的要求;当信道变差时,在编码端采取动态丢帧策略,通过场景切换检测,将相关性强的帧丢失,在解码端通过双线性时序插补方法,恢复丢失的帧.这样可在保证编码质量的前提下,满足无线信道带宽时变的要求.同时讨论将这种方法应用到AVS和H.264视频编码算法中,实验证明这种方法可以有效应用到未来的电视手机中.     

基于生成对抗网络的细胞形变动态分类

提出了一种基于生成对抗网络的细胞形变动态分类方法,以活细胞视频中的细胞形变动态为对象,引入分类器辅助的生成对抗网络结构同步训练生成对抗网络和分类网络,通过生成对抗网络产生的数据提高了原本分类网络分辨细胞形变动态的性能.首先,细胞动态图像被用于将活细胞视频中的时间维度进行压缩,使其从视频域映射到图像域以方便生成对抗网络的构建.其次,基于分类器辅助的生成对抗网络结构,将分类网络的分类信息作为辅助信息来改善生成对抗网络对多类样本的生成,同时生成网络生成的多类样本可以反过来优化分类网络对于细胞动态形变的分类性能.在构建的活细胞视频数据库上,可以验证提出方法能有效地捕获细胞视频中的空时细胞形变动态,并且其分类的性能优于其它主流方法.     

铜陵市酸雨时空分布特征及其成因分析

文章利用铜陵市2006-2010年的酸雨观测数据、降水化学分析资料和常规空气质量及气象资料,结合多种统计分析方法,系统地研究了铜陵市酸雨的分布特征、化学组成特征,并对其成因进行了初步探讨。结果表明:铜陵市的酸雨污染日趋严重,降水酸度在秋、冬季略高,郊区酸雨较城区严重;铜陵市的酸雨污染属于硫酸型,SO42-和NO3-是主要的阴离子,Ca2+和NH4+是主要的阳离子,各种离子浓度具有明显的局地差异,郊区低于城区,Ca2+和NH4+对降水酸度影响较为显著;铜陵市酸雨污染受区域性酸雨污染和本地污染源共同影响。     

安徽城市人居环境质量时空演变特征

以安徽省17个地市为例,截取2001、2004、2007和2010年四个年份,构建人居环境质量评价指标体系,利用熵值法计算出得分,并对各地市人居环境质量进行排序和评价,研究安徽人居环境质量时间演变和空间演变.通过分析17个地市空间插值效果图,揭示安徽省人居环境质量的空间分异和空间扩展的演变规律.研究发现:省会合肥的人居环境质量优于省内其他城市,沿江城市人居环境质量较高;经济社会因素是决定人居环境质量高低的关键因素,但居住环境、基础设施和公共服务、生态环境的作用日益增强;人居环境质量空间分布上总体呈现"皖南强于皖北,皖东强于皖西",空间扩展呈现不稳定的发展态势.     

HBase中时态查询语言

ＨＢａｓｅ是在ＤＯＳ／Ｗｉｎｄｏｗｓ下实现的时态数据库管理系统，其结构采用的传统关系数据库的时态扩展。讨论了它的语言风范、ＤＤＬ和ＤＭＬ语言的时态名法以及ＨＢａｓｅ实现中的特殊技术。     

高海拔地区蚕豆/马铃薯根系时空分布特征及根系活性研究

通过土柱栽培实验,对蚕豆/马铃薯间作复合群体根系的时空分布特征和根系活性进行深入研究.结果表明,间作蚕豆的根系总干质量在苗期、盛花期、结荚期、成熟期与对照相比增减了-4.17%,13.40%,15.43%,-6.53%,间作马铃薯的根系总干质量增减分别为-30.98%,38.10%,4.24%,-12.56%.可见,在2作物生长最旺盛时期,间作具有提高根系总质量的作用.同时,间作扩展了蚕豆根系垂直方向的生态位,较深根系分布有利于蚕豆后期的竞争恢复生长.0²0cm土层,2作物生长前期,间作蚕豆与间作马铃薯的根比例较其单作降低了1.01%,6.17%,根系发生了下移现象;生长中期,间作马铃薯的根系较单作上升了10.77%,表现为根质量密度的上移,间作蚕豆的根比例较单作下降了3.08%.020cm土层,2作物生长前期,间作蚕豆与间作马铃薯的根比例较其单作降低了1.01%,6.17%,根系发生了下移现象;生长中期,间作马铃薯的根系较单作上升了10.77%,表现为根质量密度的上移,间作蚕豆的根比例较单作下降了3.08%.0⁴0cm土层,间作群体的根系比例在苗期、盛花期、成熟期与040cm土层,间作群体的根系比例在苗期、盛花期、成熟期与0²0cm土层的根系比例变化不明显,但结荚期间作马铃薯根比例比单作上升了9.27%.间作蚕豆在苗期、盛花期的根系含水率高于相应对照,而结荚期和成熟期却低于相应对照;间作马铃薯在盛花期、结荚期的根系含水率高于相应对照,而苗期、成熟期的根系含水率低于相应单作.蚕豆/马铃薯间作群体020cm土层的根系比例变化不明显,但结荚期间作马铃薯根比例比单作上升了9.27%.间作蚕豆在苗期、盛花期的根系含水率高于相应对照,而结荚期和成熟期却低于相应对照;间作马铃薯在盛花期、结荚期的根系含水率高于相应对照,而苗期、成熟期的根系含水率低于相应单作.蚕豆/马铃薯间作群体0⁸0cm深层,根系含水率高于相应单作,具有更高的贮水能力,有利于提高土壤水的利用效率.随着生育进程的推进,根系高活性位点呈下移趋势.根系还原总质量和还原总质量密度呈上高下低的"T"型分布,可将其分为3种类型:080cm深层,根系含水率高于相应单作,具有更高的贮水能力,有利于提高土壤水的利用效率.随着生育进程的推进,根系高活性位点呈下移趋势.根系还原总质量和还原总质量密度呈上高下低的"T"型分布,可将其分为3种类型:0²0cm为高量高密度型,2020cm为高量高密度型,20⁴0,4040,40⁶0cm为中量中密度型,6060cm为中量中密度型,60⁸0cm为低量低密度型.     

大陆地区台湾游客流时空演变及其影响因素研究

台湾是我国重要的入境游客源市场,笔者主要以2000—2010年大陆各省市接待台湾游客人数为研究数据,分析了大陆地区台湾游客流时空演变及其影响机制．结果发现：大陆地区接待台湾游客数量呈现增长的持续性、波动性;空间分布极不均衡,主要集中于东南沿海地区,但逐渐向内陆地区扩散;其空间分布与总体入境游客流的空间分布存在一定差异;最后,对大陆地区台湾游客流时空演变的影响因素进行探讨,并提出构建完善的台湾来大陆旅游流网络体系、加快台胞赴大陆旅游的建议．     

基于属性标识位的面向对象时空数据模型

在时空数据模型发展的基础上，提出了一种新的基于属性标识位的面向对象时空数据模型．将时空数据库分为一般基本属性库、有效时空属性库和历史时空属性库三部分存储，利用属性标识符标识数据对象在各部分库中的存在与否，进而对操纵语言进行基于新的数据模型的扩展。