Integration of knowledge-based systems with data processing

Transaction Oriented Prolog-Online Environment is a multi-user, mainframe implementation of the logic programming language Prolog, specially designed and developed for the data processing environment. This article describes the background, functionality, implementation and use of TOP-ONE, stressing that applications of knowledge-based systems technology to data processing environments will achieve full success only when existing systems and existing conventional data are incorporated within the applications.     

Parallel processing in knowledge-based diagnostic systems

This paper highlights the use of the parallel processing concept in knowledge-based diagnostic systems. A MIMD machine connected in a cubic mesh fashion using Parlog has been suggested to implement such systems. An algorithm supporting the concurrent execution of multiple conflict set rules of the same production system program is presented. A specific application to communication systems maintenance utilizing these principles has been discussed.     

嵌入式平台下的RFID数据处理终端

介绍一种以AT91SAM9260处理器和Linux嵌入式操作系统为平台的RFID信息采集与处理系统。该系统充分利用AT91SAM9260芯片丰富的标准接口资源,集门禁、考勤、监控为一体,以Linux操作系统为软件平台,完成了RFID数据信息和USB摄像头照片数据的采集、保存与TCP/IP远程数据传输等。介绍了系统的硬件组成原理、软件设计方案和实现方法,为射频识别技术在智能一卡通系统中的应用提供了一种先进的解决方案。     

Design of knowledge-based systems with a knowledge-based assistant

The authors propose a model for an intelligent assistant to aid in building knowledge-based systems (KBSs) and discuss a preliminary implementation. The assistant participates in KBS construction, including acquisition of an initial model of a problem domain, acquisition of control and task-specific inference knowledge, testing and validation, and long-term maintenance of encoded knowledge. The authors present a hypothetical scenario in which the assistant and a KBS designer cooperate to create an initial domain model and then discuss five categories of knowledge the assistant requires to offer such help. They discuss two software technologies on which the assistant is based: an object-oriented programming language, and a user-interface framework     

Integrating model management with data management in decision support systems

Because of the increasing complexity of the problems faced by decision makers and the nature of decision support systems, decision models are becoming more and more crucial to their success. In this paper, a general framework for model management, which can integrate model management and data management and handle issues in model management such as model creation, model modification and model use is proposed.     

Developing real-time knowledge-based systems with PERFECT

PERFECT (Programming EnviRonment For Expert systems Constrained in reasoning Time) is aimed at providing the necessary engineering support in real-time knowledge-based system development. PERFECT bridges the gap between the traditional analysis and design methodologies, and the implementation tools for these systems. It does so by providing the means to construct a knowledge model and to choose a suitable inference strategy. Subsequently the properties of the knowledge model and inference strategy may be analysed. For instance, it may be checked whether the knowledge model contains sufficient knowledge to diagnose a fault in an industrial process. Moreover, it may be checked whether the inference engine is able to provide an answer to a certain problem in time. If not, the analyser of PERFECT proposes an alternative structure of the knowledge model. When the constructed knowledge model and the chosen inference strategy show the required time efficiency, the compiler of PERFECT may translate them to an actual real-time knowledge based system in COGSYS. In addition, guidelines are provided with respect to the design of the human-machine interface. The resulting system is an instrument—a source of information that can be used by the human operator during problem-solving, rather than a prosthesis—a device that solves the entire problem by itself and presents the outcome to the human operator.     

Integrating and querying distributed XML data via XLink

