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