许静

作品数：29被引量：137H指数：7
导出分析报告
供职机构：南开大学更多>>
发文主题：电子设备漏洞检测存储介质向量软件测试更多>>
发文领域：自动化与计算机技术文化科学自然科学总论电子电信更多>>
发文期刊：《高技术通讯》《计算机工程与应用》《电子学报》《计算机教育》更多>>
所获基金：天津市自然科学基金天津市科技攻关项目国家自然科学基金国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新工科背景下的理论+实验类课程授课模式改革探索被引量：12
《计算机教育》2021年第11期27-32,共6页秦岩丁 周璐 许静 
中国高等教育学会2020专项课题(2020CJ07);教育部第二批新工科研究与实践项目(E-RGZN20201010);天津市教改重点项目(A201005501);教育部产学合作协同育人项目(202002110015);南开大学2021年本科教育教学改革项目(NKJG2021013);南开大学2021年实验课程改革项目(21NKSYSX09)。
针对新工科背景下智能科学与技术专业“理论+实验”类课程教学中面临的新挑战,提出“理论与实践并重、线上线下混合、课内与课外融合、虚拟与真实结合”的授课新模式,从分析当前的学情和教学难点出发,介绍“理论+实验”课程体系的构建方...
关键词：新工科 理论+实验类课程 实践教学 线上线下 过程性考核 虚拟仿真 
面向移动应用软件信息泄露的模型检测研究被引量：12
《计算机学报》2016年第11期2324-2343,共20页过辰楷 许静 司冠南 李恩鹏 徐思涵 
国家自然科学基金(61402264);天津市科学技术委员会项目(12JCZDJC20800);国家科技支撑计划(2013BAH01B05)资助~~
移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露,而泄露形式和内容的复杂性增添了该类漏洞的检测难度.现有方法主要利用传统的静态数据流分析及动态监控等技术,易发生漏报和误报,且无法处理隐式信息泄露问题....
关键词：模型检测 移动应用软件 信息泄露 线性时序逻辑 漏洞检测 
基于隐含信息的半监督学习方法研究被引量：1
《通信学报》2015年第10期133-139,共7页刘国栋 许静 张国兵 
研究了基于隐含信息的半监督学习方法,并将该方法应用于支持向量机和随机森林模型。利用UCI数据库中的数据验证了基于此方法的支持向量机和随机森林的精度。在此基础上,将此种方法应用于肺音识别领域,利用实际的肺音数据对此方法处理实...
关键词：半监督学习 肺音 隐含信息 
一种交互感知的并行查询调度策略被引量：1
《吉林大学学报（工学版）》2015年第1期252-260,共9页张青峰 许静 李珊珊 
天津市自然科学基金重点项目(12JCZDJC20800)
为了捕获数据库并行查询之间的交互作用,本文利用实验驱动的方法对查询交互进行性能建模,并基于性能模型提出了一种交互感知的并行查询调度策略,通过减小交互作用带来的消极影响来获得较好的系统性能。与其他调度算法的实验比较结果表明...
关键词：计算机体系结构 查询交互 并行调度 性能模型 
基于SVM方法的神经网络呼吸音识别算法被引量：7
《通信学报》2014年第10期218-222,共5页刘国栋 许静 
提出了一种神经网络的SVM(支持向量机)呼吸音识别算法,将通过小波分析得到的呼吸音特征输入神经网络,作为SVM方法的特征输入,对训练样本进行训练,再对测试样本进行分类识别。对于呼吸音反映的3种状态(正常、轻度病变和重度病变)进行了识...
关键词：支持向量机 呼吸音 小波分析 神经网络 身体局域网 
基于递推链代数与迭代序列敛散性的死循环检测被引量：2
《计算机学报》2013年第11期2245-2256,共12页姬秀娟 杨巨峰 许静 李晓虹 封磊 
南京大学计算机软件新技术国家重点实验室开放课题(KFKT2010B22);天津市自然科学基金重点项目(12JCZDJC20800)资助~~
该文针对两大类循环分别给出了非终止性判定的数学方法.首先,针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法.通过递推链代数将循环变量进行统一表示,根据运算规则推导出循环条件关于迭代次数的闭形式函数,然后...
关键词：死循环检测 静态分析 递推链代数 迭代函数收敛性 软件工程 
一个网构软件可信实体模型及基于评估的信任度量被引量：3
《中国科学：信息科学》2013年第1期108-125,共18页许静 司冠南 杨巨峰 文硕 张彪 
国家自然科学基金(批准号:61170184);天津市自然科学基金重点(批准号:12JCZDJC20800)资助项目
对于运行在开放、动态、难控的互联网环境的网构软件,其可信性保障与管理是一个重要课题.目前的研究多是基于信任网络思想的信任度量及演化模型,这种模型对于网构软件来说,在信任的来源、实体间信任关系的约束、信任传递参数的设置方面...
关键词：网构软件 实体模型 BAYES网络 可信性评估 软件服务 
自相似网络流量模拟系统的集群实现被引量：1
《计算机工程与应用》2012年第25期105-111,共7页周正吉 郭岭 许静 
天津市科技攻关项目(No.043185111-15);天津市自然科学基金(No.06YFJMJC00300)
随着网络技术的发展,人们对网络服务质量提出更高的需求。对网络流量准确的建模,预测未来的网络流量,是保证网络服务质量和可靠性的重要措施。提出了一种基于Windows集群的自相似网络流量模型解决方案。该方案采用分形高斯噪声(FGN)模...
关键词：集群 自相似性 网络流量 
模型驱动的Web应用SQL注入渗透测试被引量：5
《高技术通讯》2012年第11期1161-1168,共8页田伟 许静 杨巨峰 张莹 刘磊 
863计划（2009AA012152）和天津市自然科学基金重点（12JCZDJC20800）资助项目.
针对结构化查询语言（SQL）注入渗透测试用例不充分造成测试漏报的问题，对基于形式化建模生成渗透测试用例问题进行了研究，提出了以下方法：将SQL注入漏洞渗透测试用例生成分为两步：第1步建立渗透测试用例的形式化模型，以用例模型...
关键词：WEB 渗透测试 结构化查询语言(SQL)注入 攻击建模 安全漏洞 用例 
基于分支混淆算法的符号执行技术被引量：3
《计算机科学》2012年第9期115-119,共5页过辰楷 姬秀娟 许静 
南京大学计算机软件新技术国家重点实验室开放课题(KFKT2010B22);天津市科技攻关项目(08ZCKFGX01100)资助
符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及...
关键词：符号执行 软件测试 数组混淆 约束求解 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部