This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Thu 28 of Mar, 2024 [17:22 UTC]
Menu

Category B. Hardware

Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

search category: deep:

Hide subcategories objects

Current category: Top  ::  ITHEA Classification Structure  ::  B. Hardware
..
 

Objects (47)

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-ToleranceArticle 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-ToleranceArticle 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 AidsArticle 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-ToleranceArticle 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-ToleranceArticle 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 ИССЛЕДОВАНИЕ ВЕРХНЕЙ ГРАНИЦЫ ПРОПУСКНОЙ СП Аннотация: Задача вычисления бесконфликтного расписания коммутации пакетов в коммуникационных узлах с мат� 

[prev]  Page: 2/2
1   2  
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.21 secs ]   [ Memory usage: 9.11MB ]   [ GZIP Disabled ]   [ Server load: 0.42 ]