铁路电力试验车软件的设计与实现

介绍了铁路电力试验车软件的设计思想、框架结构及其总体控制策略 ,并就其中的测试程序、数据库管理系统、串口通讯程序、复杂式样报表生成和系统安装程序的设计策略作了叙述。     

Oracle9i数据库安全管理机制剖析

数据库安全和数据安全机制是数据库开发设计者目前必须考虑的问题之一。Oracle9i数据库管理系统在数据库安全方面为数据库管理员和应用开发者提供了很好的安全机制。文章从不同侧面和角度讨论Oracle9i数据库系统的安全管理机制，为实施更安全更灵活的数据库安全策略提出了全方位的技术思路。     

基于ASP技术实现网上购物系统

利用目前流行的一种Web应用开发技术-ASP，实现网上购物系统。应用了ASP对COM组件的支持，实现了异构数据库的联合使用。同时，此系统具备客户登录功能，利用于系统的安全性。     

Object-oriented DBMS requirements

The requirements on an object-oriented DBMS for management of information in a large, complex enterprise are presented. These requirements aid in the achievement of an environment characterized by data sharing, open architectures, application and data portability, and assurance of data integrity. They were defined from the point of view of a user of the DBMS; therefore they describe the expected functionality of the DBMS and do not specify the method of implementation to achieve this functionality. They encompass requirements on the data model, query and data manipulation languages, the system architecure, interfaces to the system, change management, and transaction management.     

基于地理信息系统的天津房地产管理数据库

从地理信息系统CIS的组成开始．提出该类系统的组织与管理方法，同时重点介绍了在现阶段开发该类系统时所使用的高端技术，最后对GIS系统的发展趋势作出分析与顶测。     

在UNIX工作站上实现SYBASE数据库的空间扩展

七号信令网管系统的数据库服务器采用惠普UNIX工作站及SYBASE数据库。由于采集的数据量增大，原先设计的数据库空间不能满足数据存储三个月的要求．因此采用一块外置硬盘对数据库空间进行扩展。详细地介绍了SYBASE数据库空间扩展的全过程。     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

Similarity retrieval of iconic image database

The perception of spatial relationships among objects in a picture is one of the important selection criteria to discriminate and retrieve the images in an iconic image database system. The data structure called 2D string, proposed by Chang et al., is adopted to represent symbolic pictures. The 2D string preserves the objects' spatial knowledge embedded in images. Since spatial relationship is a fuzzy concept, the capability of similarity retrieval for the retrieval by subpicture is essential. In this paper, similarity measure based on 2D string longest common subsequence is defined. The algorithm for similarity retrieval is also proposed. Similarity retrieval provides the iconic image database with the distinguishing function different from a conventional database.