智能CAD在电路设计中的应用

本文探讨如何把Turbo CAD 与人工智能语言Turbo prolog 组合运用,以实现智能CAD,即根据设计要求用Turbo CAD 绘出所需图形,然后用Turbo prolog 按照所画图形编出程序,模拟图形输入/输出之间的全部逻辑关系,即实现CAD 智能化。文章首先阐述CAD 智能化的原理方法,然后以半加器、全加器等电路为例说明其智能应用,完成“设计→绘图→逻辑推理求解”一体化智能CAD 任务。     

PROLOG计算机制的扩充

prolog是新型的人工智能语言。作者在研制prolog系统中,引进了新的计算机制。本文介绍了扩充prolog计算机制的必要性。新的计算机制的要点是使用prolog的反驳归结器(resolver)实现λ-函数的计算。本文首先扩充最一般一致化替换的概念为不含λ一项的最一般一致化替换。在此基础上,证明了可以使用prolog的反驳归结器实现λ-函数的计算。这样,新的prolog系统兼容了prolog和LISP系统的主要优点,新机制己在Cromemco微型机上实现,并通过实例证明了该机制是正确的和有用的。     

Prolog的编译实现

编译技术是实现高效率Prolog系统的一个重要手段。本文提出了设计prolog编译系统时应解决的几个重要问题。这些问题包括:系统设计方案、中间代码的选择、编译器的设计、交互性问题、数据库及数据库操作内部谓词的实现方法等。文中论述了我们对这些问题的看法及提出的解决方法。     

PROLOG的元级扩充:问题和方法

实现prolog的元级扩充,进行元、目标结合的程序设计是克服超逻辑设施影响,增强prolog知识表达/处理能力的重要途径。本文简述了prolog元级扩充的基本概念,分析了实现prolog元级扩充要解决的主要问题,提出了可证明关系demo(T,G)的实现方法,并给出了进行prolog元、目标结合程序设计的一般步骤。     

西文turbo prolog在编制实时性系统时的几个问题

我们在编制提升机故障诊断专家系统时,遇到了接口、延时、停止程序执行、循环和目标统一等一系列实时性问题。本文介绍了这些问题的解决方法,供正在和将要用turbo prolog语言来编制专家系统以及其它智能程序的用户参考。     

基于单片机的取号排队系统的设计

针对传统排队办理业务模式的缺陷,设计并实现了一个银行智能排队系统,具体介绍了系统的设计与实现方法,给出了系统组成结构框图、主要的硬件电路和软件设计。实践证明,该系统性能可靠、稳定、可连续稳定地工作。     

一种基于MCS-51的低功耗测量系统

讨论了基于MCS-51系列单片机的低功耗测量系统的设计与实现,给出了一个系统实例及其实测功耗值,用它可以方便地设计智能便携式仪器,具有较好的通用性和实用性。     

合一和回溯智能加速部件的设计与实现

本文设计了一个高效的合一和回溯智能加速部件，在实现时我们运用了自己提出的优化线性合一算法超前检查智能回溯策略。经测试和分析表明，采用该加速部件的Ｐｒｏｌｏｇ实现系统的效率要比软件实现提高十倍以上。     

并行PROLOG在树形机器上的实现

本文提出了在树形机器上控制prolog程序执行的并行算法,并通过模拟实验比较了它们的效率。用于实验的树形机的模型由一个单树机、一个多路交换器和一个系统控制器组成。单树机是树形机器的公共部分,具有普遍性。模拟实验结果表明,当所给定的问题具有足够的并行度时,本文提出的算法能够获得较高的性能。对于处理部件的更高的利用率和更好的负载平衡将是进一步研究的问题。我们发现树形机器适合于Prolog并行实现。     

基于多Agent的设备更新决策协同系统研究

分析了设备更新决策流程,指出了一些现有设备更新决策支持系统的不足,应用智能Java Agent模板设计与实现了一个基于多Agent的设备更新决策协同系统,详细地介绍了系统的体系结构以及应用智能Java Agent模板实现基于多Agent的设备更新决策协同系统的方法.     

使用LDM的软件开发

LDM(开发方法逻辑)是在各种抽象级上设计软件的方法、语言和支撑系统。它以逻辑程序设计(prolog)和维也纳开发方法(VDM)的思想为基础。本文叙述了该方法、语言,第一个实验性支撑系统,以及从它的使用所得的经验。本文给出了使用LDM的开发过程的例子,并概述了一些进一步的打算。     

智能楼宇三维展示系统的设计与实现

