Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

Inference and retrieval of facial images

Attempts have been made to extend SQL to work with multimedia databases. We are reserved on the representation ability of extended SQL to cope with the richness in content of multimedia data. In this paper we present an example of a multimedia database system, Computer Aided Facial Image Inference and Retrieval system (CAFIIR). The system stores and manages facial images and criminal records, providing necessary functions for crime identification. We would like to demonstrate some core techniques for multimedia database with CAFIIR system. Firstly, CAFIIR is a integrated system. Besides database management, there are image analysis, image composition, image aging, and report generation subsystems, providing means for problem solving. Secondly, the richness of multimedia data urges feature-based database for their management. CAFIIR is feature-based. A indexing mechanism,iconic index, has been proposed for indexing facial images using hierarchical self-organization neural network. The indexing method operates on complex feature measures and provides means for visual navigation. Thirdly, special retrieval methods for facial images have been developed, including visual browsing, similarity retrieval, free text retrieval and fuzzy retrieval.     

电动自行车充电器自动检测系统设计

介绍了基于PC虚拟仪器和VB环境的电动自行车充电器自动检测系统，阐述了系统检测原理，硬件结构设计及应用软件的编制方法，文中还给出了一个实用的恒流放电电子负载电路。     

Scheduling in or-parallel Prolog systems: Survey and open problems

Implementation of or-parallel Prolog systems offers a number of interesting scheduling problems. The main issues are the interaction between memory models and scheduling, ordering of multiple solutions, and scheduling of speculative work. The problems occur partly because of the design choices (e.g. the choice of a memory model), and partly because of the desire to maintain observational equivalence between parallel and sequential implementations of Prolog, while achieving high efficiency. In the first part of this paper a common framework for discussing scheduling in or-parallel systems is introduced, and also a collection of issues that must be addressed in such systems is presented. In the second part of the paper we survey a number of solutions to these problems comparing their efficiency whenever possible. We close the survey with a short discussion of open problems.Current association: Carlstedt Elektronik AB     

基于DataGrid Control 6.0的数据库查询

本文作者介绍了在VisnalBasic 6.0开发环境中 ,利用ActiveX数据对象 (ADO)对本地硬盘和局域网数据库的随意选择输出的方法 ,以及如何利用DataGrid和Combo控件对数据库中的表及其内容进行选择查询     

MatrixVB--基于Matlab与VB的计算引擎

本文介绍利用COM组件MatrixVB来扩展Visual Basic计算功能的开发过程与发布方法。MatrixVB作为一种数学工具有效地将Matlab的强大功能融入到了Visual Basic中。     

自动控制原理考试系统的设计与实现

对基于Visual Basic 6．0开发的自动控制原理考试系统的系统结构做了阐述，并简要介绍了该系统的设计思想、主要功能及实现方法。     

基于Visual Basic 6.0的加热炉监控系统设计

针对钢厂的加热炉温度巡检控制系统，设计了基于Visual Basic 6.0的计算机监控系统。根据Visual Basic6.0的功能特点，采用预测自适应控制，实现了加热炉的温度监控系统。介绍了其监控系统的组成结构、软件结构和主要功能模块。实践表明，该温度监控系统具有很高的控制精度，达到了良好的控制效果。     

OPC技术在过程控制中的应用

在简要介绍OPC技术原理的基础上,对OPC技术在罗克韦尔PLC5系列PLC及其相关软件与VB程序通信中的应用进行了研究,并通过实例说明了OPC服务器的配置方式及OPC客户端程序的实现方法。     

Efficient prolog programming

This paper presents some basic programming strategies for Prolog programmers. The strategies are based on knowledge about the operational behaviour of the Warren Abstract Machine (WAM). The aim is to provide simple principles for making programs both faster and less space-consuming. The programming hints given are mostly local, i.e. only a single clause or procedure need be considered at a time.