窦文生
- 作品数：37 被引量：111H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 元数据导向的逻辑缺陷自动化检测方法及装置
- 本发明公开了一种元数据导向的逻辑缺陷自动化检测方法及装置，涉及软件技术领域。本发明针对目标数据库系统，基于数据定义语言语句和数据操纵语言语句构造初始数据库；根据初始数据库构造原始数据库，该原始数据库与初始数据库具有相同表...
- 窦文生宋建森高钰崔紫玉黄涛王伟魏峻
- 面向云原生集群智能运维的自适应控制方法及装置
- 本发明公开一种面向云原生集群智能运维的自适应控制方法及装置，涉及云原生应用技术领域。本发明通过YAML格式文件描述K8s集群的运维需求，并通过对YAML格式文件进行解析获取运维需求；根据规则触发条件和集群支持的运维操作生...
- 魏峻吴国全许清鑫陈伟朱家鑫窦文生王伟
- 谛听:面向鲁棒分布外样本检测的半监督对抗训练方法
- 2024年
- 检测训练集分布之外的分布外(out-of-distribution,OOD)样本对于深度神经网络(deep neural network,DNN)分类器在开放环境的部署至关重要.检测OOD样本可以视为一种二分类问题,即把输入样本分类为“分布内(in-distribution,ID)”类或“分布外”类.进一步地,检测器自身还可能遭受到恶意的对抗攻击而被再次绕过.这些带有恶意扰动的OOD样本称为对抗OOD样本.构建鲁棒的OOD检测器以检测对抗OOD样本是一项更具挑战性的任务.为习得可分离且对恶意扰动鲁棒的表示,现有方法往往利用辅助的干净OOD样本邻域内的对抗OOD样本来训练DNN.然而,由于辅助的OOD训练集与原ID训练集的分布差异,训练对抗OOD样本无法足够有效地使分布内决策边界对对抗扰动真正鲁棒.从ID样本的邻域内生成的对抗ID样本拥有与原ID样本近乎一样的语义信息,是一种离分布内区域更近的OOD样本,对提升分布内边界对对抗扰动的鲁棒性很有效.基于此,提出一种半监督的对抗训练方法——谛听,来构建鲁棒的OOD检测器,用以同时检测干净OOD样本和对抗OOD样本.谛听将对抗ID样本视为一种辅助的“近OOD”样本,并将其与其他辅助的干净OOD样本和对抗OOD样本联合训练DNN,以提升OOD检测的鲁棒性.实验结果表明,谛听在检测由强攻击生成的对抗OOD样本上具有显著的优势,同时在原分类主任务及检测干净OOD样本上保持先进的性能.
- 周志阳窦文生李硕亢良伊王帅王帅叶丹
- 一种事件驱动的高并发流程虚拟机实现方法
- 本发明公开了一种事件驱动的高并发流程虚拟机实现方法，属于软件技术领域。本方法为：1)建立一基于事件驱动的流程运行时模型，用于描述目标流程语言的执行语义；2)流程解析器将目标流程语言描述的流程运行时模型转化为事件驱动的执行...
- 窦文生吴东尧吴国全魏峻钟华黄涛
- 文献传递
- 一种可追溯可验证的软件工程数据归档方法
- 本发明提供一种可追溯可验证的软件工程数据归档方法，涉及软件工程数据领域，基于数据单元和数据卷组织软件工程数据，保存数据单元间的衍生关系及衍生环境构建脚本和数据衍生脚本，提供自动化的数据再衍生和一致性验证机制。本发明实现了...
- 朱家鑫陈伟吴国全窦文生魏峻叶丹
- 文献传递
- 一种面向大数据处理框架的高效半自动垃圾回收方法和系统
- 本发明涉及一种面向大数据处理框架的高效半自动垃圾回收方法和系统，通过区分大数据框架中的普通对象与数据对象，本发明消除了垃圾收集过程中数据对象不必要的标记和复制开销。本发明包括：数据对象分析器为大数据框架开发者提供两个注解...
- 黄涛钟华魏峻许利杰窦文生王伟李慧唐震汪钇丞梁堉
- 一种基于Git的代码行生命周期追溯方法及电子装置
- 本发明公开了一种基于Git的代码行生命周期追溯方法及电子装置，其提取Git仓库中的每一个commit的信息；根据commit的ID及相应父commit的ID，建立commit组成的有向无环图，按广度优先顺序遍历该有向无环...
- 朱家鑫陈伟吴国全窦文生魏峻
- 文献传递
- 面向关系型数据库中SQL语句执行的自动化测试方法及装置
- 本发明公开了一种面向关系型数据库中SQL语句执行的自动化测试方法及装置，涉及软件技术领域。所述方法包括：针对目标关系型数据库，基于创建数据表以及填充数据的SQL语句构建至少一个数据表，以得到目标数据库；生成目标数据表；生...
- 王伟宋建森窦文生崔紫玉魏峻黄涛刘杰
- 一种面向GitHub大规模开源代码的快速代码文件溯源方法和装置
- 本发明提供一种面向GitHub大规模开源代码的快速代码文件溯源方法和装置。该方法包括：读取需要溯源的文件，构造符合GitHub代码搜索API标准的初始查询；执行查询并获取GitHub返回的查询结果；提取查询结果中的文件路...
- 朱家鑫叶丹陈伟吴全国窦文生魏峻
- 一种软件生产线构造方法及系统
- 本发明公开了一种软件生产线构造方法及系统，属于计算机软件领域。本方法为：1)客户端创建软件生产线模型文件并将其保存到服务器端；2)客户端装配模块从服务器端下载并解析该软件生产线模型文件，获得该软件生产线中的角色信息；3)...
- 魏峻钟华黄涛王伟高楚舒窦文生白琳张若定陈伟