智能楼宇是楼宇发展的高级阶段。随着计算机、自动化控制等技术的发展和应用,以及对于节能环保等理念的要求,建筑物的智能化越来越流行。智能楼宇化已成为新世纪建筑的必要条件。而作为在楼宇自动化系统（BAS）的基础上更进一步地与通信网络系统、信息网络系统实现更高一层的建筑集成管理系统的智能楼宇管理系统（IBMS）,其设计与实现,尤其是对用户界面的设计将会给用户带来方便、直观的体验。该文对智能楼宇管理系统的3D展示界面技术进行了研究,叙述了智能楼宇物体信息展示的方案设计,并详细阐述了智能楼宇三维地图暨报警可视化的实现步骤。设计并实现了一个基于irrlicht引擎编写程序控制场景展示,3DS Max制作仿真模型的综合解决方案。主要包括三维仿真模型制作、用户界面设计、双显示屏展示系统设计、智能楼宇展示逻辑控制模块设计、静态物体信息展示模块设计和报警信息展示模块设计六个部分。在该文设计方案基础上,进行了系统实现和测试。还进行了一些优化权衡与选择,使用户对本系统的使用更加方便。在实现系统功能的同时,并考虑到了系统的可扩展性,为该系统今后与IBMS连接提供了方便。     

智能楼宇三维展示系统的设计与实现

智能楼宇是楼宇发展的高级阶段。随着计算机、自动化控制等技术的发展和应用,以及对于节能环保等理念的要求,建筑物的智能化越来越流行。智能楼宇化已成为新世纪建筑的必要条件。而作为在楼宇自动化系统(BAS)的基础上更进一步地与通信网络系统、信息网络系统实现更高一层的建筑集成管理系统的智能楼宇管理系统(IBMS),其设计与实现,尤其是对用户界面的设计将会给用户带来方便、直观的体验。该文对智能楼宇管理系统的3D展示界面技术进行了研究,叙述了智能楼宇物体信息展示的方案设计,并详细阐述了智能楼宇三维地图暨报警可视化的实现步骤。设计并实现了一个基于irrlicht引擎编写程序控制场景展示,3DS Max制作仿真模型的综合解决方案。主要包括三维仿真模型制作、用户界面设计、双显示屏展示系统设计、智能楼宇展示逻辑控制模块设计、静态物体信息展示模块设计和报警信息展示模块设计六个部分。在该文设计方案基础上,进行了系统实现和测试。还进行了一些优化权衡与选择,使用户对本系统的使用更加方便。在实现系统功能的同时,并考虑到了系统的可扩展性,为该系统今后与IBMS连接提供了方便。     

基于状态演算的通用游戏系统的自动推理

为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型.利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证.实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力.     

基于智能标签的射频识别系统的研究和实现

智能标签是一种智能化的射频电子标签。基于智能标签的射频识别系统可以广泛地应用于物流管理、图书管理、身份鉴别等领域。该文介绍了智能标签的特点和基于智能标签的射频识别系统的工作原理。描述了智能标签读写系统的设计和实现。最后介绍了一个智能标签的实际应用实例。     

智能Agent技术在监控系统的应用

智能Agent技术为分布开放系统提供了一种较好的设计和实现方法,本文采用智能Agent技术来设计实现一个移动通信计费结算监控系统(MCBMS)。     

基于Ajax的旅游景区服务质量智能评价系统开发

针对现有信息系统在智能评价方面的薄弱之处,该文设计了一个基于Ajax的旅游景区服务质量智能评价系统.在分析Ajax技术的应用框架和构造原理的基础上,进行了智能评价系统的内部功能设计.系统采用B/S+C/S构架,并应用Ajax技术实现了浏览器和服务器之间的异步通信,很好地解决了浏览器阻塞问题.     

基于DCOM的动态运输调度多智能体系统研究*

针对物流运输调度中的客户需求动态性和随机性问题的解决,设计了一种基于DCOM的动态运输调度多智能体系统。在多智能体系统中,设计了包括预规划智能体、实时监控智能体、决策智能体和车辆智能体四类智能体。智能体以DCOM式组件形式实现,智能体之间的通信和协调由决策智能体集中执行。通过一个实例验证了系统算法的有效性,同时也为动态运输调度问题的解决提供了一个可参考的思路。     

支持智能体的通信原语库系统的研究与实现*

GKD)—APS是我们基于面向智能体程序设计范例(AOP)设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器．它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通信等概念，并提供了对这些概念的直接支持．GKD—APS为实现多智能体间的知识通信和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发．     

基于特征智能参数化的设计模型及实例

本文介绍了一个基于特征智能参数化ＣＡＤ系统的设计模型有运行实例。该系统依据形状特征建立包括拓扑关系数据和几何数据在内的工程图样数据库，从而实现产品的智能参数化设计，该系统以机床主轴组件设计作为实例运行，使其智能参数化的设计思想得以具体实现