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

计算机科学 2017年第B11期44卷 485-489,515页

作者：张兴隆于磊侯雪梅侯韶凡中国人民解放军信息工程大学郑州450001 中国人民解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类... 详细信息

针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。

关键词：软件测试蜕变测试蜕变关系变异测试

来源：评论

学校读者我要写书评

暂无评论

融入重心反向学习和单纯形搜索的粒子群优化算法

引用

计算机工程与科学 2023年第9期45卷 1629-1638页

作者：张文宁周清雷焦重阳梅亮信息工程大学数学工程与先进计算国家重点实验室河南郑州450001 中原工学院软件学院河南郑州450007 郑州大学信息工程学院河南郑州450001

针对粒子群优化PSO算法后期种群多样性差和易陷入局部最优解等问题,提出具备重心反向学习和单纯形搜索行为的粒子群优化COLS-PSO算法。初始时,基于混沌策略构造出搜索空间。进化过程中,基于Spearman系数选择需要进行重心反向学习的粒子... 详细信息

针对粒子群优化PSO算法后期种群多样性差和易陷入局部最优解等问题,提出具备重心反向学习和单纯形搜索行为的粒子群优化COLS-PSO算法。初始时,基于混沌策略构造出搜索空间。进化过程中,基于Spearman系数选择需要进行重心反向学习的粒子,以帮助算法逃离局部极值区域。进一步引入局部搜索能力较强的单纯形搜索方法增强对最优粒子邻近区域的开发,以提高搜索精度。实验先在若干标准测试函数上进行,之后将COLS-PSO算法应用于软件测试数据生成问题。实验结果表明,COLS-PSO算法在求解精度、收敛速度和有效性方面表现较好,能够有效平衡种群多样性和算法收敛性的矛盾。

关键词：粒子群优化算法混沌策略重心反向学习单纯形搜索测试数据生成

来源：评论

学校读者我要写书评

暂无评论

三角域上双变量Jacobi-Bernstein的基转换及应用

引用

计算机辅助设计与图形学学报 2009年第10期21卷 1394-1400页

作者：蔡华辉王国瑾浙江大学数学系计算机图象图形研究所杭州310027 浙江大学CAD&CG国家重点实验室杭州310058 景德镇陶瓷学院信息工程学院景德镇333001

为了在CAGD中有效地求解三角域上Bézier曲面的最小平方逼近问题,给出了三角域上双变量Jacobi基和Bernstein基的相互转换矩阵.首先利用Bernstein基构造了三角域上的Jacobi多项式;然后利用单变量Jacobi基和Bernstein基的转换关系,给... 详细信息

为了在CAGD中有效地求解三角域上Bézier曲面的最小平方逼近问题,给出了三角域上双变量Jacobi基和Bernstein基的相互转换矩阵.首先利用Bernstein基构造了三角域上的Jacobi多项式;然后利用单变量Jacobi基和Bernstein基的转换关系,给出了三角域上双变量Bernstein基与Jacobi基的相互转换矩阵.进一步,利用该矩阵得到了在加权L2范数下基于正交基的Bézier曲面最佳降多阶逼近算法,给出了具体的最佳降多阶矩阵以及该降阶逼近的可预报的误差公式.

关键词：三角域 Bernstein基 Jacobi基转换矩阵 Bézier曲面降阶矩阵表示

来源：评论

学校读者我要写书评

暂无评论

基于属性的角色委派模型可达性推理方法研究

引用

计算机工程 2014年第9期40卷 143-148页

作者：任志宇陈性元马军强解放军信息工程大学四院郑州450001 河南省信息安全重点实验室郑州450004 数学工程与先进计算国家重点实验室郑州450001

提出基于属性的角色委派模型,通过引入属性扩展授权管理策略的表达能力,并采用描述逻辑定义模型的概念及其关系。为解决分布式环境下授权管理策略检测困难的问题,对模型的用户-角色可达性问题进行定义和分析,采用SWRL描述推理规则,利用... 详细信息

