Первоочередной задачей при разработке метода тестирования является выявление в тексте стандарта требований конформности и их спецификация в виде утверждений. Для этой цели целесообразно использовать методику систематического анализа текста стандарта и идентификации соответствующих требований конформности. ... Анализ выделенных фрагментов текста с целью выяснения являются ли они требованиями конформности. ... Подобные утверждения не считаются требованиями конформности реализации. ...

Еще в разделе: (Показать все результаты (>947) - oit.cmc.msu.ru/ )

... Программа grep . ... cp <имя файла 1> <имя файла 2> . ... mv <имя файла> <имя поддиректории> . ... rm <имя файла> . ... Например, если взять файл some.needle , содержащий выдачу программы needle, и написать grep Identity some.needle то на экране появится строка файла some.needle, содержащая информацию о проценте совпадений. ... точка ставится вместо любого символа, например grep t..p filename вытащит из файла filename все строки, в которых встретились буквы t и p с двумя любыми символами между ними;...

Еще в разделе: (Показать все результаты (>4566) - kodomo.fbb.msu.ru/ )

... Описание принципов гипертекстовой разметки для документов сервера . ... Точки входа в документ - это те места в документе, в которых начинается описание какого-либо термина (определение), диаграммы, факта, события, процесса и т.п. Другими словами, точка входа в документ фиксирует границы логических блоков в пределах документа. ... При выделении точек входа рекомендуется пользоваться следующими правилами: . ... Точки выхода из документа представляют собой тип гипертекстовой навигации. ... Текст . ...

Еще в разделе: (Показать все результаты (>9166) - geo.web.ru/ )

• Использование математических методов для определения количественных

... Решение задачи безусловной минимизации функции многих переменных по заданному направлению (задача одномерной минимизации) методом квадратичной аппроксимации. Для решения задачи: min f(x 0 + s 0 ) , - < < , x 0 E n , s 0 E n , . ... вещественная переменная, содержащая вычисленное минимальное значение функции f (x) вдоль направления s 0 , т.е. YMIN = f (x * ); . ... целая переменная, содержащая фактически выполненное число вычислений функции f (x) в процессе одномерной минимизации; . ...

Еще в разделе: (Показать все результаты (>2309) - num-anal.srcc.msu.ru/ )

• БЧА НИВЦ МГУ. MNB5R_C. Задача безусловной минимизации функции многих переменных
• БЧА НИВЦ МГУ. AEJ4R_P. Линейная проблема собственных значений для матриц
• БЧА НИВЦ МГУ. AEH2C_P. Линейная проблема собственных значений для симметричных

... Современная астрономия и методика ее преподавания . ... ИСПОЛЬЗОВАНИЕ ЗНАНИЙ ПО ГЕОМЕТРИИ НА ЗАНЯТИЯХ ПО АСТРОНОМИИ . Карташов В.Ф., Воробьева Г.Н. Челябинский государственный педагогический университет . ... Какие геометрические знания нужны для успешного изучения астрономии? ... По временному признаку все выделенные связи являются предшествующими по отношению к астрономии, поэтому для использования знаний по геометрии следует убедиться, что такие знания учащихся сформированы. ...

Еще в разделе: (Показать все результаты (>27573) - www.astronet.ru/ )

• Астронет > Использование интегративного математико-астрономического материала
• Астронет > Кондакова Е.В. КОМПЛЕКСНАЯ СИСТЕМА АСТРОНОМИЧЕСКОГО ОБРАЗОВАНИЯ...
• Астронет > Звездная астрономия в лекциях

... Определение авторства текста с использованием буквенной и грамматической информации . ... В качестве элементов текста используются последовательности букв и последовательности грамматических классов слов. Оказывается, частоты употребления пар букв и пар грамматических классов в тексте на русском языке являются достаточно устойчивой характеристикой автора и, видимо, их можно использовать, чтобы решать проблемы спорного авторства текста. ... Список публикаций . ...

Еще в разделе: (Показать все результаты (>132) - old.philol.msu.ru/ )

• МГУ-ЛОКЛЛ:: Д.В.Хмелев - Алгоритмы сжатия в определении авторства
• Сложностной подход к задаче определения авторства текста

... Использование модифицированных хромазуролом-S кремнеземов для определения алюминия(III) в водных растворах . ... Целью данной работы являлась разработка чувствительного, селективного, но в то же время простого и дешевого метода определения ионов алюминия (III) в технологических водах и природных растворах . ... Селективность методики позволяет использовать ее для определения ионов алюминия(III) в большинстве природных и технологических растворах. ...

