许畅

作品数：23被引量：49H指数：4
导出分析报告
供职机构：南京大学更多>>
发文主题：上下文普适计算一致性虚拟机单元格更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机教育》《计算机科学与探索》《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
人机物融合泛在应用的系统支撑
《中国科学:信息科学》2025年第3期464-480,共17页曹云帆 赵超懿 刘瀚之 王加益 王慧妍 余萍 曹春 许畅 马晓星 蒋炎岩 
科技部重点研发项目(批准号:2022YFB4501800)资助。
泛在计算为人机物融合应用带来了新的可能性,但也面临着异构资源管理、需求多样性和计算资源受限等问题;同时,人工智能模型的快速发展也为智能应用的开发带来了机遇与挑战.为此,本文提出了元级化软件定义的泛在操作系统设计理念,通过引...
关键词：泛在计算 泛在操作系统 软件工程 
编译课程教材建设
《计算机教育》2024年第11期22-27,共6页张莉 张昱 许畅 蒋竞 冯洋 
教育部基础学科拔尖学生培养计划2.0重点课题(20221023)。
分析编译原理课程国内外教材的建设情况,对于“101计划”编译课程组教材建设规划的3本理论教材《编译原理与技术》《高级编译原理与技术》和《编译方法、技术与实践》的建设思路和内容特点进行较详细的阐释,最后说明教材试点应用情况,...
关键词：编译原理 教材建设 理论教材 101计划 
开源软件库生态治理技术研究综述:二十年进展被引量：1
《软件学报》2024年第2期629-674,共46页王莹 伍盈欣 高天 陈子莺 许畅 于海 张成志 
国家自然科学基金(62141210,61932021,61902056,61802164,61977014);中央高校基本科研业务费(N2217005);南京大学软件新技术国家重点实验室开放基金(KFKT2021B01);111项目(B16009)。
在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主...
关键词：开源软件供应链 开源治理 软件库生态系统 
软件库依赖图谱的复杂性度量方法及其潜在应用
《软件学报》2023年第11期5282-5311,共30页于海 王莹 徐美秋 杨博 许畅 朱志良 
国家自然科学基金(62141210,61932021,61902056,61802164,61977014);沈阳市中青年科技创新人才计划(ZX20200272);中央高校基本科研业务费(N2217005);南京大学软件新技术国家重点实验室开放基金(KFKT2021B01)。
在软件开发过程中,软件库可以减少开发时间和节约成本而被广泛使用,因此现代软件项目包含多种不同来源的代码而使得系统具有更高的复杂性和多样性.软件库在使用的过程中常常伴随着各种风险,如低质量或安全漏洞,从而严重影响软件项目的质...
关键词：经验软件工程 第三方库 软件度量指标 假设验证 
Java指针分析综述被引量：4
《计算机研究与发展》2023年第2期274-293,共20页谭添 马晓星 许畅 马春燕 李樾 
国家自然科学基金项目(61932021,62025202,62002157);航空科学基金项目(20185853038,201907053004)。
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等....
关键词：指针分析 别名分析 JAVA 静态分析 上下文敏感 
基于GUI事件的安卓应用录制重放关键技术综述被引量：2
《软件学报》2022年第5期1612-1634,共23页李聪 蒋炎岩 许畅 
国家自然科学基金重点项目(61932021);江苏省自然科学基金前沿引领技术基础研究专项课题(BK20202001);江苏省软件新技术与产业化协同创新中心资助。
基于GUI事件的安卓应用录制重放技术致力于以自动化的方式捕捉和回放人类和移动应用的交互轨迹,达到降低测试成本、提高测试用例复用率的目的.录制重放技术面临的挑战来源于应用、版本和设备3个维度.试图从人类录制重放的角度,将录制重...
关键词：安卓应用 软件测试 录制重放 GUI测试 
可成长软件理论方法和实现技术:从范型到跨越被引量：4
《中国科学：信息科学》2020年第11期1595-1611,共17页许畅 秦逸 余萍 曹春 吕建 
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61932021,61902173)资助项目。
在云计算和大数据的技术背景下,"人–机–物"三元融合的应用模式正不断加速社会的信息化进程,并对软件系统的自适应和持续演化能力提出了新的需求.本文探索了面临软硬件环境及外部资源不断变迁挑战下的可成长网构软件理论方法和实现技术...
关键词：可成长软件 范型机理 自主适应 持续演化 
环境感知自适应软件的运行时输入验证技术综述被引量：3
《计算机科学》2020年第6期1-7,共7页王慧妍 徐经纬 许畅 
国家自然科学基金重点项目(61932021,61802170)。
随着软件智能化与大数据时代的到来,环境感知自适应软件作为智能软件中的代表趋于流行。环境感知自适应软件有两大特征:1)“环境感知”,即能够通过传感器等设备感知周围环境并采集环境数据;2)“自适应”,即能够基于采集的环境数据自适...
关键词：环境感知自适应软件 运行时质量保障 输入验证 软件可靠性 约束检查 
智能软件工程专栏前言
《计算机科学》2020年第3期I0003-I0004,共2页江贺 郝丹 许畅 彭鑫 
软件作为信息社会的基础设施,深刻地影响着现代人类文明的进程。自1968年软件工程的概念被提出以来,如何高效地开发高质量的软件一直是计算机科学的研究热点。近年来,随着人工智能技术的发展,人工智能与软件工程开始深度融合,由此形成...
关键词：软件工程 人工智能 计算机科学 深度学习 基础设施 深度融合 学科交叉 显著提高 
智能化信息物理系统中非确定性的分类研究被引量：4
《计算机科学》2020年第3期11-18,共8页杨文华 许畅 叶海波 周宇 黄志球 
国家重点研发计划项目(2017YFB1001801);国家自然科学基金(61802179,61932021,61972197);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2018B02);江苏省“青蓝工程”项目~~
信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的...
关键词：信息物理系统 智能化 非确定性 分类 5C架构 非确定性处理 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部