王雪松
- 作品数：19 被引量：14H指数：3
- 供职机构：桂林电子科技大学电子工程与自动化学院更多>>
- 发文基金：国家自然科学基金广西省自然科学基金广西青年科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 基于抽象和符号技术的并发软件验证研究
- 钱俊彦赵岭忠郭云川张会兵徐周波李凤英王雪松
- 该成果来源于国家自然科学基金61063002、广西自然科学基金2011GXNSFA018164。主要目的是研究并发系统的可靠性和安全性等可信性质，在形式化验证领域具有重要的学术意义和应用价值。研究内容符合软件工程学科的发...
- 关键词：
- 基于ASP的程序切片被引量：2
- 2012年
- 针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效率,基于Cmod-els的改进算法的运行效率是最高的。
- 翟仲毅王雪松赵岭忠
- 关键词：程序切片数据流回答集编程
- 编程专业科技人才培养初探——以“C语言程序设计”课程教改为例
- 2023年
- 为了培养学生的编程能力、编程思维和创新实践能力,文章以C语言程序设计课程的教学改革实践为例,阐述了“新工程”背景下编程专业科技人才培养的课程改革思路,采用了以“五位一体”教学方法结合电子信息类工程案例的教学设计理念,提升了学生的编程实践应用能力、创新实践能力、工程应用能力。
- 符强任风华王雪松贾茜子孙安青
- 关键词：教学改革工程案例
- 基于ASP的CSP模型验证性质反例生成技术研究被引量：3
- 2013年
- 为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题的研究,提出了相应的反例生成算法,实例表明了该算法的正确性。
- 王雪松赵岭忠张超
- 关键词：通信顺序进程回答集编程
- 合理配置教学要素 提高探究式教学质量被引量：1
- 2012年
- 探究式教学的实施效果取决于教师、教材、教学过程安排等教学要素的配置情况。分析了在本科生中实施探究式教学的困难,从教学要素的角度给出了解决问题的方法,着重强调了教材内容设置以及培养学生对知识探究的意义和信心的重要性。最后对具体实施提出了一些建议。
- 王雪松赵岭忠钱俊彦
- 关键词：探究式教学教学要素教材设置
- 基于OBDD的含圈与或图搜索算法研究
- 2011年
- 在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。
- 赵岭忠王雪松
- 关键词：有序二叉决策图
- 基于并发事务逻辑的语义Web服务组合
- 2012年
- 并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。
- 王雪松钱俊彦赵岭忠高荣亮
- 关键词：语义WEB服务
- 一种基于熵的OBDD变量排序算法
- 2007年
- 有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该算法与模拟退火算法和遗传算法结果相当,时间仅为相应算法的80.84%和29.79%。
- 赵岭忠王雪松古天龙钱俊彦
- 关键词：有序二叉决策图
- 基于启发式搜索的ASP程序支撑原因分析算法
- 2012年
- 为了尽快找到一个错误及其来源,以加快ASP程序调试的效率,把启发式搜索技术引入ASP程序支撑原因分析算法。在生成支撑原因分析图时利用启发式函数,仅搜索对回答集产生影响且有可能更快找到一个支撑原因的规则。改进算法在搜索关于某个回答集的支撑原因时,其时间和空间复杂度明显下降。实例分析表明了该算法的有效性。
- 董凤娇王雪松赵岭忠张超
- 关键词：ASP程序启发式算法
- 从经典逻辑知识构建ASP知识库的新方法被引量：6
- 2010年
- 回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。
- 赵岭忠王雪松钱俊彦蔡国永
- 关键词：谓词逻辑