Еще в разделе: (Показать все результаты (>9474) - www.nature.web.ru/ )

• Использование математических методов для определения количественных
• Получение изображения на основе использования когерентных свойств зондирующего
• М.Н. Вялый "Сложность вычислительных задач"

... РЕШЕНИЕ ЗАДАЧ СФЕРИЧЕСКОЙ АСТРОНОМИИ . ... Вычисление точных топоцентрических эфемерид планет . ... В качестве примера в нем приведены исходные данные сервера для расчета эфемерид Марса. Ниже списка располагаются четыре кнопки для модификации исходных данных. ... Через некоторое время, которое в основном определяется скоростью передачи данных по сети, на экране появиться большая таблица рассчитанных значений параметров, снабженных многочисленными комментариями. ...

Еще в разделе: (Показать все результаты (>177) - heritage.sai.msu.ru/ )

• М.Б.БОГДАНОВ - ИСПОЛЬЗОВАНИЕ РЕСУРСОВ СЕТИ ИНТЕРНЕТ ПРИ ИЗУЧЕНИИ АСТРОНОМИИ

Электронная библиотека Попечительского совета . ... Dong J. - A 2-factor with Short Cycles Passing Through Specified Independent Vertices in Graph . ... Название: A 2-factor with Short Cycles Passing Through Specified Independent Vertices in Graph . Автор: Dong J. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

Еще в разделе: (Показать все результаты (>14377) - lib.mexmat.ru/ )

• Tokunaga Sh. - A Cellular Triangle Containing a Specified Point :: Электронная
• Ильинский Р.Е. - Использование лучевых дифференциалов для определения
• Горский Д.П. - Определение (логико-методологические проблемы) :: Электронная

... Cell border width (pixels). unspecified . ... Column to sort initially ( "1" to number of columns). unspecified . ... Data cell alignment, one value for all columns, or a comma separated list for different alignment of individual columns. ... Data cell background colour of a sorted column; see databg . ... Data cell text colour, a comma separated list. unspecified . ... Header cell alignment, one value for all columns, or a comma separated list for different alignment of individual columns. ...

Еще в разделе: (Показать все результаты (>34443) - dualopt1.cmm.msu.ru/ )

• VarTABLE - TWiki - TWiki
• %TOPICTITLE% ( vs. 1) - TWiki

... ucar.netcdf.AbstractNetcdf . ... public abstract class AbstractNetcdf . ... Create an empty instance to be populated with instances of some subclass of Variable. protected . ... Returns the set of attributes associated with this, also know as the "global" attributes. ... Returns the set of dimensions associated with this, the union of those used by each of the variables. protected void . ... Returns the set of dimensions associated with this, the union of those used by each of the variables. ...

Еще в разделе: (Показать все результаты (>91) - angel.cs.msu.su/ )

• : Class ConcreteIndexMap
• : Class AbstractLogger
• : Class ScalarMultiArray

Алгоритм определения пересечений полигональных объектов с использованием оринтируемых ограничивающих объемов . Захаров А.А., Садыков C.С. Рассматривается задача определения пересечений объектов с использованием ограничивающих объемов. ... Излагаются критерии точности аппроксимации и скорости обнаружения пересечений с помощью ограничивающих объемов. Предлагается усовершенствованный алгоритм определения пересечения объектов с использованием ориентируемых параллелепипедов. ...

Еще в разделе: (Показать все результаты (>375) - num-meth.srcc.msu.ru/ )

• "Bayesian network prediction: algorithm and software implementation"

Next: BOA Initialization Up: Implementation Overview Previous: Interface Repository . The Basic Object Adapter (BOA) is the only object adapter specified by CORBA 2. One of its main features is the ability to activate object implementations when their service is requested by a client. Using the implementation repository the BOA decides how an object implementation has to be activated . ... Listing All Entries . ... Forcing Activation of an Implementation . ... Activation Modes . ...

Еще в разделе: (Показать все результаты (>473) - rtm-cs.sinp.msu.ru/ )

• Compiler and Linker Wrappers
• IDL Compiler
• Implementation Repository

... В конечном счете, эти леса принадлежат отнюдь, не лесным специалистам, а тем более не политикам и хозяйственникам. ... Лесная политика :, 1997). ... В этой связи особую ценность и интерес представляют нормативно-правовые акты по лесам разработанные в Хабаровском и Красноярском краях, в которых впервые в России введены статьи, законодательно определяющие участие граждан и общественных объединений в обеспечении рационального использования, охраны, защиты и воспроизводства лесов. ...