提出基于属性的角色委派模型,通过引入属性扩展授权管理策略的表达能力,并采用描述逻辑定义模型的概念及其关系。为解决分布式环境下授权管理策略检测困难的问题,对模型的用户-角色可达性问题进行定义和分析,采用SWRL描述推理规则,利用推理引擎实现用户-角色可达性的自动推理,并通过应用实例对推理方法的正确性和可行性进行验证。实验结果表明,针对某一策略进行推理时所需的时间随策略数量的增加上升平缓,因此,该推理方法适用于授权管理策略的自动检测,可有效避免因策略执行结果不直观而引发的安全隐患,为授权管理模型的安全应用提供支撑。

关键词：属性角色委派可达性推理基于角色的访问控制描述逻辑

来源：评论

学校读者我要写书评

暂无评论

基于集合论的E-mail碎片雕刻模型及算法

引用

计算机工程 2014年第5期40卷 317-320,F0003页

作者：李炳龙张传富韩宗达王清贤解放军信息工程大学四院郑州450004 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450004 解放军信息工程大学三院郑州450004

为获取存储介质中的碎片E-mail证据,利用集合论原理对邮件碎片文件雕刻问题进行分析,确定基于集合论划分思想的碎片文件雕刻思路。设计包含预处理、E-mail文件碎片子集确定、E-mail碎片间的连接关系确定等过程的邮件碎片文件雕刻算法模... 详细信息

为获取存储介质中的碎片E-mail证据,利用集合论原理对邮件碎片文件雕刻问题进行分析,确定基于集合论划分思想的碎片文件雕刻思路。设计包含预处理、E-mail文件碎片子集确定、E-mail碎片间的连接关系确定等过程的邮件碎片文件雕刻算法模型。利用十六进制编辑器,阐述E-mail文件的内部结构特征,结合碎片邮件头尾和内嵌的html文件特征,论述存储介质上碎片的属性,给出碎片间的集中特性、跟随特性、线性特性以及信息特性的连接规则。实验结果表明,碎片邮件文件雕刻算法能更有效地获取邮件证据。

关键词： E-mail文件雕刻数字犯罪调查碎片子集特征标识复合文件类型碎片连接规则

来源：评论

学校读者我要写书评

暂无评论

基于多种提及关系的社交媒体用户位置推断

引用

通信学报 2020年第12期41卷 72-81页

作者：乔亚琼罗向阳马江涛李晨亮张萌李瑞祥信息工程大学网络空间安全学院河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001 郑州轻工业大学计算机与通信工程学院河南郑州450001 武汉大学国家网络安全学院湖北武汉430075

针对现有基于生成文本和社交关系的联合位置推断方法对社交媒体中异质数据间的位置关联性挖掘不充分的问题,提出了一种基于多种提及关系的社交媒体用户位置推断方法。首先,综合考虑社交媒体文本中用户之间的提及关系、用户对位置指示词... 详细信息

针对现有基于生成文本和社交关系的联合位置推断方法对社交媒体中异质数据间的位置关联性挖掘不充分的问题,提出了一种基于多种提及关系的社交媒体用户位置推断方法。首先,综合考虑社交媒体文本中用户之间的提及关系、用户对位置指示词的提及关系和用户对地理名词的提及关系,构建包含用户、位置指示词和地理名词3种节点的异质网络;其次,基于共同提及关系提出用户−词语−位置简化算法来构建用户−位置异质网络,将位置邻近的用户更为紧密地联系起来;再次,提出有偏的随机游走算法对图中节点采样以充分探索网络结构,缓解已知位置的稀疏性问题;最后,采用基于多层感知机的神经网络分类器对用户进行位置推断。在GEOTEXT、TW-US和TW-WORLD这3个代表性Twitter数据集上的实验结果表明,所提方法可显著提高用户位置推断准确率。

