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

计算机研究与发展 2016年第9期53卷 2067-2084页

作者：陈冬火刘全金海东朱斐王辉苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

提出一种区间分支时序逻辑——控制流区间时序逻辑(control flow interval temporal logic,CFITL),用于规约程序的时序属性.不同于计算树逻辑(computation tree logic,CTL)和线性时序逻辑(linear temporal logic,LTL)等传统的时序逻辑,CFITL公式的语义模型不是基于状态的类Kripke结构,而是以程序的抽象模型控制流图(control flow graph,CFG)为基础所构建的含序CFG结构.含序CFG是CFG的一种受限子集,它们的拓扑结构可映射为偏序集,这样诱导产生的自然数区间可自然地用于描述定义良好的程序结构.这种结构含有程序的静态结构信息和动态行为信息,换而言之,CFITL具有规约程序实现结构属性和程序执行动态行为属性的能力.在定义CFITL的语法和语义的基础上,详细讨论了CFITL的模型检验问题,包括基于值状态空间可达性计算的模型检验方法和基于SMT(satisfiability modulo theories)的CFITL有界模型检验方法.现代程序都含有复杂且具有无限值域的抽象数据类型及各种复杂的操作,CFITL语义定义相比CTL等时序逻辑更复杂,因此,基于显示状态搜索的方法难以有效进行,而基于SMT的CFITL有界模型检验方法更易实现、更具有可行性.最近开发相关的原型工具,并进行相关的实例研究.

关键词：区间时序逻辑控制流程图程序静态结构模型检验可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

快速递归多阈值分割算法

引用

吉林大学学报（工学版） 2016年第2期46卷 528-534页

作者：申铉京张赫陈海鹏王玉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学应用技术学院长春130012

针对强调波谷邻域算法在目标区域相对于背景区域较小且其之间的波谷特征并不十分明显的情况下,无法获得正确阈值的问题,提出了一种基于波谷邻域信息和波谷波峰相对特征的全局阈值分割算法。本算法在最大类间方差(OTSU)算法的基础上以直... 详细信息

针对强调波谷邻域算法在目标区域相对于背景区域较小且其之间的波谷特征并不十分明显的情况下,无法获得正确阈值的问题,提出了一种基于波谷邻域信息和波谷波峰相对特征的全局阈值分割算法。本算法在最大类间方差(OTSU)算法的基础上以直方图中波谷邻域灰度值和波谷波峰灰度值的相对关系为权值,改善最大类间方差算法定位阈值的准确性,使算法所确定的阈值在直方图中具有较小的波谷波峰比值,即使最优阈值定位到与临近波峰具有较大高度差的波谷灰度值。为提高分割效率,本文以前述算法为基础,采用递归单阈值方式进行图像的多阈值分割。实验证明,对强调波谷邻域算法存在的问题本算法有明显的改善,且在多阈值分割的效果及运行时间方面本文算法均具有十分良好的表现。

关键词：计算机应用图像分割多阈值分割递归最大类间方差算法波谷

来源：评论

学校读者我要写书评

暂无评论

基于可中断Option的在线分层强化学习方法

引用

通信学报 2016年第6期37卷 65-74页

作者：朱斐许志鹏刘全伏玉琛王辉苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

针对大数据体量大的问题,在Macro-Q算法的基础上提出了一种在线更新的Macro-Q算法(MQIU),同时更新抽象动作的值函数和元动作的值函数,提高了数据样本的利用率。针对传统的马尔可夫过程模型和抽象动作均难于应对可变性,引入中断机制,提... 详细信息

针对大数据体量大的问题,在Macro-Q算法的基础上提出了一种在线更新的Macro-Q算法(MQIU),同时更新抽象动作的值函数和元动作的值函数,提高了数据样本的利用率。针对传统的马尔可夫过程模型和抽象动作均难于应对可变性,引入中断机制,提出了一种可中断抽象动作的Macro-Q无模型学习算法(IMQ),能在动态环境下学习并改进控制策略。仿真结果验证了MQIU算法能加快算法收敛速度,进而能解决更大规模的问题,同时也验证了IMQ算法能够加快任务的求解,并保持学习性能的稳定性。

