论文部分内容阅读
首先介绍如何把描述逻辑转化为一个不确定型有穷自动机，分析这种转化过程中存在的问题，在B．Nebel的基础上提出了利用自动机的最小化理论对上述得到的自动机进行优化处理，以提高推理的效率。
利用自动机研究描述逻辑的推理问题
【摘 要】
：
首先介绍如何把描述逻辑转化为一个不确定型有穷自动机，分析这种转化过程中存在的问题，在B．Nebel的基础上提出了利用自动机的最小化理论对上述得到的自动机进行优化处理，以提高推
【机 构】
：
广西师范大学计算机科学与信息工程学院
【出 处】
：
计算机与现代化
【发表日期】
：
2008年6期
【基金项目】
：
广西研究生教育创新计划资助项目（2006106020812M37）
其他文献
LabWindows／CVI是测试领域优秀的开发软件，用于开发大型、复杂的测试软件，能获得优良的测试性能，而MicrosoftAccess的数据库开发能力也十分强大，两者的结合可以使得需要测试大量指
介绍了分组密码Rijndael算法，比较了两种高效实现Rijndael算法中列混淆变换方法，并对基于32位ARM9微处理器提出了有效的改进方法。对这两种方法实现的空间与时间效率进行了实验
存在连接依赖的数据库会引入数据冗余,然而在实际数据库的设计和维护中,无法根据其定义判断是否存在连接依赖。数据依赖是数据间现实语义约束的一个反映,是属于语义范畴的,它
首先介绍UG／Open的开发工具，并具体给出菜单制作技术的具体步骤。在此基础上，借助整体叶轮加工模块的开发，详细阐述在VC＋＋6.0开发平上，利用UG／Orlen API函数实现UG菜单的用户化定制，结
基于一种适用于快速成型技术的可选址驱动的半导体激光器线阵能量源的新思想，采用LABVIEW仿真软件编程实现了半导体激光器线阵发光的软件系统。此系统的开发，不仅实现了可选址
在研究现有网络图书光盘资料访问方式的基础上，本文提出了一种新的图书光盘资料下载方式，描述了一个图书资料在线下裁插件的设计与实现。首先对设计思想进行了探讨，简要介绍了插
在无线移动自组网中每个节点都需要兼具路由器的功能，路由是一个非常重要的研究问题，各种无线移动自组网路由协议的提出及相关的性能分析评价也成为学术界的研究热点。本文简单