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

计算机工程与应用 2008年第27期44卷 46-48,64页

作者：曾琼黄健魏乐成都信息工程学院计算机基础教学部成都610103 成都信息工程学院计算机系

模型检验技术广泛应用于验证并发系统的性质。它的瓶颈一直是内存爆炸问题,将BDD技术引入到模型检验中的方法能有效地缓和状态组合爆炸问题。然而,随着系统规模的增大,BDD的大小仍呈指数增长。吴方法是一种处理多项式的符号计算方法,能... 详细信息

模型检验技术广泛应用于验证并发系统的性质。它的瓶颈一直是内存爆炸问题,将BDD技术引入到模型检验中的方法能有效地缓和状态组合爆炸问题。然而,随着系统规模的增大,BDD的大小仍呈指数增长。吴方法是一种处理多项式的符号计算方法,能有效地求解代数方程组并成功地应用于几何定理机器证明。给出应用吴方法计算表示Kripke结构和CTL公式的多项式的特征列的方法,从而实现对较大规模的系统性质的验证,进一步缓和状态组合爆炸问题。

关键词：符号模型检验吴方法特征列

来源：评论

学校读者我要写书评

暂无评论

网络调查系统的安全技术策略研究

引用

计算机工程与设计 2008年第3期29卷 592-594,632页

作者：彭城刘全成都信息工程学院计算机基础教学部四川成都610103

描述了基于网络调查系统(NIS)的安全体系结构,分析了NIS的安全体系在当前网络环境下的新特点,分析了NIS可能存在的安全技术隐患;系统研究了NIS安全的各种技术策略,通过对并基于自律分散原则提出了NIS安全技术设计的新思路。

关键词：网络调查系统安全策略自律分散原则

来源：评论

学校读者我要写书评

暂无评论

一种非线性搜索的Unix目录结构及性能分析

引用

微计算机信息 2006年第9X期22卷 257-260页

作者：刘仕筠盛志伟张仕斌成都信息工程学院计算机基础教学部 610103 成都信息工程学院网络工程系 610225

在目前UNIX的目录结构中,对目录项的搜索是线性的。本文首先简要说明目前UNIX目录的搜索过程,然后提出了一种新的Hash目录结构,给出了hash函数,并给出了在这种目录上的搜索过程,最后对其性能作了详细分析,包括它的搜索速度、磁盘块分布... 详细信息

在目前UNIX的目录结构中,对目录项的搜索是线性的。本文首先简要说明目前UNIX目录的搜索过程,然后提出了一种新的Hash目录结构,给出了hash函数,并给出了在这种目录上的搜索过程,最后对其性能作了详细分析,包括它的搜索速度、磁盘块分布和使用情况。实验证明,这种目录结构搜索性能比传统结构有很大的提高。

关键词： UNIX 目录结构非线性 Hash

来源：评论

学校读者我要写书评

暂无评论

基于Hash函数加密方法的安全性研究

引用

河北师范大学学报（自然科学版） 2009年第3期33卷 313-317页

作者：羊裔高成都理工大学信息工程学院四川成都610059 成都信息工程学院计算机基础教学部四川成都610225

针对目前还在普遍使用的公共加密方法,阐述其不安全性,介绍了几种安全的高强度的公共加密方法,并给出了实践中的算法.

关键词： Hash函数 SHA加密 MD5加密安全性

来源：评论

学校读者我要写书评

暂无评论

基于递归学习的组合电路等价性检验方法研究

引用

成都信息工程学院学报 2006年第4期21卷 484-487页

作者：曾琼成都信息工程学院计算机基础教学部

等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法;并讨论了基于递归学习的组合电路等价性检验方法;算法利用直接蕴含和间接蕴含的方法,解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。

关键词：递归学习等价性检验组合电路

来源：评论

学校读者我要写书评

暂无评论

一种广义的主成分分析特征提取方法

引用

计算机工程与应用 2008年第26期44卷 38-40,44页

作者：朱明旱罗大庸易励群中南大学信息科学与工程学院湖南文理学院计算机基础教学部湖南常德415000