关键词：大数据强化学习分层强化学习 Option 在线学习

来源：评论

学校读者我要写书评

暂无评论

基于滑动窗口的量子秘钥管理算法

引用

吉林大学学报（工学版） 2016年第2期46卷 535-541页

作者：韩家伟刘衍珩孙鑫宋立军吉林大学计算机科学与技术学院长春130012 长春大学量子通信技术实验室长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对量子秘钥分发(QKD)技术应用在经典网络加密时量子秘钥管理的问题,提出了一种基于滑动窗口的量子秘钥管理算法(RSQKW)。算法首先引入滑动窗口机制控制量子秘钥的消耗;然后通过探测到的量子网络的状态和量子秘钥生成速率协商滑动窗口... 详细信息

针对量子秘钥分发(QKD)技术应用在经典网络加密时量子秘钥管理的问题,提出了一种基于滑动窗口的量子秘钥管理算法(RSQKW)。算法首先引入滑动窗口机制控制量子秘钥的消耗;然后通过探测到的量子网络的状态和量子秘钥生成速率协商滑动窗口的控制参数;最后利用量子秘钥本身的随机特性计算滑动窗口的滑动步长,滑动窗口中的量子秘钥序列作为新生成的用于经典加密算法的秘钥。与传统方法相比,该算法能够在应用量子加密到经典网络环境时更好的动态管理量子秘钥。在真实的量子秘钥分发网络中的实验结果证明了该算法的可行性和有效性。

关键词：计算机应用量子密钥分发滑动窗口秘钥管理 QKD协议

来源：评论

学校读者我要写书评

暂无评论

基于超扩展规则的知识编译方法

引用

计算机学报 2016年第8期39卷 1681-1696页

作者：刘磊牛当当吕帅吉林大学计算机科学与技术学院长春130012 吉林大学数学学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编... 详细信息

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出了扩展反驳方法,是一种新型推理方法,并在该推理方法与知识编译之间建立了联系.基于超扩展规则的性质,该文还提出了两种知识编译算法:求并知识编译算法UKCHER和求差知识编译算法DKCHER,是两种新的知识编译算法.算法UKCHER是目前为止唯一一个可并行的EPCCL理论编译算法,算法DKCHER对于相变点附近的难解问题具有较高的编译效率和编译质量.实验结果表明:UKCHER算法的编译效率和编译质量均优于Lin等人提出的KCER算法;当子句数和变量数的比值较大时,DKCHER算法的编译效率和编译质量是最优的,相比于现有EPCCL理论编译算法,该算法具有较强的竞争力.

关键词：知识编译扩展规则超扩展规则 EPCCL理论扩展反驳

来源：评论

学校读者我要写书评

暂无评论

计算机专业课程群的网络教学平台建设

引用

计算机教育 2017年第2期 7-9页

作者：黄岚叶育鑫金京姬欧阳丹彤吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

当前计算机专业的网络教学课程独立分散,缺乏有效整合,难以形成合力且不可持续性的建设。文章在剖析计算机专业课程整体化建设难点的基础上,针对课程群中不同课程的实际情况,提出分批次原则建设课程群网络平台。同时,在归纳总结不同课... 详细信息

当前计算机专业的网络教学课程独立分散,缺乏有效整合,难以形成合力且不可持续性的建设。文章在剖析计算机专业课程整体化建设难点的基础上,针对课程群中不同课程的实际情况,提出分批次原则建设课程群网络平台。同时,在归纳总结不同课程的课程性质和课程特征的基础上,提出计算机课程群网络平台建设评价标准,并采取滚动式验收策略评价课程群的课程资源。

关键词：计算机学科网络教学课程建设课程群

来源：评论

学校读者我要写书评

暂无评论

加强党支部建设以及党员工作研究

引用

中文信息 2018年第3期 250-250页

作者：冷嵩吉林大学珠海学院符号计算与知识工程教育部重点实验室珠海分实验室广东珠海 519041 吉林大学珠海学院广东珠海 519041

随着社会的不断进步与发展,我们国家的党员干部人群不断壮大.对于高校来讲,党支部的建设是党建工作的一个核心任务,做好党支部建设以及党员工作是高校党支部健康发展的重要前提.但是现如今,对于高校的学生党员来讲,还存在一系列的问题.... 详细信息

