... Камера . ... Web-камера - как это сделано ? Наша Web-камера существует с 1997 года и за прошедшее время существовала в двух вариантах. ... Web-камера представляла собой простейший аппаратно-программный комплекс на базе IBM-совместимого компьютера подключенного к сети Internet, и не содержала никаких специализированных устройств. ... При установке дополнительного модуля интернет-броузера, становится возможным не только просматривать живое видеоизображение, формируемое камерой, но и управлять ей. ...
... am02r.zip , am02c.zip . ... Вычисление нормированного вектора невязки системы линейных алгебраических уравнений. Вычисляется вектор R = r / S, где r = b - Аx, b - заданный вектор длины N, x - заданный вектор длины М, A - заданная матрица размера N * М, S = || r || Нормировка вектора невязки r необходима при решении системы линейных алгебраических уравнений Аx = b с уточнением. ... вещественный вектор длины N, в котором запоминается правая часть системы; . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... It is shown, that receptive cluster behaves as the transmembrane molecular trigger. ... The primary signal will gain in 103 - 107 times in the total, and the process is terminated by general depolarization of neuron membrane with a spike generation. ... Fig. 1 shows, how the electrical and chemical stimuli's control dimer conformations by increasing or decreasing a distance between GCs and causing depolarizing or hyperpolarizing conformation transitions (DCT or HCT) respectively. ... Fig. ...
[
Текст
]
Ссылки http://acat02.sinp.msu.ru/presentations/radchenko/MolecularTiggersforInternet.doc -- 135.0 Кб -- 18.07.2002 Похожие документы