刘万伟
- 作品数:78 被引量:131H指数:8
- 供职机构:国防科学技术大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学石油与天然气工程天文地球更多>>
- 基于LTL Tableau的自动机构造被引量:1
- 2007年
- 基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。
- 刘万伟王戟陈火旺
- 关键词:计算机软件LTLTABLEAU
- 一种地震解释成果数据的存储、访问的方法、装置和系统
- 本发明公开了一种地震解释成果数据的存储、访问的方法、装置和系统,涉及地震解释成果领域,其中,一种地震解释成果数据的存储方法,包括:获取地震解释成果数据;根据所述地震解释成果数据的字段与空间关联程度不同,对所述地震解释成果...
- 熊华平刘万伟刘瑞超杨晓波李伟杨勇赵春宇唐晓
- 文献传递
- 鲁棒神经网络的训练方法研究进展与前景被引量:1
- 2023年
- 近年来,深度神经网络已经发展成为深度学习的重要计算模型,神经网络的鲁棒性对于其在安全攸关领域的部署至关重要。因此,如何训练鲁棒的神经网络是备受学术界和工业界关注的热点问题。文章介绍了目前主流的3类鲁棒神经网络的训练方法,即基于数据增强训练、基于对抗训练和利普希茨鲁棒性训练;并介绍了其各自方法的核心思想、代表性研究工作和适用范围。同时,将近年来的鲁棒神经网络训练方法的优缺点进行比较,对应到神经网络训练的要素上进行深入分析和对照,并对各类训练方法得到的神经网络的鲁棒性的评价指标进行了介绍和比较。最后,分析了目前鲁棒神经网络训练的难点和热点,展望了该领域可能的研究方向,并提出建议。
- 梁震刘万伟吴陶然任德金薛白
- 关键词:鲁棒性神经网络训练
- 增量式任务驱动的面向对象程序设计教学被引量:5
- 2018年
- 面向对象程序设计是计算机专业及软件工程专业的重要基础课程。探讨了在当前教学改革中,针对计算机、软件工程专业学生开展增量式任务驱动的面向对象程序设计的实施过程,具体包括教学理念及方法、迭代式增量练习、综合性练习的设置、课程的考察考核等内容。并对课程的进一步规划进行了讨论。
- 刘万伟李暾尹良泽陈立前
- 关键词:面向对象程序设计课程设计
- 面向批量未解释程序的联合验证方法
- 本发明公开一种面向批量未解释程序的联合验证方法,步骤包括:S01.进行程序抽象得到程序自动机,使用保存的抽象模型对程序自动机进行精化;S02.判断精化后的程序自动机是否为空,如果为空则判定程序正确,转入步骤S05,否则转...
- 陈振邦王戟杜一德洪伟疆毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
- 一种基于使用概率的嵌入式软件可靠性测试数据生成方法
- 本发明公开了一种基于使用概率的嵌入式软件可靠性测试数据生成方法,其步骤为:(1)获取可靠性测试的外部参数;(2)确定各外部参数属性;将外部参数分为两类:一类是具有发生概率的参数,称为关键参数;另一类则是根据关键参数的取值...
- 董威王戟文艳军刘万伟陈振邦陈立前徐蛟
- 文献传递
- CSE教学实施过程与思考被引量:4
- 2018年
- 科学计算机教育(CSE)的教学理念将本科课程中的数学物理计算方法融入至软件工程系列课程中,并通过使用计算机扩展传统问题的求解范围,培养学生基于计算机进行问题求解的能力。回顾了课程组在近年实施CSE实验性教学改革过程中的基本情况,重点就教学案例的设计进行了探讨,同时就教学改革过程中的经验教训进行了总结。
- 刘万伟毛晓光张春元李暾周会平
- 关键词:软件工程程序设计
- 关于油田勘探开发信息标准化的思考被引量:3
- 2013年
- 信息标准化在油气勘探开发信息化中具有举足轻重作用,在勘探开发信息标准制定过程中,还存在着一些误区,影响着勘探开发数据管理水平和应用效果。本文概述了油气勘探开发信息标准化的主要工作内容,重点对数据模型标准、数据交换标准的制定原则进行了阐述。
- 王洪礼熊华平刘万伟
- 关键词:数据模型数据交换
- 一种基于精化约束重用的并行程序增量式回归验证方法
- 本发明公开了一种基于精化约束重用的并行程序增量式回归验证方法,本发明方法包括在针对当前程序版本M<Sub>i</Sub>进行基于精化约束抽象精化的并行程序验证时,每执行一轮验证过程中的迭代,则针对当前程序版本M<Sub>...
- 尹良泽董威刘万伟陈立前陈振邦王戟
- 面向计算思维培养的大学计算机基础课程实训体系建设与应用
- 分析如何精准明确知识体系、如何构建配套实训体系,以落实计算思维培养的问题,提出并设计以计算思维核心能力为核心的知识体系,以及与该知识体系相配套的实训体系,并给出基于该实训体系进行计算思维核心能力培养的方法。
- 李暾刘万伟毛晓光
- 关键词:计算思维大学计算机基础核心能力实训体系