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

计算机学报 2014年第4期37卷 833-847页

作者：杨博陈贺昌朱冠宇赵学华吉林大学计算机科学与技术学院长春 130012 符号计算与知识工程教育部重点实验室吉林大学长春 130012 吉林大学软件学院长春 130012

作为搜索引擎的核心部件,网页排名算法决定了搜索到的相关结果以何种顺序呈现给用户,其性能的优劣将会直接影响搜索引擎的服务质量和用户的搜索体验.在计算网页的权威性时,现有的基于链接的网页排名算法和网页作弊检测算法仅关注网页的... 详细信息

作为搜索引擎的核心部件,网页排名算法决定了搜索到的相关结果以何种顺序呈现给用户,其性能的优劣将会直接影响搜索引擎的服务质量和用户的搜索体验.在计算网页的权威性时,现有的基于链接的网页排名算法和网页作弊检测算法仅关注网页的超链接数量和质量,而忽略了超链接来源的多样性———另一种客观评价网页权威性的重要信息.相比于真正的权威页面(具有大量且来源广泛的入链),通过作弊手段提升排名的网页往往不具有入链来源多样性的特征.基于以上思想,文中分别提出了超链接来源多样性判断方法、超链接权值调整方法,进而提出了基于超链接来源多样性分析的网页排名算法Drank.在多个基准数据集上的实验结果表明:与现有最好的同类算法相比,综合寻找优质页面和抑制网页排名作弊两方面,Drank算法表现出更好的性能.

关键词：搜索引擎排名算法作弊检测链接分析概率计数社会计算社交网络

来源：评论

学校读者我要写书评

暂无评论

结合故障逻辑关系的极小冲突集求解方法

引用

计算机研究与发展 2020年第7期57卷 1472-1480页

作者：欧阳丹彤高菡徐旖旎张立明吉林大学软件学院长春130012 吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ... 详细信息

基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FLR(minimal conflict set-fault logic relationship):首先提出单元件非冲突集定理,对单元件集合进行剪枝,避免了对无解空间中单元件节点的访问;其次,提出非极小冲突集定理,推证得出故障输出相关元件集的超集都是冲突集,故对有解空间中的非极小解进行剪枝.MCS-FLR方法在MCS-SFFO方法基础上减少了大量有解空间和部分无解空间调用SAT求解器的次数,节省了求解时间.实验结果表明:相比于MCS-SFFO方法,MCS-FLR方法求解效率有显著提高.

关键词：基于模型诊断非极小冲突集合枚举树故障输出相关元件集有解剪枝

来源：评论

学校读者我要写书评

暂无评论

车载控制器局域网络安全协议

引用

西安交通大学学报 2018年第5期52卷 94-100页

作者：刘毅秦贵和赵睿吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

针对汽车智能化、网联化快速发展,攻击者通过逐渐开放的接口向汽车发动攻击,严重威胁驾驶者的人身和财产安全,进而引发的车载信息安全问题,提出了一种车载控制器局域网络安全协议(SPOCAN)。SPOCAN包含2个模块,启动阶段的安全模块采用公... 详细信息

针对汽车智能化、网联化快速发展,攻击者通过逐渐开放的接口向汽车发动攻击,严重威胁驾驶者的人身和财产安全,进而引发的车载信息安全问题,提出了一种车载控制器局域网络安全协议(SPOCAN)。SPOCAN包含2个模块,启动阶段的安全模块采用公钥体系认证机制,在车辆点火启动的过程中进行初始化认证,保证了待通信节点身份的真实性;通信阶段的安全模块采用对称加密算法及信息摘要算法,在车辆正常运行时保障了节点间通信的安全,保证了数据机密性、消息正确性和数据完整性,并通过递增的序列号实现了防重放保护。通过搭建控制器局域网络车载控制系统的硬件平台对所提出的安全协议进行评估,实验结果表明,该协议能够从汽车点火启动阶段到运行通信阶段有效地为车载控制器局域网络提供安全保障,提高了网络的信息安全级别。

关键词：车载信息安全控制器局域网络安全协议

来源：评论

学校读者我要写书评

暂无评论

故障响应指导下基于测试集的故障诊断方法

引用

吉林大学学报（工学版） 2021年第3期51卷 1017-1025页

作者：欧阳丹彤刘扬刘杰吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

通过对电路中故障输出特征进行研究,结合增强故障诊断(ADD)测试候选诊断求解方法,提出了故障响应指导下的候选诊断求解方法ALFDD。依据当前测试激励下实际输出响应与预期输出响应不相同的单故障更可能是故障诊断解的原理,提出了候选单... 详细信息

