-
许畅
-
-
- 所属机构:南京大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 马晓星
- 作品数：177被引量：613H指数：15
- 供职机构：南京大学
- 研究主题：软件体系结构 体系结构 自适应 软件系统 软件开发
- 吕建
- 作品数：411被引量：1,922H指数：24
- 供职机构：南京大学
- 研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
- 陈小康
- 作品数：6被引量：3H指数：1
- 供职机构：南京大学计算机科学与技术系
- 研究主题：普适计算 上下文 FIXING HYBRID 一致性
- 曹春
- 作品数：128被引量：302H指数：7
- 供职机构：南京大学
- 研究主题：软件体系结构 体系结构 虚拟机 字节码 移动AGENT
- 李其玮
- 作品数：5被引量：0H指数：0
- 供职机构：南京大学
- 研究主题：并发 能耗 传感器数据 传感器 控制代码
- 一种面向一致性规约检测的冗余动态预测与消除方法
- 本发明提供一种面向一致性规约检测的冗余动态预测与消除方法，包括基于不同类型约束计算树节点的语义推导出在多个真值取值条件下，子节点的真值决定父节点的真值，从而子节点的链接参与父节点链接的生成，随后以多个真值取值条件和约束计...
- 王慧妍陈楚阳许畅
- 一种程序中基于动态符号执行的自动错误定位方法
- 本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的程序，通过测试引擎进行测试，...
- 马晓星许畅吕建金昊
- 基于图形处理器的并行化约束检测方法
- 本发明是一种基于图形处理器的并行化地检测约束的方法，步骤：1)以量词为分割点，将一条约束分割成若干处理单元，通过调度这些处理单元，消除检测过程中的递归并最大化并行度；2)根据当前的处理单元和信息集合，产生相应数量的GPU...
- 许畅马晓星吕建眭骏
- 一种基于安卓应用层修改的有效测试框架
- 本发明公开了一种基于安卓应用层修改的有效测试框架，包含设备管理模块、事件生成模块、应用程序状态获取模块和程序插桩模块。所述安卓应用层是指安卓应用在安卓系统运行的系统分层，安卓应用层修改是指修改安卓应用程序的源码，在源码中...
- 蒋炎岩孟占帅马晓星许畅吕建
- 文献传递
- 基于程序源码切片重组的软件动态更新热补丁合成方法
- 本发明公开了一种基于程序源码切片重组的软件动态更新热补丁合成方法，包括：通过静态程序分析新、旧版本程序的源码和/或二进制代码，提取一定量动态更新相关的基本构件和数据流切片；枚举提出得到的基本构件的组合，并根据其数据流关系...
- 蒋炎岩赵泽林许畅马晓星
- 基于视频动态分析的电子表格公式合成与错误检测方法
- 本发明公开了一种基于视频动态分析的电子表格公式合成与错误检测方法，包括：S1：动态获取视频图像，提取其中所包含的幻灯片，对提取的幻灯片进行仿射变换与对比度增强；S2：从幻灯片中识别表格边框线与各单元格信息，以提取幻灯片中...
- 许畅蒋炎岩黄奕诚陈钦霖石丰民
- 一种安卓应用并发漏洞检测系统
- 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞...
- 许畅马晓星吕建李其玮蒋炎岩
- 文献传递
- 面向神经网络视觉系统的图像数据输入检测方法和系统
- 本发明公开一种面向神经网络视觉系统的图像数据输入检测方法和系统，给定神经网络模型和其训练图像数据集，传入训练图像数据集到神经网络模型并收集中间结果，得到神经网络隐含特征；使用高斯混合模型对中间结果进行拟合，获取模型参数，...
- 徐经纬许畅朱思远
- 开源软件库生态治理技术研究综述:二十年进展
- 2024年
- 在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主可控的技术体系,聚焦于开源软件库管理生态,收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文,对开源软件库生态治理技术的研究工作进行梳理.讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作,总结研究现状、问题、挑战与趋势.
- 王莹伍盈欣王莹陈子莺许畅于海许畅
- MultiOffloading:支持多种资源借调的安卓应用平台被引量：1
- 2018年
- 安卓应用数量飞速增长,应用场景不断丰富,但部分安卓应用的运行受到智能手机本身CPU性能不足或传感器功能缺失的限制;同时在使用场景上也面临如何远程控制的问题。将应用内部的部分计算任务转移到远程服务器中计算是一种普遍的解决手机性能不足的方法,但是该方法仍存在服务器连接复杂等方面的问题。提出了Multi Offloading,一个同时支持安卓应用计算任务卸载与转移执行、传感器功能"借用"和触摸控制转移的平台,搭载这个平台的移动设备可以互相发现并建立P2P网络,平台上的移动应用能够"借用"移动设备计算资源、传感器资源和屏幕资源;重新实现和完善已有的计算任务卸载、传感器借用的插桩技术并提出触控转移的插桩实现方案。最后实现了一个示例以说明平台设计的可行性,并选取两个安卓应用插桩展示资源借用的效果。
- 张晨曦武翔宇许畅
