전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
applying it to a logic element of a combinational circuit, it is necessary to note that its state change from healthy one to a state of a precursor of a failure occurs according to the exponential law with a particular constant.
Применительно к логическому элементу комбинационной схемы необходимо отметить, что изменение состояния элемента от исправного состояния до состояния предвестника отказа происходит по экспоненциальному закону с тем или иным показателем или постоянной экспоненты.
formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Формальная верификация может использоваться для проверки таких систем, как программное обеспечение, представленное в виде исходных текстов, криптографические протоколы, комбинаторные логические схемы, цифровые схемы с внутренней памятью.
during a scientific mission at the institute of molecular and atomic physics in the national academy of sciences of belarus, the laboratory of molecular spectral analysis carried out joint experimental research into the influence of high pressures (up to 200 atmospheres) on the transformation of contours of infrared absorption bands and the combinational dispersion of the light of complex multiatomic molecules.
813. Лабораторией молекулярного спектрального анализа в ходе научной командировки в Институте молекулярной и атомной физики Национальной Академии наук Республики Беларусь проведены совместные экспериментальные исследования влияния высоких давлений (до 200 атм.) на трансформацию контуров ИК полос поглощения и комбинационного рассеяния света сложных многоатомных молекул.