Поисковый запрос: (<.>S=Вычислительная техника -- Математическое обеспечение (Программирование<.>) |
Общее количество найденных документов : 284
Показаны документы с 1 по 20 |
|
1. 
| 32.973-018
Б 241
Баранов, В. В.
Использование MS EXCEL и SQL SERVER для создания статистических документов [Текст] / В. В. Баранов // Вопросы статистики. - 2002. - N12
. - ISSN 0320-8168ББК 32.973-018 + 60.62
Рубрики: Статистика--Организация статистики
Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
MS EXCEL -- SQL SERVER -- сводные таблицы -- статистические документы
Аннотация: Перечмсляются программные продукты, используемые в Госкомстате России для обработки статистической информации. Описан опыт Комстата Еврейской автономной области по использованию MS EXCEL для создания статистических отчетов в виде сводных таблиц.
Перейти: http://www.infostat.ru
Найти похожие
|
2.
| 004.4
Ч 525
Четверушкин, Б. Н.
Высокопроизводительные многопроцессорные вычислительные системы [Текст] / Б. Н. Четверушкин // Вестник Российской академии наук. - 2002. - Т.72,N9. - Библиогр.:с.793-794 (38 назв.).
. - ISSN 0869-5873ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
ЭВМ -- алгоритмы -- вычислительные системы -- математическое обеспечение -- многопроцессорные системы -- программирование -- программное обеспечение -- системы вычислительные -- супер-ЭВМ
Аннотация: В основе статьи доклад,прочитанный на заседании Президиума РАН.В ней обсуждаются проблемы эффективного использования многопроцессорных супер-ЭВМ.Автор формулирует требования к математическому обеспечению программ и подготовке специалистов в этой области.
Найти похожие
|
3.
| 531
Р 139
Раводин, Е. М.
Для фиксаций промежутков времени [Текст] / Е. М. Раводин // Физика в школе. - 2002. - N 5
. - ISSN 0130-5522ББК 22.251
Рубрики: Механика--Механика твердых тел
Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
физические эксперименты -- лабораторные работы -- программное обеспечение -- компьютерные программы -- ускорение шарика -- ускорение тела -- определение ускорения -- Бейсик -- basic
Аннотация: Листинг компьютерной программы на языке basic для определения ускорения шарика, скатывающегося по желобу при проведении лабораторных работ или демонстрационного эксперимента по физике.
Найти похожие
|
4.
| 32.973-018
Ю 64
Юрашев, В. В. (доц. каф. мат. анализа Моск. гос. ин-та электроники и математики).
Об интегрировании в современный маркетинг компьютерных технологий, основанных на математических моделях [Текст] / В. В. Юрашев // Маркетинг и маркетинговые исследования. - 2002. - N 2. - С. 58-62. - Библиогр.: с. 62 (3 назв.)
ББК 32.973-018
Рубрики: Экономика--Маркетинг
Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
ИММПМ; НУП; интегрированные математические методы; информация; компьютерные модели; компьютерные программы; компьютерные технологии; маркетинг; маркетинговая информация; маркетинговые исследования; марочный капитал; математические методы; математические модели; независимый усредненный прогноз; прогнозирование; реклама; рекламные технологии; рекламный бюджет; спрос; цена; ценовая эластичность; экспертные оценки
Аннотация: Обсуждается возможность построения системы маркетинга, т. е. объединение в единое, связанное целое всех современных подходов при решении проблем компании. Эта система должна быть мобильной при решении тактических и стратегических задач, концептуально ясной и информативной. В статье рассмотрены два примера интегрирования математических подходов, позволяющих увидеть новые информационные возможности в уже известных методах решения маркетинговых задач. Автор говорит о компьютерной программе, которая позволяет пользователю легко решать рассмотренные в примерах проблемы.
Найти похожие
|
5.
| 004.4
Т 58
Топорков, В. В.
Проблемы разрешимости задачи анализа потоковых моделей программ [Текст] / В. В. Топорков, авт. // Программирование. - 2003. - N 3. - С. 3-14. - Библиогр.: с. 14 (18 назв. )
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
программирование; модели программ; потоковые модели; анализ программ; потоковые гафф программы
Аннотация: В статье исследуется проблема алгоритмической разрешимости задачи анализа потоковых моделей программ.
Найти похожие
|
6.
| 004.4
В 19
Васенин, В. А.
Система функционального активного мониторинга FLAME [Текст] / В. А. Васенин, В. В. Корнеев, М. Ю. Ландина, В. А. Роганов // Программирование. - 2003. - N 3. - С. 57-72. - Библиогр.: с. 72 (4 назв. )
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
оперативный контроль; системы мониторинга; системы активного мониторинга; вычислительные системы; FLAME; базы данных; архитектура систем; языки описания
Аннотация: Материалы настоящей публикации представляют результаты работ по созданию отечественной системы активного мониторинга, учитывающей специфику высокопроизводительных многопроцессорных массово-параллельных кластеров.
Доп.точки доступа:
Корнеев, В. В.; Ландина, М. Ю.; Роганов, В. А.
Найти похожие
|
7.
| 004.4
П 159
Память молекул [Текст] // Наука и жизнь. - 2003. - N1
. - ISSN 0028-1263ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
компьютерная память -- компьютеры -- микросхемы -- молекулы
Аннотация: В лаборатории американской фирмы "Хьюлетт-Паккард" экспериментируют с новым типом памяти для компьютеров, основанной не на кремнии, а на органических молекулах. Созданный прототип сохраняет на той же площади в десять раз больше информации, чем традиционная кремниевая микросхема памяти. На снимках показано микроскопическое строение органической микросхемы
Найти похожие
|
8.
| 004.4
З-26
Замулин, А. В.
Формальная модель Java-программы, основанная на машинах абстрактных состояний [Текст] / А. В. Замулин, авт. // Программирование. - 2003. - N 3. - С. 15-28. - Библиогр.: с. 27-28 (17 назв. )
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
программирование; модели программ; программы; Java-программы; модели данных; алгебра программ
Аннотация: В данной статье представлена формальная семантика большинства типичных понятий языка Java.
Найти похожие
|
9.
| 004.4
Е 601
Емельянова, Н.
Проекты Семенихина [Текст] / Н. Емельянова // Студенческий меридиан. - 2003. - N8
. - ISSN ХХХХ-ХХХХББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
вундеркинд -- изобретение -- математика -- наука -- программирование
Аннотация: О студенте Московской Академии нефти и газа, молодом программисте и математике Алексее Семенихине.
Перейти: http://www.stm.ru/
Найти похожие
|
10.
| 004.4
Д 640
Долгий, А.
Как проверить HEX-файл [Текст] / А. Долгий // Радио. - 2003. - N8
. - ISSN XXXX-XXXXББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
CheckHEX (программа) -- HEX-файл -- ошибки
Аннотация: Помочь найти и исправить ошибки в HEX-файле до ввода его в программатор сможет программа CheckHEX,о работе которой говорится в статье.
Найти похожие
|
11.
| 004.4
Б 91
Буряк, Д. Ю.
Автоматизированное конструирование процедур идентификации объектов, принадлежащих нескольким классам [Текст] / Д. Ю. Буряк, Ю. В. Визильтер // Программирование. - 2003. - N 5. - С. 3-10. - Библиогр.: 10 назв.
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
автоматизированное конструирование; алгоритмы; анализ изображения; генетические алгоритмы; идентификация объектов; конструирование процедуры идентификации; метод автоматизированного конструирования
Аннотация: Данная статья посвящена проблеме создания автоматизированных подходов к выбору и настройке алгоритмов анализа изображений для конкретной задачи.
Перейти: http://www.maik.ru/
Доп.точки доступа:
Визильтер, Ю. В.
Найти похожие
|
12.
| 004.4
Ц 186
Царин, А.
Fairy Radio - расширяем функции FM тюнеров [Текст] / А. Царин // Радио. - 2003. - N10
. - ISSN XXXX-XXXXББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
FM тюнеры -- Fairy Radio (программа) -- запись звука -- компьютеры -- программное обеспечение -- тюнеры -- эквалайзеры
Аннотация: Сегодня широко распространены TV и FM тюнеры - небольшие устройства,позволяющие принимать теле- и радиопередачи на компьютере.Их популярности способствует низкая цена по сравнению с обычными телевизорами и радиоприемниками.Они не требуют дополнительного места в комнате или на рабочем столе.Записав звуковую или видеоинформацию,можно сразу же ее обработать.Для работы подобных устройств необходимо соответствующее программное обеспечение.В статье рассказывается о новой программе для FM тюнеров - Fairy Radio.
Найти похожие
|
13.
| 004.4
Ф 425
Феоктистов, В.
Расширение возможностей программы "автоматического" удаления временных файлов [Текст] / В. Феоктистов // Радио. - 2003. - N8. - (Радио - начинающим;N8)
. - ISSN XXXX-XXXXББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
временные файлы -- компьютерные программы -- программирование -- удаление файлов
Аннотация: Программа "автоматического" удаления файлов,описанная в одноименной статье В.Ашарина в "Радио" N10,2001 г. обладает некоторыми недостатками.Предложена новая версия программы.
Найти похожие
|
14.
| 004.4
Л 61
Липаев, В. В.
Методология верификации и тестирования крупномасштабных программных средств [Текст] / В. В. Липаев // Программирование. - 2003. - N 6. - С. 7-24
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
верификация; испытания; математические модели; программные средства; программные средства; программы; тестирование
Аннотация: Большой объем разнообразных данных, получаемых при испытании крупномасштабных ПС, и разнообразие возможных способов их обработки, интерпритации и оценки приводят к тому, что важнейшими факторами становятся методики обработки и оценки результатов, а также протоколы проверки по пунктам Программы испытаний.
Найти похожие
|
15.
| 004.4
Н 53
Непомнящий, В. А.
На пути к верификации с программ. Аксиоматическая семантика языка С-kernel [Текст] / В. А. Непомнящий, И. С. Ануреев, А. В. Промский // Программирование. - 2003. - N 6. - С. 65-80. - Библиогр.: с. 80 (12 назв.)
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
аксиоматическая семантика языка; верификация; непротиворечивость аксиоматической семантики; языки программирования
Аннотация: Доказана теорема о непротиворечивости этой аксиоматической семантики относительно операционной.
Доп.точки доступа:
Ануреев, И. С.; Промский, А. В.
Найти похожие
|
16.
| 004.4
К 90
Кулямин, В. В.
Подход UniTesK к разработке тестов [Текст] / В. В. Кулямин, А. К. Петренко, А. С. Косачев, И. Б. Бурдонов // Программирование. - 2003. - N 6. - С. 25-43. - Библиогр.: с. 41-43 (71 назв.)
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
UniTesK; верификация; программное обеспечение; программы; тестирование; тесты; языки программирования
Аннотация: Статья излагает основные принципы технологии разработки тестов UniTesK, основанной на использовании формальных моделей целевого программного обеспечения (ПО).
Доп.точки доступа:
Петренко, А. К.; Косачев, А. С.; Бурдонов, И. Б.
Найти похожие
|
17.
| 004.4
З-26
Замулин, А. В.
Алгебраическая семантика императивного языка программирования [Текст] / А. В. Замулин // Программирование. - 2003. - N 6. - С. 51-64. - Библиогр.: с. 63-64 (25 назв.)
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
алгебраическая семантика; императивные языки программирования; математическое моделирование; семантика; языки программирования
Аннотация: В данной работе предлагается новый механизм описания семантики императивного языка программирования, основанный на построении математической модели программы, компоненты которой служат денотанами конструкций данного языка.
Найти похожие
|
18.
| 004.4
О-56
Ольхович, Л. Б.
Метод автоматической валидации UML-спецификаций на основе языка OCL [Текст] / Л. Б. Ольхович, авт. Д. В. Кознов // Программирование. - 2003. - N 6. - С. 44-50. - Библиогр.: с. 49-50 (23 назв.)
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
валидаторы; валидация; визуальное моделирование; метод валидации визуальных моделей; моделирование; программное обеспечение; языки программирования
Аннотация: Данная работа посвящена валидации визуальных моделей программного обеспечения на предмет соответствия их визуальному языку проекта - диалекту стандартных языков визуального моделирования.
Доп.точки доступа:
Кознов, Д. В.
Найти похожие
|
19.
| 004.4
Ч 596
Чижов, Чижов Вадим.
Программирование шахматной игры [Текст] / В. Чижов // Мир ПК. - 2003. - N11
. - ISSN 0235-3520ББК 32.97
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
игры -- компьютерные игры -- шахматы -- программирование
Аннотация: Автор рассказывает о своей разработке программы "Шахматы 64" и принципах, положенных в ее основу.
Перейти: www.osp.ru/pcworld
Найти похожие
|
20.
| 004.4
К 89
Кукс, С. В.
Аксиоматизация эволюции схемы XML-баз данных [Текст] / С. В. Кукс, авт. // Программирование. - 2003. - N 3. - С. 29-37. - Библиогр.: с. 37 (10 назв. )
. - ISSN 0132-3474ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование
Кл.слова (ненормированные):
слабоструктурированные данные; базы данных; модели данных; аксиоматизация изменений; эволюция схем
Аннотация: В данной работе предлагается аксиоматизированная модель схемы XML-базы данных, автоматически поддерживающая ее целостность при внесении в нее базовых изменений, классификация которых также представлена.
Найти похожие
|
|
|
|
Электронные ресурсы
Электронный каталог
Стандартный