在机测量反求系统中检测程序的自动生成

介绍了自行构建的在机测量反求系统,研究了检测程序自动生成模块的功能和实现的原理.该模块具有合理的功能结构,且具有可维护性、可扩充性和可移植性.     

面向Agent的多范例语言I*的设计与实现

讨论在Ｉ＋上进一步引入刻划ａｇｅｎｔ间通信所必需的原语及基于ＨＴＴＰ的中间件而形成的面向ａｇｅｎｔ的多范例语言Ｉ＾＊,在Ｉ％＊中引入了一些处理ａｇｅｎｔ的原语,它们来自Ｓｈｏａｍ的ＡＯＰ和Ｆｉｎｉｎ的ＫＱＭＬ。Ｉ＾＊的实现策略是将Ｉ＾＊转换为Ｉ＋加上ＫＡＰＩ提供的支持ａｇｅｎｔ间通信的库函数调用。ＫＡＰＩ提供ａｇｅｎｔ间的传送和通信界面,支持的协议有ＴＣＰ／ＩＰ、ＨＴＴＰ、ＥＭＡＩＬ等。     

PLC的自定协议通信

介绍了ＯＭＲＯＮ ＣＱＭ１型ＰＬＣ的传统被动式和自定协议两种通信方式,着重分析了自定协议通信的设置、数据传输和编程方法,并给出了自定协议通讯协议在机器人监控系统中的应用。     

多工位自动冲床机械手控制器设计

本文介绍了由可编程序控制器（ＰＬＣ）组成的多工位自动冲床机械手控制器。重点介绍了系统的组成,面板功能设计和软件编程。应用结果表明,该装置结构简单、工作可靠,调试修改方便,便于推广。     

广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。     

桩侧土非线性软化时单桩荷载-沉降曲线分析

基于桩身竖向荷载传递的微分方程,并考虑了桩侧阻力的非线性软化行为,推导出桩身轴力和桩土相对位移关系的增量形式表达式.通过该表达式并依据位移协调法的原理编写的程序,计算出了桩身的荷载沉降曲线.结果表明:计算出的荷载沉降曲线与试验曲线吻合较好,并能反映桩的渐进破坏过程.     

从归纳逻辑视角解读人工智能的哲学意蕴——普特南人工智能思想窥探

普特南探究了人工智能的发展历程,认为图灵是在哥德尔扣杰克斯赫伯德工作的基础上重新构造了计算概念并且发明了计算机模型.计算机科学和人工智能不是等同的,我们应从原则和经验两个层次来看待将大脑思维模拟为数字计算机的思想.归纳推理面临的问题给人工智能研究带来很多的启示.人类本质活动不必然是人工智能的本质活动.即使大脑的计算机模型是正确的,我们也不能断言人工智能就会成功.因为,计算机模型不能够模拟人类总体的知识能力,对于人类认知的研究并不必然要求我们将认知要么还原为计算要么还原为大脑程序,我们可以很成功地发现大脑的理论模型,这有助于我们更好地理解大脑的工作机制,但是这并不要求我们必须借助于心理学.     

USB2.0视频图像采集系统设计

讨论基于USB2．0接口的视频图像信号采集系统的设计与实现．详细分析了系统的硬件部分设计,对固件程序、驱动程序和应用软件的设计也进行了探讨．     

基于Win9x下工程CAD的开发应用

1 引言 目前,支持32位多任务抢占式操作系统Win9x成为主流操作系统。应用广泛的AutoCAD也迅速从DOS版本转向Windows版本,AutoCAD R14.0版成为Win9x下的流行版本。AutoCAD的开发环境也正在从AutoLisp和ADS向ARX发展。ARX以VC++为开发语言,ObjectARX库为开发工具,功能强大,运算效率高。采用面向对象的编程方法且支持MFC编程。通过在CAD应用系统的应用,它的众多功能能实现原来开发环境难以实现的功能,提高工作效率,成为新一代应用软件的首选工具。 CAD程序通常主要由计算绘图组成,DOS环境下尤其如此。我们曾在DO…     

菲迪克条件下的工程变更程序探讨

工程变更是项目建设中普遍存在的问题,也是项目建设管理的一个很重要的方面和主要内容。工程变更管理工作的好坏,直接影响到工程施工质量、进度、费用的控制。现就菲迪克条款对工程变更规定在实际操作方面遇到的一些问题及处理办法,结合在甘肃第一个世行公路项目建设管理的工作实际,谈一些认识和看法。1 工程变更的定义及菲迪克条款对工程变更的规定1．1菲迪克条款下的工程管理模式 业主与监理工程师及承包人分别签订有监理合同和施工合同。设计文件有一经批准,则质量、进度、费用全部由监理工程师负责控制,由承包人按设计文件实施。…