检索结果-内蒙古大学图书馆

吉林大学学报（工学版） 2015年第2期45卷 562-568页

作者：欧阳丹彤迟晋进王晓宇赵相福孟祥宇吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室长春130012 浙江师范大学数理信息学院浙江金华321004

为了保证诊断结果的正确性及唯一性,提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中,构建了可同时用于可诊断性判定的诊断机,对每个状态编译故障行为,所以不需在每次重构系统行为后遍历全部模型进... 详细信息

为了保证诊断结果的正确性及唯一性,提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中,构建了可同时用于可诊断性判定的诊断机,对每个状态编译故障行为,所以不需在每次重构系统行为后遍历全部模型进行故障判断,并且在不影响诊断结果的前提下,根据约束条件对诊断机状态之间的转移进行限制,减少不必要节点的产生。

关键词：人工智能高阶离散事件系统故障诊断可诊断性

来源：评论

学校读者我要写书评

暂无评论

半扩展规则下分解的定理证明方法

引用

软件学报 2015年第9期26卷 2250-2261页

作者：张立明欧阳丹彤赵毅吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 吉林大学电子科学与工程学院吉林长春130012

基于扩展规则的定理证明方法在一定意义上是与归结原理对偶的方法,通过子句集能否推导出所有极大项来判定可满足性.IER(improved extension rule)算法是不完备的算法,在判定子句集子空间不可满足时,并不能判定子句集的满足性,算法还需... 详细信息

基于扩展规则的定理证明方法在一定意义上是与归结原理对偶的方法,通过子句集能否推导出所有极大项来判定可满足性.IER(improved extension rule)算法是不完备的算法,在判定子句集子空间不可满足时,并不能判定子句集的满足性,算法还需重新调用ER(extension rule)算法,降低了算法的求解效率.通过对子句集的极大项空间的研究,给出了子句集的极大项空间分解后子空间的求解方法.通过对扩展规则的研究,给出了极大项部分空间可满足性判定方法 PSER(partial semi-extension rule).在IER算法判定子空间不可满足时,可以调用PSER算法判定子空间对应的补空间的可满足性,从而得到子句集的可满足性,避免了不能判定极大项子空间可满足性时需重新调用ER算法的缺点,使得IER算法更完备.在此基础上,还提出DPSER(degree partial semi-extension rule)定理证明方法.实验结果表明:所提出的DPSER和IPSER的执行效率较基于归结的有向归结算法DR、IER及NER算法有明显的提高.

关键词：定理证明命题逻辑扩展规则可满足性问题

来源：评论

学校读者我要写书评

暂无评论

高级语言程序设计课程的慕课建设与思考

高级语言程序设计课程的慕课建设与思考

引用

2016年全国高校计算机教育大会

作者：陈娟张长海邓春燕李河吉林大学计算机科学与技术学院吉林长春130012 吉林大学软件学院吉林长春130012 符号计算与知识工程教育部重点实验室吉林长春130012

高级语言程序设计作为国家级精品和资源共享课程,率先完成慕课建设工作并持续推进课程建设.文章从大纲制订、视频资源制作和文本资源准备3方面,详细介绍高校慕课建设的具体措施和工作内容;针对课程实施,从慕课和传统课堂、慕课与实践教... 详细信息

高级语言程序设计作为国家级精品和资源共享课程,率先完成慕课建设工作并持续推进课程建设.文章从大纲制订、视频资源制作和文本资源准备3方面,详细介绍高校慕课建设的具体措施和工作内容;针对课程实施,从慕课和传统课堂、慕课与实践教学两方面,讨论建立慕课与传统混合教学模式的必要性;最后说明高级语言程序设计课程建设和改革的未来规划.

关键词：高等教育程序设计课慕课课程建设

来源：评论

学校读者我要写书评

暂无评论

教学与科研关系的思考及其在数据结构课程建设中的实践

教学与科研关系的思考及其在数据结构课程建设中的实践

引用

2016年全国高校计算机教育大会

