Contents & Abstracts, Schedae Informaticae, Issue 14 (2005)

Frédérique Biennier , Hervé Mathieu , Technical Solutions vs. Global BPR Investment, pp. 13-34

Abstract.   To face economic constraints, an enterprise organization evolves towards new structures as a networked enterprise, supply chains, a virtual enterprise or Collaborative Business organizations. This involves an interconnection of both business processes and information systems. In order to protect each partner own interest, security policies must be developed. These policies have to integrate legal, technical and organizational constraints. In this paper, we present how modular architectures can face these problems.

Keywords. security, Business Process reengineering, virtual organization.

Full version:

Maciej Paszyński , Piotr Kalita , Robert Schaefer , The Dynamics of Human Central Arterial System, pp. 35-59

Abstract.  The paper presents mathematical and numerical models of the blood flow in human arteries. We describe selected modelling techniques for the mechanical phenomena occurring in the arteries: blood flow, displacement of the wall and the fluid-structure interaction between the blood and the wall. The paper concentrates on the theoretical results showing the conditions of applicability of presented models. We describe variational models for the Casson flow of blood as well as stochastic Fluid Particle Model (FPM) modified for the nonlinear flows. For the artery wall we describe the model which is the physically nonlinear Koiter shell and the Finite Element Method (FEM). We also present the simulations of the fluid-structure interaction that uses the weakly coupled approach of FPM for blood with FEM for the wall.

Keywords. biomechanics, blood flow, Fluid Particle Model (FPM), variational models.

Full version:

Beata Jankowska , Truth Maintenance in an Expert System with Uncertainty, pp. 61-74

Abstract.  Although it is not indispensable, a truth maintenance system, or TMS, is a valuable component of an expert system. A TMS, concerned about consistency of the knowledge collected in the knowledge base, increases the reliability of conclusions obtained in a process of reasoning. The issue of TMS construction for traditional expert systems (with knowledge admitted to be certain) is well recognized from both theoretical and practical aspects. In the following paper, we present a two-level TMS project for the system with uncertainty. The presentation will be performed on the basis of an expert system used to prognosticate the effects of medical treatment of a bronchial asthma disease.>

Keywords. expert systems, truth maintenance, uncertainty.

Full version:

Piotr Szwed , Antoni Ligęza , Application of OBDD Diagrams in Verification of Tabular Rule Systems, pp. 75-94

Abstract.  This paper examines the application of Ordered Binary Decision Diagrams (OBDD) to modelling and verification of quality properties of rule systems. The transformation of an intentional specification of a tabular rule system into OBDD data structures was proposed and techniques of verification of such quality properties as completeness, determinism and redundancy of rules were described.

Keywords. binary decision diagrams, OBDD, tabular rule systems, verification.

Full version:

Janusz Adamowski , Stanisław Bednarek, Bartłomiej Szafran, Quantum Computing with Quantum Dots, pp. 95-111

Abstract. A possible implementation of quantum computation on quantum dots is discussed. We focus on the application of the spin of the electron confined in the quantum dot to read/write operations of quantum bits (qubits). The realization of quantum logic gates is studied for the spin states of the two-electron system confined in the two coupled quantum dots. We also discuss the advantages and limitations of the quantum-dot quantum computing technology.

Keywords. quantum computation, quantum dot, qubit, quantum logic gate.

Full version:

Adam Leśniewski , Molecular Logic Circuits Based on Mnemon, pp. 113-123

Abstract.  This paper describes a foundation for the new class of computer systems components. It is shown that future logic circuits will be created using tools and technologies taken from modern supramolecular chemistry. New molecules will be designed and then synthesized to create advanced molecular computers. In such a computer all calculations will be preformed using the interaction between various molecules. The presented framework is used to show construction of sample molecular adder.

Keywords. molecular electronics, nanosystems, molecular logic circuits.

Full version:

Jacek Bieganowski , Andrei Karatkevich , Heuristics for Thelen's Prime Implicant Method, pp. 125-135

Abstract. Thelen's algorithm is an efficient method for generation of the prime implicants of a Boolean function represented in CNF. In the paper new heuristics are presented, allowing to accelerate the algorithm. Experimental analysis of their effects is performed.

Keywords. Boolean functions, CNF, prime implicants, search tree, Thelen's method.

Full version: