期刊文献+
共找到34篇文章
< 1 2 >
每页显示 20 50 100
LFNDIT:从不确定状态变换学习布尔网络 认领
1
作者 黄羿 孔世明 +2 位作者 王以 张明义 马新强 《计算机科学》 CSCD 北大核心 2020年第11期268-274,共7页
布尔网络是一种重要的基因调控数学模型,从布尔网络的状态变换推断其结构以发现基因之间的调控关系是布尔网络研究中长期关注的重要问题。已有的归纳逻辑程序算法不能从布尔网络的不确定(解释)状态变换学习推断其网络结构。为此,文中提... 布尔网络是一种重要的基因调控数学模型,从布尔网络的状态变换推断其结构以发现基因之间的调控关系是布尔网络研究中长期关注的重要问题。已有的归纳逻辑程序算法不能从布尔网络的不确定(解释)状态变换学习推断其网络结构。为此,文中提出了非确定解释转换学习(Learning From Non-deterministic interpretation Transitions,LFNDIT)算法从布尔网络异步更新语义下的解释变换学习其网络结构。首先将异步更新语义下的不确定解释变换集转换成确定解释变换集,然后利用Inoue等提出的从1步解释转换学习(Learning From 1-step state transition,LF1T)算法计算其对应的正规逻辑程序(布尔网络)。该算法的完备性得到了证明,初步的实验结果表明,该方法能有效地从不确定状态变换计算布尔网络的结构,从而为发现布尔网络的结构提供了新的思路。 展开更多
关键词 归纳逻辑程序 布尔网络 异步布尔网络 正规逻辑程序 LFNDIT算法
在线阅读 免费下载
基于CNN-ATTBiLSTM的文本情感分析 认领 被引量:2
2
作者 刘书齐 王以 陈攀峰 《贵州大学学报:自然科学版》 2019年第2期85-89,共5页
卷积神经网络(CNN)和循环神经网络(RNN)已经被证明在文本情感分析中是有效的文本表示模型。然而,CNN只考虑连续词之间的局部信息,忽略了词语之间长距离的上下文依赖信息,在前向传播的过程中池化操作会丢失一部分语义信息;RNN在文本长度... 卷积神经网络(CNN)和循环神经网络(RNN)已经被证明在文本情感分析中是有效的文本表示模型。然而,CNN只考虑连续词之间的局部信息,忽略了词语之间长距离的上下文依赖信息,在前向传播的过程中池化操作会丢失一部分语义信息;RNN在文本长度较短的情况下相比CNN并没有展现应有的优势。本文通过融合CNN和基于注意力机制的双向长短期记忆(ATTBiLSTM)网络提取的特征,提高模型的文本表示能力,同时为了防止过拟合,采取dropout策略。在中科院谭松波博士整理的酒店评论数据集上进行实验,结果表明本文提出的模型相比基线模型可以提取出更丰富的特征,效果较基线模型有所提升。 展开更多
关键词 卷积神经网络 注意力机制 双向长短期记忆神经网络 文本情感分析
在线阅读 下载PDF
基于手牌拆分的“斗地主”蒙特卡洛树搜索 认领
3
作者 彭啟文 王以 +2 位作者 于小民 刘满义 徐方婧 《南京师大学报:自然科学版》 CAS CSCD 北大核心 2019年第3期107-114,共8页
“斗地主”是典型的多人合作非完全信息博弈,蒙特卡洛树搜索是求解博弈(围棋、国际象棋等)问题的重要工具.本文首先提出基于“斗地主”规则的手牌拆分算法,通过选择较小拆分以解决其动作空间较大问题;其次,通过蒙特卡洛抽样法,对“斗地... “斗地主”是典型的多人合作非完全信息博弈,蒙特卡洛树搜索是求解博弈(围棋、国际象棋等)问题的重要工具.本文首先提出基于“斗地主”规则的手牌拆分算法,通过选择较小拆分以解决其动作空间较大问题;其次,通过蒙特卡洛抽样法,对“斗地主”非完全合作博弈进行不断抽样模拟,在满足一定预设条件后,选择收益最佳的节点作为本次最佳决策.实验结果表明,基于手牌拆分的“斗地主”蒙特卡洛树搜索能较好地实现“斗地主”自动博弈. 展开更多
关键词 斗地主 计算机博弈 强化学习 蒙特卡洛树搜索
在线阅读 下载PDF
一种用于Slater与Kemeny选举求解的ASP方法 认领
4
作者 徐珩僭 王以 冯仁艳 《计算机工程》 CAS CSCD 北大核心 2019年第9期198-203,共6页
针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,... 针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,时间复杂度低,可读性强,并且适用于Kemeny选举。 展开更多
关键词 Slater选举 Kemeny选举 NP难问题 回答集程序设计 锦标赛
在线阅读 下载PDF
SVD++推荐算法的超参数 认领
5
作者 张振朋 王以 +1 位作者 冯仁艳 李倩倩 《贵州大学学报:自然科学版》 2018年第3期97-100,共4页
SVD++算法由于其能够融入评分信息和隐式信息得到了广泛的应用。SVD++算法中的模型参数可以通过随机梯度下降或者最小二乘法得到最佳参数。但是SVD++中的超参数需要手动选取,而超参数会极大影响SVD++模型的准确度。本文使用两... SVD++算法由于其能够融入评分信息和隐式信息得到了广泛的应用。SVD++算法中的模型参数可以通过随机梯度下降或者最小二乘法得到最佳参数。但是SVD++中的超参数需要手动选取,而超参数会极大影响SVD++模型的准确度。本文使用两个常见的数据集,并且选取了不同的训练集-测试集切割比,使用随机梯度下降算法,对SVD++中的两个超参数学习步长和规则化参数进行研究,选用评分指标中应用最广的三个评测指标RMSE、MAE、MSE,分别得到了效果最好的超参数值。同时通过实验,本文得到了超参数对SVD++算法影响规律和一系列结论,对SVD++算法在其他数据上如何选取最好超参数值有参考意义。 展开更多
关键词 SVD++算法 推荐算法 规则化参数 学习步长
在线阅读 下载PDF
LFIO:基于输入输出的Datalog归纳学习系统 认领
6
作者 王旭 王以 黄羿 《贵州大学学报:自然科学版》 2017年第1期57-61,71共6页
归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO... 归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景知识B和例子集E,其中每个例子都是一对输入输出的(I,O)原子集对子,其中I表示输入,O表示对应的输出,LFIO归纳学习出一个Datalog程序P,对于E中的每个例子(I,O),O都是B∪P∪I的最小(Herbrand)模型。本文详细描述了LFIO的系统设计及实现,初步的实验结果展示了该归纳学习系统的有效性。 展开更多
关键词 归纳学习 DATALOG PROGRAMS LFIO 输入输出
在线阅读 下载PDF
一种面向列车车载控制软件的需求分析方法 认领 被引量:3
7
作者 王秀超 缪炜恺 +2 位作者 王以 包丹珠 杨静 《计算机工程》 CSCD 北大核心 2017年第7期48-53,共6页
由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行... 由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。 展开更多
关键词 列车车载控制软件 需求分析 抽象语法树 数据流分析 环路检测
在线阅读 下载PDF
随机k-SAT的相变上下界 认领
8
作者 李倩倩 王以 +1 位作者 冯仁艳 张振鹏 《贵州大学学报:自然科学版》 2016年第5期86-90,共5页
在随机k-SAT模型的基础上,针对合取范式的满足性问题进行研究。对于固定的变量数凡,随着子句数m增加,当m/n接近某一值时公式的可满足性发生剧烈的变化,可满足的概率从1变为0,也就是经常提到的相变问题。证明k-SAT相变的阈值上界为... 在随机k-SAT模型的基础上,针对合取范式的满足性问题进行研究。对于固定的变量数凡,随着子句数m增加,当m/n接近某一值时公式的可满足性发生剧烈的变化,可满足的概率从1变为0,也就是经常提到的相变问题。证明k-SAT相变的阈值上界为2^k ln2;当k(k〈53)比较小时阈值下界为2^k-1 ln2;当五(k≥53)比较大的时候,对任何ε=ε(k)〉0(ε是关于k的函数)且占εn→∞(趋近无穷大),存在α0=2^k ln2,使得下界为α1=(1-ε)α0.通过实验对k为2,3,4时的阈值进行验证。 展开更多
关键词 K-SAT 可满足性 相变 阈值
在线阅读 下载PDF
语文教学应着力培养学生良好的预习习惯 认领
9
作者 王以 《中学语文:大语文论坛(下旬)》 2016年第7期100-101,共2页
叶圣陶先生在《叶圣陶语文教育论集》中强调:"上课之前,学生要切实预习"、"什么是教育,简单一句话,就是养成良好的习惯"把这两句话合在一起,恕笔者断章取义地理解为"学生要养成上课前预习的习惯"。我们不难发现:叶圣陶先生的观... 叶圣陶先生在《叶圣陶语文教育论集》中强调:"上课之前,学生要切实预习"、"什么是教育,简单一句话,就是养成良好的习惯"把这两句话合在一起,恕笔者断章取义地理解为"学生要养成上课前预习的习惯"。我们不难发现:叶圣陶先生的观点与现在新课程理念相吻合。引导学生主动发展、主动学习是我们教育工作者所倡导的教学方式,也是我们教学追求的一种目标。预习是学生主动学习的外在表现,在"主动学习探究"中占有重要的地位。 展开更多
关键词 教育论 教育工作者 新课程 授之以渔 解决疑难 思想观念 调查法 作者情况 职业优势 请看
在线阅读 免费下载
2-CNF理论的逻辑差 认领
10
作者 刘蕻 原国伟 +1 位作者 梅俊杰 王以 《计算机应用研究》 CSCD 北大核心 2015年第9期2578-2580,共3页
如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结果仍然可以用同类... 如何刻画知识库不同版本之间的区别是研究知识库动态更新中的一个重要问题。提出了命题逻辑知识库的逻辑结论差概念(称为逻辑差)。然而,一般知识库之间逻辑差的计算是不易处理的,而且不满足范畴性,即不能保证其结果仍然可以用同类型的知识库来表达;由于2-CNF理论的可满足问题的易处理性,证明了2-CNF理论的逻辑差具有范畴性,并设计了一个多项式时间算法计算它们的逻辑差。 展开更多
关键词 知识工程 2-CNF理论 算法 逻辑差 归结
在线阅读 下载PDF
动态速度和代价约束的最短路径算法 认领
11
作者 原国伟 梅俊杰 +1 位作者 刘蕻 王以 《贵州大学学报:自然科学版》 2015年第3期97-102,共6页
Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之... Dijkstra算法是计算有向图中一个节点到其余各个节点最短路径的著名多项式时间算法,在交通规划、地理信息系统等方面有重要的应用。本文改进Dijkstra算法用于计算带有动态速度和代价约束的有向图中节点之间的最短路径,即有向图的节点之间除了静态的距离外,还有动态的速度和代价,例如城市交通中的高峰与非高峰时段影响速度/时间,收费与非收费路段影响代价;时间和代价在最短路径中由一个比例因子控制,通过调节该比例因子可计算节点间的最短时间/距离和最少代价的路径。该改进的算法被证明是可靠的,实验结果也表明了该算法的有效性。 展开更多
关键词 最短路 动态 代价 DIJKSTRA算法
在线阅读 下载PDF
初中生语文学习兴趣“冷热”观 认领
12
作者 王以 《中学语文:大语文论坛(下旬)》 2015年第6期20-22,共3页
心理学、教育学的研究表明:兴趣是最好的老师。伟大的教育家陶行知先生在《新教育》里讲过:学生有了兴味,就肯用全副精神去做事体,所以"学"和"乐"是不可分离的。学生学习功课也如此:对某门功课若能长时间保持"乐",就能把这门... 心理学、教育学的研究表明:兴趣是最好的老师。伟大的教育家陶行知先生在《新教育》里讲过:学生有了兴味,就肯用全副精神去做事体,所以"学"和"乐"是不可分离的。学生学习功课也如此:对某门功课若能长时间保持"乐",就能把这门功课学好,反之不然。笔者是初中语文老师,或多或少感受到了初中生对语文学习兴趣不浓,为了掌握较为真实可信的信息,笔者做了调查。 展开更多
关键词 语文学习兴趣 初中语文 教育家陶行知 新教育 语言文字规范 成语接龙 学语文 爱国主义情感 教授法 文化知识
在线阅读 免费下载
带函数析取逻辑程序的无基集及其应用 认领
13
作者 梅俊杰 刘蕻 +1 位作者 原国伟 王以 《计算机科学与探索》 CSCD 北大核心 2015年第6期747-755,共9页
基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个... 基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合是否是回答集是co NP完全的。提出了带函数析取逻辑程序无基集(unfounded sets)的概念,发现了空无基集(unfounded-free sets)与稳定模型之间的一一对应关系,在此基础上,证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的,从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。 展开更多
关键词 析取逻辑程序 回答集 函数 无基集
在线阅读 下载PDF
鲁迅作品阅读教学的两点思考 认领
14
作者 王以 《成才之路》 2015年第14期31-32,共2页
结合鲁迅先生入选初中教材的文章特点和鲁迅先生的人格特点,对鲁迅先生的作品进行阅读教学时应侧重两个方面:一是要引导学生探究鲁迅作品的语言特点;二是要引导学生体会鲁迅先生的思想感情。
关键词 初中语文 鲁迅作品 阅读教学 思考
在线阅读 下载PDF
浅析新课程背景下初中语文教学中渗透德育 认领
15
作者 王以 《课外语文:教研版》 2014年第2期189-190,共2页
自从改革开放以来,中国的经济建设取得了举世瞩目的成就,这是毫无疑问的,但是,在经济建设取得成就的同时,“社会糟粕”也迅速“增长”。在这种日益复杂的社会环境下,单纯的“语文教学”是适应不了时代的发展变化的,也是难以生存... 自从改革开放以来,中国的经济建设取得了举世瞩目的成就,这是毫无疑问的,但是,在经济建设取得成就的同时,“社会糟粕”也迅速“增长”。在这种日益复杂的社会环境下,单纯的“语文教学”是适应不了时代的发展变化的,也是难以生存的。这样看来,在语文教学中渗透德育就显得尤为重要了。 展开更多
关键词 德育教育 渗透 语文教学 新课程
在线阅读 下载PDF
描述逻辑程序系统的设计与实现 认领
16
作者 杨卓群 王以 《计算机科学与探索》 CSCD 2014年第3期338-344,共7页
Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,获得了本体上的非单调表达和推理能力。王以松等人证明了描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集。在此基础上,进一步证明了若完备化公式... Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,获得了本体上的非单调表达和推理能力。王以松等人证明了描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集。在此基础上,进一步证明了若完备化公式的模型不是回答集则一定存在终止环公式反例,它们是多项式时间可计算的。设计并实现了借助SAT求解器MiniSAT以及描述逻辑推理机RacerPro计算描述逻辑强回答集的原型DLP_SAT。实验结果表明,该原型能有效地计算一些熟知的描述逻辑程序的强回答集。 展开更多
关键词 描述逻辑 逻辑程序 回答集 环公式 可满足性问题(SAT)
在线阅读 下载PDF
探寻语文阅读教学的“切入点” 认领
17
作者 王以 《中学语文:大语文论坛(下旬)》 2014年第4期96-98,共3页
众所周知,阅读教学是语文教学的重点所在,而阅读教学的内容则主要是一篇篇课文,如何提高阅读教学的效率则是语文教师一直探究的话题.语文教师的任务就是引导学生进入课文,理清课文层次脉络,理解课文内容,探讨文章的语言特点,体会作者的... 众所周知,阅读教学是语文教学的重点所在,而阅读教学的内容则主要是一篇篇课文,如何提高阅读教学的效率则是语文教师一直探究的话题.语文教师的任务就是引导学生进入课文,理清课文层次脉络,理解课文内容,探讨文章的语言特点,体会作者的观点或思想感情等,最终目的提高学生的阅读理解能力.如何高效率地完成这些任务,更是语文教师探讨的话题. 展开更多
关键词 语文阅读教学 课文内容 语文教师 阅读理解能力 引导学生 语文教学 语言特点 思想感情
在线阅读 免费下载
带模理论的回答集程序设计 认领 被引量:1
18
作者 王以 张明义 《贵州大学学报:自然科学版》 2013年第5期81-89,94共10页
基于回答集语义的逻辑程序(ASP)是一种描述性问题求解的典范,目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架,它不仅是正规逻辑程序的一般化,对带聚合函数的ASP而言,也与SPT—PDB的回答集语义一致。经证... 基于回答集语义的逻辑程序(ASP)是一种描述性问题求解的典范,目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架,它不仅是正规逻辑程序的一般化,对带聚合函数的ASP而言,也与SPT—PDB的回答集语义一致。经证明,当背景理论是命题逻辑时,该框架与Shen和You提出的方法一致。 展开更多
关键词 逻辑程序设计 回答集 SMT 聚合函数
在线阅读 下载PDF
随机图的哈密尔顿回路实验研究 认领
19
作者 梅俊杰 刘蕻 +1 位作者 许欢 王以 《贵州大学学报:自然科学版》 2013年第3期77-81,共5页
哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等。在本文中,我们通过ASP实验研究了40到100个节... 哈密尔顿回路问题是图论的经典NP-难解问题之一,在计算机科学中被广泛用作测试用例以测试算法/系统的有效性,包括可满足性(SAT)、回答集程序设计(ASP)以及约束可满足问题(CSP)等。在本文中,我们通过ASP实验研究了40到100个节点(步长为10)随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布情况,结果表明它们都具有一定的规律。这不仅对随机图的哈密尔顿回路本身是有益的探索,也为生成随机图哈密尔顿测试用例提供了有益的指导。 展开更多
关键词 哈密尔顿回路 随机图 回答集程序设计
在线阅读 下载PDF
用daikon发现循环不变式 认领 被引量:2
20
作者 许欢 王以 《贵州大学学报:自然科学版》 2012年第4期77-81,共5页
随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用J... 随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replaceC程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。 展开更多
关键词 形式化 循环不变式 daikon replace
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部 意见反馈