XML instances are not necessarily self-contained but may have connections to remote XML data residing on other servers. In this paper, we show that—in spite of its minor support and use in the XML world—the XLink language provides a powerful mechanism for expressing such links both from the modeling point of view and for actually querying interlinked XML data: in our dbxlink approach, the links are not seen as explicit links (where the users must be aware of the links and traverse them explicitly in their queries), but define views that combine into a logical, transparent XML model which serves as an external schema and can be queried by XPath/XQuery. We motivate the underlying modeling and give a concise and declarative specification as an XML-to-XML mapping. We also describe the implementation of the model as an extension of the eXist [eXist: an Open Source Native XML Database, http://exist-db.org/] XML database system. The approach can be applied both for distribution of data and for integration of data from autonomous sources.     

Accelerating the Fourier split operator method via graphics processing units

Current generations of graphics processing units have turned into highly parallel devices with general computing capabilities. Thus, graphics processing units may be utilized, for example, to solve time dependent partial differential equations by the Fourier split operator method. In this contribution, we demonstrate that graphics processing units are capable to calculate fast Fourier transforms much more efficiently than traditional central processing units. Thus, graphics processing units render efficient implementations of the Fourier split operator method possible. Performance gains of more than an order of magnitude as compared to implementations for traditional central processing units are reached in the solution of the time dependent Schrödinger equation and the time dependent Dirac equation.     

Coping with conflict in cooperative knowledge-based systems

In this paper, we address a critical issue of cooperative problem solving: the existence of conflict among distributed agents. In particular, we focus our study on cooperative knowledge-based systems. To obtain a better understanding and more balanced judgement of multiagent conflict, we provide a general scheme to study the logical structure of multiagent conflict and rational strategies of coping with it under different situations. Our research finding is that there is no grand unified theory of coping with conflict in performing complex real-world computer supported tasks. Instead, a library of alternative methods should be considered. We discuss four methods: inquiry, arbitration, persuasion, and accommodation. These methods can be combined in an order appropriate to the application domain such that if one method fails, the system will try the next. We point out merits and shortcomings of these methods and illustrate them using several high-level protocols and application examples from a prototype system, the Building Design Network     

Filtering for a class of discrete-time systems with time-delays via delta operator approach

In this article, a robust H _∞ filtering problem for a class of norm-bounded uncertain discrete-time systems with time delays is investigated using delta operator approach. Based on Lyapunov–Krasovskii functional in delta domain, a new delay-dependent sufficient condition for the solvability of this problem is presented in terms of linear matrix inequalities (LMIs). When these LMIs are feasible, an expression of a desired delta operator H _∞ filter is given. The proposed method can unify some previous related continuous and discrete systems into a delta operator systems framework. A numerical example is given to illustrate the effectiveness of the developed techniques.     

Identification of nonlinear systems via piecewise general orthogonal polynomials operator

Based on a hybrid orthogonal function, a new linear, continuous and bounded operator, piecewise general orthogonal polynomials operator (PGOPO), is proposed. Its main properties and operational rules have been strictly constructed based on the theory of convergence in the mean square, and are useful to discuss the orthogonal polynomial approach in the proper mathematics frame. Then applying the PGOPO method to solve the identification problem of nonlinear systems, the convergence analysis of PGOPO approximation method is given. Finally, using the PGOPO method to solve the parameter identification of two kinds of time-varying systems, the simulation studies show that the algorithm is simple and more effective than that of general orthogonal polynomials.     

CD-ROM source data uploaded to the operating and storage devices of an IBM 3090 mainframe through a PC terminal.

A powerful method of processing MEDLINE and CINAHL source data uploaded to the IBM 3090 mainframe computer through an IBM/PC is described. Data are first downloaded from the CD-ROM's PC devices to floppy disks. These disks then are uploaded to the mainframe computer through an IBM/PC equipped with WordPerfect text editor and computer network connection (SONNGATE). Before downloading, keywords specifying the information to be accessed are typed at the FIND prompt of the CD-ROM station. The resulting abstracts are downloaded into a file called DOWNLOAD.DOC. The floppy disks containing the information are simply carried to an IBM/PC which has a terminal emulation (TELNET) connection to the university-wide computer network (SONNET) at the Ohio State University Academic Computing Services (OSU ACS). The WordPerfect (5.1) processes and saves the text into DOS format. Using the File Transfer Protocol (FTP, 130,000 bytes/s) of SONNET, the entire text containing the information obtained through the MEDLINE and CINAHL search is transferred to the remote mainframe computer for further processing. At this point, abstracts in the specified area are ready for immediate access and multiple retrieval by any PC having network switch or dial-in connection after the USER ID, PASSWORD and ACCOUNT NUMBER are specified by the user. The system provides the user an on-line, very powerful and quick method of searching for words specifying: diseases, agents, experimental methods, animals, authors, and journals in the research area downloaded. The user can also copy the TItles, AUthors and SOurce with optional parts of abstracts into papers under edition. This arrangement serves the special demands of a research laboratory by handling MEDLINE and CINAHL source data resulting after a search is performed with keywords specified for ongoing projects. Since the Ohio State University has a centrally founded mainframe system, the data upload, storage and mainframe operations are free.     

数据流处理系统的调度策略研究

对于高速网络中大容量数据流的实时查询处理,由于数据流的突发性,要求调度策略能够适应这一特点,在不降低处理系统性能的情况下进行较合适地处理.以链式调度为基础,综合先进先出和贪心策略的优点,采用一种低延迟的分段调度策略来处理数据流,可以尽量避免这些调度策略的缺陷,既能在一定程度上降低运行期间系统的存储需求,同时保持较低的输出延迟.     

Map data processing in geographic information systems

An overview of geographic information systems (GISs) is given, covering data collection, applications, organization, and data models. Recent trends in map data processing are examined, namely, automatic name placement, map generalization, an automatic digitizer and expert system for land-use analysis, a map oriented system for urban planning, and a knowledge-based GIS. Techniques for extracting information from paper-based images are discussed, and some experimental results are given     

Secure data processing for IoT middleware systems

The Journal of Supercomputing - Increasingly, more manufacturing companies are equipping their products with smart capabilities which allow them to provide more informed services to customers....     

Admissibility analysis of linear singular systems via a delta operator method

In this paper, the problem of admissibility analysis is investigated for linear singular systems through a delta operator method. The delta operator model of a linear singular continuous system is set up first for a special case and then generalised to the common case. It is shown that when the sampling period tends to zero, the delta operator model tends to the corresponding singular continuous system. In order to obtain the above delta operator model, we adopt a linear singular discrete model which contains the sampling period instead of the standard discrete one which contains no sampling period in the modeling process. The relation between the admissibility of the two singular discrete models is analysed and it is proved that the admissibility of one singular discrete model is equivalent to that of the other discrete model. Moreover, based on the relation between the discrete and delta operator models, some admissibility conditions are derived for linear singular delta operator systems. A numerical example is also provided to demonstrate the theoretical results in this paper.