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

计算机工程与应用 2015年第12期51卷 74-77页

作者：林佳佳刘衍珩王亚洲田雪颖吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

研究移动社交网络拓扑模型,有助于在更深层次上理解移动社交网络的结构特性和进行相关安全软件的开发。根据移动社交网络的高度动态性,提出了基于随机游走的有向网络拓扑模型,通过上一状态的节点累计连接时间和共点个数变化来决定当前... 详细信息

研究移动社交网络拓扑模型,有助于在更深层次上理解移动社交网络的结构特性和进行相关安全软件的开发。根据移动社交网络的高度动态性,提出了基于随机游走的有向网络拓扑模型,通过上一状态的节点累计连接时间和共点个数变化来决定当前节点状态。仿真实验表明,构造的移动社交网络拓扑模型符合真实移动社交网络环境下具有幂律特性的拓扑结构。

关键词：移动社交网络随机游走动态性累积连接时间共点

来源：评论

学校读者我要写书评

暂无评论

基于局部结构交互的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二级结构假结最小自由能交互配对

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

关键词：高等教育计算机专业课程群网络教学平台

来源：评论

学校读者我要写书评

暂无评论

以党建思想进一步加强吉林大学珠海学院教辅人员服务意识的若干思考

引用

教师 2016年第10期 118-118页

作者：黄荣生郭享渠马蕊吉林大学珠海学院符号计算与知识工程教育部重点实验室珠海分实验室

吉林大学珠海学院（以下简称＂学校＂）是经教育部2004年5月18日批准成立,现由吉林大学与珠海市华政教育投资有限公司在吉林大学珠海校区合作建设的独立学院。随着学校不断发展,要保证学校教学工作的良好运行,离不开教学教辅部门管理的... 详细信息

吉林大学珠海学院（以下简称＂学校＂）是经教育部2004年5月18日批准成立,现由吉林大学与珠海市华政教育投资有限公司在吉林大学珠海校区合作建设的独立学院。随着学校不断发展,要保证学校教学工作的良好运行,离不开教学教辅部门管理的有效组织和协调。如何提高学校教辅工作人员的服务意识,显得尤为重要,这要求我们时刻以党建思想严格要求自己,提高服务质量。

关键词：党建思想服务意识教辅人员党员

来源：评论

学校读者我要写书评

暂无评论

结构矩阵秩亏的可信验证

引用

系统科学与数学 2015年第11期35卷 1374-1382页

作者：李喆刘琦长春理工大学理学院长春130022 自动推理与认知重庆市重点实验室重庆400714 吉林大学符号计算与知识工程教育部重点实验室长春130022 中科院系统所数学机械化重点实验室北京10090

利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一... 详细信息

利用区间算法,研究结构矩阵秩亏的可信性验证.给定具有特殊代数结构且数值秩为k的实矩阵A(p),给出算法输出具有相同代数结构的区间矩阵A(p+W),其每一个位置的元素为矩阵A(p)相应位置的元素的很小的区间摄动,使得区间矩阵A(p+W)中包含一具有相同代数结构且秩为k的实矩阵A(p+w).

关键词：区间算法结构矩阵可信性验证 INTLAB.

来源：评论

学校读者我要写书评

暂无评论

基于小波树的电容型设备异常检测方法

引用

吉林大学学报（理学版） 2015年第6期53卷 1275-1281页

作者：虞强源范世超金承业吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林省乐金电子有限公司长春130062

针对电力系统中电容型设备的异常检测问题,以介质损耗因数为主要监测参数,提出一种基于小波树的设备绝缘性异常检测方法,以解决异常的自动检测问题.该方法利用在线监测获得的介质损耗因数数据,采用二层小波树方法进行异常检测,通过检测... 详细信息

针对电力系统中电容型设备的异常检测问题,以介质损耗因数为主要监测参数,提出一种基于小波树的设备绝缘性异常检测方法,以解决异常的自动检测问题.该方法利用在线监测获得的介质损耗因数数据,采用二层小波树方法进行异常检测,通过检测介质损耗因数的突发性和持续性突变异常,分析得到设备的绝缘性异常检测结果.根据对变电所电容型设备实测数据的分析,验证了该方法的有效性和实用性,为设备的异常预警提供了辅助支持.

