Integrated systems I: Design principles

The following design principles are being used in an ongoing project to realize an integrated family of rule based systems that can be easily used separately or together in different combinations to solve problems common to many different disciplines. Some essential features of this family are:

1. Individual members can be used in the normal way as user-friendly rule based systems or they can be transparently invoked by other user-friendly rule based systems without interrogating users.
2. The knowledge (or rule) bases of key members do not mimic the perceived mode of human thought; therefore, they can predict events that cannot be predicted by the state-of-the-art alone.
3. The Law of Conservation of Mass/Energy is used to detect and correct computational errors.

     

Kernel language KLND

This paper presents a kernel language KLND on the basis of analysing the kernel languagerequirements of new generation computer systems. These requirements are: the ability ofknow-ledge processing, the parallelism, the elegant mathematical properties of the comput-ation model which is appropriate for working as the basis of the novel architecture design, andthe suitability for writing large scale softwares. The main features of KLND are as follows: 1. several new language concepts. 2. the modularity, 3. the unification of logical and functional programming styles, 4. the exploitation of the parallelism. 5. the introduction of the type concept, 6. the introduction of the storage concept.     

A new approximation of the constraints in truss sizing problems: An explicit second order approximation which is exact for statically determinate truss structures

A new explicit approximation of the constraint functions (displacements and stresses) in truss sizing problems is presented and shown to have the following properties:

—it is a second order approximation;

—it is exact if at most two variables (cross-sectional areas) are varied simultaneously;

—it is exact when applied on statically determinate structures.

The approximation is included in an optimization scheme for truss sizing and applied on several test problems. The optimal solution is always obtained, with a very high accuracy, after less than 5 global iterations, even on problems where traditional first order methods require up to 40 global iterations.     

Sweep methods for parallel computational geometry

In this paper we give efficient parallel algorithms for a number of problems from computational geometry by using versions of parallel plane sweeping. We illustrate our approach with a number of applications, which include:

General hidden-surface elimination (even if the overlap relation contains cycles).

CSG boundary evaluation.

Computing the contour of a collection of rectangles.

Hidden-surface elimination for rectangles.

There are interesting subproblems that we solve as a part of each parallelization. For example, we give an optimal parallel method for building a data structure for line-stabbing queries (which, incidentally, improves the sequential complexity of this problem). Our algorithms are for the CREW PRAM, unless otherwise noted.     

An operational semantics for Paragon: A design notation for parallel architectures

The need to design and verify architectures to support parallel implementations of declarative languages has led to the development of a novel language, called Paragon, which bridges the gap between the top-level specification of the abstract machine, and its detailed implementation in terms of parallel processes and message passing. The central technical contributions in this paper are:

? The introduction and specification of Paragon, a parallel object-oriented language based on graph rewriting and message passing principles.

? An illustration of the approach at work in the design of a parallel supercombinator graph reduction machine.

? A sketch proof that this design meets the requirements statement.

     

Improving a multi-objective differential evolution optimizer using fuzzy adaptation and K-medoids clustering

The research presented in this article focuses on the development of a multi-objective optimization algorithm based on the differential evolution (DE) concept combined with Mamdani-type fuzzy logic controllers (FLCs) and $K$ -medoids clustering. The FLCs are used for adaptive control of the DE parameters; $K$ -medoids clustering enables the algorithm to perform a more guided search by evolving neighboring vectors, i.e., vectors that belong to the same cluster. A modified version of the $DE/best/1/bin$ algorithm is adopted as the core search component of the multi-objective optimizer. The FLCs utilize Pareto dominance and cluster-related information as input in order to adapt the algorithmic parameters dynamically. The proposed optimization algorithm is tested using a number of problems from the multi-objective optimization literature in order to investigate the effect of clustering and parameter adaptation on the algorithmic performance under various conditions, e.g., problems of high dimensionality, problems with non-convex Pareto fronts, and problems with discontinuous Pareto fronts. A detailed performance comparison between the proposed algorithm with state-of-the-art multi-objective optimizers is also presented.     

Inventive machine: Second generation

