Бурцев А. А., Рамиль Альварес Х. Реализация средств объектно-ориентированного программирования в кросс-компиляторе языка ДССП-Т . Бурцев А. А., Рамиль Альварес Х. Сопрограммный механизм в системе структурированного программирования для троичной машины . Бурцев А.А., М.А. Бурцев М.А. ДССП для троичной виртуальной машины . ... Бурцев А. А., Рамиль Альварес Х. Кросс-система разработки программ на языке ДССП для троичной виртуальной машины . ...
... Работа с текстами . ... Поиск правил . Каталог правил . ... Работа выполнена в рамках федеральной целевой программы "Русский язык" . ... При выборе подпункта прокрутите страницу вниз чтобы увидеть правила, соответствующие выбранному разделу. ... Употребление форм имени существительного . Употребление форм имени числительного . Выбор падежа имени существительного или другого имени при глаголе . ... Выбор падежа в конструкциях с однокоренными словами . ... Русский язык . ...
-- MySQL dump 8.23 -- -- Host: localhost Database: slides --------------------------------------------------------- -- Server version 3.23.58 -- -- Table structure for table `book` -- DROP TABLE IF EXISTS book; CREATE TABLE book ( id_content int(11) NOT NULL default '0', title varchar(255) default NULL, text1 text, text2 text, PRIMARY KEY (id_content) ) TYPE=MyISAM; -- -- Dumping data for table `book` -- INSERT INTO book VALUES (110,'Электронный учебник','',''); INSERT INTO book VALUES
... Data . ... Projects . ... Neutron flux variations (RU) . ... Временных вариаций и определение направления прихода (от Земли . к Земле) потоков тепловых и быстрых нейтронов. ... Изучение спектральных характеристик нейтронов, регистрируемых на поверхности Земли. ... Земля"; . ... Оказалось, что на высотах вплоть до 3.5 км поток нейтронов, направленный от Земли, существенно превышал поток к Земле (среднее значение анизотропии для этих высот составляло 0,6 . ... Физика Земли . ...
... X-COM parallel.ru . ... Компьютеры со сверхвысокой производительностью всегда были крайне дефицитным, дорогим и исключительно востребованным вычислительным ресурсом, потребность в котором, как показывает практика, со временем только возрастает. ... Основная проблема - отсутствие работоспособных и эффективных технологий параллельного программирования, применимых к реальным неоднородным вычислительным средам, состоящим из десятков, сотен и тысяч параллельно работающих различных компьютеров. ...
... Работа посвящена разработке биофизических методов, основанных на использовании магнитных наночастиц в качестве детектируемых меток, для высокочувствительной количественной регистрации биомолекул и их взаимодействий между собой. ... Разработан метод регистрации биомолекул, в основе которого лежит применение магнитных наночастиц, регистрируемых с помощью метода детекции нелинейных магнетиков на комбинаторных частотах, в сочетании с использованием объемных волоконных фильтров в качестве твердой фазы. ...
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА Механикоматематический факультет На правах рукописи Беляков Антон Олегович Определение моментов инерции крупногабаритных тел по колебаниям в упругом подвесе 01.02.01 теоретическая механика Диссертация на соискание ученой степени кандидата физикоматематических наук Научный руководитель доктор физикоматематических наук А.П. Сейранян Москва 2005 г. Содержание Введение Глава I. Описание метода измерений 1 Существующие методы измерения моментов инерции 2
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
npidb:// home / introduction . ... Мы исходим из того, что имеется потребность в удобном представлении информации обо всех трехмерных структурах комплексов, в которых белок связывается с ДНК или РНК. ... Пользователь, профессионально занимающийся структурными аспектами специфического взаимодействия белков с НК получил доступ к структурированной информации обо всех ДНК-белковых и РНК-белковых комплексах, представленных в банках PDB и NDB, а также к специализированным программам работы со структурами. ...
... Главная . О центре . ... Научно-образовательный Центр компьютерного моделирования и безопасных технологий был создан при поддержке Федеральной целевой программы 'Интеграция' по разделу развития многопроцессорных вычислительных комплексов (супер-ЭВМ) коллективного пользования совместно с Российской академией наук в целях внедрения новейших вычислительных технологий, в частности, параллельных вычислений в области математического моделирования в фундаментальных научных исследованиях. ...
... Модели конкуренции: динамика численности и эволюция фенотипа . пособие по компьютерному практикуму) . ... Данный раздел компьютерного практикума посвящен изучению закономерностей изменения численности двух нескрещивающихся популяций X и Y , конкурирующих за общий ресурс, путем построения математических моделей этого процесса. ... Решающее значение, как мы увидим, имеет механизм торможения роста численности популяции при увеличении ее плотности. ... Модель неограниченного экспоненциального роста . ...
... Online Services | ... На основании результатов расчетов, проведенных в работе [1] , созданы 2 анимации, наглядно представляющих динамическую деформацию ядра 12 С, образующегося в состоянии с J = 2 + в реакции 12 С(d,d') 12 С неупругого рассеяния дейтронов с энергией Е d = 15.3 МэВ. ... Видно, что динамическая деформация ядра кардинально отличается от статической, при которой ядро представляет собой сплюснутый эллипсоид вращения. ... Рассеяние дейтронов на угол 81њ. ...