抽象数据类型的PROLOG实现

抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。     

基于ADT850运动控制卡的数控系统研究

根据NC嵌入PC的开放式数控系统工作原理,在对ADT850运动控制卡研究的基础上,构建了基于PC+ADT850运动控制卡的开放式数控系统硬件结构和软件结构;利用实时中断服务处理模式规划控制软件框图,设计了数控系统控制界面,实现了运动控制卡与PC之间的数据通讯。试验结果表明,该系统的使用性能良好,设计合理。     

使数据库能够存取ADT数据

阐述了ADT类型的数据在数据库应用过程中的重要性,提供了为数据库增加存取ADT数据功能的方法和手段,介绍了二进制流和二进制字段在存取ADT数据时的作用。     

笛卡尔网格生成中的相交算法

研究三维空间笛卡尔网格与三角形面网格的相交判断算法—-ADT(Alternating Digital Tree)算法和KD (K-Dimensional)树算法,分别用球体模型和飞机模型对ADT与KD树进行分析,比较二者快速相交判断时的查找效率.结果表明:同一种模型下ADT比KD树平衡,树的深度小;ADT的查找效率明显比KD树高;影响KD树查找时间的主要因素是查找次数.整体来看,在快速相交判断中采用ADT性能更高.     

Access 95 ADT:客户应用程序的ABC

如果你正用Access 95去开发客户应用程序,你将需要499美元的Microsoft Access for Windows 95 Developer's Toolkit(ADT),当你读到本文时,ADT该可以使用了。 ADT具有免费的运行时许可和SetupWizard,这两个都是为了分布而包装Access 95应用程序必不可少的。但是ADT通过提供一个Replication Manager(RM)和一个Transporter,所做的远超出了分布,其中Transporter是用于管理数据库复制的。RM能让你图示化地设置一个复制网络,再加上Transporter,即可进行日常更新。 ADT还包括了Windows 95 OLE这样的控制,如Data Outline、命令对话框、Spinbutton、富文本格式、Image List、List View、TabStrip、工具条、TreeView、     

用Access2.0开发工具箱开发专业水平的应用程序

开发专业应用程序需要完整的开发工具。Access2.0提供了开发一流应用程序的大部分工具。但若要更上一层楼,则需要微软ADT 2.0(Access开发工具箱)。ADT 2.0代替Access 1.1所带的ADK(Ac-cess发行工具箱)。 1.ADT包含什么? ADT包括产生完整的专业应用程序的工具: ·允许同应用程序一起销售MSARN200.EXE(Access运行支持)和其他各种DLL的不带版税的     

ADT75数字温度传感器在基于SEP3203微处理器的远程智能电源控制器中的应用

ADT75数字温度传感器具有精度高、集成度高、功耗低等特点,在温控系统中有着广泛的应用.本文将介绍ADT75在基于SEP3203微处理器的智能电源控制器的应用,着重说明通过SEP3203 GPIO模拟ADT75 I2C接口时序,实现总线数据的收发.     

新型数字温度传感器ADT75的原理及应用

详细介绍ADI公司生产的新型数字温度传感器ADT75的功能、结构以及工作原理,并给出其在温度控制系统中的应用实例。通过实验可知,ADT75具有测温范围宽、测温准确、灵敏度高等优点。ADT75采用I^2C总线接口,连接电路简单,具有广阔的应用空间。     

TYCO将在中国主攻三大市场

对于泰科这样一家全球著名的安防与消防巨头来说,中国市场在其未来的发展战略中地位愈来愈重要。安达泰安防（ADT Security）亚太区总裁祝金程（Robert Zhu）表示,“我们现在的主攻市场是中国和印度。当前,中国市场竞争激烈,不但没有人被淘汰出局,反而有越来越多的公司加入战局。这表示中国市场在持续扩大。”     

网络环境下切换模糊时滞系统的非脆弱控制