通过对电路中故障输出特征进行研究,结合增强故障诊断(ADD)测试候选诊断求解方法,提出了故障响应指导下的候选诊断求解方法ALFDD。依据当前测试激励下实际输出响应与预期输出响应不相同的单故障更可能是故障诊断解的原理,提出了候选单故障集合的概念。针对ADD方法中需对电路的所有单故障求解F_(same)的问题,给出仅对候选单故障集合求解F_(same)的方法。该方法一方面避免了对所有单故障都进行对比并求解F_(same)的问题,提高了诊断求解效率;另一方面有效删除了F_(same)中包含的冗余候选诊断解,提高了候选诊断解的分辨率;此外,还增加了候选故障集中所包含的真实诊断解的数量,提高了候选诊断解的准确率。实验结果表明,与ADD方法相比,ALFDD方法候选诊断分辨率和准确率明显提高,求解效率也有较大提高。

关键词：计算机应用模型故障故障诊断候选单故障集合诊断准确性诊断分辨率

来源：评论

学校读者我要写书评

暂无评论

基于集合阻塞的不确定系统中传感器选择方法

引用

吉林大学学报（工学版） 2023年第2期53卷 547-554页

作者：欧阳丹彤孙睿田新亮高博涵吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

动态系统故障检测与隔离(FDI)的一个重要步骤是选择一组满足故障检测性与故障隔离性且花费最小的传感器集合。针对不确定系统,故障可诊断性量化方法被用来量化系统的故障检测性和故障隔离性。由于传感器选择问题的搜索空间随传感器规模... 详细信息

动态系统故障检测与隔离(FDI)的一个重要步骤是选择一组满足故障检测性与故障隔离性且花费最小的传感器集合。针对不确定系统,故障可诊断性量化方法被用来量化系统的故障检测性和故障隔离性。由于传感器选择问题的搜索空间随传感器规模增大呈指数增长,目前没有研究针对量化可诊断性的不确定系统提出传感器选择的完备方法。针对该问题本文提出基于集合阻塞策略的传感器选择算法:通过二进制整数优化问题(BILP)实现子集阻塞与超集阻塞;通过迭代阻塞搜索空间减小所需遍历的节点。在标准测试用例上的实验结果表明:针对实验中的绝大多数搜索空间,与深度优先遍历方法相比,本文方法效率提高了4.41~103.37倍。且在区分度计算次数相同的情况下,本文方法得到的大多数解优于现行的高效算法。

关键词：故障诊断传感器选择基于模型诊断故障可诊断性分析

来源：评论

学校读者我要写书评

暂无评论

车载CAN总线网络安全问题及异常检测方法

引用

吉林大学学报（工学版） 2016年第4期46卷 1246-1253页

作者：于赫秦贵和孙铭会闫鑫王璇喆吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

在汽车智能化进程加快以及车联网技术快速发展的背景下,分析了车载CAN总线网络安全现状,总结了车载CAN总线网络潜在的安全漏洞,归纳了对车载CAN总线网络的攻击手段,提出了使用信息熵的车载CAN总线网络异常检测方法,并对该方法的有效性... 详细信息

在汽车智能化进程加快以及车联网技术快速发展的背景下,分析了车载CAN总线网络安全现状,总结了车载CAN总线网络潜在的安全漏洞,归纳了对车载CAN总线网络的攻击手段,提出了使用信息熵的车载CAN总线网络异常检测方法,并对该方法的有效性进行了实验验证。理论分析及实验结果均表明:使用信息熵的车载CAN总线网络异常检测方法是有效可行的。

关键词：计算机应用 CAN总线异常检测信息熵车载网络安全

来源：评论

学校读者我要写书评

暂无评论

基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法

引用

吉林大学学报（工学版） 2023年第4期53卷 1163-1173页

作者：欧阳丹彤孙睿田新亮张立明刘萍萍吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

