AVSP算法

AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。

基于模糊层次分析法的大学生综合素质评价研究

为了避免现有层次分析评价方法在大学生综合素质评价过程中存在不足的目的;采用模糊层次分析方法,做了一个对大学生综合素质进行定性和定量的综合多因素评价实验;获得了评价指标的层次结构模型,以及大学生综合素质定性和定量评价的结果;得到采用模糊层次分析法能够避免不足,方便有效地解决大学生综合素质评价问题的结论;具有简单、科学、使用方便的特点。

模糊层次分析法在高校教师绩效评价中的应用

基于现有的高校教师绩效评价中定性因素较多,采用层次分析法进行评价又需检验一致性的问题,构建教师绩效评价指标的层次结构模型以及定性与定量结合的综合多因素评价。依据模糊层次分析法的思路,兼顾大学教师绩效评价指标,首先建立评价层次结构模型,利用9标度法构造模糊一致矩阵,计算各指标的相对权重,其次依据模糊评价方法和采用模型四算子构造计算出高校教师定性定量的综合多因素评价结果。实例表明,该综合评价能够得到教师单独某个指标和综合多指标的定性定量评价,为高校教师的绩效评价问题提供了参考。

基于实例与MATLAB的ROC曲线绘制比较研究

基于非计算机专业人员的计算机应用能力稍差,而又要经常使用受试者工作特征(ROC)曲线作为判断的评价方法,介绍了ROC曲线的概念、原理和优点,以及如何在MATLAB下绘制ROC曲线。以评价分离信号与噪声数据为例,分别采用两种方法来绘制ROC曲线。一是基于ROC基本概念和Excel的计算功能,分别取不同的阈值得到相应的敏感度和特异度,然后绘制出ROC曲线;二是依据MATLAB工具下的直方图和ROC的概念,编程完成绘制ROC曲线。第一种方法容易理解、简单,但是必须要多次打开Excel才能完成选择不同阈值得到多组敏感度和特异度的目的;第二种方法应用MATLAB软件编写程序,程序短小、简单,易使用,而且可随意设置修改阈值,得到相应的敏感度和特异度以及绘制出ROC曲线。

我国网上书店发展的思考

一、引言 网上书店,或称电子书店,线上书店,是利用信息技术、网络技术通过网络完成图书交易的一种电子商务类型,它是利用互联网络来实现图书销售业务的一种新型图书零售渠道。网上书店订单处理速度快,服务范围宽,存书量大,读者坐在家里就可以＂逛书店＂。《第23次中国互联网络发展状况统计报告（2009）》显示,截至2008年底,

信息管理与信息系统专业人才培养模式探索与实践研究

在知识经济时代,社会迫切需要从事信息管理方面的人才。因此作为高校来说,文章依据以能力培养为主导模式,提出应在明确培养目标的前提下,从理论教学模式和实践教学模式两个方面式进行相应的改革。

软件开发过程中的软件测试的思考

由于人们对于软件质量的重视程度越来越高,就导致了测试在软件开发中的地位越来越重要。现在很多软件相关的公司都非常重视对于他们所开发的软件的测试,但是效果却不一定理想。究其原因主要是存在着对于软件测试的一些误解。本文试图从对软件测试的基本目标的理解开始,对一些比较普遍的关于测试的误解进行剖析,并对如何提高软件测试,如何设计测试用例提出了一些建议。

论信息科学技术与法学学科教学的整合

信息科学技术的不断发展和普及应用,使得信息科学技术为法学学科的教学提供了良好的环境,对传统的法学教学模式提出了挑战。本文分析了传统法学学科教育的现状,信息科学技术与法学学科整合的意义,最后就学科整合过程进行了思考与建议。

浅谈案例教学法在高校管理类课程中的应用

在目前的管理类课程教学中,案例教学法是使用最多的一种教学方法。一方面,它有助于培养学生分析和解决实际问题的能力,另一方面又能提高学生学习的主动性。文章结合管理类课程的教学实践过程,探讨了采用案例教学法进行教学的一些体会与建议。

构建以人为本的教学理念提高文科专业人才的信息素质

文章阐述了"以人为本"、信息素质的具体涵义,提出"以人为本"的教学理念是信息时代对教育工作者提出的新要求,是培养专业人才信息素质的前提保证。在实际的教学实践中,坚持"以人为本"的教学理念,从课程设置,教学方式,教学设施,教学手段,教学研究等方面,对如何提高文科大学生的信息素质作了一定的探索研究。

关于对高校教师开展信息素养教育的思考

文章从信息素养教育的核心概念谈起,提出教师的信息素养教育问题是高校开展素质教育的首要问题;分析了高校教师信息素养教育的现状及存在问题,从不同的层面论证了高校教师开展信息素养教育的重要性;最后给出了加强教师信息素养教育的几点建议。

基于边界点追踪的等值线图区域填充算法

本文根据等值线的具体特征提出了一种基于边界点追踪的区域填充算法,而对每一个填充区域则采用双属性的方法来填色,并给出了相应的理论依据。这个算法在项目“地质资料解释系统”中得到了实际的应用,效果理想。

使用双缓存来解决GDI下的闪烁问题

在图形图像处理过程中,当显示绘制的图像时,有时会出现闪烁的情况。本文从窗口、视口、坐标系统的基本概念和关系出发,主要讲解了如何使用双缓存来解决GDI下的闪烁问题。此方法已经应用于项目地质资料解释系统中对井曲线的修改和显示部分,实践证明,这种方法是可行的。

基于车辆牌照图像的识别技术研究

文章讨论了车辆牌照图像识别整个过程的四个环节:预处理、车辆牌照定位、字符分割、字符识别。通过优化改进Canny算法有效地解决了图像质量不足,批量、自动识别车辆牌照的相关问题。

探讨高校教师信息素养教育问题

文章从信息素养教育的核心概念及高校教师信息素养教育的现状谈起,探讨了教师信息素养教育问题是高校寻求发展缩短差距的核心问题且具有重要的研究价值,并进一步探讨和提出了高校教师信息素养教育问题的研究思路。

等值线标注的一种算法探讨

等值线图在气象,地质测绘领域有着广泛的应用。目前,人们对于等值线的研究都集中在等值线的生成和填充上,而忽视了等值线的标注。而一个完整的等值线分析系统应该包括等值线的生成,填充,和标注。提出了一种等值线标注的算法,通过先找出等值线的近似多边形,然后根据系统要求在等值线上或近似多边形上输出标注。给等值线上添加标注,给标选择合适的位置,方向和疏密程度,将会使等值线图看起来更加直观、形象,使人们从图中就可获得更多的相关信息。

利用Surfer8.0绘制地质等值线图

等值线图在气象、地质测绘领域有着广泛的应用,而Surfer8.0是绘制等值线的主要工具,文章通过绘制地质等值线图,主要对Surfer8.0的使用方法和使用经验作了总结。与以前手工绘制等值线相比,利用Surfer绘制地质等值线图,只需根据数据文件,制作网格,即可将地质数据或资料进行等值线分析,并可对生成的图形作任意缩放、修改、显示及打印。这样不仅提高了工作效率,而且生成的图形美观、准确、可靠。

基于UML的学生毕业设计选题系统研究

为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。

安全协议自动验证工具的状态空间剪枝

串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验证工具AVSP的体系结构 ,提出一些剪枝规则对状态搜索空间进行剪枝。通过Needham Schroeder安全协议的弱一致性认证属性验证过程来表明这些状态搜索空间剪枝规则可有效缩小状态搜索空间 。