All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

281 183 (0,271s)

Result

Test circuit for testing refrigerant compressors

Test circuit for testing refrigerant compressors. The circuit realized according to a utility model no. 18040....

JE - Nejaderná energetika, spotřeba a užití energie

  • 2007
  • Gfunk
Result

Using Model Checker to Analyze and Test Digital Circuits with Regard to Delay Faults

with the logic design, physical design and layout, and delay testing phases of the circuit. Our approach expects that a circuit is modeled as a network stochastic hybrid the circuit into our model

Computer hardware and architecture

  • 2021
  • D
  • Link
Result

The Formal Approach to the RTL Test Application Problem Using Petri Nets

An approach to solve the test application problem is presented. On the basis of RT-level digital circuit formal model, properties of circuit elements, which are important for test controller synthesis, are...

JC - Počítačový hardware a software

  • 2002
  • D
Result

Equivalent Circuit Model for a Single Phase Transformer

The parameters of power transformers are usually determined from the results of the short-circuit test and open-circuit test, i.e. the user knows active powers, the amplitudes of currents and voltages in both situa...

JE - Nejaderná energetika, spotřeba a užití energie

  • 2013
  • D
Result

FEM Model of the Lithium Ion Battery Nail Test

vulnerable to internal short-circuits because of high energy content. Nail penetration test is commonly used to study the internal short-circuits, but the test results with a possibility of numerical simulation of...

Electrochemistry (dry cells, batteries, fuel cells, corrosion metals, electrolysis)

  • 2016
  • D
  • Link
Result

Modelling of Erroneous Telecommunication Circuits

This contribution deals with modelling of telecommunication circuits to enable testing of new error protection systems, which could improve quality of data telecommunication services. Model is based on previous mea...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2001
  • D
Result

Model Tests of Swirl Turbine with Solitter Blades

Amendment of the document files ?Universal test circuit for measurement of performance and cavitation characteristic curves of model hydraulic turbines for large flow rates and low heads?, focused on tests of swirl...

BK - Mechanika tekutin

  • 2002
  • Vx
Result

The Test Controller Model Based on The Timed Automaton

In the paper the process of the test controller model design and synthesis on Register Transfer Level (RTL) is described. The principles of test application to circuit element by the test controller mo...

JC - Počítačový hardware a software

  • 2003
  • D
Result

RT Level Test Optimization for Low Power Consumption

The paper deals with low power consumption test optimization for register transfer level (RTL) circuits. A model of circuit under test (CUT), based on the theory of sets and relations is defined. In the

JC - Počítačový hardware a software

  • 2007
  • D
Result

Simulation models of current conveyors for computer analysis

Computer modelling of circuits is of much significance for the synthesis and analysis of circuits. In the design of circuits, their functions and basic properties are usually first verified by simulation, after whi...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2006
  • D
  • 1 - 10 out of 281 183