B.6.3 Design Aids | Article |
OPTIMIZING PROGRAMMABLE LOGIC ARRAYS USING THE SIMULATED ANNEALING ALGORITHM |
Abstract: In the paper the programmable logic array (PLA) topological optimization problem is dealt with using folding techniques. A PLA folding algorithm based on the method of simulated annealing is |
B.8.1 Reliability, Testing, and Fault-Tolerance | Article |
PARAMETRIC IDENTIFICATION AND DIAGNOSIS OF INTEGRATED ... |
Abstract: Growth of complexity and functional importance of integrated navigation systems (INS) leads to high
losses at the equipment refusals. The paper is devoted to the INS diagnosis system develo |
B.4.3 Interconnections (Subsystems) | Article |
PROBLEM OF CHOICE OF SWITCHING ELEMENT FOR OPTICAL TELECOMMUNICATION NETWORK |
Abstract: The advantages of optical technologies' usage for information transfer by telecommunication
networks are researched. The analysis of methods for increasing the switching speed of optical si |
B.6.3 Design Aids | Article |
Program Invariants Generation over Polynomial Ring using Iterative Methods. |
Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted |
B.8.1 Reliability, Testing, and Fault-Tolerance | Article |
RESEARCH OF ACCURACY OF GUARANTEED OPERAYTING TIME PREDICTION BY FRACTILE ... |
Abstract: This paper describes a method of forecasting the guaranteed operating time using the quantile zones.
There are presented an equations and graphics for calculations of the guaranteed time op |
B.6.2 Reliability and Testing | Article |
SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING |
Abstract: The problem under discussion is to check whether a given combinational network realizes a system of
incompletely specified Boolean functions. SAT-based procedure is discussed that formulate |
B.6.2 Reliability and Testing | Article |
SAT-BASED METHOD OF VERIFICATION USING LOGARITHMIC ENCODING |
Abstract: The problem under discussion is to check whether a given combinational network realizes a system of
incompletely specified Boolean functions. SAT-based procedure is discussed that formulate |
B.4.3 Interconnections (Subsystems) | Article |
SCALAR CHOICE CRITERIA'S USAGE FOR DETERMINATION OF THE OPTIMUM SWITCHING ... |
Abstract: An approach to the optimum switching scheme’s choice is proposed. It is based on the scalar
choice criteria. Problem of the multistage switching system's structure's determination is solv |
B.6.2 Reliability and Testing | Article |
SEARCH ALGORITHM FOR SHORTEST SYNCHRONIZING SEQUENCES USING BOOLEAN SATISFIABILI |
Abstract: The problem under consideration is to find a synchronizing sequence for a logic network with memory. A novel method is proposed that is based on formulation of the task as the Boolean satisf |
B.7.1 Types and Design Styles | Article |
SELF-ASSEMBLY PROCESS FOR INTEGRATED CIRCUITS BASED ON CARBON NANOTUBES ... |
Abstract: New methods are needed to create integrated circuits which are able to overcome the inherent
problems in the miniaturization process. These problems are mainly technological and economical; |
B.6.3 Design Aids | Article |
SIMPLE CONSTRAINED FOLDING OF PROGRAMMABLE LOGIC ARRAYS OF SPECIAL TYPE |
Abstract: In the paper the constrained folding problem is investigated for programmable logic array (PLA) of
special architecture type. Constraints applied to folding are given which are imposed by t |
B.6.2 Reliability and Testing | Article |
SIMULATION-BASED APPROACH TO VERIFICATION OF ... |
Abstract: A verification task of proving the equivalence of two descriptions of the same device is examined for
the case, when one of the descriptions is partially defined. In this case, the verifica |
B.4 INPUT/OUTPUT AND DATA COMMUNICATIONS | Article |
SOME APPROACHES TO THE DEVELOPMENT OF ANALYTICAL MODEL FOR THE RESEARCH ... |
Abstract: The paper is devoted to the problem of the telecommunication technologies’ implementation strategy’s
choice at the cost minimization. Some aspects of the model, displaying the new techn |
B.4.3 Interconnections (Subsystems) | Article |
SOME ASPECTS OF CHOICE OF SWITCHING SCHEME FOR CONSTRUCTION OF OPTICAL ... |
Abstract: Some aspects of choice of switching scheme for optical signals' square switching system's construction
of big capacity are considered in the work. Variant based on scalar criteria of choic |
B.8.2 Performance Analysis and Design Aids | Article |
THE COMPUTER SYSTEM FOR THE ESTIMATION OF THE REALIZABILITY ... |
Abstract. When designing specification on-board algorithm (the algorithm, realized on on-board digital computing
machine, and algorithm to activity of the crew necessary to conduct the estimation the |
B.8.1 Reliability, Testing, and Fault-Tolerance | Article |
THE INFORMATION-ANALYTICAL SYSTEM FOR DIAGNOSTICS ... |
Abstract: The operation of technical processes requires increasingly advanced supervision and fault diagnostics
to improve reliability and safety. This paper gives an introduction to the field of fau |
B.8.1 Reliability, Testing, and Fault-Tolerance | Article |
TWO-LEVEL GENETIC ALGORITHM FOR PROGRAMMABLE LOGIC DEVICES RECONFIGURATION |
Abstract: The article considers the problem of programmable logic device reconfiguration after a failure of logic
elements. The task is relevant to areas such as space exploration and important indus |
B.6.2 Reliability and Testing | Article |
USING SAT FOR COMBINATIONAL IMPLEMENTATION CHECKING |
Abstract. The problem of checking whether a system of incompletely specified Boolean functions is implemented
by the given combinational circuit is considered. The task is reduced to testing out if t |
B.4.4 Performance Analysis and Design Aids | Article |
ИССЛЕДОВАНИЕ ВЕРХНЕЙ ГРАНИЦЫ ПРОПУСКНОЙ СП |
Аннотация: Задача вычисления бесконфликтного расписания коммутации пакетов в
коммуникационных узлах с мат� |