Еще в разделе: (Показать все результаты (>371) - www.prof.msu.ru/ )

• Модернизация лексикографических работ путем использования ЭВМ как фактор
• ИСПОЛЬЗОВАНИЕ АМЕРИКАНСКОЙ МОДЕЛИ ОБУЧЕНИЯ
• Правовые проблемы применения Интернет в избирательном процессе

... Procedure Specification . ... The arguments of procedure calls are marked as IN, OUT or INOUT. ... There is one special case --- if an argument is a handle to an opaque object (these terms are defined in Section Opaque Objects ), and the object is updated by the procedure call, then the argument is marked OUT. ... Unless specified otherwise, an argument of type OUT or type INOUT cannot be aliased with any other argument passed to an MPI procedure. ... Центры . ...

Еще в разделе: (Показать все результаты (>590) - www.parallel.ru/ )

• Window Creation | PARALLEL.RU - Информационно-аналитический центр по
• File Info | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Opening a File | PARALLEL.RU - Информационно-аналитический центр по

... Исследование синхронности резких изменений альфа-активности ЭЭГ человека. ... Сегментация ЭЭГ без использования статистических подходов при поиске границ между сегментами . Почти во всех работах по адаптивной сегментации использовалось построения моделей ЭЭГ-сигнала в движущихся "окнах" с использованием интерактивного алгоритма. ... Были предприняты отдельные попытки проводить адаптивную сегментацию не только без использования окон, но и без построения каких-либо моделей. ...

Еще в разделе: (Показать все результаты (>48) - brain.bio.msu.ru/ )

• Сегментация ЭЭГ без использования статистических подходов -- Исследование
• Использование... моментов резких изменений в качестве единиц анализа структуры

... In cases where the package builder cannot create the files to be packaged with the proper ownership and permissions, the %attr macro can be used to make things right. ... If a particular file attribute doesn't need to be specified, that attribute can be replaced with a dash " - " and %attr will not change it. ... files %attr(-, root, root) %doc README %attr(4755, root, root) /usr/local/bin/cdp %attr(-, root, root) /usr/local/bin/cdplay %attr(-, root, rot) /usr/local/man/man1/cdp.1 . ... rpm -qlvp .....

Еще в разделе: (Показать все результаты (>1722) - uneex.lorien.cs.msu.su/ )

• Методы
• Документы для разработчиков ALT Linux
• Циклы

... Монография посвящена химическим тестам, которые широко используются в экологической, промышленной, клинической, криминалистической сферах, и обеспечивают возможность простою и недорогого качественного, полуколичественного или количественного анализа. Обсуждены общие характеристики тест-систем: дефиниции, достоинства тестов, их химические основы, изготовление и особенности технических средств, методология использования. ... Глава 1. ... Литература к главе 1 . ... Анализ с индикаторными трубками . ...

Еще в разделе: (Показать все результаты (>2922) - chem.msu.ru/ )

• Спектроскопия ЯМР высокого разрешения в органической и металлорганической химии
• [На предыдущий раздел]
• Центр радионуклидной диагностики твердых тел

... This function can also be used for particular types of subtypes or kinds: KIND (0) integer KIND (0.0) floating point number KIND (.FALSE.) logical variable KIND ("A") string of characters There is an intrinsic function SELECTED_REAL_KIND , which returns the kind of the type REAL that has a representation with (at least) the precision and the exponential range requested. ... With the choice SELECTED_INT_KIND (5) all integers between (but not including the limits) -100 000 and +100 000 are permitted. ...

Еще в разделе: (Показать все результаты (>609) - crydee.sai.msu.ru/ )

• P.I. Bakulin, E.V. Kononovich, V.I. Moroz, General Astronomy. Table of Content
• HTML Design Notebook
• Explanation of certain terms

... Is only visible when cellspacing is larger than 1, or cellborder is 0 , or tablerules is none , otherwise the cell borders overlap the table border. unspecified . ... Table rules, set to "none" (no rules), "groups" (rules will appear between row groups and column groups only), "rows" (rules will appear between rows only), "cols" (rules will appear between columns only), "all" (rules will appear between all rows and columns). ... unspecified . ... This topic: System > Plugins > TablePlugin > VarTABLE...

Еще в разделе: (Показать все результаты (>5521) - wiki.cmc.msu.ru/ )

• RequirementsForVM < Practicum < Foswiki
• (r1) SShKeys < Main < Foswiki
• SShKeys < Main < Foswiki