许静 作品数:99 被引量:188 H指数:7 供职机构: 南开大学 更多>> 发文基金: 天津市自然科学基金 天津市科技攻关项目 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 自然科学总论 电子电信 更多>>
基于递推链代数与迭代序列敛散性的死循环检测 被引量:2 2013年 该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后通过约束求解以及单调性判断循环的非终止性.其次,针对一元非线性循环提出了基于迭代序列敛散性的分析方法.根据迭代函数以及不动点判断迭代函数产生的迭代序列的敛散性来判断循环的非终止性.实验部分采用Velroyen[20]的52组循环、文献[18-19,21-23]的23组循环、文献[3]以及自组的13组循环进行分析验证,结果表明该文所提出的方法能有效地判断循环的非终止性:若循环无法终止,可以推导出循环无法终止的变量约束;若循环可终止,则可以估算循环的迭代次数. 姬秀娟 杨巨峰 许静 李晓虹 封磊一种基于强化学习的视频篡改操作检测方法及装置 本申请提供了一种基于强化学习的视频篡改操作检测方法及装置,能够使得时间信息得到充分研究,有利于提高检测结果的准确性。该方法包括:确定待检测视频中一帧图像上的第一篡改区域;基于目标跟踪算法,在所述待检测视频中的其他帧图像中... 金骁 许静 何振 于家伟 吴杰胜 易康文献传递 一种基于交互数据采集的Web应用程序访问操作提取方法 一种基于交互数据采集的Web应用程序访问操作提取方法,该方法首先设计了一种交互数据采集算法,该算法遍历Web应用程序中不同角色下的不同用户的合法操作,捕获和解析用户、Web应用程序端与数据库端之间的交互数据。在此基础上,... 许静 文硕 朱静雯 过辰楷 魏大鹏 康介恢 王扬文献传递 基于TPC-C的XML数据库测试方案 被引量:2 2010年 为实现XML数据库的性能评测,提出基于TPC-C的XML数据库测试方案。针对XML数据库特性,对其数据结构、查询事务语句进行定制,将原有9张表映射成5个XML Schema文件,按照SQL/XML标准重写负载事务。应用该方案对SQL Server 2005数据库进行测试,结果表明显示的各项事务特征均与TPC-C基准相同。 司冠南 许静应用遗传算法自动生成XSS跨站点脚本漏洞检测参数的方法 一种应用遗传算法自动生成XSS跨站点脚本漏洞检测参数的方法,该方法设计了一套检测参数集、编码解码策略和攻击参数数据库,使用了遗传算法的交叉、变异、选择操作,以及设计了其模拟攻击操作,并按照跨站点脚本漏洞的参数规则和遗传算... 许静 练坤梅 田伟 刘磊 张莹一种电力信息系统SQL注入漏洞检测方法及系统 本发明涉及一种电力信息系统SQL注入漏洞检测方法及系统。该检测方法包括:根据SQL语句的逻辑语义特征,获取SQL注入漏洞的测试用例的语义特征;不同的语义特征对应不同的测试动作;根据所述语义特征,基于SQL注入漏洞黑盒渗透... 许静 刘磊 朱静雯 高红灿 过辰楷 崔洁 李洁 张国强 陈亮 林永峰 石伟文献传递 基于轻量化卷积神经网络的声纹识别方法和装置 一种基于轻量化卷积神经网络的声纹识别方法和装置,解决了现有技术中声纹识别技术精度低且网络参数量和计算量过大的问题。声纹识别方法包括:基于声学特征向量,顺次执行多个特征提取子例程,分别得到多个第四声纹特征向量;基于部分第四... 许静 吴彦峰 赵俊安 过辰楷 朱静雯一种基于代码克隆技术的用户评论推荐方法 一种基于代码克隆技术的用户评论推荐方法,该方法结合代码克隆技术和用户评论推荐算法为新开发的软件或缺少用户评论的软件提供合理有效的评论。主要过程有:首先收集大量代码克隆数据,使用AST以及Word2Vec处理数据集中的代码... 过辰楷 黄登蓉 许静 朱静雯 吴彦峰 王伟静 张青峰 樊亚青文献传递 一种交互感知的并行查询调度策略 被引量:1 2015年 为了捕获数据库并行查询之间的交互作用,本文利用实验驱动的方法对查询交互进行性能建模,并基于性能模型提出了一种交互感知的并行查询调度策略,通过减小交互作用带来的消极影响来获得较好的系统性能。与其他调度算法的实验比较结果表明,交互感知的调度策略可以更好地提升数据库性能。 张青峰 许静 李珊珊关键词:计算机体系结构 并行调度 基于相机阵列的多光谱成像方法及系统 本公开涉及光谱成像技术领域,具体地,本公开涉及基于相机阵列的多光谱成像方法及系统。该基于相机阵列的多光谱成像方法包括如下步骤:根据同一时间的多个光谱图像,对其背景、辐射数值和距离分别进行矫正,得到多个矫正光谱图像,其中,... 许静 梁菁 徐晓轩 王斌