提出了一种广义的PCA特征提取方法。该方法先将图像矩阵进行重组,根据重组的图像矩阵构造出总体散布矩阵,然后求出最佳投影向量进行特征提取。它是2DPCA和模块2DPCA的进一步推广,可以建立任意维数的散布矩阵,得到任意维数的投影向量。... 详细信息

提出了一种广义的PCA特征提取方法。该方法先将图像矩阵进行重组,根据重组的图像矩阵构造出总体散布矩阵,然后求出最佳投影向量进行特征提取。它是2DPCA和模块2DPCA的进一步推广,可以建立任意维数的散布矩阵,得到任意维数的投影向量。实验表明,随着总体散布矩阵维数的减小,广义PCA的特征提取能力更强,特征提取的速度也更快。

关键词：散布矩阵主成分分析本征向量特征提取

来源：评论

学校读者我要写书评

暂无评论

数据挖掘在高校教育信息化中的应用

引用

教育与职业 2009年第2期 182-183页

作者：刘仕筠盛志伟郭本俊成都信息工程学院计算机基础教学部讲师四川成都610225 成都信息工程学院网络工程系讲师四川成都610225 成都信息工程学院软件工程系讲师四川成都610225

高校教育信息化的快速发展积累了大量的数据，利用数据挖掘技术可以发掘出数据中隐藏的规律和模式，从而为教育教学决策提供科学依据。文章对数据挖掘的概念和过程进行了简要介绍，探讨了数据挖掘在教学评价、课程设置和网络教学等方面... 详细信息

高校教育信息化的快速发展积累了大量的数据，利用数据挖掘技术可以发掘出数据中隐藏的规律和模式，从而为教育教学决策提供科学依据。文章对数据挖掘的概念和过程进行了简要介绍，探讨了数据挖掘在教学评价、课程设置和网络教学等方面的应用。

关键词：数据挖掘高校教育信息化教学评价 Web挖掘

来源：评论

学校读者我要写书评

暂无评论

以太网数据包捕获与转发技术

引用

微计算机信息 2006年第12S期22卷 279-282页

作者：盛志伟刘仕筠李群成都信息工程学院网络工程系 610103 成都信息工程学院计算机基础教学部 610225 江西工业工程职业技术学院江西萍乡337055

数据包捕获技术在网络安全领域中应用十分广泛,网络入侵检测系统、协议分析软件、防火墙等都需要捕获数据包。本文研究了linux和windows环境下的数据包捕获技术,给出了几种数据包捕获方法,并提出了使用SOCK_PACKET和原始套接字转发数据... 详细信息

数据包捕获技术在网络安全领域中应用十分广泛,网络入侵检测系统、协议分析软件、防火墙等都需要捕获数据包。本文研究了linux和windows环境下的数据包捕获技术,给出了几种数据包捕获方法,并提出了使用SOCK_PACKET和原始套接字转发数据包。其中,还给出一个在windows下使用winpcap和Jpcap捕获数据包的编程方法。

关键词：包捕获 libpcap winpcap Jpcap SOCK_PACKET

来源：评论

学校读者我要写书评

暂无评论

浅析C语言教学中的“教”与“学”

引用

中国科教创新导刊 2008年第22期 157-158页

作者：何钰娟关忠仁成都信息工程学院计算机基础教学部四川成都610225

本文针对C语言教学难的现状，从教和学两方面分析教学中存在的问题，并提出相应的解决方法。

关键词： C语言学习动机学习信心实践能力教学方法

来源：评论

学校读者我要写书评

暂无评论

随机算法分段实现在自动化组卷中的应用

随机算法分段实现在自动化组卷中的应用

引用

2006中国计算机学会体系结构专委会学术年会

作者：关忠仁詹艳军何钰娟蔺冰成都信息工程学院计算机基础教学部成都610225

本文运用随机算法分段实现的原理和思想,对网络在线考试中的自动化组卷进行了研究,得到了一个适合考试要求的试题自动组卷方法,能较好地反映题目知识点的分布及各试卷的差异,并具有良好的实时性,在实际应用中具有较高的系统效率。

关键词：网络在线考试自动化组卷题目知识点系统效率

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：