陈鑫

作品数：21被引量：169H指数：6
导出分析报告
供职机构：南京大学更多>>
发文主题：自动生成方法制导测试数据弱光源代码更多>>
发文领域：自动化与计算机技术文化科学经济管理医药卫生更多>>
发文期刊：《软件学报》《农村经济》《情报科学》《群众》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划江苏省产学研联合创新资金项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种经验库制导的浮点程序优化加速策略被引量：1
《计算机学报》2022年第9期2014-2028,共15页肖安祥 张硕骁 汤恩义 陈鑫 王林章 
国家自然科学基金(62172210,61772260)资助.
为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高...
关键词：加速策略 程序优化 浮点数值程序 经验库 
“十四五”时期健全现代文化产业体系的逻辑框架与战略路径被引量：77
《管理世界》2021年第3期9-18,共10页顾江 陈鑫 郭新茹 张苏缘 
阐释党的十九届四中全会精神国家社科基金重点项目“健全现代文化产业体系和市场体系研究”(项目号:20AZD065);国家社科基金艺术学重大项目“5G时代文化产业新业态、新模式研究”(批准号:20ZD50)的资助。
健全现代文化产业体系是"十四五"时期我国经济高质量发展的重要内容之一,更是满足人民美好生活需要的内在要求和重要保障。本文基于我国现行文化产业体系运行过程中的结构性矛盾、要素错配、市场治理机制不完善以及全球文化产业价值链...
关键词：现代文化产业体系 文化市场 协同发展 
引导文化消费 激发消费潜力被引量：1
《群众》2021年第4期41-43,共3页顾江 陈鑫 刘柏阳 
文化消费是国民消费升级的重要标志。近年来,随着社会消费升级,在物质生活得到满足之后,人们开始更加注重精神层面的享受。为了顺应文化消费提质转型的新趋势,满足文化产业供给侧结构性改革的新要求,国家有关部门推出了文化消费试点城...
关键词：供给侧结构性改革 消费升级 文化产业 试点城市 激发消费 提质转型 精神层面 南京市 
基于大数据的开源项目 缺陷报告智能预检技术
《大数据》2021年第1期48-63,共16页席圣渠 徐锋 陈鑫 李宣东 
国家重点研发计划基金资助项目(No.2016YFB1000800);国家自然科学基金资助项目(No.61672274,No.61702252);江苏省协同创新中心项目。
缺陷报告预检目标在于确定优先级和修复措施,是保障软件可信的关键环节。然而,在日益普及的开源项目中,由于缺陷数量众多、缺乏组织管理等特性,人工预检难以及时完成,迫切需要基于大数据的自动化、智能化预检技术。结合工业界、学术界...
关键词：缺陷报告预检 缺陷优先级 缺陷分派 缺陷再分派 
一种手绘制导的移动应用界面测试方法被引量：1
《软件学报》2020年第12期3671-3684,共14页成浩亮 汤恩义 玉淳舟 张初成 陈鑫 王林章 卜磊 李宣东 
国家重点研发计划(2017YFB1001801);国家自然科学基金(61772260,61402222,61632015,61690204)。
软件测试在提高移动应用的安全性和可靠性方面扮演着重要角色.然而,目前主流的移动应用界面测试技术存在着许多不足:人工编写脚本和录制回放技术需要消耗大量的人力成本,自动化测试在移动应用界面测试的应用场景上受到了诸多限制.针对...
关键词：手绘制导测试生成 模型驱动的自动化测试 移动应用 图形界面测试 
互联网发展能否有效缩小城乡居民文化消费差距?被引量：25
《农村经济》2020年第12期87-93,共7页陈鑫 王文姬 张苏缘 
2019年度紫金文创课题重点项目“深化供给侧结构性改革,扩大和引导城乡文化消费研究”(编号:ZJGJJXF19);2020年江苏省研究生科研创新项目“5G新技术驱动下的文化消费新变革研究”(编号:KYCX20-0004)的阶段性研究成果。
伴随着互联网的发展,“互联网+消费”成为当前消费发展的新动力。本文利用中国31个省市2002~2016年的面板数据,研究互联网发展对城乡居民文化消费差距的作用效果及影响机理。研究发现:互联网的普及显著缩小了城乡居民文化消费差距,即互...
关键词：互联网 文化消费 城乡差距 
自然语言数据驱动的智能化软件安全评估方法被引量：3
《软件学报》2018年第8期2336-2349,共14页张一帆 汤恩义 苏琰梓 杨开懋 匡宏宇 陈鑫 
国家重点研发计划(2016YFB1000802);国家自然科学基金(61772260;61402222)~~
软件安全性是衡量软件是否能够抵御恶意攻击的重要性质.在当前互联网环境下,黑客攻击无处不在,因而估计软件中可能含有的漏洞数量与类型,即对软件进行安全评估,变得十分必要.在实际中,用户不仅需要对未发布或者最新发布的软件实施安全...
关键词：软件安全评估 自然语言处理 机器学习 网络爬虫 
养心氏辅助治疗肺源性心脏病的疗效及对超敏C反应蛋白及白介素-8水平的影响被引量：6
《中西医结合心脑血管病杂志》2018年第10期1405-1407,共3页陈鑫 李虎 
目的观察养心氏辅助治疗肺源性心脏病的临床疗效,并观察其对病人血清超敏C反应蛋白(hsCRP)及白介素-8(IL-8)水平的影响。方法选取2015年1月—2015年12月我院收治的肺源性心脏病病人50例,随机分为治疗组和对照组,各25例。两组病人均给予...
关键词：肺源性心脏病 养心氏片 超敏C反应蛋白 白介素-8 第1秒用力呼气末容积 心肺功能 
数值稳定性相关漏洞隐患的自动化检测方法被引量：5
《软件学报》2018年第5期1230-1243,共14页沈维军 汤恩义 陈振宇 陈鑫 李彬 翟娟 
国家自然科学基金(61772260;61402222;61373013);国家重点基础研究发展计划(973)(2014CB340700);江苏省产学研前瞻项目(BY2015069-03)~~
安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑...
关键词：漏洞检测 数值稳定性 程序分析 软件安全 
一种符号执行制导的循环内界分析方法被引量：2
《电子学报》2017年第11期2582-2592,共11页赵祖威 冯世宁 汤恩义 陈鑫 李宣东 潘敏学 赵晨 
国家自然科学基金(No.61402222;No.61632015);国家重点研发计划(No.2016YFB1000802);教育部高等学校博士学科点专项科研基金(No.20110091120058);江苏省产学研项目(No.BY2014126-03)
循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略...
关键词：循环边界分析 符号执行 软件测试 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部