一种超大型图形库系统的设计与实现

本文首先指出建立超大型图形库ＶＬＧＢ（ＶｅｒｙＬａｒｇｅＧｒａｐｈｉｃｓＢａｓｅｓ）必须解决的两个基本问题及其一般解决方法，然后介绍一个实际超大型图文数据库系统ＴＭＳ（中国商标系统）中超大型图形库的设计方法和实现技术。     

CD-ROM技术讲座 第五讲 CD-ROM应用光盘制作

在CD-ROM技术出现的早期,一提到CD-ROM,人们就会联想到一种神密、昂贵和时髦感,以为只有专家才能掌握这种技术.但是,这种思想很快就戏剧般改变了.现今,普通单位与个人都可以很快地制作一个价格适宜的简单CD-ROM产品.本文将讨论一些有关CD-ROM制作的通用问题,如为什么要制作CD-ROM应用光盘,在什么时侯选CD-ROM做为出版媒体合适;怎样制作一个CD-ROM应用光盘.1 为什么要制作CD—ROM应用光盘CD-ROM以其大容量、低价格CD-ROM驱动器和合适的媒体标准等特性使得它成为大量信息的一种低     

CD—ROM技术展望

从1984年CD—ROM作为一种商用产品第一次面世,到1988年其文件格式已成为ISO 9660的国际标准.这期间时间之短使其已凌驾于光盘和软盘之上,后两种产品目前还在寻求其国际标准.而1988年至1993年则是CD—ROM的成长期.CD—ROM是一种超大媒体,它不断发展的根源在于数字数据的使用量每隔三年就翻一番,而且这种趋势似乎还尚无止境.本文从CD—ROM的软件、硬件技术以及基于CD—ROM技术的应用技术和市场等几个方面讨论CD—ROM技术的发展.     

市民健康信息系统的分析与设计

介绍Web服务技术,根据市民健康信息系统的要求以及异构的医院信息管理系统交换医疗数据的特点,提出利用Web服务技术实现这一系统,并给出了系统的总体设计方案.     

时态数据库在工资智能决策支持系统的应用

本文针对工资智能决策支持系统的时态性进行了讨论，并用一个基于时态数据库的嵌套关系数据库及其TER模型实现。     

基于WIN32的低层音频编程

本文首先概述了ＷＩＮＤＯＷＳ的多媒体特性，介绍了多媒体编程的特有构造、调试工具和基本步骤。然后对ＷＩＮＤＯＷＳ提供的低层音频服务进行了分析，阐述了利用低层音频函数编程的特点，并针对音频设备的特性说明了利用低层音频函数编程的一般流程。结合视频会议系统中对音频控制模块的实现给出了利用低层音频函数编程的实例，对视频会议中声音的采集和播放提出了实现的方法。     

典型数据库应用系统问题模式及其应用

针对中小型数据库应用系统特点，我们提出一种实用的中小型数据库应用系统开发模式ＴＤＢＡＭ。本文简要介绍该模式的基本框架，分析典型问题模式，介绍其开放性及两种有效技术，介绍了用“大众数据库”ＦｏｘＰｒｏｆｏｒＷｉｎｄｏｗｓ实现的范例模型及其应用。最后，提出进一步研究课题。     

FQM-tree:基于B~+树的时态索引

提出了一种基于B~+树的、针对有效时间区间的索引模式:FQM-tree(fast query map tree).FQM-tree将有效时间区间映射为一维空间上的点,对映射点建立索引;同时增加一个基于内存的辅助索引结构,最大程度地减少对无效节点的访问.该索引结构具有如下优点:首先,将时问区间映射为点,可以直接利用已有应用成熟的、被广泛支持索引结构(如B~+树),这就意味着可以在数据库中快速实现对时态索引的支持,而无需更改DBMS的内核;其次,基于内存的辅助索引结构可以直接定位叶节点,提高了时态查询效率;另外,由于当前B~+树仍是数据库中应用最成熟、最广泛的索引结构,因此借助B+树的基本结构研究时态索引,使得时态索引能够快速地得到具体应用,所以FQM-tree的研究具有广泛的应用价值.理论分析及大量的实验结果均表明,FQM-tree的查询性能优于传统的时态索引方法.     

描述逻辑μALCQO 的语义及推理

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO 中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO 的语法、语义和不动点构造算子的性质,证明了μALCQO 的可满足性推理等价于混合分级μ-演算的可满足性推理.基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理.μALCQO为进一步给出同时含有不动点构造算子和枚举构造算子的表达能力强的描述逻辑推理算法提供了理论基础.