选择一组能够检测并隔离所有故障的故障检测隔离集(FDIS)是动态系统基于模型故障检测与隔离(FDI)的重要步骤,该步骤通常要求FDIS的基数最小,即求解最小故障检测隔离集(MFDIS),MFDIS的求解时间随着问题规模增大呈指数级增长。BILP(Binary... 详细信息

选择一组能够检测并隔离所有故障的故障检测隔离集(FDIS)是动态系统基于模型故障检测与隔离(FDI)的重要步骤,该步骤通常要求FDIS的基数最小,即求解最小故障检测隔离集(MFDIS),MFDIS的求解时间随着问题规模增大呈指数级增长。BILP(Binary integer linear programming)完备方法是现行动态系统中通用和最高效的MFDIS求解方法,但该方法的求解效率有待提高。本文首次提出了基于部分最大可满足性问题(PMS)的MFDIS求解方法。提出极小超定方程集(MSO)的概念,将部分MSO集合用MSO等价集表示,以缩减问题规模。将MFDIS求解问题转化为PMS问题,进而提高求解效率。实验结果表明,本文方法将问题规模平均约简至原来的8.22%;与BILP方法相比,本文方法的求解效率提高了4.18~9.5倍。

关键词：基于模型诊断最小故障检测隔离集故障检测与隔离最小型超定方程集部分最大可满足性问题

来源：评论

学校读者我要写书评

暂无评论

蚁群变异粒子群优化的2次虹膜识别

引用

计算机辅助设计与图形学学报 2018年第9期30卷 1604-1614页

作者：刘帅刘元宁朱晓冬林泽江杨金阳吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012 吉林大学计算机科学与技术学院长春130012

针对多类别虹膜识别耗时长、图像容易受到干扰以及识别不准确的问题,提出基于蚁群变异粒子群优化的2次虹膜识别算法.首先用主成分分析法降低虹膜的噪声与冗余;然后通过Gabor滤波与Hamming距离进行首次识别,将虹膜分为淘汰类别与待定类别... 详细信息

针对多类别虹膜识别耗时长、图像容易受到干扰以及识别不准确的问题,提出基于蚁群变异粒子群优化的2次虹膜识别算法.首先用主成分分析法降低虹膜的噪声与冗余;然后通过Gabor滤波与Hamming距离进行首次识别,将虹膜分为淘汰类别与待定类别,淘汰差异较大的虹膜,缩小识别范围,对待定类别用Haar小波与BP神经网络进行2次识别,确定虹膜类别,神经网络连接权重与Gabor滤波参数用蚁群变异法改进的粒子群优化算法优化.与多种算法在不同虹膜库进行比较的实验结果表明,该算法识别性能高,稳定性、鲁棒性好,消耗时间短.

关键词： 2次虹膜识别蚁群变异粒子群优化主成分分析

来源：评论

学校读者我要写书评

暂无评论

车载FlexRay总线安全协议的设计与实现

引用

西安交通大学学报 2018年第12期52卷 63-69页

作者：韩正士秦贵和赵睿刘毅梁云龙吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学软件学院长春130012

针对智能车、网联车的高速发展所引发的车载信息安全问题设计了车载FlexRay总线安全协议。该协议包含两个模块:节点身份认证模块和网络安全加密模块。节点身份认证模块采用密钥交换算法以及非对称加密算法保证连入总线节点身份的合法性... 详细信息

针对智能车、网联车的高速发展所引发的车载信息安全问题设计了车载FlexRay总线安全协议。该协议包含两个模块:节点身份认证模块和网络安全加密模块。节点身份认证模块采用密钥交换算法以及非对称加密算法保证连入总线节点身份的合法性;网络安全加密模块采用对称加密算法以及哈希算法保证总线传输数据的机密性、真实性和新鲜性。与其他协议相比,该协议既能够提供节点的身份认证,又能在不影响总线实时通信的基础上保护总线的信息安全。实验结果表明,该协议能够在满足实时通信的基础上为汽车提供从启动到运行全方位的信息安全防护,提升了车载FlexRay总线的信息安全防护级别。

关键词：车载信息安全 FlexRay总线安全协议实时通信

来源：评论

学校读者我要写书评

暂无评论

求解约束可满足问题的eSTR算法优化

引用

计算机研究与发展 2016年第7期53卷 1586-1595页

作者：王瑞伟李占山李宏博符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学软件学院长春130012 吉林大学计算机科学与技术学院长春130012

表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.... 详细信息

表约束方法是1种外延式知识表示方法,每个约束通过元组集直接枚举出其在1个变量集上允许或禁止的所有元组,直观易于理解,在约束程序中得到了深入的研究,这是因为表约束出现在如设计、数据库、配置以及偏好建模等许多现实世界的应用中.但随着约束的增多及其元组集增大,占有的空间与相容性检测效率成了关键问题.eSTR是1个将STR扩展到高阶相容的算法,通过深入分析eSTR算法后发现有2种优化方式:PWsup数据结构和极小约束范围,同时证明了在极小约束范围上,约束网络仍然能够维持PWC+GAC,其中极小约束范围可以通过删除约束元组集中相应的列来降低eSTR2算法的空间消耗,而PWsup数据结构能够通过避免不必要的PW支持检测来减少eSTR2的CPU运行时间,实验结果表明:2种优化方式和eSTR2相结合后能够同时减少算法的空间消耗和CPU运行时间,在许多类实例上明显优于eSTR2和eSTR2w.

关键词：高阶相容极小约束范围约束网络 PWsup数据结构 PWC+GAC

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：