共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
缺省逻辑的累积性变种的扩张特征 总被引:1,自引:0,他引:1
Giordano提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(CommitmenttoAssuptionsDefaultLogic)QDL(Qusasi-DefaultLogic)它们都具有累积性,但不再具半单调性,QDL甚于不再承诺预设(Committoassumptions)本文基于我们已经导出的CDL(CummulativeDefaultLogic)与DL扩张的特征,通过建立C 相似文献
3.
4.
SCALAR系列DLT磁带库AdvancedDigitalInformation公司的SCALARSeries是一种基于DLT技术的磁带库,其市场目标为企事业单位级的存储业务。SCALAR系列磁带库有三种型号:SCALAR424配有4台DLT2000... 相似文献
5.
6.
本文给出了HOS方法学中基本控制结构JOIN、INCLUDE、OR和复合控制结构COJOIN、COINCLUDE及COOR的语义构造规则.以此为基础,提出了一种层次武功能理解方法,并讨论了其在HOS规格说明的语义验证和复用方面的应用. 相似文献
7.
μPD7225可编程LCD驱动器可直接驱动7段数码管、14段字符型数码管、汉字、图形等,容易与微处理机和LCD接口,可适应多种用LCD显示的场合。介绍了μPD7225可编程LCD驱动器芯片的结构、驱动方式和驱动原理、指令系统,还给出了一应用实例的硬件电路和软件程序清单。 相似文献
8.
在大温度跨度下如何使用LCD液晶显示器 总被引:1,自引:0,他引:1
介绍了一种在大温度跨度下使用LCD液晶显示器的方法,成功地解决了LCD液晶显示器在低温下显示滞后,在高温下显示过黑的问题。为研制专用微机或仪器仪表的LCD液晶显示器在野外温度范围变化较大的条件下使用提供了一条有效途径。 相似文献
9.
高精度A/D转换器ICL7135能自动将A/D结果按5位BCD码形式输出,因此较适合于微机并行接口的数据传送。ICL7135与单片机的接口多数是并行接口形式。本文介绍一种更为简便、经济的接口形式。1接口方案在一些抗干扰要求较高的情况下,需要对A/D输... 相似文献
10.
本文首先探讨了开发ODBCDriver和ODBCAPI的一种方法,然后,结合自己的开发实践,论述了如何利用Foxpro的库结构工具箱(LCK)来开发自己的ODBCDriver。 相似文献
11.
面向agent的程序设计语言:DL-1 总被引:3,自引:0,他引:3
为适应协作分布式问题求解(CDPS)研究和应用的需要,我们研制了面向agent的程序设计语言:DL-1语言。DL-1语言由二部分组成:DL-1/system和DL-1/agent。DL-1/system主要用于显式地描述CDPS系统的行政管理结构。DL-1/agent主要用于描述CDPS系统的agent,并允许用户在描述agent的同时,描述CDPS系统的问题求解结构。 相似文献
12.
工程数据库语言EDL/3 总被引:1,自引:1,他引:0
根据建筑CAD领域的要求,并以此为背景,设计和实现了工程数据库语言EDL/3。该语言不仅包括一般工程数据库管理系统所具有的通用功能,而且还包括用于建筑CAD领域的特殊功能,该语言在整体功能上优于CAD*I/EDL和EDL/2。 相似文献
13.
分层多媒体数据模型的研究及应用 总被引:5,自引:0,他引:5
本文提出了一种分层多媒体数据模型,以有效地解决多媒体数据的表示,存储和媒体同步。该模型分为数据定义层DDL,数据操纵层DML,数据显示层DPL和控制层CL四层,这里重点阐述了DDL和DML层。在多媒体办公系统THMOS中,我们综合应用了LMDM的思想,较好地实现了多媒体文件的数据库功能。 相似文献
14.
脉搏波包含人体的重要生理信息,对下肢脉动信号进行仿真研究,有助于辅助临床诊断和疾病预测。根据电网络模型理论,将下肢各段动脉等效为串并联弹性腔,建立了下肢动脉仿真模型。通过matlab/simulink对该模型的脉搏波在不同动脉顺应性和外周阻力的条件下进行仿真分析,得到正常与病理状态下足背动脉脉搏波的仿真波形。结果显示,当血管顺应性减小时,收缩压升高,主波波峰前移,脉压差增大;外周阻力增大时,脉搏波上升支的幅度与斜率均增大,脉压差增大,仿真结果与实测基本吻合。该模型能较有效模拟血管不同生理参数下的脉搏波,对血管疾病的诊治和相关医疗仪器的开发具有一定应用价值。 相似文献
15.
16.
V2C++——一个用C++实现的VHDL翻译型模拟器 总被引:2,自引:0,他引:2
由于面向对象的C++语言更贴近描述硬件对象的VHDL语言C++实现翻译型VHDL模拟器,并利用C++本身的编译器的优化功能,可以得到运行的时间和空间方面效率较高的VHDL模拟器,V2C++的原型设计和初步实践表明,用C++实现VHDL翻译性模拟器比解释性模拟器具有较高效率,利于较大规模的电路的模拟。 相似文献
17.
数字电路硬件描述语言是自动电路设计及自动电路划分不可缺少的工具,在计算机辅助电路测试,计算机辅助电路分析等领域有广泛的应用,本文介绍了一个门级的数字电路硬件描述语言CDL及其编译器的实现过程。一个CDL语言源程序成对一块电路板组件的逻辑功能和物理位置的描述,而CDL语言编译器把CDL语言源程序转换成一组面向测试产生的拓扑数据结构表示。 相似文献
18.
19.
本文以AutoCADR12/Win为平台,以BorlandC++4.0为工具,完成了电气成套装置3维设计系统ELE3DCAD。它利用AutoCADSQL的程序接口ASI,把Foxpro/Win编制成的外部数据库与AutoCAD的图形数据库联系起来。ELE3DCAD基于AutoCADAME,是一种实体造型的3维设计系统。该系统可得到任意角度的视图和任意多个剖切平面下的剖视图,可对电气元件进行空间碰撞检测和电气碰撞检则。 相似文献
20.
《中国图象图形学报》1998,3(5)
DELL工作站采用ELSA专业图形卡ELSAGLoria-XL与DelWorkstaion400的超强组合,势必在CAD/CAM/CG市场抢占一席之地图形处理及数字通信业界的领导厂商艾尔莎(ELSA)日前表示,DelWorkstation400专业工... 相似文献