Inventive Machine project is the matter of discussion. The project aims to develop a family of AI systems for intelligent support of all stages of engineering design. Peculiarities of the IM project:

1. deep and comprehensive knowledge base — the theory of inventive problem solving (TIPS)
2. solving complex problems at the level of inventions
3. application in any area of engineering
4. structural prediction of engineering system development

The systems of the second generation are described in detail     

High-speed tools for Global Information Management I. Information processing and retrieval

The general specifications and design for a High-Speed General Information Management System, HSGIMS, to serve as the basis for a Global Information Network are given. Some of the key specifications that have been confirmed in experiments with a prototype of the HSGIMS are:

1. Information (or data) and Question-type (or logical data) independence.
2. Very small bounded search times that are independent of the amount of information that is managed and can be computed exactly.
3. A fool-proof security system that can be used to protect databases against viruses and can also be easily invoked to deny unauthorized access by users.
4. Efficient use of all storage and communications resources.

     

Enhanced qualitative physical reasoning system: Qupras

There are many expert systems that use experimental knowledge for diagnostic analysis and design. However, there are two problems for systems using only experiential knowledge:

1. unexpected problems cannot be solved and
2. acquiring experiential knowledge from human experts is difficult.

To solve these problems, general principles or basic knowledge must be added to expert systems in addition to the experimental knowledge. In response, we previously proposed Qupras (Qualitative physical reasoning system) as a framework for basic knowledge. This system has two knowledge representations, one related to physical laws and the other to objects. By using this knowledge, Qupras reasons about the relations among physical objects, and predicts the next state of a physical phenomenon. Recently, we have improved some of Qupras’ features, and this pater desctibes the following main enhancements:

1. inheritance for representation of objects,
2. new primitive representations to describe discontinuous change, and
3. control features for effective reasoning.

     

Sequential approximate optimization of industrial hammer peening using finite element simulations

In this paper, the industrial hammer peening process is optimized using multi-objective, sequential approximate optimization, which is a mathematics- plus finite element- based algorithm. Since the number of design and objective variables is significant, the global optimization problem is split into two, more manageable multi-objective subproblems. The use of surrogate modelling together with an intensification and diversification strategy for solving the optimization subproblems allows for significant computational cost savings without loss of accuracy. Additionally, we propose a Bayesian inference criterion-based sensitivity approach for “filtering-out” design variables which do not significantly affect objectives variables. Finally, guidelines for selecting appropriate Pareto optima are given using \(N-1\) Pareto diagrams, where N is the number of objective variables.     

Separability and one-way functions

We settle all relativized questions of the relationships between the following five propositions:

• P = NP.
• P = UP.
• P = NP $\cap$ coNP.
• All disjoint pairs of NP sets are P-separable.
• All disjoint pairs of coNP sets are P-separable.

We make the first widespread use of variations of generic oracles to achieve the necessary relativized worlds.     

A globally convergent algorithm based on imbedding and parametric optimization

The continuation method, well-established for the solution of nonlinear equations is extended to restricted optimization problems. Only the locally active restrictions are considered along the homotopy path. It is assumed that there are only finitely many critical points, i. e. that there are only finitely many changes of the index set of active restrictions. The globally convergent algorithm which we present proceeds in three stages:

1. Within each stability region, the solution is computed by the classical continuation method.
2. On the boundary of a stability region, a critical point \(\bar t\) is determined.
3. A new active index set is determined when \(\bar t\) is passed.

For the class of convex problems, the hypotheses for the convergence of the algorithm may be secured. The algorithm is applied to several examples.     

An approach to the DIN Kernel Lisp definition

A DIN Kernel LISP Draft (DKLisp) has been developed by DIN as Reaction to Action D1 (N79), short term goal, of ISO WG16. It defines a subset language, as compatible as possible with the ANSICommon-Lisp draft, but also with theEuLisp draft. It combines the most important LISP main stream features in a single, compact, but nevertheless complete language definition, which thereby could be well suited as basis for a short term InternationalLisp Standard. Besides the functional and knowledge processing features, the expressive power of the language is well comparable with contemporary procedural languages, as e.g. C++ (of course without libraries). Important features ofDKLisp are:

