- Type of paper
: Paper in book
Title: Process instrumentation system model for fault detection
and analysis
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Bogunović, Nikola (4276)
- Jović, Franjo
Publisher: Hrvatsko društvo za sustave
ISBN: 920731032
Year: 1992
Pages: from 31 to 36
Number of references: 6
Language: hrvatski
Summary: The paper addresses methods of knowledge acquisition
andreasoning in an intelligent instrumentation systems for faultdetection
and analysis, dedicated to industrial process controlenvironments. The
instrumentation systems is based on knowledge of industrial process
structure and functions, and onheuristics of diagnosis through multilevel
causal models. An interaction of structural and functional model
(passivecomponent) with reasoning process (active component) is
shown.Particular attention is paid to programming paradigm whichenables
natural hierarchical decomposition of complex multilevelindustrial systems.
Keywords: fault detection, instrumentation, process instrumentation
- Type of paper
: Paper in book
Title: Autocalibration of Measurement System by means of the
Primary References
- Authors:
- Marić, Ivan (82830)
- Editors
- Božičević, Juraj
Publisher: Hrvatsko društvo za sustave
ISBN: 920731032
Year: 1992
Pages: from 37 to 42
Number of references: 7
Language: hrvatski
Summary: Autocalibration of the measurement systems by means of the
primary references is described as well as the correspondingprocedures
for the derivation of the correction functions. Polynomial and
piecewise-linear approximations of the correction functions are
derived, based upon the autocalibration of the measurement system
characteristic by Nreference values. Advantages and disadvantages of
thisprocedure, compared to the autocalibration by means ofsecondary
references are pointed out. A model of an adaptivemeasurement system
comprising autocalibration is described.
Keywords: autocalibration, primary references, secondary references, polynomial approximation, correction functions
- Type of paper
: Paper in journal
Title: On the functionality and structure of the intelligent
instrumentation systems
- Authors:
- Bogunović, Nikola (4276)
Journal: INFORMATICA
Number: 1
ISSN: 0350-5596
Volume: 16
Year: 1992
Pages: from 42 to 48
Number of references: 10
Language: engleski
Summary: A rational approach to the functionality and structure of
theintelligent instrumentation systems, dedicated to industrialprocess
monitoring and control, and fault diagnosis applications,is presented. The
functional model is distinguished from thestructural model. Functions are
represented by interrelatedmodules that support multiple levels of
abstractions. Structuralmodel is described through hierarchy of layered
components.Particular attention is paid to process model building
procedures, and to knowledge representation and reasoning techniques. While
model building has settled around techniques that employ object-oriented
and windowing methodology, knowledgerepresentation procedures follow very
diverse approaches.
Keywords: artificial intelligence, instrumentation, knowledge-based systems, modelling
- Type of paper
: Paper in journal
Title: Inversion of integer matrices in residue number systems
- Authors:
- Gamberger, Dragan (13026)
Journal: IEE Proceedings-E
Number: 5
ISSN: 0143-7062
Volume: 139
Year: 1992
Pages: from 465 to 468
Number of references: 7
Language: engleski
Summary: The presented algorithm makes use of the recently
introduced
incompletely specified residue number system. This system enables
the operations necessary in the inversion process to be donefast,
completely in parallel for different moduli, even ifdivisors and some
system moduli are not relatively prime. Thealgorithm guarantees the result
correctness and the onlycondition for its applicability is that the
determinant of
the starting matrix is not a multiple of the product of allsystem moduli.
Keywords: matrix algebra, general integer computations, incompletely specified residue number system
- Type of paper
: Paper in journal
Title: Modelling biodegradation by an example-based learning
system
- Authors:
- Gamberger, Dragan (13026)
- Sekušak, Sanja
- Sabljić, Aleksandar
Journal: INFORMATICA
Number: 2
ISSN: 0350-5596
Volume: 17
Year: 1993
Pages: from 157 to 166
Number of references: 14
Language: engleski
Summary: In the paper a novel rule generation system for learning
from
examples and its application for modelling biodegradation
of chemicals are presented. Two rules for biodegradationprediction are
generated: the first one for all binarydescriptors and the learning set of
48 examples and the secondone with some descriptors extended to integer
values and thelearning set of 161 examples. The prediction results of
testexamples by the generated rules are compared with the measuredvalues
and the results of two known prediction models.
Keywords: inductive learning, biodegradation
- Type of paper
: Paper in journal
Title: Object oriented approach to design of interactive
intelligent instrumentation user interface
- Authors:
- Bogunović, Nikola (4276)
- Tulač, Sanjin
Journal: AUTOMATIKA
Number: 34
ISSN: 0005-1144
Volume: 34
Year: 1993
Pages: from 143 to 146
Number of references: 5
Language: engleski
Summary: The guidelines for interactive user interface design, in
anintelligent instrumentation system, are based on directmanipulation of
graphic objects. Standard structured graphicspackages, which are currently
extensively used in the design ofuser interfaces, are often large and
monolithic, with many, but difficult to extend, built-in functions. Editing
and manipulatingthe display list is hard, particularly when its elements
arerepresented procedurally. An object oriented approach, through
programming languages which support encapsulation and inheritance, and
runtime binding of operations to objects, offersolutions to the problems of
standard structured graphicspackages. The paper describes mechanisms for
implementing twodimensional graphic objects, which are intrinsic to
aninteractive user interface. Objects can be defined staticallyby
subclassing, or dynamically by creating instances of existingclasses.
Keywords: graphic user interface, intelligent instrumentation, object oriented systems
- Type of paper
: Paper in journal
Title: Autocalibration Procedures in Computer Controlled
Measurements
- Authors:
- Marić, Ivan (82830)
Journal: Microcomputer Applications
Number: 3
ISSN: 0820-0750
Volume: 11
Year: 1992
Pages: from 102 to 107
Number of references: 9
Language: engleski
Summary: Autocalibration of a computer-controlled measurement
system,
based on N reference points, is described. Several measurement system
models and measurement procedures suitable formeasurements of slow
varying analog quantities, are developed, and the corresponding
approximation of thecorrection functions are derived. A discrete
optimizationalgorithm is developed, yielding the optimum total number and
the distribution of reference values for the given measurement
system calibration characteristic in tabular form. Themeasurement system
periodically performs automatic calibrationof the measurement system
characteristic by measuring certainreference values. The simulation of
measurement procedures on adigital computer shows a significant reduction
of measurementerror when using autocalibration by N reference points
instead of2-point autocalibration, which is equivalent to the
well-knownzero and gain correction procedures. N-point
autocalibrationenables achievement of a high measurement accuracy by
usinglower-performance analog circuits. The only requirement is tohave
highly stable reference values.
Keywords: autocalibration, measurement system, reference values
- Type of paper
: Paper in journal
Title: Physical limitations of the period (frequency) for
repetitive automatic digital correction of measurement data at specified
accuracy
- Authors:
- Mutabžija, Ranko (32891)
Journal: Measurement, IMEKO Journal
Number: 2
ISSN: 0263-2241
Volume: 9
Year: 1991
Pages: from 56 to 60
Number of references: 12
Language: engleski
Summary: Analytical and numerical analysis is presented for the
automaticrepetitive digital correction of the measurement data at
thespecified accuracy. The fundamental requirement for correction
isanalytically derived. Thermal and secular effects on the gainchange
during the correction period are determined in generalterms. The maximal
permissible correction period and the minimalcorrection frequency are
derived for the assumed correctionsystem model. Operating the measurement
system within this periodensures that the correction of the measurement
data for themeasurement system total gain thermal and temporal drifts
isexecuted before the measurement error becomes greater than theprescribed
accuracy. The quantitative analysis of the maximalperiod and the minimal
frequency of the correction based onnumerical experimental data is done for
wide range of theoperating conditions and presented in tabular form.
Keywords: measurement, data, digital correction, repetitive, period, frequency
- Type of paper
: Paper in journal
Title: Object programming in C++
- Authors:
- Tulač, Sanjin
Journal: BUG
Number: 25
ISSN: 1330-0318
Volume: 1
Year: 1994
Pages: from 91 to 93
Language: hrvatski
Summary: In this professional paper an object oriented programming
paradigm is described. Formal theoretical base is illustrated with examples
written in C++.
Keywords: programming, object oriented programming, C++
- Type of paper
: Paper in journal
Title: Features of the Cylindrical Electrodes Burning Through by
the Destructive HF Induction Heating
- Authors:
- Mutabžija, Ranko (32891)
Journal: Elektrotehnika
Number: 1-2
ISSN: 0013-5844
Volume: 37
Year: 1994
Pages: from 3 to 6
Number of references: 6
Language: hrvatski
Summary: It is ascertained that the phenomenon of the cylindrical
electrodes burn through reduces to cumulative melting along the generation
of the cylinder. Derived independence of the heating power pro electrode
volume unit upon the burn through depth is sufficient condition for melting
process persistence. The burn through course depends on the applied HF
heating power, sort of the metal used for electrode creation and the
disposition of the weak sections along the hollow cylinder circumference.
Keywords: induction heating, destructive heating, burning through, cylindrical electrodes, process persistence
- Type of paper
: Paper in proceedings
Title: Knowledge Representation in a Database Environment for
Intelligent Instrumentation Application
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Hamza, M. H.
Proceedings title: Artificial Intelligence Applications and Neural Networks
Language: engleski
Place: Zurich, Switzerland
Year: 1991
ISBN/ISSN: 0-88986-153-6
Pages: from 141 to 144
Meeting: IASTED Internatioanl Conference on Artificial Intelligence Applications and Neural Networks
Held: from 07/01/91 to 06/03/91
Summary: Based on the proposed intelligent instrumentation system
model,the paper evaluates two embedded knowledge representationformalisms
appropriate for complex measurement and control applications. A traditional
method, which adds a detached and distinctive knowledge base in a logic
program form to an existingdatabase of an instrumentation system, is
compared to a knowledge representation form embodied in the database
itself. Itis shown that, under the closed world assumption, knowledge
embodied in the database is not incomplete, and inferenceprocess is reduced
to parsing, calculation, and querying, whichare all intrinsic database
management operations. The mainadvantage of such an approach lies in common
and familiar userinterface, much faster and thus less expensive system
design,but the semantic interpretation of a database records, and
itsknowledge expressiveness, is bounded.
Keywords: data base, intelligent instrumentation, knowledge base, knowledge representation
- Type of paper
: Paper in proceedings
Title: Intrisically safe systems with embedded microcomputers
- Authors:
- Gamberger, Dragan (13026)
- Marić, Ivan (82830)
- Matasović, Miroslav
Proceedings title: MIPRO, Savjetovanje o mikroračunalima u sistemima procesnog upravljanja
Language: hrvatski
Place: Rijeka
Year: 1991
ISBN/ISSN: 86-81607-07-3
Pages: from 233 to 238
Held: from 05/20/91 to 05/24/91
Summary: Some problems of microcomputer organization,
componentsselection, and power supply design for intrinsically safe
systemswith embedded computers are presented. The methods of
powerrequirements reduction and data retention in the power downperiod are
analyzed. A microcomputer organization applicable insmall embedded computer
systems, including an accumulator and abattery backed-up nonvolatile RAM,
is suggested.
Keywords: microcomputers, intrinsically safe systems
- Type of paper
: Paper in proceedings
Title: New aproach to integer division in residue number system
- Authors:
- Gamberger, Dragan (13026)
- Editors
- Kornerup, Peter
- Matula, David
Proceedings title: 10th IEEE Symposium on Computer Arithmetic
Language: engleski
Place: Grenoble, Francuska
Year: 1991
ISBN/ISSN: 0-8186-9151-4
Pages: from 84 to 91
Meeting: 10th IEEE Symposium on Computer Arithmetic
Held: from 06/26/91 to 06/28/91
Summary:
A new division algorithm substantially different from the knownones, and
especially appropriate for the Residue Number Systems(RNS), is presented. t
makes use of the fact that multiplicativeinverse element of a divisor, that
is relatively prime to systemmoduli, can be easily determined in the RNS.
The number of itsiterations depends only on the magnitude of the divisor
and themoduli of the system. The problems in the algorithm realizationare
analyzed in detail and a complete solution using the
incompletely specified RNS is described.
Keywords: residue number system, division algorithms
- Type of paper
: Paper in proceedings
Title: Learning from examples based on logical minimization
- Authors:
- Gamberger, Dragan (13026)
- Editors
- Bogunović, Nikola (4276)
- Jović, Franjo
Proceedings title: Umjetna inteligencija pri mjerenju i vođenju
Language: hrvatski
Place: Zagreb
Year: 1992
ISBN/ISSN: 920731032
Pages: from 119 to 124
Meeting: Umjetna inteligencija pri mjerenju i vođenju
Summary:
In the paper the problem of learning in systems with discrete
inputs and outputs based on restricted number of examples is
discussed. The aim of the learning is to find rules that will
enable decision making also for the input combinations that are
not included in the initial set of examples. In the paper it is
supposed that among a great number of possible rules, correct
is the one with the smallest number of logical conditions and
then an algorithm for the generation of such rule and some
obtained results are presented.
Keywords: example based learning, logic minimization, rule generation
- Type of paper
: Paper in proceedings
Title: Object oriented programming library of network functions
in a distributed instrumentation system
- Authors:
- Tulač, Sanjin
- Bogunović, Nikola (4276)
- Editors
- Ribarić, Slobodan
Proceedings title: Zbornik radova KoREMA 38(1993), 1. svezak
Language: engleski
Place: Zagreb
Year: 1993
ISBN/ISSN: 953-6037-00-9
Pages: from 212 to 215
Meeting: 38. Međunarodni godišnji skup KoREMA
Held: from 04/26/93 to 04/28/93
Summary: The paper describes a new, object oriented library of
networkfunctions, with the same hierarchical class structure
forimplementation of the "server" and the "client" part. Theapplicatbility
of these new functions has been shown through theimplementation of "xtalk"
program, i.e. the standard "talk"program based on X Window System platform.
The OSF/Motif basiclibrary of functions has been used for the user
interfaceimplementation.
Keywords: object-oriented, C++, computer networks, TCP/IP, Berkeley sockets, talk
- Type of paper
: Paper in proceedings
Title: WorkMates: TCP/IP based distributed application manager
- Authors:
- Ilakovac, Tin
- Tulač, Sanjin
- Editors
- Čerić, Vlatko
- Hljuz Dobrić, Vesna
Proceedings title: Proc. of the 15th International Conference on INFORMATION TECHNOLOGY INTERFACES
Language: engleski
Place: Zagreb
Year: 1993
ISBN/ISSN: 1330-1012
Pages: from 263 to 268
Meeting: 15th International Conference on INFORMATION TECHNOLOGY INTERFACES
Held: from 06/15/93 to 06/18/93
Summary: Berkeley sockets can be the solution to the problem of
developingdistributed applications written in different languages
andrunning on different host machines under various operatingsystems. The
presented work uses TCP/IP to create a network ofnodes for a distributed
application. The process is automatedthrough the use of a specific
protocol.
Keywords: distributed computing, computer networks, TCP/IP
- Type of paper
: Paper in proceedings
Title: Knowledge representation in an intelligent instrumentation
diagnostic system
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Ribarić, Slobodan
Proceedings title: MIPRO 92, Zbornik radova: Mikroračunala u inteligentnim informacijskim sustavima
Language: hrvatski
Place: Rijeka
Year: 1992
ISBN/ISSN: 86-385-0115-3
Pages: from 335 to 340
Meeting: MIPRO 92, Mikroračunala u inteligentnim informacijskim sustavima
Held: from 05/18/92 to 05/21/91
Summary:
The paper presents knowledge representation and reasoning schemesin an
intelligent instrumentation system, dedicated for faultdetection and
diagnosis in a complex industrial process controlenvironment. The analysis
is based on the functional andstructural model of the instrumentation
system, where hierarchically layered components, integrated in the
commonframework, support various levels of abstractions. Knowledge
representation techniques are considered in the context ofcompromising the
expressiveness and speed of computation.
Keywords: diagnostics, intelligent instrumentation, knowledge representation, process instrumentation
- Type of paper
: Paper in proceedings
Title: Object oriented approach to design of interactive
intelligent instrumentation user interface
- Authors:
- Bogunović, Nikola (4276)
- Tulač, Sanjin
- Editors
- Ribarić, Slobodan
Proceedings title: Proceedings of 38th International Annual Conference KoREMA
Language: engleski
Place: Zagreb
Year: 1993
ISBN/ISSN: 953-6037-00-9
Pages: from 208 to 211
Meeting: 38. Međunarodni godišnji skup KoREMA
Held: from 04/26/93 to 04/28/93
Summary: The guidelines for interactive user interface design, in
anintelligent instrumentation system, are based on directmanipulation of
graphic objects. Standard structured graphics packages, which are currently
extensively used in the design ofuser interfaces, are often large and
monolithic, with many, but difficult to extend, built-in functions. Editing
and manipulating the display list is hard, particularly when itselements
are represented procedurally. An object orientedapproach, through
programming languages which supportencapsulation and inheritance, and
runtime binding of operationsto objects, offer solutions to the problems of
standardstructured graphics packages. The paper describes mechanismsfor
implementing two-dimensional graphic objects, which areintrinsic to an
interactive user interface. Objects can bedefined statically by
subclassing, or dynamically by creatinginstances of existing classes.
Keywords: graphic user interface, intelligent instrumentation, object oriented systems
- Type of paper
: Paper in proceedings
Title: Distance criterion of voice signal scrambling in a
distributed computerised systems
- Authors:
- Valožić, Predrag (187840)
Proceedings title: Zbornik radova 38. međunarodnog godišnjeg skupa KoREMA
Language: hrvatski
Place: Zagreb
Year: 1993
ISBN/ISSN: 953-6037-00-9
Pages: from 523 to 535
Meeting: 38. Međunarodni godišnji skup KoREMA
Held: from 04/26/93 to 04/28/93
Summary: Distributed measurement and control systems often
demandprotected voice information transmission. Time segmentspermutation is
a standard technique for scrambilng the voicesignal. Legability of
scrambled voice signal, as a subjectivecategory measure, is not the same
for all possible permutationsof the finite signal time segments. The paper
formulates distancecriterion, as an indicator of dissimilarity between a
permutatedsegments signal, and the original signal (with basic or
zeropermutation). Distribution of permutations, relative to thedefined
distance criterion, is analyzed and experimentallyverified on an
implemented computerised real-time signalscrambler simulator.
Keywords: instrumentation, signal processing, signal scrambling
- Type of paper
: Paper in proceedings
Title: Hierarchically compounded objects of virtual
instrumentation
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Ribarić, Slobodan
Proceedings title: MIPRO 93, Zbornik radova: Mikroračunala u inteligentnim informacijskim sustavima
Language: hrvatski
Place: Rijeka
Year: 1993
ISBN/ISSN: 953-6042-00-2
Pages: from 130 to 135
Meeting: MIPRO 93, Mikroračunala u inteligentnim informacijskim sustavima
Held: from 05/24/93 to 05/27/93
Summary: Open, modular, distributed instrumentation systems
incorporatemultiple sets of real and virtual building blocks, which
synergistically enable unrestrained composition of measurement functions in
the system. The set of virtual elements is composedof graphical objects,
which provide for intelligent, dynamic, online decomposition and
reconfiguration of visualisation of the measurement process. The paper
compares graphical objects from Widget and InterViews sets, and specifies
their hierarchical structure. Using the object oriented paradigm, thepaper
formulates mappings of set elements to encapsulated datatypes, which
provide the possibility of multiple instantiationand behavioural sharing
through various inheritance mechanisms.
Keywords: graphical user interface, intelligent instrumentation, object oriented systems, virtual instrumentation
- Type of paper
: Paper in proceedings
Title: Steam Flow Computation Algorithm Using Measuring Orifices
- Authors:
- Marić, Ivan (82830)
- Žutić, Ivan
- Editors
- Matijević, Vladimir
Proceedings title: Savjetovanje o mikroračunalima u sistemima procesnog upravljanja
Language: hrvatski
Place: Rijeka
Year: 1991
ISBN/ISSN: 86-81607-07-3
Pages: from 2154 to 2159
Meeting: MIPRO'91, Savjetovanje o mikroračunalima u sistemima procesnog upravljanja
Held: from 05/20/94 to 05/24/94
Summary: The paper describes the algorithm for steam flow
computationusing orifice as a primary metering device. Based on the
instantaneous values of difference pressure, static pressure
and temperature, the thermodynamic values of steam, such as
density, viscosity, entalphy, and isentropic exponent, are
calculated, and the range of steam is examined. The flow of
steam is calculated in accordance with ISO 5167 Standard , for
all types of measuring orifices. This algorithm is implemented
in the steam flow computer that has been developed in Ruđer
Bošković Institute. The flow computer achieves a high
measurement accuracy by performing N-point self-calibration of
the analog subsystem periodically.
Keywords: flow algorithm, viscosity, enthalpy, isentropic exponent, self-calibration
- Type of paper
: Paper in proceedings
Title: Two level laser system's resonant signal detection
dynamics adjustment for optimal S/N ratio by time averaging method
- Authors:
- Mutabžija, Ranko (32891)
- Editors
- Kegong, Zhao
- Xiaoren, Yang
Proceedings title: Digest of the 12th Triennal World Congress of the IMEKO
Language: engleski
Place: Peking, NR Kina
Year: 1991
Pages: from 105 to 106
Meeting: 12th Triennal World Congress of the IMEKO
Held: from 09/05/91 to 09/10/91
Summary: Optimal signal to noise ratio is determined starting from
therelative spectral distributions. The spectrum of the signal isadjusted
by changing the dynamics of the particular measurementprocess. For two
level laser transitions the dynamics of theemission (or absorption) is in
semiclassical representationdescribed by the analogue to the Bloch's
equations for dielectricmedia. The solution of this system of differential
equations forthe appropriate irradiation spectrum sweep supplies
Lorentzianresonant line. For passages through the resonant line by
fastirradiation sweeps the natural Lorentzian response is deformed.The
determination of the optimally deformed resonant line peakand its full
width, for interesting range of normalizedirradiation frequency sweeps and
normalized saturations, requiresextensive numerical solution of the
differential equationspecifying system dynamics.
Keywords: signal, noise, ratio, determination, mesurement, process, dynamics, optimization
- Type of paper
: Paper in proceedings
Title: Spiritual regenaration of the Croatian science and the
illustrious character of system science
- Authors:
- Mutabžija, Ranko (32891)
- Editors
- Božičević, Juraj
Proceedings title: Sustavsko mišljenje
Language: hrvatski
Place: Zagreb
Year: 1992
Pages: from 31 to 41
Meeting: Sustavsko mišljenje
Held: from 03/15/92 to 03/15/92
Summary: The spiritual regeneration of the Croatian science is based
onclassical spiritual values, representing the offspring of theChristian,
especially Catholic tradition. The scriptures arepresented, directly
connected with the spiritual renewal in thescientific creation domain,
taken directly from the Holy Bible.After general consideration, the
scientific creation problem isformulated as concieved by the most prominent
scientists. It isasserted, that the system approach greatly enreaches,
widens andelevates the level of any particular scientific
problemconsideration. Using formal conclusion making by computers,
todaysome try to reduce thinking to artificial logic conclusion
makingwithin fixed conception system. As an example of
extremelysofisticated and abstract system-approach, modern
cosmologicaltheories are presented, describing the development of the
Cosmosas a whole.
Keywords: spiritual, regeneration, Croatian, science, systems, approach, scientific, creation
- Type of paper
: Paper in proceedings
Title: Basic limitations of the informatic systems architecture
- Authors:
- Mutabžija, Ranko (32891)
- Editors
- Bogunović, Nikola (4276)
- Jović, Franjo
Proceedings title: Umjetna inteligencija pri mjerenju i vođenju
Language: hrvatski
Place: Zagreb
Year: 1992
ISBN/ISSN: 920731032
Pages: from 1 to 5
Meeting: Umjetna inteligencija pri mjerenju i vođenju
Summary: The limitations of the informatic systems architecture,
which areabsolute by its nature are presented. These depend uponfundamental
physical laws and therefore on the fundamentalphysical constants, too. The
limitations by thermal noise ininformatic systems set up by classical
thermodynamics reduce thesmallest observable amount of negentropy to the
order ofBoltzman's constant. The spontaneous fluctuations of theconjugate
variables in nonrelativistic quantum theory and atabsolute temperature
zero, according to the Heisenberg'suncertainty relations, are of the
Planck's constant order. Bymeans of the Grand Unification Theory, the
ultimate limits of thebasic physical units, known as Planck's units are
derived. Theultimate limitations of the informatic systems digital
capacityis set up by the total quantity of the matter at disposal,
andsupposes use of its quantum and relativistic properties in
theBremermann's sense.
Keywords: informatic, limitations, thermic, quantum, relativistic, Bremermanns
- Type of paper
: Paper in proceedings
Title: Basic physical limitations of the general systems
informatic architecture
- Authors:
- Mutabžija, Ranko (32891)
- Editors
- Ghosal, A.
Proceedings title: Digest of the 9th WOSC Congress
Language: engleski
Place: New Delhi, Indija
Year: 1993
Pages: from 78 to 78
Meeting: 9th World Organization of Systems and Cybernetics Congress
Held: from 01/18/93 to 01/23/93
Summary: The limitations of the general systems, which are absolute
by itsnature, are discussed. They depend upon fundamental physical lawsand
therefore on the fundamental physical constants, too. Thelimitations by
thermal noise in general systems set up byclassical thermodynamics reduce
to the smallest observable amountof the negentropy which is of the order of
Boltzman's constant.The spontaneous fluctuations of the conjugate variables
innonrelativistic quantum theory occurring and at absolutetemperature zero,
according to the Heisenberg's uncertaintyrelations are of the Planck's
constant order. For extreme cosmicconditions, by means of GUT, the ultimate
limits in thequantization of the basic physical units are derived.
Theultimate limitations of the informatic capacity of generalsystems is set
up by the quantity of the applied matter andsupposes use of its quantum and
relativistic properties in theBremermann's sense.
Keywords: limitations, general, systems, absolute, thermic, quantum, relativistic, Bremermanns
- Type of paper
: Paper in proceedings
Title: Symmetry in Deductive and Inductive Inferencing
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Ribarić, Slobodan
Proceedings title: Mikroračunala u inteligentnim informacijskim sustavima MIPRO ž94
Language: hrvatski
Place: Rijeka
Year: 1994
ISBN/ISSN: 953-6042-01-0
Pages: from 3.18 to 3.23
Meeting: MIPRO ž94, Mikroračunala u inteligentnim informacijskim sustavima
Held: from 05/23/94 to 05/26/94
Summary: One of the fundamental problems in expert systems
development, which are founded on deductive inferencing within the set of
logical clauses, are knowledge acquisition and its representation by rules.
Clauses, having the structure of rules, can be generated by induction from
the set of characteristic examples which describe the investigated concept.
The paper compares the deductive inferencing, as a specialisation process
of general logic clauses, with inductive production of rules, as a
generalisation of individual examples which describe one or more concepts.
It is shown that the techniques are symetrical with respect to variable
bindings and unification of atomic formulas. While the deductive
inferencing is based on well known and proven resolution theorem, its
inversion in inductive inferencing is not yet standardised. The paper gives
some guidelines towards the uniform treatment of deductive and inductive
inferencing.
Keywords: automated inferencing, expert systems, logic, theorem provers
- Type of paper
: Paper in proceedings
Title: Avoiding infinite loops in rule-based systems with
backward chaining
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Ribarić, Slobodan
Proceedings title: Microcomputers in intelligent information systems MIPRO ž95
Language: engleski
Place: Rijeka
Year: 1995
ISBN/ISSN: 953-6042-17-7
Pages: from 3.36 to 3.42
Meeting: MIPRO 95, Microcomputers in intelligent information systems
Held: from 05/22/95 to 05/26/95
Summary: A subset of rule-based expert systems may be viewed as a
logic program, consisting of a finite set of normalised logic clauses.
Query evaluation, or backward chaining strategy of such programs, is a
procedure that searches for a path from a given node to some arbitrary node
in the corresponding graph. Hence, there may be some paths that are
infinite in length. The paper compares two methods that avoid infinite
loops in logic programs. Based on the notion of tabling in deterministic
languages, the paper examines a similar method in a non-deterministic
computational environment of logic programming. The tabling algorithm is
then compared to the Magic transformation method, based on source program
transformation. Two methods are analysed with respect to time and space
complexity.
Keywords: logic programming, PROLOG, recursions
- Type of paper
: Paper in proceedings
Title: A Minimization Approach to Propositional Inductive
Learning
- Authors:
- Gamberger, Dragan (13026)
- Editors
- Lavrac, Nada
- Wrobel, Stefan
Proceedings title: Proceedings of 8th Conference on Machine Learning
Language: engleski
Place: Heraklion, Grcka
Year: 1995
ISBN/ISSN: 3-540-59286-5
Pages: from 151 to 160
Meeting: 8th Conference on Machine Learning
Held: from 04/25/95 to 04/27/95
Summary: An approach to the problem of propositional inductive
learning of if-then-else
rules, different from the commonly used ones, is presented in the
paper. Main differences are: literal selection process that searches
for the smallest set of literals so that the completely correct rule for
all
learning examples can be constructed and the nonnormal form of the
generated
rules built by the search for necessary and sufficient conditions of
example classes. It is also presented how iterative application of the
literal
selection process can solve the problem of learning from noisy domains by
appropriate exclusion of some learning examples. The results of application
of the system that includes described algorithms on a few publicly
available
domains are discussed.
Keywords: machine learning, induction, rule, literal
- Type of paper
: Paper in proceedings
Title: An Approach to Dimensionality Reduction in Learning from
Deductive Databases
- Authors:
- Lavrac, Nada
- Gamberger, Dragan (13026)
- Dzeroski, Saso
- Editors
- Luc, de Raedt
Proceedings title: Proceedings of the 5th International Workshop on Inductive Logic Programming
Language: engleski
Place: Leuven, Belgija
Year: 1995
Pages: from 337 to 354
Meeting: 5th International Workshop on Inductive Logic Programming
Held: from 09/04/95 to 09/06/95
Summary:
The paper discusses a possibility of using an algorithm
for reducing the number of literals/features to be considered
in learning. The selected approach is used within the inductive
logic programming learning setting, using the LINUS/DINUS
transformation approach that enables learning in deductive
databases. The paper elaborates a model-based view on the
transformed learning setting and reports on first encouraging results
in dimensionality reduction, illustrated on a simple ILP problem.
Keywords: inductive logic programming, deductive databases, inductive learning, literal, example
- Type of paper
: Paper in proceedings
Title: Insufficiency of first order logic as a database query
language
- Authors:
- Bogunović, Nikola (4276)
Proceedings title: 5th SONT - 5th International Symposium on New Technologies
Language: engleski
Place: Zagreb
Year: 1995
ISBN/ISSN: 953-6228-00-9
Pages: from 219 to 222
Meeting: 5th SONT - 5th International Symposium on New Technologies
Held: from 09/25/95 to 09/27/95
Summary: The paper explores "logic+control" programming paradigm,
applied to a relational domain. Even though it looks natural
to utilize first order logic as a database query language, the
paper reveals some shortcomings of such an approach.
Particular attention is paid to: a) the semantics of negation
and other non-monotonic reasoning notions, b) infinite or time
consuming recursions, c) embedded PROLOG data structures and
control mechanisms. The dual interpretation of logic programs
(procedural and declarative) provides a ground to study
formalisms for non-monotonic reasoning. It is shown that the
formal meaning of negation, which grew out of an attempt to
capture commonsense reasoning, is not complete and renders
some PROLOG control mechanisms unsound. Moreover, attempts to
better understand negation led to mechanisms that often do not
terminate due to infinite positive or negative loops.
Keywords: database systems, deductive systems, logic programming, PROLOG
- Type of paper
: Summary in proceedings
Title: Modelling biodegradation by computer based logical
minimization
- Authors:
- Gamberger, Dragan (13026)
- Sekušak, Sanja
- Sabljić, Aleksandar
Proceedings title: Second symposium ecologically rational development of chemical technologies
Language: engleski
Place: Zagreb
Year: 1993
Pages: from 75 to 75
Meeting: Second symposium ecologically rational development of chemical technologies
Held: from 02/08/93 to 02/10/93
Summary:
The aim of the study is to create an efficient biodegradation
estimation system, based on existing experts knowledge on
biodegradation processes coupled to the artificial intelligence
methodology. The biodegradation estimates for 50 highly diverse
chemical structures is used as a learning set in our modelling
procedure. By applying the learning system, based on a modified
multivalued logic minimization algorithm, existing biodegradation
expert knowledge is transformed from examples to a function.
Keywords: biodegradation, logical minimization, example based learning,
- Type of paper
: Summary in proceedings
Title: Selected applications of knowledge engineering in data
processing and evaluation
- Authors:
- Bogunović, Nikola (4276)
- Editors
- Božičević, Juraj
Proceedings title: Od uzorka do podatka i informacije, Zbornik sažetaka radova
Language: hrvatski
Place: Zagreb
Year: 1993
Pages: from 2 to 3
Meeting: Od uzorka do podatka i informacije
Held: from 10/20/93 to 10/23/93
Summary: The paper demonstrates that semantic interpretation of
adatabase, constructed of sampled measurement values, can be regarded as a
simple and partial knowledge base, which, whenextended by first order logic
relations, may form a completeand consistent system viable for automatic
deduction. Some control strategies for deductive inferencing in such
datadriven knowledge based systems are presented. However,knowledge
acquisition from an expert, and representing thisknowledge by rules,
remains a major difficulty in developing deductive systems. If the database
embody characteristicexamples of the measurement concepts, there could be
apossibility of automatic reduction of data to rules,formulating the
domain. The paper presents learning procedureswhich, by induction from
sample data sets, generate classification decision trees, rules, and
clauses.
Keywords: artificial intelligence, data base, deduction, induction, knowledge base
- Type of paper
: Summary in proceedings
Title: Fluid Flow Measurement System
- Authors:
- Marić, Ivan (82830)
- Editors
- Božičević, Juraj
Proceedings title: CROSS, Od uzorka do podataka i informacije
Language: hrvatski
Year: 1993
Pages: from 56 to 57
Meeting: Od uzorka do podatka i informacije
Held: from 10/20/93 to 10/23/93
Summary: In this paper we have described a general system for fluid
flowmeasurement. We have supposed circular cross-section conduitsrunning
full. The measurement system enables selection of theprimary element,
definitions of the static parameters at the
measurement point, performs periodic sampling and the fluidcontents
analysis, measurement of the dynamic parameters thatare influencing flow
directly, periodic self-certification andcalibration of analog to digital
conversions. In addition itperforms computationally intensive flow
calculation algorithms,
calculation of the characteristic parameters of complex fluids,
communications between digital processor and master computer, andgraphical
interpretation of the measurement data and thecalculation results. In the
presented measurement system we haveimplemented different types of primary
elements like orifice plates, nozzles, venturi tubes, and turbines.
Also, we have builtin the complex numerical flow algorithms for different
gases, gasmixtures, water and steam. By means of analog and digital
inputand output signals, and the communication subsystem, digitalcomputer
can also perform complex process controlling functions.The measurement
system achieves high precision analog to digitalinput conversions by
periodic autocalibration, even inunfriendly environments.
Keywords: measurement system, primary element, self-certification, flow algorithms
- Type of paper
: M.A.
Title: Object oriented visual development of distributed
instrumentation systems
Faculty: Elektrotehnike i računarstva Zagreb
Language: hrvatski
Number of pages: 132
Summary: The thesis gives an overview of theoretical and
technological basis for the development of distributed virtual instruments
by means of visual programming. It also represents a detailed description
of a prototypical inplementation based on TCP/IP and X11 technologies.
Distributed virtual instrumentation are modern instrumentation systems that
merge distributed computing and graphical user interfaces, thus the thesis
includes the overviews of current research trends in both of these areas.
The integration of those two concepts in the prototype systems has been
based on object-oriented programming, so the thesis includes an
introduction to this subject, too. In the prototype called Vixed,
distributed virtual instruments are developed by graphical interconnection
of various predefined software modules in the form of data flow diagrams.
The front pannel is also designed by direct manipulation of graphical
objects. The implementation of the Vixed prototype has been based on
Berkeley sockets, InterViews v3.1, TinIV v0.83 and OSF/Motif v1.1
programming libraries as well as C++ and C programming languages. The
prototype has demonstrated that this way of visual development of complex
instrumentation systems can make the process simple enough to be exercised
by the experts in the domain of application, instead of computer science.
Keywords: data-flow diagram, distributed computing, graphical user interfaces, object oriented programming, TCP/IP, virtual instruments, visual programming
- Type of paper
: Mentorship
Title: Object oriented visual development of distributed
instrumentation systems
- Authors:
- Tulač, Sanjin
Faculty: Elektrotehnike i računarstva Zagreb
Mentor: BOGUNOVIĆ NIKOLA
Number of pages: 132
Author: Tulač dipl.inž. Sanjin
Degree level: M.A.
Summary: The thesis gives an overview of theoretical and
technological basis for the development of distributed virtual instruments
by means of visual programming. It also represents a detailed description
of a prototypical inplementation based on TCP/IP and X11 technologies.
Distributed virtual instrumentation are modern instrumentation systems that
merge distributed computing and graphical user interfaces, thus the thesis
includes the overviews of current research trends in both of these areas.
The integration of those two concepts in the prototype systems has been
based on object-oriented programming, so the thesis includes an
introduction to this subject, too. In the prototype called Vixed,
distributed virtual instruments are developed by graphical interconnection
of various predefined software modules in the form of data flow diagrams.
The front pannel is also designed by direct manipulation of graphical
objects. The implementation of the Vixed prototype has been based on
Berkeley sockets, InterViews v3.1, TinIV v0.83 and OSF/Motif v1.1
programming libraries as well as C++ and C programming languages. The
prototype has demonstrated that this way of visual development of complex
instrumentation systems can make the process simple enough to be exercised
by the experts in the domain of application, instead of computer science.
Keywords: data-flow diagram, distributed computing, graphical user interfaces, object oriented programming, TCP/IP, virtual instruments, visual programming
- Type of paper
: Mentorship
Title: Uncertainty representation in a diagnostic expert system
Faculty: Elektrotehnike i računarstva Zagreb
Mentor: BOGUNOVIĆ NIKOLA
Date of defense: 07/04/94
Number of pages: 62
Author: Mesić dipl.inž. Tomislav
Degree level: D.A.
- Type of paper
: Mentorship
Title: The mapping of first order predicate logic expressions
into normalised clauses
Faculty: Elektrotehnike i računarstva Zagreb
Mentor: BOGUNOVIĆ NIKOLA
Date of defense: 07/04/94
Number of pages: 68
Author: Tomac dipl. inž. Robert
Degree level: D.A.
- Type of paper
: Mentorship
Title: Mapping of natural language expressions into logical
clauses
Faculty: Elektrotehnike i računarstva Zagreb
Mentor: BOGUNOVIĆ NIKOLA
Date of defense: 02/06/95
Number of pages: 81
Author: Đuroković dipl.inž. Sanja
Degree level: D.A.
- Type of paper
: Mentorship
Title: The design of expert system shell based on logical
meta-interpreter
Faculty: Elektrotehnike i računarstva Zagreb
Mentor: BOGUNOVIĆ NIKOLA
Date of defense: 07/03/95
Number of pages: 88
Author: Jaganjac dipl.inž. Indir
Degree level: D.A.
- Type of paper
: Computer program
Title: Software package for verification of digital filter design
- Authors:
- Bogunović, Nikola (4276)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC/XT/286/386/486
Operating system: MS-DOS
Programming language: Microsoft C, V 5.1
Year: 1991
Summary: Traditional approach to filter design and verification is
basedon mathematical and graphical methods, and on construction
andexperimentation with workable prototype. This programming
packageintroduces efficient development tool, which enables an
easyverification of a considered digital filter before itsrealisation.
Input data to the program are analytical descriptionof the digital filter,
and description of the complex inputsignal and its sampling frequency. Upon
the completion of computing, the program produces graphically: input
signal inthe time domain, output signal in the time domain, inputsignal in
the frequency domain, and output signal in thefrequency domain. All input
and output data can be saved on ahard disk or diskette.
Keywords: computer aided design, digital filters, fast Fourier transform, programming
- Type of paper
: Computer program
Title: Program package for inductive learning
- Authors:
- Gamberger, Dragan (13026)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: HP-9000/425
Operating system: Unix
Programming language: C
Year: 1993
Summary: This program package consists of three programs with aime
togenerate rules, test the rules on example sets and locatepotentially
incorrect examples. Input data can be variables ofquality and variables of
quantity. The program package allowsexistance of only one output variable
with two states. By itsiterative usage more complex problems can be solved
as well. Thepackage is built in order to evaluate novel example
basedlearning methods and to serve as an auxiliary system for analysisof
scientific experimental data.
Keywords: induktive learning, logical minimization, rule generation
- Type of paper
: Computer program
Title: XTALK: a program for interactive communication using
TCP/IP computer network in a OSF/MOTIF Windows environment
- Authors:
- Tulač, Sanjin
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: HP 9000/425
Operating system: HP-UX v7.05
Programming language: C++
Year: 1992
Summary: XTALK is a program for interactive communication among
users of aTCP/IP computer network using X window system. XTALK iscompatible
with the standard TALK program, which uses a characterterminal, but brings
two major enhancements: adjustablereceiving/sending window size ratio and
the possibility to scrollback and forth to see the text which has flowed
out of thewindow. The user interface has been implemented according to
theOSF/Motif style guidlines.
Keywords: talk, TCP/IP, OSF/Motif, X windows, user interfaces
- Type of paper
: Computer program
Title: WorkMates: a program for support in design and maintenance
of distributed applications
- Authors:
- Tulač, Sanjin
- Ilakovac, Tin
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: HP 9000/425
Operating system: HP-UX v9.00
Programming language: C
Summary: WorkMates system is an original solution developed at the
RudjerBoskovic Institute in Zagreb with the intent to simplify thedesign
and maintenance of distributed applications as much aspossible, having
available computer resources in mind. This meansthat WorkMates system
enables the user to create a group ofprograms which will run in parallel at
several UNIX systemsconnected with the TCP/IP local (LAN) or wide-area
(WAN) computernetwork.
Keywords: distributed computing, distributed applications, TCP/IP
- Type of paper
: Computer program
Title: The Software Package for the Gas Flow Computation
- Authors:
- Marić, Ivan (82830)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: PC XT/AT/386/486
Operating system: DOS
Programming language: Microsoft C
Year: 1991
Summary: The Software Package for the Gas Flow Computation is
intended for
te off-line calculation of the natural gas flow by using orificeas the
primary metering device. Flow algorithm is in accordancewith International
Standard ISO 5167. The gas density iscalculated by following the AGA-8
Recommendations. The actualflow is dependent on the flowing pressure,
flowing temperature,gas mixture composition, type of orifice, and the
differentialpressure on the orifice. The program includes 750 lines of
sourcecode written in C-language, and is compiled by Microsoft (R)
COptimizing Compiler Version 5.10 for MS-DOS, and can be linkedwith other
programs by Microsoft (R) Overlay Linker Version 3.65.
Keywords: gas flow, primary metering device, gas mixture
- Type of paper
: Computer program
Title: MPF - Software Package for the Computation of Fluid Flow
Parameters by Means of Orifices, Nozzles, and Venturi Tubes
- Authors:
- Marić, Ivan (82830)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: PC XT/AT/386/486
Operating system: DOS
Programming language: Microsoft C
Year: 1992
Summary: MPF Software Package is intended for the fluid flow
measurementengineering based on orifice plates, nozzles, and venturi
tubesthat are inserted in circular cross-section conduits runningfull. It
assumes single-phased fluids, and the differentialpressures ensuring
subsonic, and slow varying flow. Flowalgorithms are in accordance with
following standards andrecomandations: ISO 5167, ISO 6976, AGA-8, and 1967
IFCFormulation. Fluids covered by this package are natural gas,water, and
steam. Depending upon the selected item thecomputation of flow,
differential pressure, or orifice innerdiameter can be done. The results of
the particular calculationcan be saved into file, read from file, and
printed. MPF sourcecode is written in C-language and is compiled by the
Microsoft(R) C Optimizing Compiler Version 5.10 for MS-DOS, and can be
linked with other programs by Microsoft (R) Overlay LinkerVersion 3.65.
Keywords: flow calculation, metering orifice, single-phased fluids
- Type of paper
: Computer program
Title: RPC - Software Package for the Calculation of the RP-85B24
Flow Computer Constant
- Authors:
- Marić, Ivan (82830)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: PC XT/AT/386/486
Operating system: DOS
Programming language: Microsoft C
Year: 1993
Summary: RPC Software Package is intended for the calculation of
theactual flow of the natural gas through the orifices, nozzles, andventuri
tubes, under the specified flowing conditions. Upon thecomputation of the
actual flow the constant K, necessary toimprove the accuracy of the
internally calculated flow by thecomputer RP-85B24, is determined. Flow
calculations are performedin accordance with following references: ISO 5167
Standard, AGA-8Recomandations, and R. W. Miller "Flow Measurement
EngineeringHandbook". The selection and/or modification of the parameters
isaccomplished via the keyboard. The results of the particularcalculation
can be saved into file, read from file, and printed.RPC source code is
written in C-language, compiled by Microsoft(R) C Optimizing Compiler
Version 5.10 for MS-DOS, can be linkedwith other programs by Microsoft (R)
Overlay Linker Version3.65., and is adapted to IBM compatible personal
computers.
Keywords: gas flow, orifices, flow parameters, flowing conditions
- Type of paper
: Computer program
Title: Programming package for the generation and verification of
the voice signal permutations
- Authors:
- Valožić, Predrag (187840)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC/XT/AT/386/486 + VGA
Operating system: MSDOS
Programming language: Borland Turbo Pascal V 6.0
Year: 1992
Summary: The programming package represents an integration of
variousoriginal subprograms, employed in the development of time
basedvoice signal scrambler. The scrambler is an example of thecombined
analog and digital electronic device where itsfunctionality, defined by the
degree of illegibility of thescrambled voice signal and the quality of
descrambled sound,depends on the subjective evaluation of the processed
signal.
Keywords: digital signal processing, scrambling, signal protection
- Type of paper
: Computer program
Title: Programming package for the analysis and graphical display
of the voice signal
- Authors:
- Valožić, Predrag (187840)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC/XT/AT/386/486 + VGA
Operating system: MSDOS
Programming language: Borland Turbo Pascal V 6.0
Year: 1992
Summary:
Programming package for the analysis and graphical display ofvoice signal
is originally developed as a part of a digital voicescrembler system. The
analysis and graphical display subprogramsare embodied in the separate
programming package because theseprocedures can also be used in other
application of digitalsignal processing.
Keywords: digital signal processing, graphical signal display, visualisation
- Type of paper
: Computer program
Title: VIXED: Software for distributed virtual instruments
development
- Authors:
- Tulač, Sanjin
- Bogunović, Nikola (4276)
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: HP 9000/400 radna stanica
Operating system: Unix
Programming language: C, C++
Year: 1994
Summary: Software system Vixed enables easy development and
implementation of distributed virtual instruments. The procedure boils down
to drawing a data flow diagram and graphical manipulation of preddefined
blocks, and designing a front instrument control pannel by direct
manipulation of visual graphical objects. The complexity of data flow
diagrams are overcome by structuring mechanisms, where subdiagrams are
building blocks of the diagrams of the higher hierarchical level.
Keywords: distributed computer systems, virtual instruments, visual programming
- Type of paper
: Computer program
Title: Diagnostic Expert System for Injection Moulding Process
- Authors:
- Bogunović, Nikola (4276)
- Mesić, Tomislav
Odering party: Institut Ruđer Bošković
HW platform: IBM PC
Operating system: MS DOS
Programming language: C
Year: 1994
Summary: Based on the injection mouldings technology knowledge base,
a diagnostic expert system for such a process is designed. Knowledge is
represented with production rules augmented with certainty factors. The
expert system exhibits learning capability by dynamically changing
certainty factors.
Keywords: certainty factors, expert systems, fault analysis, learning
- Type of paper
: Computer program
Title: A Software System for Normalised Logic Clauses Generation
- Authors:
- Bogunović, Nikola (4276)
- Tomac, Robert
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC
Operating system: MS DOS
Programming language: PROLOG
Year: 1994
Summary: The software package accomplishes the mapping from a set of
first order logic sentences to a set of normalised clauses. The program
includes shifting of negations, exchanging of implications and equivalences
with conjunctions and disjunctions, skolemisation and decomposition of
conjunctions.
Keywords: automated deduction, logic, logic programming, PROLOG, theorem proving
- Type of paper
: Computer program
Title: Software Package for Transforming Natural Language
Expressions into Logic Clauses
- Authors:
- Bogunović, Nikola (4276)
- Đuroković, Sanja
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC
Operating system: MS DOS
Programming language: PROLOG
Year: 1994
Summary: The software package defines the constrained grammar of
natural language, and parses sentences given in that language. The program
analyses each sentence phrase and builds the corresponding logic clauses.
Keywords: logic, natural language understanding, parsing of sentences
- Type of paper
: Computer program
Title: Expert System Shell Implemented with Logic
Meta-Interpreter
- Authors:
- Bogunović, Nikola (4276)
- Jaganjac, Indir
Odering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
HW platform: IBM PC
Operating system: MS DOS
Programming language: PROLOG
Year: 1995
Summary: The software package modifies the standard semantics of
PROLOG language in a way that is more approprate for the design of a
diagnostic expert system application. The program defines all predicates
needed in the expert system shell with backward chaining control structure.
The shell is verified on an automotive diagnostic knowledge base.
Keywords: expert systems, meta interpreters, PROLOG, system diagnostics
- Type of paper
: Survey/Study
Title: The analysis of the informatic content of the analoguous
solution of the 3rd order differential equation with periodic coefficients
- Authors:
- Mutabžija, Ranko (32891)
Institution depot: Institut Ruđer Bošković
Year: 1993
Number of pages: 12
Language: engleski
Summary: The informatic content is determined for the
sinusoidallyperturbed triple CR feedback oscillator. Pertaining third
orderlinear differential equation with periodic coefficients isanalyzed on
the basis of the analogous solutions, which aresimilar to the solutions of
the Mathieu's second orderdifferential equation, but are more complicated.
The principalfeature of the analogous solutions is the intermitent
appearanceof the quasi sinusoidal behaviour and the relaxation character
ofthe oscillation. All that means that the investigated type of
theperturbed oscillator unites the properties of the Van der Pohl'sfor two
substantially different sets of parameters. As timevariable component acts
the perturbation. The quasiharmonic partsof the analogous solution have
small informatic value. On thecontrary, the relaxational parts have great
number of harmoniccomponents, and are of great informatic value.
Keywords: informatic, content, perturbed, ocsillator, quasy-sinusiodal, relaxational, solutions, analogous
- Type of paper
: Survey/Study
Title: Burning-through characteristics of the incandescent
cylindrical electrodes by HF induction heating
- Authors:
- Mutabžija, Ranko (32891)
Institution depot: Institut Ruđer Bošković
Year: 1993
Number of pages: 12
Language: hrvatski
Summary: Described and determined are some features of the burning
throughthe cylindric metal electrodes by the destructive use of
highfrequency induction heating, otherwise used for degassationpurposes.
Several characteristic cases, with some common basicproperties, are shown
on four photographs. The process of burningthrough is asserted to be based
on cumulative melting process ofthe cylinder parallel to the axis. The
character of the burningthrough process depends on the applied heating
power, the sort ofthe metal used, and the distribution of the weak sections
alongthe circumference of the particular cylinder. Performed
powerconsumption analysis shows in first approximation that the energyused
per unit of the area of the cylindric specimen remainsconstant independent
of the degree of the burning through. Thiscondition is sufficient to
sustain the melting process afterinition till the destruction of the
inductive coupling.
Keywords: burning-through, cylindric, electrodes, HF, heating, characteristics, melting
- Type of paper
: Survey/Study
Title: Object Oriented Program Libraries for Graphical User
Interfaces Design
- Authors:
- Tulač, Sanjin
Ordering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
Year: 1994
Number of pages: 42
Language: hrvatski
Summary: The paper gives basic concepts of object oriented
programming libraries, intended for graphical useržs interface (GUI)
design. All significant characteristics are compared, together with
methodes of their usage. Particular attention is paid to advantages and
drawbacks of each, in the view of direct manipulation of graphical objects.
Keywords: graphical useržs interface, object programming, visual programming
- Type of paper
: Survey/Study
Title: One Method for the Resolution and Accuracy Measurement of
the Magnetic Induction Measurement by the NMR Signal Application
- Authors:
- Mutabžija, Ranko (32891)
Ordering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
Year: 1994
Number of pages: 9
Language: hrvatski
Summary: NMR signal application for magnetic inductance measurements
reduces magnetic measurements to the resonant frequency measurements for
same definite substance used as probe. In this way, the measurements are
transferred in the domain of the most precise measurements at all. By
choosing properly the passage speed through specific resonant line, the
resonant signal is sharpened, corresponding frequency band broadened and
the accuracy of the magnetic induction measurement increases. Resolution of
the magnetic resonance measurements is increased by the increase of the
resonant signal sweep along the oscilloscope screen between the reference
points.
Keywords: measurement, magnetic induction, accuracy, resolution, NMR application
- Type of paper
: Survey/Study
Title: Estimation of the Oscillation Character and Informatic
Content for Sinusoidally Perturbated Phase Shift Oscillator
- Authors:
- Mutabžija, Ranko (32891)
Ordering party: Institut Ruđer Bošković
Institution depot: Institut Ruđer Bošković
Year: 1995
Number of pages: 16
Language: engleski
Summary: The differential equation of the sinusoidally perturbed
quasi linear RC phase shift oscillator is formulated for the general case
of the active element transconductance variation. The character of the
analogous solutions of the derived third order differential equation with
sinusoidally perturbed coefficients is analyzed. The informatic content of
the qualitatively different parts of the experimentally obtained analogous
solutions is discussed. It is estimated that the oscillators with
periodically time varying components exhibit alternatively quasi harmonic
and relaxational properties, with corresponding low and high informatic
content.
Keywords: alternating oscillation character, perturbed oscillator, differential equation, analogous solutions, quasi harmonic, relaxational, informatic content
- Type of paper
: Invited lecture
Title: Scientific Fundamentals of the Long Term Metrology
Development
Institution: Državni zavod za normizaciju i mjeriteljstvo
Year: 1994
- Type of paper
: Other
Title: Object oriented visual development of distributed
instrumentation systems
- Authors:
- Tulač, Sanjin
Type of work: magistarski rad - autor je bio znanstveni novak na projektu
Language: hrvatski
Summary: The thesis gives an overview of theoretical and
technological basis for the development of distributed virtual instruments
by means of visual programming. It also represents a detailed description
of a prototypical inplementation based on TCP/IP and X11 technologies.
Distributed virtual instrumentation are modern instrumentation systems that
merge distributed computing and graphical user interfaces, thus the thesis
includes the overviews of current research trends in both of these areas.
The integration of those two concepts in the prototype systems has been
based on object-oriented programming, so the thesis includes an
introduction to this subject, too. In the prototype called Vixed,
distributed virtual instruments are developed by graphical interconnection
of various predefined software modules in the form of data flow diagrams.
The front pannel is also designed by direct manipulation of graphical
objects. The implementation of the Vixed prototype has been based on
Berkeley sockets, InterViews v3.1, TinIV v0.83 and OSF/Motif v1.1
programming libraries as well as C++ and C programming languages. The
prototype has demonstrated that this way of visual development of complex
instrumentation systems can make the process simple enough to be exercised
by the experts in the domain of application, instead of computer science.
Keywords: data-flow diagram, distributed computing, graphical user interfaces, object oriented programming, TCP/IP, virtual instruments, visual programming
- Type of paper
: Other
Title: G.Booch: Object-oriented analysis and design with
applications
- Authors:
- Bogunović, Nikola (4276)
Type of work: book review, Jour. of Comput. and Inf. Technology, vol 1, 1993, 4, 304-307.
Keywords: object-oriented programming, programming