-
题名AVSP算法
被引量:4
- 1
-
-
作者
石昊苏
薛锐
冯登国
-
机构
中国科学院软件所信息安全国家重点实验室
-
出处
《计算机工程与设计》
CSCD
北大核心
2005年第4期867-869,872,共4页
-
基金
国家自然科学基金项目(60273027
60373048)
国家973基础研究发展规划基金项目(G1999035802)
-
文摘
AVSP(AutomaticVerifierofSecrurityProtocols)是基于串空间模型(StrandSpaceModel),并结合使用定理证明和模型检测技术开发出来的密码安全协议自动验证工具。AVSP使用了理想的语义和逻辑来表达安全协议的保密性,同时采用了一些证明策略以控制和减少状态空间爆炸的规模,并加快发现协议中存在的漏洞。
-
关键词
AVSP算法
安全协议
串空间
算法
模型检测技术
-
Keywords
AVSP
security protocol
strand space
ideal
algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于模糊层次分析法的大学生综合素质评价研究
被引量:8
- 2
-
-
作者
石昊苏
韩丽娜
-
机构
西北政法大学经济管理学院
咸阳师范学院信息工程学院
-
出处
《现代电子技术》
2011年第6期66-68,共3页
-
基金
陕西省教育科学"十一五"规划2010年度高等师范院校教师信息素养教育研究课题成果(SGH10084)
咸阳师范学院基金资助项目(20090201209XSYK102)
-
文摘
为了避免现有层次分析评价方法在大学生综合素质评价过程中存在不足的目的;采用模糊层次分析方法,做了一个对大学生综合素质进行定性和定量的综合多因素评价实验;获得了评价指标的层次结构模型,以及大学生综合素质定性和定量评价的结果;得到采用模糊层次分析法能够避免不足,方便有效地解决大学生综合素质评价问题的结论;具有简单、科学、使用方便的特点。
-
关键词
模糊层次分析法
素质评价
大学生综合素质
层次结构模型
-
Keywords
fuzzy analytical hierarchy process
quality evaluation
undergraduate general quality
hierarchical structure model
-
分类号
TN919-34
[电子电信—通信与信息系统]
G40-012
[文化科学—教育学原理]
-
-
题名模糊层次分析法在高校教师绩效评价中的应用
被引量:10
- 3
-
-
作者
石昊苏
韩丽娜
-
机构
西北政法大学经济管理学院
咸阳师范学院信息工程学院
-
出处
《电子设计工程》
2011年第5期105-107,共3页
-
文摘
基于现有的高校教师绩效评价中定性因素较多,采用层次分析法进行评价又需检验一致性的问题,构建教师绩效评价指标的层次结构模型以及定性与定量结合的综合多因素评价。依据模糊层次分析法的思路,兼顾大学教师绩效评价指标,首先建立评价层次结构模型,利用9标度法构造模糊一致矩阵,计算各指标的相对权重,其次依据模糊评价方法和采用模型四算子构造计算出高校教师定性定量的综合多因素评价结果。实例表明,该综合评价能够得到教师单独某个指标和综合多指标的定性定量评价,为高校教师的绩效评价问题提供了参考。
-
关键词
高校教师绩效评价
模糊层次分析法
模糊分析评价法
多因素评价
-
Keywords
college faculty performance evaluation
fuzzy analytical hierarchy process
fuzzy comprehensive evaluation method
muhifactor evaluation
-
分类号
G40-012
[文化科学—教育学原理]
-
-
题名基于实例与MATLAB的ROC曲线绘制比较研究
被引量:6
- 4
-
-
作者
石昊苏
-
机构
西北政法大学计算机与信息管理系
西安科技大学经管学院
-
出处
《电子设计工程》
2010年第9期36-39,共4页
-
文摘
基于非计算机专业人员的计算机应用能力稍差,而又要经常使用受试者工作特征(ROC)曲线作为判断的评价方法,介绍了ROC曲线的概念、原理和优点,以及如何在MATLAB下绘制ROC曲线。以评价分离信号与噪声数据为例,分别采用两种方法来绘制ROC曲线。一是基于ROC基本概念和Excel的计算功能,分别取不同的阈值得到相应的敏感度和特异度,然后绘制出ROC曲线;二是依据MATLAB工具下的直方图和ROC的概念,编程完成绘制ROC曲线。第一种方法容易理解、简单,但是必须要多次打开Excel才能完成选择不同阈值得到多组敏感度和特异度的目的;第二种方法应用MATLAB软件编写程序,程序短小、简单,易使用,而且可随意设置修改阈值,得到相应的敏感度和特异度以及绘制出ROC曲线。
-
关键词
受试者工作特征曲线
敏感度
特异度
假阳性率
假阴性率
-
Keywords
ROC curve
sensitivity
specificity
false positive rate
false negative rate
-
分类号
TP391.77
[自动化与计算机技术—计算机应用技术]
-
-
题名我国网上书店发展的思考
被引量:1
- 5
-
-
作者
石昊苏
-
机构
西北政法大学经济管理学院
-
出处
《科技信息》
2011年第16期244-244,共1页
-
文摘
一、引言 网上书店,或称电子书店,线上书店,是利用信息技术、网络技术通过网络完成图书交易的一种电子商务类型,它是利用互联网络来实现图书销售业务的一种新型图书零售渠道。网上书店订单处理速度快,服务范围宽,存书量大,读者坐在家里就可以"逛书店"。《第23次中国互联网络发展状况统计报告(2009)》显示,截至2008年底,
-
关键词
网上书店
电子商务
网络技术
互联网络
信息技术
销售业务
订单处理
统计报告
-
分类号
TP393.4
[自动化与计算机技术—计算机应用技术]
-
-
题名信息管理与信息系统专业人才培养模式探索与实践研究
被引量:1
- 6
-
-
作者
石昊苏
-
机构
西北政法大学经济管理学院
-
出处
《中国科教创新导刊》
2011年第26期25-25,27,共2页
-
基金
陕西省教育科学“十一五”规划2010年度高等师范院校教师信息素养教育研究课题(课题批准号:SGH10084)成果
咸阳师范学院项目(200902012,09XSYK102)
-
文摘
在知识经济时代,社会迫切需要从事信息管理方面的人才。因此作为高校来说,文章依据以能力培养为主导模式,提出应在明确培养目标的前提下,从理论教学模式和实践教学模式两个方面式进行相应的改革。
-
关键词
信息管理与信息系统
人才培养模式
理论教学模式
实践教学模式
-
分类号
G642
[文化科学—高等教育学]
-
-
题名软件开发过程中的软件测试的思考
被引量:1
- 7
-
-
作者
石昊苏
-
机构
西北政法学院计算机信息网络中心
-
出处
《煤矿现代化》
2005年第6期48-49,共2页
-
文摘
由于人们对于软件质量的重视程度越来越高,就导致了测试在软件开发中的地位越来越重要。现在很多软件相关的公司都非常重视对于他们所开发的软件的测试,但是效果却不一定理想。究其原因主要是存在着对于软件测试的一些误解。本文试图从对软件测试的基本目标的理解开始,对一些比较普遍的关于测试的误解进行剖析,并对如何提高软件测试,如何设计测试用例提出了一些建议。
-
关键词
软件测试
软件缺陷
可测试性
测试用例
-
Keywords
software test
software fault
testability
test case
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名论信息科学技术与法学学科教学的整合
被引量:1
- 8
-
-
作者
石昊苏
-
机构
西北政法大学经济管理学院
-
出处
《陕西教育(高教版)》
2011年第1期75-76,共2页
-
文摘
信息科学技术的不断发展和普及应用,使得信息科学技术为法学学科的教学提供了良好的环境,对传统的法学教学模式提出了挑战。本文分析了传统法学学科教育的现状,信息科学技术与法学学科整合的意义,最后就学科整合过程进行了思考与建议。
-
关键词
信息科学技术
法学学科
课程整合
-
分类号
D90-4
[政治法律—法学理论]
-
-
题名浅谈案例教学法在高校管理类课程中的应用
被引量:1
- 9
-
-
作者
石昊苏
-
机构
西北政法大学经济管理学院
-
出处
《中国科教创新导刊》
2011年第10期69-69,共1页
-
文摘
在目前的管理类课程教学中,案例教学法是使用最多的一种教学方法。一方面,它有助于培养学生分析和解决实际问题的能力,另一方面又能提高学生学习的主动性。文章结合管理类课程的教学实践过程,探讨了采用案例教学法进行教学的一些体会与建议。
-
关键词
案例教学法
管理类课程
自主学习
-
分类号
G642
[文化科学—高等教育学]
-
-
题名构建以人为本的教学理念提高文科专业人才的信息素质
被引量:1
- 10
-
-
作者
石昊苏
-
机构
西北政法大学
-
出处
《科技信息》
2010年第01X期89-90,共2页
-
文摘
文章阐述了"以人为本"、信息素质的具体涵义,提出"以人为本"的教学理念是信息时代对教育工作者提出的新要求,是培养专业人才信息素质的前提保证。在实际的教学实践中,坚持"以人为本"的教学理念,从课程设置,教学方式,教学设施,教学手段,教学研究等方面,对如何提高文科大学生的信息素质作了一定的探索研究。
-
关键词
以人为本
文科专业
信息素质
-
分类号
F272.92
[经济管理—企业管理]
-
-
题名反思目前的教育
- 11
-
-
作者
石昊苏
-
机构
中国科学院软件研究所
-
出处
《自然辩证法通讯》
CSSCI
北大核心
2002年第5期83-84,共2页
-
-
关键词
中国
教育体制
能力培养
-
分类号
G521
[文化科学—教育技术学]
-
-
题名关于对高校教师开展信息素养教育的思考
- 12
-
-
作者
石昊苏
韩丽娜
-
机构
西北政法大学经济管理学院
咸阳师范学院信息工程学院
-
出处
《陕西教育(高教版)》
2011年第11期98-98,103,共2页
-
基金
陕西省教育科学“十一五”规划2010年度高等师范院校教师信息素养教育研究课题(课题批准号:SGH10084)成果
-
文摘
文章从信息素养教育的核心概念谈起,提出教师的信息素养教育问题是高校开展素质教育的首要问题;分析了高校教师信息素养教育的现状及存在问题,从不同的层面论证了高校教师开展信息素养教育的重要性;最后给出了加强教师信息素养教育的几点建议。
-
关键词
高校教师
信息素养教育
信息能力
-
分类号
G645.1
[文化科学—高等教育学]
-
-
题名基于边界点追踪的等值线图区域填充算法
被引量:15
- 13
-
-
作者
韩丽娜
石昊苏
张群会
-
机构
西北大学信息科学技术学院
西北政法学院计算机信息网络中心
西安科技大学计算机科学系
-
出处
《计算机工程与科学》
CSCD
2006年第11期66-67,88,共3页
-
文摘
本文根据等值线的具体特征提出了一种基于边界点追踪的区域填充算法,而对每一个填充区域则采用双属性的方法来填色,并给出了相应的理论依据。这个算法在项目“地质资料解释系统”中得到了实际的应用,效果理想。
-
关键词
等值线
双属性方法
边界点
等值区
闭合区
非闭合区
-
Keywords
isogram
double-at tribute method
border point
equivalence region
closed region
open region
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名使用双缓存来解决GDI下的闪烁问题
被引量:10
- 14
-
-
作者
韩丽娜
石昊苏
-
机构
西北大学信息科学技术学院
西北政法学院信息网络中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第17期3258-3260,共3页
-
文摘
在图形图像处理过程中,当显示绘制的图像时,有时会出现闪烁的情况。本文从窗口、视口、坐标系统的基本概念和关系出发,主要讲解了如何使用双缓存来解决GDI下的闪烁问题。此方法已经应用于项目地质资料解释系统中对井曲线的修改和显示部分,实践证明,这种方法是可行的。
-
关键词
窗口
视口
逻辑坐标系
设备坐标系
映射
双缓存
-
Keywords
window
viewport
logic coordinate system
device coordinate system
mapping
double buffer
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于车辆牌照图像的识别技术研究
- 15
-
-
作者
石昊苏
-
机构
西北政法大学
-
出处
《软件工程师》
2015年第12期57-58,共2页
-
基金
陕西省教育厅科研计划项目资助(项目编号:15JK1776)~~
-
文摘
文章讨论了车辆牌照图像识别整个过程的四个环节:预处理、车辆牌照定位、字符分割、字符识别。通过优化改进Canny算法有效地解决了图像质量不足,批量、自动识别车辆牌照的相关问题。
-
关键词
图像识别
图像增强
车辆牌照
字符识别
-
Keywords
image recognition
image enhancement
vehicle license
character recognition
-
分类号
TN247
[电子电信—物理电子学]
-
-
题名探讨高校教师信息素养教育问题
- 16
-
-
作者
石昊苏
-
机构
西北政法大学经济管理学院
-
出处
《价值工程》
2012年第6期157-157,共1页
-
基金
陕西省教育科学"十一五"规划2010年度高等师范院校教师信息素养教育研究课题(课题批准号:SGH10084)成果
咸阳师范学院项目(200902012
09XSYK102)
-
文摘
文章从信息素养教育的核心概念及高校教师信息素养教育的现状谈起,探讨了教师信息素养教育问题是高校寻求发展缩短差距的核心问题且具有重要的研究价值,并进一步探讨和提出了高校教师信息素养教育问题的研究思路。
-
关键词
高校
教师信息素养教育
-
Keywords
colleges
teacher's information-literacy education
-
分类号
G645
[文化科学—高等教育学]
-
-
题名等值线标注的一种算法探讨
被引量:3
- 17
-
-
作者
韩丽娜
石昊苏
-
机构
西北大学信息科学技术学院
西北政法学院信息网络中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第21期4084-4085,4167,共3页
-
文摘
等值线图在气象,地质测绘领域有着广泛的应用。目前,人们对于等值线的研究都集中在等值线的生成和填充上,而忽视了等值线的标注。而一个完整的等值线分析系统应该包括等值线的生成,填充,和标注。提出了一种等值线标注的算法,通过先找出等值线的近似多边形,然后根据系统要求在等值线上或近似多边形上输出标注。给等值线上添加标注,给标选择合适的位置,方向和疏密程度,将会使等值线图看起来更加直观、形象,使人们从图中就可获得更多的相关信息。
-
关键词
等值线
属性
标注
多边形近似法
流程图
标注方向
-
Keywords
isograms
attribute
label
approximate polygonmethod
flowchart
label direction
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名利用Surfer8.0绘制地质等值线图
被引量:26
- 18
-
-
作者
韩丽娜
石昊苏
-
机构
咸阳师范学院计算机科学系
西北政法大学经济管理学院
-
出处
《计算机与现代化》
2008年第11期84-87,共4页
-
基金
咸阳师范学院资助项目(06XSYK263)
-
文摘
等值线图在气象、地质测绘领域有着广泛的应用,而Surfer8.0是绘制等值线的主要工具,文章通过绘制地质等值线图,主要对Surfer8.0的使用方法和使用经验作了总结。与以前手工绘制等值线相比,利用Surfer绘制地质等值线图,只需根据数据文件,制作网格,即可将地质数据或资料进行等值线分析,并可对生成的图形作任意缩放、修改、显示及打印。这样不仅提高了工作效率,而且生成的图形美观、准确、可靠。
-
关键词
等值线图
Suffer8.0
Post图
-
Keywords
contour map
Surfer8. 0
Post maps
-
分类号
TP317.4
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于UML的学生毕业设计选题系统研究
被引量:2
- 19
-
-
作者
韩丽娜
石昊苏
-
机构
咸阳师范学院信息工程学院
西北政法大学经济管理学院
-
出处
《现代电子技术》
2012年第2期33-35,共3页
-
基金
陕西省教育科学"十一五"规划2010年度高等师范院校教师信息素养教育研究课题(SGH10084)成果
陕西省教育厅项目(11JK1046)
+1 种基金
咸阳师范学院项目(200902012
09XSYK102)
-
文摘
为了完成本科毕业设计选题的自动化和培养学生设计分析开发软件的能力,避免结构化模型的不足;采用UML建模技术,借助于Rose工具,对学生毕业设计选题系统进行有效地建模和模型分析,采用ASP技术完成系统的研究与开发;利用UML建模思想,能够避免结构化建模技术的不足,完成系统的可视化表达,构建学生选题系统的用例图,状态图,类图等,自动生成和维护系统代码,并有效地提高系统的开发效率。
-
关键词
毕业设计
选题
统一建模语言
UML建模技术
-
Keywords
undergraduate graduation design
theme selection
unified modeling language
ASP technology
-
分类号
TN919-34
[电子电信—通信与信息系统]
P315.69
[天文地球—地震学]
-
-
题名安全协议自动验证工具的状态空间剪枝
被引量:1
- 20
-
-
作者
刘学锋
石昊苏
薛锐
周径野
-
机构
湘潭大学信息工程学院
中国科学院软件研究所
-
出处
《计算机应用》
CSCD
北大核心
2004年第8期117-121,共5页
-
基金
国家自然科学基金项目 (60 2 730 2 7
60 3730 4 8)
+1 种基金
国家 863计划项目 (2 0 0 2AA1 4 4 0 50 )
国家 973计划项目 (G1 9990 3580 2 )
-
文摘
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验证工具AVSP的体系结构 ,提出一些剪枝规则对状态搜索空间进行剪枝。通过Needham Schroeder安全协议的弱一致性认证属性验证过程来表明这些状态搜索空间剪枝规则可有效缩小状态搜索空间 。
-
关键词
形式化分析
串空间模型
模型检测
状态空间剪枝
-
Keywords
formal method
strand space model
model checking
state space pruning
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-