to be a “Lisp-1,” but allowing an easy “Lisp-2” transformation;

to be a simple, powerful and standardized educationalLisp;

to omit all features, which are unclean or in heavy discussion;

DKLisp programs run nearly unchanged inCommon-Lisp;

DKLisp contains a simple object and package system;

DKLisp contains those data classes and control structures also common to most modernLisp and non-Lisp languages;

DKLisp offers a simple stream I/O;

DKLisp contains a clean unified hierarchical class/type system;

DKLisp contains the typical “Lisp-features” in an orthogonal way;

DKLisp allows and encourages really small but powerful implementations;

DKLisp comes in levels, so allowing ANSICommon-Lisp to be an extension ofDKLisp level-1.

The present is the second version of the proposal, namely version 1.2, with slight differences with respect to the one sent to ISO. Sources of such changes were the remarks generously sent by many readers of the previous attempt.     

RaumComputer

The RoomComputer is an embedded system and as such offers unprecedented chances to manage buildings. Several RoomComputers can be networked via the Intra-/Internet, which makes it possible to monitor, control, and manage rooms and buildings on a unified worldwide accessible platform, irrespective of any particular local technology. It can be easily installed in any building and gives access to a full set of services. It implements a distributed system, which provides secure and controlled access to services like

1. control of light, heating, ventilation, air and climate
2. communication facilities like unified messaging, telephone, fax, etc.
3. reservation of rooms and required resources
4. localization of persons and equipment within rooms and buildings
5. entrance control (i.e. locking/unlocking doors)
6. organization of maintenance and house keeping, and
7. charging and billing.

     

An algorithm for solving sparse Nonlinear Least Squares problems

We introduce a new method for solving Nonlinear Least Squares problems when the Jacobian matrix of the system is large and sparse. The main features of the new method are the following:

1. The Gauss-Newton equation is “partially” solved at each iteration using a preconditioned Conjugate Gradient algorithm.
2. The new point is obtained using a two-dimensional trust region scheme, similar to the one introduced by Bulteau and Vial.

We prove global and local convergence results and we present some numerical experiments.     

Thinking in parallel: four steps to Parlog

If you are familiar with Prolog but not with Parlog then this tutorial is aimed at you. In what follows I attempt to:

? explain the basics of Parlog

? demonstrate that Parlog programs can be powerful and elegant

? discuss the relationship of Parlog to Prolog, and

? identify some resources which will take you further.

These are what I call ‘four steps to Parlog’.     

Some computational problems in linear algebra as hard as matrix multiplication

We define the complexity of a computational problem given by a relation using the model of computation trees together with the Ostrowski complexity measure. Natural examples from linear algebra are:

KER _n : Compute a basis of the kernel for a givenn×n-matrix,

OGB _n : Find an invertible matrix that transforms a given symmetricn×n-matrix (quadratic form) into diagonal form,

SPR _n : Find a sparse representation of a givenn×n-matrix.

     

IT sourcing reflections

For more than a decade, the authors have studied the best, worst, and emerging information technology sourcing practices in 543 large and small organizations world-wide. From an initial focus on cost reduction in the early 1990s, the authors found that customers now expect many business advantages from IT outsourcing, including better service, infusion of new technology, transformation of fixed IT budgets to variable IT budgets, improved business processes, and even increased revenues. In short, customers expect IT outsourcing to transform IT functions into lean, dynamic groups that respond quickly to business needs and opportunities. But how do customers actually achieve such business advantage? Customers must become adept at managing four continual processes to successfully exploit IT outsourcing:

• Assess the in-house IT portfolio to determine which activities are best outsourced
• Evaluate market options for the best sourcing models and best suppliers to achieve customer objectives, ranging from simple ASP provision to the creation of customer-supplier joint ventures
• Craft contracts to align customer and supplier expectations and incentives; and
• Continually manage supplier relationships.

Major supplier lessons are also identified, which call for superior supplier integrity in selling, negotiating, and delivering IT services. The overall lesson is that outsourcing can achieve significant results, but it requires new management capabilities.