关键词：社交媒体异质网络用户位置推断提及关系

来源：评论

学校读者我要写书评

暂无评论

面向云服务的匿名单点登录认证协议

引用

计算机应用研究 2018年第10期35卷 3104-3108页

作者：宋健尹军广晖李光松马传贵信息工程大学数学工程与先进计算国家重点实验室郑州450001 郑州大学体育学院郑州450044 陆军航空兵学院北京101116

单点登录可以使用户只需进行一次身份验证就能高效便捷地访问多种网络服务。为了使用户可以更加安全高效地访问服务,基于扩展切比雪夫混沌映射提出了一种新的单点登录认证协议,并证明了其安全性。方案中用户和云端应用服务器利用身份信... 详细信息

单点登录可以使用户只需进行一次身份验证就能高效便捷地访问多种网络服务。为了使用户可以更加安全高效地访问服务,基于扩展切比雪夫混沌映射提出了一种新的单点登录认证协议,并证明了其安全性。方案中用户和云端应用服务器利用身份信息生成公、私钥对,并结合DH密钥交换思想进行双向认证。与现有其他基于切比雪夫混沌映射的认证协议进行了比较,结果显示提出的认证协议更加安全高效。

关键词：云服务切比雪夫多项式匿名单点登录认证协议

来源：评论

学校读者我要写书评

暂无评论

基于多途径融合的操作系统线上教学方法实践

引用

计算机教育 2021年第3期 59-63页

作者：姚金阳王俊超单征刘福东徐金龙信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

针对线上教学过程中师生间交流形式匮乏、教师难以掌握学生学习效果等实际情况,提出开展多途径融合授课的线上教学方式,采用以幕课与直播教学相结合为主、线上讨论与实施过程性评价为辅的教学模式,介绍具体课程线上教学过程,最后通过平... 详细信息

针对线上教学过程中师生间交流形式匮乏、教师难以掌握学生学习效果等实际情况,提出开展多途径融合授课的线上教学方式,采用以幕课与直播教学相结合为主、线上讨论与实施过程性评价为辅的教学模式,介绍具体课程线上教学过程,最后通过平时表现与终结性考核成绩说明教学效果。

关键词：线上教学直播授课操作系统自主学习多途径融合

来源：评论

学校读者我要写书评

暂无评论

基于指令集随机化的代码注入型攻击防御技术

引用

计算机应用与软件 2016年第5期33卷 312-316页

作者：王奕森舒辉谢耀滨赵利军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001

针对当前代码注入型攻击防御机制容易被绕过的现状,提出一种基于指令集随机化的防御技术。该技术制定了指令集随机化规则,利用该规则改变obj文件中的指令,从而实现了指令集的随机化。外部注入代码与生成的指令集不兼容,经过动态二进制... 详细信息

针对当前代码注入型攻击防御机制容易被绕过的现状,提出一种基于指令集随机化的防御技术。该技术制定了指令集随机化规则,利用该规则改变obj文件中的指令,从而实现了指令集的随机化。外部注入代码与生成的指令集不兼容,经过动态二进制分析平台翻译后,程序代码正常执行而注入代码变为乱码。基于该技术设计了一套原型系统,并通过大量实验表明可以防御大部分代码注入型攻击。该技术打破了缓冲区溢出漏洞利用所需要的稳态环境,实现了对攻击的主动防御。

关键词：代码注入型攻击指令集随机化动态二进制分析主动防御

来源：评论

学校读者我要写书评

暂无评论

汇编语言教学改革的思考与探索

引用

计算机教育 2015年第13期 60-62页

作者：曾韵王立新司彬彬张有为王瑞敏信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

结合教学实践,提出打牢学生机器思维、紧密结合现实应用开展汇编语言教学的思路,探讨围绕该教学思路所进行的课堂授课内容和形式上的改革,给出若干有助于提高汇编语言教学效果的实践环节设计。

关键词：汇编语言教学改革机器思维

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：