关键词：异常检测小波树电容型设备介质损耗因数

来源：评论

学校读者我要写书评

暂无评论

基于Hash函数的抵御失去同步RFID安全认证协议

引用

吉林大学学报（理学版） 2015年第3期53卷 499-504页

作者：郑莹欧阳丹彤何丽莉白洪涛吉林大学公共计算机教学与研究中心长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击... 详细信息

针对无线射频识别(RFID)技术存在的同步安全隐患,提出一种新的基于单向Hash函数的安全认证协议,以解决存在于RFID系统中的各种安全问题,并对提出的协议进行基于GNY逻辑的形式化证明和对比分析.结果表明,该协议可有效解决窃听、重放攻击、失去同步等安全问题,在能耗、安全与性能方面优于当前其他主流协议.

关键词： RFID Hash函数协议 GNY逻辑

来源：评论

学校读者我要写书评

暂无评论

欠定非线性系统极小二范数解的可信误差界

引用

吉林大学学报（理学版） 2015年第3期53卷 414-418页

作者：李喆桑海风徐维华长春理工大学理学院长春130022 自动推理与认知重庆市重点实验室重庆400714 符号计算与知识工程教育部重点实验室长春130012 北华大学数学与统计学院吉林吉林132013

考虑欠定非线性系统极小二范数解的可信验证问题.欠定非线性系统的极小二范数解为解向量二范数的极小值点,对给定的欠定非线性系统,将方形非线性系统单根的可信验证方法与对称正定矩阵的可信验证方法相结合,给出计算Jacobi矩阵为列满秩... 详细信息

考虑欠定非线性系统极小二范数解的可信验证问题.欠定非线性系统的极小二范数解为解向量二范数的极小值点,对给定的欠定非线性系统,将方形非线性系统单根的可信验证方法与对称正定矩阵的可信验证方法相结合,给出计算Jacobi矩阵为列满秩欠定非线性系统极小二范数解的可信误差界算法.

关键词：欠定系统极小二范数解可信验证

来源：评论

学校读者我要写书评

暂无评论

云计算中的数据放置与任务调度算法

引用

计算机研究与发展 2014年第11期51卷 2416-2426页

作者：王强李雄飞王婧符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

在海量数据的云计算中,通常面临着数据传输时间长的问题.针对目前大多数数据放置与任务调度算法存在的副本静态性和传输标准精确度的不足,提出了一种动态调整副本个数、以时间作为衡量数据传输标准的数据放置与任务调度算法.该算法根据... 详细信息

在海量数据的云计算中,通常面临着数据传输时间长的问题.针对目前大多数数据放置与任务调度算法存在的副本静态性和传输标准精确度的不足,提出了一种动态调整副本个数、以时间作为衡量数据传输标准的数据放置与任务调度算法.该算法根据数据访问频率和存储大小,动态地调整副本个数,一方面减少了低访问率副本对存储空间的浪费;另一方面也减少了高访问率副本所需跨节点传输次数.考虑到节点间网络带宽的差异性,确定以数据传输时间作为传输衡量标准,提高了传输标准的精确度.实验结果表明,除了任务集和网络节点均较少的情况外,该算法均能有效地减少数据传输时间,甚至在任务集合和网络节点较多的情况下,能减少近50%的传输时间.

关键词：云计算数据放置任务调度数据传输数据副本

来源：评论

学校读者我要写书评

暂无评论

基于概念R-MUPS的本体调试方法?

引用

软件学报 2015年第9期26卷 2231-2249页

作者：欧阳丹彤苏静叶育鑫崔仙姬吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 国家地球物理探测仪器工程技术研究中心(吉林大学) 吉林长春130026 大连民族大学信息与通信工程学院辽宁大连116600

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,... 详细信息

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,采用深度优先遍历原则合并分支计算R-MUPS,同时缓存覆盖概念集合,加快MIPS的求解,实现本体调试.通过概念扩展树与概念R-MUPS算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于R-MUPS的MIPS求解方法能够高效、准确地完成本体调试任务.

关键词：本体调试描述逻辑定位 MUPS MIPS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：