作者：贾海洋杨博虞强源朱允刚刘大有吉林大学计算机科学与技术学院吉林长春130012 吉林大学软件学院吉林长春130012 符号计算与知识工程教育部重点实验室吉林长春130012

分析教学与科研对立与统一的关系问题,指出二者关系对于社会发展、高校发展以及教师个人发展的重要意义,结合国家级精品课数据结构的建设过程说明如何做到教学与科研的统一,介绍两则实验题目和创新实验的设计原则.

关键词：高等教育数据结构课实验教学科研工作

来源：评论

学校读者我要写书评

暂无评论

基于Git的代码托管平台JLUCODE

引用

计算机时代 2016年第12期 32-34,38页

作者：侯效永李良伟孙召宋春雨杨昊韩霄松吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012 中国石油天然气集团公司大庆油田人才开发院

软件版本控制在软件行业的作用十分重要,而大多数在校学生对版本控制的了解却知之甚少。通过分析对比三大版本控制系统CVS、SVN、Git的优缺点,基于Git设计并实现了一个吉林大学代码托管平台JLUCODE,通过Git协议与Web平台实现本地与服务... 详细信息

软件版本控制在软件行业的作用十分重要,而大多数在校学生对版本控制的了解却知之甚少。通过分析对比三大版本控制系统CVS、SVN、Git的优缺点,基于Git设计并实现了一个吉林大学代码托管平台JLUCODE,通过Git协议与Web平台实现本地与服务器的通讯。该平台主要实现代码托管、统计分析、论坛讨论和作业管理等功能,以帮助学生学习、理解版本控制的意义,提升自身的能力,更好地管理源码、完成作业。

关键词：版本控制代码托管 Git 代码分析

来源：评论

学校读者我要写书评

暂无评论

基于局部结构交互的RNA假结预测

引用

吉林大学学报（工学版） 2015年第2期45卷 613-618页

作者：刘元宁艾露露段云娜李誌田明尧张浩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 长春理工大学应用技术学院长春130022 军事医学科学院军事兽医研究所长春130122

基于RNA局部结构间的交互作用,提出一种含假结的RNA二级结构预测新方法LIFold。对给定的RNA序列,首先通过能量计算得到不含假结的能量最优结构,然后应用局部结构交互配对生成假结茎区,在已得到的最优结构基础上构建含假结的能量计算模型... 详细信息

基于RNA局部结构间的交互作用,提出一种含假结的RNA二级结构预测新方法LIFold。对给定的RNA序列,首先通过能量计算得到不含假结的能量最优结构,然后应用局部结构交互配对生成假结茎区,在已得到的最优结构基础上构建含假结的能量计算模型,最后通过优化算法得到含假结的RNA二级结构。应用该方法基于HotKnots测试数据的敏感性和阳性预测值(PPV)分别达到84%和80%,基于PseudoBase数据库测试数据的敏感性和阳性预测值分别达到78%和73%,与HotKnots、ILM、PknotsRG、IPknot及FlexStem等知名软件相比较,准确率均有所提高。

关键词：计算机应用 RNA二级结构假结最小自由能交互配对

来源：评论

学校读者我要写书评

暂无评论

基于MAC的动态回溯算法优化

引用

吉林大学学报（理学版） 2015年第2期53卷 285-290页

作者：许苍竹郝爽李博宇刘明慧吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回... 详细信息

针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回到可能导致冲突的关键变量.在最差情况下,存储删除解释的空间复杂度由O(n2 d)改进为O(nd+n2).通过结合restart技术使优化后的动态回溯算法成为完备算法.实验结果表明,优化后的完备动态回溯算法在大部分问题求解中,整体效率明显优于标准回溯算法.

关键词：人工智能约束满足问题动态回溯算法删除解释

来源：评论

学校读者我要写书评

暂无评论

基于自适应归一化RBF网络的Q-V值函数协同逼近模型

引用

计算机学报 2015年第7期38卷 1386-1396页

作者：刘全肖飞傅启明伏玉琛周小科朱斐苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012 江苏省软件新技术与产业化协同创新中心南京210046

