谢淼
- 作品数：9 被引量：3H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种支持模糊约束关系的图模式匹配方法
- 本发明提供一种支持模糊约束关系的图模式匹配方法，涉及图信息查询技术领域，用于解决现有技术无法在满足所有精确约束的基础上，支持对模糊约束关系的匹配的问题。所述方法包括：通过输入层，获取用户输入的查询图Q和存储的目标数据图G...
- 谢淼王青杨秋松
- 文献传递
- 一种支持模糊约束关系的图模式匹配方法
- 本发明提供一种支持模糊约束关系的图模式匹配方法，涉及图信息查询技术领域，用于解决现有技术无法在满足所有精确约束的基础上，支持对模糊约束关系的匹配的问题。所述方法包括：通过输入层，获取用户输入的查询图Q和存储的目标数据图G...
- 谢淼王青杨秋松
- 一种基于随机模型预测信息最大化传播范围的方法
- 本发明属于社会网络建模与分析领域，具体涉及一种探索了社交网络动态特性的基于随机模型预测社交网络信息最大化传播范围的方法。该方法构造了一组可描述网络信息传播动态性的函数，通过社交网络信息传播的历史数据，建立动态信息传播模型...
- 谢淼王青杨秋松
- 文献传递
- 众测中的工作者选择方法研究被引量：3
- 2018年
- 众测是一种新兴的软件测试方法,它依靠网络上的工作者帮助完成测试任务.对于某个测试任务来说,谁来执行对于发现缺陷以及覆盖测试需求关键点是至关重要的.然而众测平台上一般有大量的候选工作者,他们拥有不同的测试经验,也常常提交重复的测试报告.由于众测工作者随机地参与测试任务,同时满足较高缺陷检测率和较高测试需求关键点覆盖度是很困难的.因此,该文关注如何为新的测试任务选择一组合适的众测工作者,从而提高缺陷检测率和需求关键点覆盖度.首先设计了3个实验,试图发现选择什么样的众测工作者能够提升缺陷检测率和需求关键点覆盖度.通过实验验证,发现众测工作者的主动性、相关性和多样性从不同的角度影响测试质量,并且给出了它们的度量方法.然后,提出一种同时考虑这3个方面工作的选择方法.基于众测平台之一——百度众测上46个真实的测试任务对该方法进行了验证,结果显示,该方法能够显著提高缺陷检测率和测试需求关键点覆盖度.
- 崔强王俊杰谢淼谢淼
- 一种高性能单机多核并行模型检测方法
- 本发明公开了一种高性能单机多核并行模型检测方法。本方法为：1)创建待检测系统模型与待测属性的组合状态空间中的初始节点；2)状态空间生成器将该初始节点映射成Ligra计算图中的一个顶点，然后逐步生成该初始节点的后继节点，初...
- 张营飞谢淼张珩杨秋松
- 文献传递
- 一种基于随机模型预测信息最大化传播范围的方法
- 本发明属于社会网络建模与分析领域，具体涉及一种探索了社交网络动态特性的基于随机模型预测社交网络信息最大化传播范围的方法。该方法构造了一组可描述网络信息传播动态性的函数，通过社交网络信息传播的历史数据，建立动态信息传播模型...
- 谢淼王青杨秋松
- 以状态子集为中心的并行模型检测算法
- 2016年
- 以线性时序逻辑LTL(Linear Temporal Logic)模型检测算法为研究对象,提出以状态子集为中心的并行模型检测算法.针对传统单机多核算法同步开销大的缺点,新算法充分利用状态子集的稠密特性动态调度任务,从而降低同步开销,提高算法并行度.本文基于轻量级单机图计算框架Ligra,结合检测过程中状态子集的特性,设计并实现新的在线(on-the-fly)模型检测算法.与现有算法相比,在模型检测的效率上可以提升20-30%,具有高扩展性特征.
- 张营飞谢淼张珩杨秋松
- 一种高性能单机多核并行模型检测方法
- 本发明公开了一种高性能单机多核并行模型检测方法。本方法为：1)创建待检测系统模型与待测属性的组合状态空间中的初始节点；2)状态空间生成器将该初始节点映射成Ligra计算图中的一个顶点，然后逐步生成该初始节点的后继节点，初...
- 张营飞谢淼张珩杨秋松
- 文献传递
- 带时间和资源约束的实例化过程模型验证方法
- 2014年
- 软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败.已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性.提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO/ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO/ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导.
- 李伟亨谢淼翟健杨秋松
- 关键词：形式化方法
