搜索筛选:
搜索耗时2.6349秒,为你在为你在102,285,761篇论文里面共找到 15 篇相符的论文内容
发布年度:
[期刊论文] 作者：袁梦霆, 谢婧,,
来源：广州大学学报(自然科学版) 年份：2019
类型推理是一种轻量级的形式化方法,通过对程序变量和语句的类型这些关键信息进行推理,可以更好地理解程序行为.传统的类型推理方法依赖于语法规则与类型推演规则,然而,随着...
[期刊论文] 作者：程铭, 毋国庆, 袁梦霆,,
来源：电子学报 年份：2016
传统软件缺陷预测方法在解决跨项目缺陷预测过程中适应能力不足,主要是因为源项目和目标项目之间存在不同的特征分布.为了解决这个问题,提出一种新的加权贝叶斯迁移学习算法,...
[期刊论文] 作者：袁梦霆,罗敏,谌明,
来源：微型机与应用 年份：2001
研究、分析和实现了3种传统树的直线画法——NaiveDrawing、NaiveDrawBinary及TreeDrawing,给出了它们的实验结果。...
[期刊论文] 作者：朱凯,毋国庆,袁梦霆,
来源：计算机科学 年份：2020
自动机是可同步的是指它具有满足以下性质的同步字:不论自动机当前所处的状态,以同步字为输入执行后它一定会到达某个特定状态。同步自动机问题的核心是计算最短同步字。聚焦...
[期刊论文] 作者：袁梦霆,罗敏,谌明,
来源：计算机工程 年份：2001
研究、实现和分析了3种传统的树的直线画法-NaiveDrawing、NaiveDrawBinary以及TreeDrawing,并给出它们的实验结果....
[期刊论文] 作者：徐勇,毋国庆,袁梦霆,
来源：电子学报 年份：2016
基于模型诊断（MBD）的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基...
[会议论文] 作者：袁梦霆,毋国庆,舒风笛,
来源：2002全国软件与应用学术会议(NASAC) 年份：2002
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.......
[期刊论文] 作者：谌明,袁梦霆,刘纪平,
来源：微型机与应用 年份：2001
介绍了利用PB提供的Winsock控件创建一个基本的网络信息交换系统的过程和方法,实现利用Web页面直接与服务器进行信息交换....
[期刊论文] 作者：陈勇,袁梦霆,李清安,,
来源：计算机工程与科学 年份：2016
在分区内存体系结构中，如何尽可能少地插入片选指令是研究的热点。根据该问题的特点，构建了片选优化的图划分模型，并在该模型的基础上，提出了一种二阶段启发式搜索算法求解该问题......
[期刊论文] 作者：徐勇,毋国庆,袁梦霆,黄勃,
来源：电子学报 年份：2017
基于代码枚举的自动程序修复方法借助变异算子对程序中错误语句进行变更操作,从而得到程序修复解.由于缺乏文法制导及变异算子数量的有限性,该方法的有效性有待进一步提高.本...
[期刊论文] 作者：朱凯,毋国庆,袁梦霆,杨磊,
来源：华中科技大学学报（自然科学版） 年份：2021
研究了非确定有限自动机的最短D1-同步字的计算问题.针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于pa...
[期刊论文] 作者：朱凯,毋国庆,吴理华,袁梦霆,
来源：软件学报 年份：2019
自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw。这仅依赖于w,而与开始运行w时的...
[期刊论文] 作者：朱凯,毋国庆,梁早清,袁梦霆,
来源：华中科技大学学报（自然科学版） 年份：2021
论述了最近10多年有限自动机重置问题在算法方面的研究进展.首先形式定义一些基本概念和四个有关重置的问题,给出这些问题的计算复杂性结果;然后回顾了2008年前的算法发展历...
[期刊论文] 作者：袁梦霆, 李清安, 吴黎兵, 何炎祥,,
来源：计算机教育 年份：2019
面向计算机科学领域的教学,提出基于建模与推理的命题逻辑教学方法,说明该方法的教学步骤,从一个案例出发,说明如何引导学生学习使用命题逻辑进行建模,推理模型的性质,同时分...
[期刊论文] 作者：李清安, 袁梦霆, 王汉飞, 吴黎兵, 何炎祥,,
来源：计算机教育 年份：2019
针对新工科建设形势下,原有编译实验课程面临广度与深度不足、管理方式有待改进、个性化及技术前沿性不足等方面的挑战,分析国外一流高校编译实验课程设计的特点,提出基于LLV...
相关搜索：