针对一类控制器增益存在摄动的非线性网络切换系统,在系统同时存在随机时变时滞和不确定性的情况下,采用T-S模型建模,研究系统的稳定控制问题。利用平均驻留时间(ADT)法设计系统的切换律及非脆弱状态反馈控制器,并给出网络切换模糊时滞系统指数稳定的平均驻留时间条件。结合李雅普诺夫函数(LKF)法,推导时滞相关的网络切换模糊系统指数稳定的矩阵不等式条件,并将此条件转化为线性矩阵不等式形式。通过数值仿真对比系统在采用ADT法与传统LKF法下的状态曲线,结果表明,ADT法可以使系统收敛速度更快,性能指标更好。     

用ADT14设计的新型电子温控器

ADT14是一种可编程温度监控器电路，可广泛应用于各种控制系统中进行温度检测和控制。用ADT14设计的新型电子温控器具有结构简单，安装方便，温控准确等优点。     

基于PC104的高性能便携式数据采集系统

介绍了一种基于PC104的高性能便携式数据采集系统的设计方法,重点阐述了该系统软、硬件的设计思想和具体实现.该数据采集系统以SCM-7020B为系统主板,通过PC104总线控制ADT652数据采集卡,系统软件采用Qt编译.系统完成数据采集,实时运算和波形显示,以太网通信等功能.     

频域CFAR技术在SAR图像目标检测中的效能评估

针对SAR图像目标检测缺乏客观效能评估的问题,提出了一种利用平均阀值ADT来评估频域CFAR检测性能的方法。实现了频域中三种CFAR处理器对于SAR图像中异质区域的MATLAB仿真,利用ADT对仿真效果进行评估,验证了频域CFAR技术在SAR图像自动目标检测处理中的可行性、准确性和有效性。     

基于ADT ActiveX Automation的装配图定制系统

讨论了在网络制造背景下对产品装配图进行定制的需求，初步介绍了ADT ActiveX Automation开发技术，并对如何利用VBA和ADT ActiveX Automation进行产品装配图定制的方法进行了初步的探讨，最后通过一个应用实例来说明这种方法的可行性。     

模块、抽象数据类型和类

本文分析了面向对象程序设计（OOP）中类（class)和传统程序设计模块（module)及抽象数据类型（ADT）间的差异，以便加深对OOP中类及对象的理解，进而讨论了类间继承关系。     

Blue Coat继续领跑广域网应用传输市场

Blue Coat系统公司日前宣布,根据IDC的最新报告显示,2007年上半年Blue Coat在全球广域网应用传输市场中市场份额排名第一。根据IDC近期发布的《2006年及2007上半年全     

2006第一季度中国即时通讯用户数接近1亿

根据计世资讯(CCW Research)跟踪数据显示,2006年第一季度,中国即时通讯用户数达到9800万,比上一季度增长14%,中国即时通讯市场进入平稳增长期。第一季度,新兴的即时通讯厂商GTalk、Lava-Lava分抢个人应用市场,但由于即时通讯市场形成需要时间,所以对即时通讯总体市场影响不大。     

新闻直击

圣思网络公司继续领跑日本 VoIP市场本刊讯根据两家行业调研公司In— fonetics Research和Synergy Research Group发表的调查报告显示,圣思网络在日本的VoIP市场中继续担当领头羊。圣思网络董事长兼首席执行官Has— san Ahmed表示: “圣思在发展迅速的亚太市场上保持领先地位,足以证明本公     

基于FAT16文件系统的嵌入式温度记录器

以ARM7TDMI-S为内核的32／16位微控制器LPC2148与SD卡相结合,实现在SD卡上建立FAT16文件系统。采集的温度数据以FAT16文件格式存入SD卡,可方便用户对温度数据进行读取与分析。本文描述了温度传感器ADT75的工作原理。     

激情岁月 显示器市场演绎变革

2004年中国显示器市场呈现快速增长势头,销量和销售额均高于预期。2004年前三个季度中国显示器市场销售总量达到1193.8万台,与2003年同期相比,增长率为26.3%。根据赛迪顾问统计数据,2002年～2004年前三季度显示器市场销量及同比增长率如图1所示。 赛迪顾问最新的研究报告显示,2