切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
改进CS逻辑的自动化分析工具实现
改进CS逻辑的自动化分析工具实现
来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:jackyz
【摘 要】
:
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且
【作 者】
:
韩金淑
张浩军
【机 构】
:
河南工业大学信息科学与工程学院计算机工程系
【出 处】
:
电脑知识与技术
【发表日期】
:
2010年15期
【关键词】
:
安全协议
形式化分析
CS逻辑
自动化分析工具
security protocol
formal analysis
CS logic
automatic
【基金项目】
:
河南省青年骨干教师资助计划,河南省重点科技攻关项目(编号:072102210029),河南工业大学高层次人才基金项目(编号:2007BS019),科研基金项目资助(编号:07XGG030、08XZZ022)资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题。
其他文献
打造属于自己的QQ表情(下)
上期我们说到用Fireworks和ImageReady来制作表情,学的怎么样,本期我们将重点介绍重量级的Flash和Ulead GIF Animator两个软件亲手打造精彩的QQ表情。
期刊
网络聊天软件
QQ表情
Flash
MX
动画制作软件
FIREWORKS
IMAGEREADY
设置特色页眉与页脚
大家知道在创建页眉和页脚时,只要在某一个页眉(或页脚)中输入要放置的内容,Word会把它们加到每一页上,这是大家司空见惯的方式,今天我要介绍有别于普通设置的,创建首页不同和奇偶
期刊
页脚
页眉
设置
首页
输入
创建
放置
特色
方式
内容
即点即览——Clickview
小王是个菜鸟,他一直为查看电脑中各种格式文件感到头疼。大家知道要查看一种类型的文件,就需要打开相应的应用程序,比如要查看DOC文档就需要启动Word。但现在文件的格式非常多,
期刊
查看
文件
打开
应用程序
文档
系统资源
窗口
类型
格式
关于地方高校开展电子信息工程专业建设的研究
该文针对目前地方高校在电子信息专业建设过程中存在的问题进行了探讨,并就此问题提出了一些看法,对促进高校电子专业的发展具有重要意义。
期刊
电子
地方高校
团队
别让DOC文档泄露你的个人隐私
Word是一个我们经常使用到的OFFICE组件.使用它所编辑出来的DOC文档也是我们常用的一种文档格式。通过查看DOC文档的属性.我们可以从属性的“摘要”标签页内查看到DOC文档的作
期刊
文档格式
OFFICE组件
查看
个人隐私
泄露
编辑
创建
信息
无形
交流
重获Word表格的控制权
一日同事向笔者求援.原因是失去了对Word表格的控制。原来同事制作的一个表格的宽度越过了页面的宽度,无法对表格进行移动等操作了。
期刊
WORD表格
控制权
宽度
页面
利用“透视”在Photoshop中做空间效果
在平面设计中,有很多物体我们经常要用空间效果来表现设计意图,如图1中的手提袋、街道效果,那么在一维的平面设计中如何表现这种二维空间感?这就要用到“透视”,实际上透视是平面
期刊
PHOTOSHOP
空间效果
平面设计
设计意图
空间感
手提袋
二维
实战Flash8“混合模式”
Flash Professional推出已有一段时间,在这个最新的版本中极大的增强了对图像的处理能力,比如增加了图形效果滤镜、混合模式、位图平滑等功能,通过这些功能可以方便的在Flash中
期刊
混合模式
FLASH
实战
处理能力
图形效果
矢量图形
位图
图像
滤镜
让电脑变得如此“傻瓜”
利用“脚本大师”(英文件名为Script Expert.以下简称为SE).您可以使用脚本,定义好一系列需要做的动作.包括鼠标、键盘等,然后只要按下一个预先定义好的热键,程序即可帮您快速的完成
期刊
脚本大师
热键
SE
屏幕录像功能
脚本打包功能
界面
半数以上垃圾邮件源于北美 美国成罪魁祸首
期刊
垃圾邮件
美国
黑客
计算机
与本文相关的学术论文