径向基函数网络逼近模型可以有效地解决连续状态空间强化学习问题.然而,强化学习的在线特性决定了RBF网络逼近模型会面临"灾难性扰动",即新样本作用于学习模型后非常容易对先前学习到的输入输出映射关系产生破坏.针对RBF网络... 详细信息

径向基函数网络逼近模型可以有效地解决连续状态空间强化学习问题.然而,强化学习的在线特性决定了RBF网络逼近模型会面临"灾难性扰动",即新样本作用于学习模型后非常容易对先前学习到的输入输出映射关系产生破坏.针对RBF网络逼近模型的"灾难性扰动"问题,文中提出了一种基于自适应归一化RBF(ANRBF)网络的Q-V值函数协同逼近模型及对应的协同逼近算法——QV(λ).该算法对由RBFs提取得到的特征向量进行归一化处理,并在线自适应地调整ANRBF网络隐藏层节点的个数、中心及宽度,可以有效地提高逼近模型的抗干扰性和灵活性.协同逼近模型中利用Q和V值函数协同塑造TD误差,在一定程度上利用了环境模型的先验知识,因此可以有效地提高算法的收敛速度和初始性能.从理论上分析了QV(λ)算法的收敛性,并对比其他的函数逼近算法,通过实验验证了QV(λ)算法具有较优的性能.

关键词：强化学习函数逼近径向基函数灾难性扰动协同逼近

来源：评论

学校读者我要写书评

暂无评论

面向网页的主题概念挖掘

引用

计算机科学 2015年第5期42卷 62-66页

作者：刘琼琼左万利王英吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

网页主题挖掘对自然语言处理如网页文本分类、文摘自动生成、信息融合等具有重要意义。挖掘网页主题可以帮助用户更好地理解网页内容。尽管已有一些从普通文本中挖掘概念的工作,但其很少考虑单词所属标签和位置对单词权重的影响,且没有... 详细信息

网页主题挖掘对自然语言处理如网页文本分类、文摘自动生成、信息融合等具有重要意义。挖掘网页主题可以帮助用户更好地理解网页内容。尽管已有一些从普通文本中挖掘概念的工作,但其很少考虑单词所属标签和位置对单词权重的影响,且没有工作给出上述两种影响因子的计算方法。借助WordNet,将网页主题从词语扩展到概念层次,提出了使用词性标注和词义消歧确定网页中单词词义并充分利用标签影响因子和位置影响因子对网页正文文本特征进行权重修正的主题概念挖掘方法,给出了两种影响因子的计算公式。在DMOZ数据集上的实验结果表明,修正权重可以明显提高主题挖掘精度,最高可达到0.95。

关键词：词性标注词义消歧标签影响因子位置影响因子权重修正

来源：评论

学校读者我要写书评

暂无评论

基于OpenMP+MPI的2.5维电磁场正演并行化方法

引用

石油地球物理勘探 2015年第1期50卷 170-176,20页

作者：白洪涛范翠松李昂何丽莉李桐林吉林大学地球探测科学与技术学院吉林长春130026 吉林大学公共计算机教学与研究中心吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 中国地质调查局天津地质调查中心天津300170 吉林大学计算机科学与技术学院吉林长春130012

针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并... 详细信息

针对2.5维复电阻率电磁场正演串行算法的效率瓶颈,研究了一种基于OpenMP+MPI的混合计算并行化方法。将波数域分解到计算机集群的各节点上,采用MPI对各波数进行并行运算;在各节点内部,对复双共轭梯度法求解线性方程组的过程采用OpenMP并行运算。波数等间隔分配到各集群节点,以利负载均衡;集群节点读取各自的模型参数,MPI群集传递当前波数的计算结果,以降低通信开销。不同类型和规模算例的实验结果表明,该并行方法不仅能够达到与串行方法等同的精度,而且获得了接近线性的加速比。

关键词： 2.5维复电阻率电磁场正演波数分解并行计算混合计算

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：