随着社会的不断进步与发展,我们国家的党员干部人群不断壮大.对于高校来讲,党支部的建设是党建工作的一个核心任务,做好党支部建设以及党员工作是高校党支部健康发展的重要前提.但是现如今,对于高校的学生党员来讲,还存在一系列的问题.本文主要就这一系列问题以及如何积极地探索高校党员的教育工作,提高党员的综合素质进行简要的研究.

关键词：党支部建设党员教育综合素质

来源：评论

学校读者我要写书评

暂无评论

基于表达谱数据的乳腺癌疾病力学-药物靶点识别

引用

北京生物医学工程 2017年第6期36卷 558-563,625页

作者：余静芸李乾鹏田地李冬果首都医科大学生物医学工程学院北京100069 吉林大学符号计算与知识工程教育部重点实验室长春130012

目的通过挖掘乳腺癌疾病力学-药物靶点,将力学与药物相结合,为乳腺癌新药的开发以及老药新用提供重要参考。方法基于乳腺癌多重表达谱数据及GO数据库注释文件,应用差异表达分析及富集分析等生物信息学方法挖掘与乳腺癌疾病力学-药物相... 详细信息

目的通过挖掘乳腺癌疾病力学-药物靶点,将力学与药物相结合,为乳腺癌新药的开发以及老药新用提供重要参考。方法基于乳腺癌多重表达谱数据及GO数据库注释文件,应用差异表达分析及富集分析等生物信息学方法挖掘与乳腺癌疾病力学-药物相关的作用靶点,并基于药物靶点数据库构建包含GO功能-基因-药物的三维网络图。结果通过整合数据识别出乳腺癌疾病中参与到力学-药学作用机制中的靶点87个,其中12个被证实为乳腺癌或癌症药物靶点并且发挥了力学相关功能,其余靶点可作为潜在乳腺癌药物靶点。结论通过数据挖掘找出87个参与到乳腺癌疾病力学-药学作用中的靶点,揭示了乳腺癌疾病中力学-药物作用的分子机制,为疾病药物治疗提供了指引。

关键词：乳腺癌力学微环境药物靶点功能分析数据挖掘

来源：评论

学校读者我要写书评

暂无评论

应用型本科院校C#课程教学实践问题与对策

引用

教育教学论坛 2017年第30期 218-219页

作者：林刚傅晓阳文全刚尹贺符号计算与知识工程教育部重点实验室珠海分实验室广东珠海519000 吉林大学珠海学院计算机科学与技术系广东珠海519041

本文立足于应用型本科院校,概述和分析C#课程教学过程中遇到的四类常见问题,并结合教学实践给出了相应对策,举实例说明了具体方案。

关键词： C# .NET框架教学面向对象程序设计

来源：评论

学校读者我要写书评

暂无评论

面向不确定移动对象的连续K近邻查询算法

引用

模式识别与人工智能 2016年第11期29卷 1048-1056页

作者：于彦伟齐建鹏宋鹏张永刚烟台大学计算机与控制工程学院烟台264005 吉林大学符号计算与知识工程教育部重点实验室长春130012

近年来,位置服务等领域急需解决的一个难点问题是不确定移动对象连续K近邻查询.基于此情况,文中提出高效的面向不确定移动对象的连续K近邻查询算法.首先提出2种预测移动对象可能区域算法Max Min与Rate,利用最近一段时间窗口内的位置采... 详细信息

近年来,位置服务等领域急需解决的一个难点问题是不确定移动对象连续K近邻查询.基于此情况,文中提出高效的面向不确定移动对象的连续K近邻查询算法.首先提出2种预测移动对象可能区域算法Max Min与Rate,利用最近一段时间窗口内的位置采样、速度和方向预测移动对象在查询时刻到未来I区间可能的位置区域.同时使用最小距离与最大距离区间描述移动对象到查询对象的距离.然后采用优化的基于模糊可能度判定的排序方法查找查询对象的K近邻.最后在真实和合成的大规模移动对象数据集上验证文中方法的有效性.

关键词：移动对象 K近邻查询可能度判定排序

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：