许畅
- 作品数：75 被引量：39H指数：3
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于程序源码切片重组的软件动态更新热补丁合成方法
- 本发明公开了一种基于程序源码切片重组的软件动态更新热补丁合成方法，包括：通过静态程序分析新、旧版本程序的源码和/或二进制代码，提取一定量动态更新相关的基本构件和数据流切片；枚举提出得到的基本构件的组合，并根据其数据流关系...
- 蒋炎岩赵泽林许畅马晓星
- 基于视频动态分析的电子表格公式合成与错误检测方法
- 本发明公开了一种基于视频动态分析的电子表格公式合成与错误检测方法，包括：S1：动态获取视频图像，提取其中所包含的幻灯片，对提取的幻灯片进行仿射变换与对比度增强；S2：从幻灯片中识别表格边框线与各单元格信息，以提取幻灯片中...
- 许畅蒋炎岩黄奕诚陈钦霖石丰民
- 一种安卓应用并发漏洞检测系统
- 本发明公开了一种安卓应用并发漏洞检测系统，包含并发漏洞分析模块、应用插装模块和应用执行模块；所述并发漏洞分析模块用于分析应用中的潜在并发漏洞，并传递给应用插装模块；应用插装模块根据并发漏洞分析模块的检测结果，在疑似数据竞...
- 许畅马晓星吕建李其玮蒋炎岩
- 文献传递
- 面向神经网络视觉系统的图像数据输入检测方法和系统
- 本发明公开一种面向神经网络视觉系统的图像数据输入检测方法和系统，给定神经网络模型和其训练图像数据集，传入训练图像数据集到神经网络模型并收集中间结果，得到神经网络隐含特征；使用高斯混合模型对中间结果进行拟合，获取模型参数，...
- 徐经纬许畅朱思远
- MultiOffloading:支持多种资源借调的安卓应用平台被引量：1
- 2018年
- 安卓应用数量飞速增长,应用场景不断丰富,但部分安卓应用的运行受到智能手机本身CPU性能不足或传感器功能缺失的限制;同时在使用场景上也面临如何远程控制的问题。将应用内部的部分计算任务转移到远程服务器中计算是一种普遍的解决手机性能不足的方法,但是该方法仍存在服务器连接复杂等方面的问题。提出了Multi Offloading,一个同时支持安卓应用计算任务卸载与转移执行、传感器功能"借用"和触摸控制转移的平台,搭载这个平台的移动设备可以互相发现并建立P2P网络,平台上的移动应用能够"借用"移动设备计算资源、传感器资源和屏幕资源;重新实现和完善已有的计算任务卸载、传感器借用的插桩技术并提出触控转移的插桩实现方案。最后实现了一个示例以说明平台设计的可行性,并选取两个安卓应用插桩展示资源借用的效果。
- 张晨曦武翔宇许畅
- 一种基于环境上下文一致性的统一处理系统、方法
- 本发明公开了一种基于环境上下文一致性的统一处理系统，包括：用户界面展示模块，用于输入应用场景依赖和选择系统配置，展示一致性检测的结果；应用场景依赖解析模块，用于得到环境上下文数据、一致性约束和约束相关的上下文集合模式；配...
- 许畅陈锦赐王慧妍
- 环境感知自适应软件的运行时输入验证技术综述被引量：3
- 2020年
- 随着软件智能化与大数据时代的到来,环境感知自适应软件作为智能软件中的代表趋于流行。环境感知自适应软件有两大特征:1)“环境感知”,即能够通过传感器等设备感知周围环境并采集环境数据;2)“自适应”,即能够基于采集的环境数据自适应地进行软件决策。这类软件的主要表现特征为在运行时刻能够动态感知周边环境的变化并进行交互,从而做出决策。此外,随着大数据时代的到来,越来越多的人工智能模型被使用并被期望能够帮助环境感知自适应软件更好地实现自适应机制,使其能够更加智能地通过与环境的感知交互来做决策。一方面,由于运行时环境复杂,该类软件的运行时环境情况往往难以估计和预料,使得其在实际部署后运行在复杂环境中的可靠性很难通过事先测试得到有效保障,这也成为了这类软件在运行时得到有效质量保障所面临的一大挑战。而另一方面,此类软件对人工智能模型的应用与人工智能模型基于统计的核心特征,使得其在运行时刻选择应用人工智能模型来进行辅助决策也存在一定的局限性,这更加剧了保障此类软件在运行时刻质量的难度。因此,如何能够在此类软件的实际部署运行时更好地保障其运行质量与可靠性成为了当今智能软件工程的一个广泛研究的问题。与此同时,输入验证被认为是保障运行时刻软件质量的一大常用手段,它通过对软件输入进行有效识别,来避免不合适的输入在运行时刻被输入软件而影响软件行为。基于此,文中对环境感知自适应软件的运行时输入验证技术进行总结与综述,基于此类软件的两大特征,从“环境感知”方面的环境数据感知模块的输入验证及“自适应”方面决策模块的输入验证两个方面,分别对已有技术进行调研与综述。同时,文中还探讨了对环境感知自适应软件的运行时输入验证
- 王慧妍徐经纬许畅
- 提高安卓应用测试覆盖率的测试用例分解组合方法和系统
- 本发明公开了一种提高安卓应用测试覆盖率的测试用例分解组合方法，包含如下步骤：一、给定被测安卓应用，使用自动生成或人工提供的方式为被测应用生成初始测试用例，发送这些初始测试用例到被测应用，记录其执行轨迹，根据执行轨迹建立被...
- 蒋炎岩王珏许畅曹春马晓星
- 文献传递
- 一种基于层次化模型的文件系统测试方法
- 本发明公开了一种基于层次化模型的文件系统测试方法，包括以下步骤：对文件系统进行层次化建模，在每一层模型上设计抽象文件系统调用原语；利用获取的层次化模型，生成文件系统调用序列，作为文件系统的测试输入；将调用序列具体化，将其...
- 蒋炎岩陈冬杰许畅马晓星
- 文献传递
- Hybrid-fixing:上下文一致性错误的正确修复
- 在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文很容易发生一致性错误,从而导致应用表现异常甚至失...
- 陈小康许畅江磊
- 关键词：软件工程普适计算环境信息
- 文献传递
