Studia Informatica


Volume: 1(8)
Year: 2007
Publishing: Publishing House of University of Podlasie
Scientific Editor: Andrzej Wisniewski
ISSN: 1731-2264

Contents

Novikov S.,
Many-Valued Gates for Reducing the Chip-Area of Integrated Circuits
pp. 7-17
Abstract: In this paper are proposed new many-valued gates K-PLA, T(2/K) and T(K/2) for a logical synthesis of digital integrated circuits. The semi-custom integrated circuit K-PLA has the architecture of a Programmable Logic Array of a type AND-OR and includes new K-valued valves MAX, MIN and GATE(A,j). A gate T(2/K) ( T(K/2)) is intended for transformation binary (K-valued ) entrance words into K-valued (binary) output words. The method of the logical synthesis with the use K-PLA, T(2/K) and T(K/2) allows to reduce nearly three times the chip-area, which is essential for placing of the circuit’s realization of the system of partial Boolean functions .
Download PDF file
Niewiadomski A., Penczek W.,
UML Verification with Verics
pp. 19-31
Abstract: We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.
Download PDF file
Czeberkus P., Timofeev A. O.,
Monitoring of State in Program Simulator of Electronic Device
pp. 33-40
Abstract: The article presents the interactive method of state monitoring of electronic device in autonomous simulated application. Form of electronic device state presentation is discussed. The information about state is presented by means of a special template, which can include both text and graphics. Author of model can decide about the format of displayed results. Implementation of the subsystem for monitoring electronic devices states, simulation course and observation of results are described. It is coming in sight, that the interactive monitoring of simulated devices state by means of text and graphics is readable, intelligible and more user friendly, and also it helps to understand better the processes, which take place in simulated devices and it is a good solution for didactics reasons.
Download PDF file
Castillo C., Starosta B., Sydow M.,
“CRAWL.PL” Measuring Statistical and Structural Properties of the Polish Web. Technical Report
pp. 43-73
Abstract: This document summarizes the results of an experiment made in the Polish-Japanese Institute of Information Technology, Warsaw, Poland during autumn 2005 and winter 2006. The goal of the project was to collect and analyze large portion of Polish Web documents in order to characterize the structure and other properties of the „.pl” domain. Up to the knowledge of the authors, it was the first publicly reported research experiment of this kind over the Polish Web. The following sections include information about downloaded Web pages, Web sites, and their characteristics. We also present various statistics concerning hosts and domains, as well as the link structure. Among the results of the experiment are the first data sets representing graphs of the Polish Web which will be publicly available for other researchers.
Download PDF file
Kosinski J.,
The Quantum Computer - What Does It Means?
pp. 77-96
Abstract: In a classical measurement the Shannon information is a natural measure of our ignorance about properties of a system. There, observation removes that ignorance in revealing properties of the system which can be considered to preexist prior to and independent of observation. Because of the completely different root of a quantum measurement as compared to a classical measurement, conceptual difficulties arise when we try to define the information gain in a quantum measurement using the notion of Shannon information. In contrast to classical measurements, quantum measurements, with very few exceptions, cannot be claimed to reveal a property of the individual quantum system existing before the measurement is performed. A mathematical theory of computation that is based on quantum physics is bound to be different. They are the analogues for quantum computers to classical logic gates for conventional digital computers. Although quantum gates work on qubits in a much different fashion from standard electronic circuits, they only differ in their basic effects in one sense: reversibility.
Download PDF file