论文部分内容阅读
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题。
改进CS逻辑的自动化分析工具实现
【摘 要】
：
基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且
【机 构】
：
河南工业大学信息科学与工程学院计算机工程系
【出 处】
：
电脑知识与技术
【发表日期】
：
2010年15期
【基金项目】
：
河南省青年骨干教师资助计划,河南省重点科技攻关项目(编号:072102210029),河南工业大学高层次人才基金项目(编号:2007BS019),科研基金项目资助(编号:07XGG030、08XZZ022)资助
其他文献
上期我们说到用Fireworks和ImageReady来制作表情，学的怎么样，本期我们将重点介绍重量级的Flash和Ulead GIF Animator两个软件亲手打造精彩的QQ表情。
大家知道在创建页眉和页脚时，只要在某一个页眉(或页脚)中输入要放置的内容，Word会把它们加到每一页上，这是大家司空见惯的方式，今天我要介绍有别于普通设置的，创建首页不同和奇偶
小王是个菜鸟，他一直为查看电脑中各种格式文件感到头疼。大家知道要查看一种类型的文件，就需要打开相应的应用程序，比如要查看DOC文档就需要启动Word。但现在文件的格式非常多，
Word是一个我们经常使用到的OFFICE组件．使用它所编辑出来的DOC文档也是我们常用的一种文档格式。通过查看DOC文档的属性．我们可以从属性的“摘要”标签页内查看到DOC文档的作
在平面设计中，有很多物体我们经常要用空间效果来表现设计意图，如图1中的手提袋、街道效果，那么在一维的平面设计中如何表现这种二维空间感？这就要用到“透视”，实际上透视是平面
Flash Professional推出已有一段时间，在这个最新的版本中极大的增强了对图像的处理能力，比如增加了图形效果滤镜、混合模式、位图平滑等功能，通过这些功能可以方便的在Flash中
利用“脚本大师”（英文件名为Script Expert．以下简称为SE)．您可以使用脚本，定义好一系列需要做的动作．包括鼠标、键盘等，然后只要按下一个预先定义好的热键，程序即可帮您快速的完成