Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
16 Декабря 2025
Статьи журнала №4 2011
11. Математическое моделирование конвективного теплопереноса в электронных устройствах
[№4 за 2011 год]Авторы: Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук;
Аннотация: Модели конвективного теплопереноса, используемые в существующих программных комплексах для теплового проектирования электронных устройств, основаны на концепции линейного уравнения теплообмена Ньютона и ко-эффициенте теплоотдачи, что, однако, не дает возможность адекватно моделировать тепловые процессы, протекаю-щие в реальных электронных системах. В статье предлагается подход, позволяющий адекватно моделировать кон-вективный теплоперенос в электронных устройствах, который основан на сопряженной формулировке уравнений конвективного теплопереноса и их непосредственном и прямом решении.
Abstract: The models of convection processes used in existing programming complexes for thermal designing of electronic devices, are founded on concepts of the Newton’s linear equation of heat transfer and heat transfer coefficient, that however does not allow adequately to model of the heat processes in real electronic systems. More adequate to reality approach for the modeling of the convection processes in electronic devices in conjugate approach, is offered in this article.
Ключевые слова: электронные устройства, сопряженная постановка, конвективный теплоперенос, математическое и компьютерное моделирование, программный комплексKeywords: convection processes, , convection processes, mathematical and computer modeling, software package
Просмотров: 23390
11. Математическое моделирование конвективного теплопереноса в электронных устройствах
[№4 за 2011 год]
Просмотров: 23390
Модели конвективного теплопереноса, используемые в существующих программных комплексах для теплового проектирования электронных устройств, основаны на концепции линейного уравнения теплообмена Ньютона и ко-эффициенте теплоотдачи, что, однако, не дает возможность адекватно моделировать тепловые процессы, протекаю-щие в реальных электронных системах. В статье предлагается подход, позволяющий адекватно моделировать кон-вективный теплоперенос в электронных устройствах, который основан на сопряженной формулировке уравнений конвективного теплопереноса и их непосредственном и прямом решении.
Мадера А.Г. (alexmadera@mail.ru) - НИИСИ РАН (профессор, зав. отделом), доктор технических наук;
12. Алгоритм визуализации линий уровня двухмерных скалярных полей на регулярной сетке
[№4 за 2011 год]Автор: Кандалов П.И. (petrki87@gmail.com) - НИИСИ РАН (зам. зав. отделом);
Аннотация: В статье рассматриваются методика и алгоритм построения линий уровня массива данных на регулярной сетке по алгоритму Marching Squares. Алгоритм реализован на языке Pascal. Описывается методика заливки областей цве-товой палитрой между соседними линиями уровня.
Abstract: The technique and algorithm for creation of 2-D scalar fields isolines on the regular grid by the algorithm of Marching Squares is considered. The algorithm is implemented in program language Pascal. The technique of filling of areas by a color palette between adjacent lines of level is described too.
Ключевые слова: цветовая палитра, алгоритм marching squares, линии уровня, двухмерное скалярное полеKeywords: color palette, algorithm Marching Squares, isolines, two-dimensional scalar field
Просмотров: 15486
12. Алгоритм визуализации линий уровня двухмерных скалярных полей на регулярной сетке
[№4 за 2011 год]
Просмотров: 15486
В статье рассматриваются методика и алгоритм построения линий уровня массива данных на регулярной сетке по алгоритму Marching Squares. Алгоритм реализован на языке Pascal. Описывается методика заливки областей цве-товой палитрой между соседними линиями уровня.
Кандалов П.И. (petrki87@gmail.com) - НИИСИ РАН (зам. зав. отделом);
Ключевые слова: цветовая палитра, алгоритм marching squares, линии уровня, двухмерное скалярное поле
13. Технология разработки систем поддержки научных исследований
[№4 за 2011 год]Авторы: Бачурин С.А. (s.bachurin@mail.ru) - Национальный исследовательский ядерный университет «МИФИ», г. Москва; Гусева А.И. (aiguseva@mephi.ru) - Московский инженерно-физический институт (государственный университет), доктор технических наук;
Аннотация: Данная статья посвящена процессам проектирования систем поддержки научно-исследовательской деятельности. Предлагается подход к проектированию таких систем на основе анализа моделей компетенций исследователей. В качестве платформы для разработки системы предлагается использовать CMS Drupal.
Abstract: Article deals with design processes of research support systems. It describes design method based on researchers’ competence models analysis. CMS Drupal is proposed as a platform for development of such system.
Ключевые слова: система поддержки научно-исследовательской деятельности, разработка, метод анализа иерархий, компетентность, научные исследованияKeywords: evelopment, research activities support system, development, the method of hierarchies analysis, scientific research, scientific research
Просмотров: 17649
13. Технология разработки систем поддержки научных исследований
[№4 за 2011 год]
Просмотров: 17649
Данная статья посвящена процессам проектирования систем поддержки научно-исследовательской деятельности. Предлагается подход к проектированию таких систем на основе анализа моделей компетенций исследователей. В качестве платформы для разработки системы предлагается использовать CMS Drupal.
Бачурин С.А. (s.bachurin@mail.ru) - Национальный исследовательский ядерный университет «МИФИ», г. Москва; Гусева А.И. (aiguseva@mephi.ru) - Московский инженерно-физический институт (государственный университет), доктор технических наук;
14. Процессная семантика языков распределенного программирования
[№4 за 2011 год]Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Кучугуров И.В. (tws13@mail.ru) - Российский государственный социальный университет, г. Москва;
Аннотация: В данной статье семантика языков распределенного программирования исследуется посредством сопоставления программам множества вычислительных последовательностей и анализа семантических значений, которые могут быть представлены системами рекурсивных уравнений. Это позволяет проводить формальную верификацию программ.
Abstract: In this article the semantics of distributed programming languages researched by comparing programs a set of computational sequence and analysis of the semantic values thet can be represented by systems of recursive equations. It can detect deadlocks and locks in distributed program, loops, verify accessibility, to prove the equivalence (may, must, observational) of programs and branches.
Ключевые слова: эквивалентность, эквациональная характеризация, семантические равенства, априорная семантика, алгебраическая семантика, процессная семантика, верификацияKeywords: equivalence, equational characterization, semantic equality, semantic equality, algebraic semantics, process semantics, verification
Просмотров: 16735
14. Процессная семантика языков распределенного программирования
[№4 за 2011 год]
Просмотров: 16735
В данной статье семантика языков распределенного программирования исследуется посредством сопоставления программам множества вычислительных последовательностей и анализа семантических значений, которые могут быть представлены системами рекурсивных уравнений. Это позволяет проводить формальную верификацию программ.
Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Кучугуров И.В. (tws13@mail.ru) - Российский государственный социальный университет, г. Москва;
15. Оптимизация размещения средств траекторных измерений генетическими алгоритмами
[№4 за 2011 год]Авторы: Ковалев А.А. (kaaswsys@mail.ru) - НПК «ТРИСТАН», г. Москва, кандидат технических наук;
Аннотация: Описан подход к оптимальному размещению средств траекторных измерений с применением генетических алго-ритмов. Предложенный подход иллюстрируется результатами математического моделирования.
Abstract: The approach to optimum placing of trajectory measurements means with application of genetic algorithms is described. The offered approach is illustrated by means of results of mathematical modeling.
Ключевые слова: геодезические координаты, вектор состояния, генетический алгоритм, траекторные измерения, оптимизацияKeywords: geodetic coordinates, state vector, generic algorithm, trajectory measurements, optimisation
Просмотров: 18143
15. Оптимизация размещения средств траекторных измерений генетическими алгоритмами
[№4 за 2011 год]
Просмотров: 18143
Описан подход к оптимальному размещению средств траекторных измерений с применением генетических алго-ритмов. Предложенный подход иллюстрируется результатами математического моделирования.
Ковалев А.А. (kaaswsys@mail.ru) - НПК «ТРИСТАН», г. Москва, кандидат технических наук;
Ключевые слова: геодезические координаты, вектор состояния, генетический алгоритм, траекторные измерения, оптимизация
16. Вопросы эквивалентности схем параллельных программ
[№4 за 2011 год]Авторы: Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Кучугуров И.В. (tws13@mail.ru) - Российский государственный социальный университет, г. Москва; Косакян М.Л. (xbix@list.ru) - Российский государственный социальный университет, г. Москва, Аспирант ;
Аннотация: Рассматриваются вопросы эквивалентности схем параллельных программ. Предложен метод сравнения систем рекурсивных уравнений на эквивалентность, позволяющий анализировать различные свойства программ.
Abstract: In this article discusses the equivalence of schemes of parallel programs. This allows you to analyze the program for various properties: detect deadlocks and locks in distributed program, loops, verify accessibility, to prove the equivalence (may, must, observational) of programs and branches.
Ключевые слова: разрешимость систем рекурсивных уравнений, эквивалентность, эквациональная характеризация, процессная семантика, верификацияKeywords: solvability of system of recursive equations, equivalence, equational characterization, process semantics, verification
Просмотров: 18935
16. Вопросы эквивалентности схем параллельных программ
[№4 за 2011 год]
Просмотров: 18935
Рассматриваются вопросы эквивалентности схем параллельных программ. Предложен метод сравнения систем рекурсивных уравнений на эквивалентность, позволяющий анализировать различные свойства программ.
Кораблин Ю.П. (y.p.k@mail.ru) - Российский государственный социальный университет, г. Москва (профессор), доктор технических наук; Кучугуров И.В. (tws13@mail.ru) - Российский государственный социальный университет, г. Москва; Косакян М.Л. (xbix@list.ru) - Российский государственный социальный университет, г. Москва, Аспирант ;
17. Нейро-нечеткий метод снижения чувствительности решения обратных задач к вариациям данных
[№4 за 2011 год]Авторы: Абраменкова И.В. (midli@mail.ru) - Филиал Московского энергетического института (ТУ) в г. Смоленске, доктор технических наук; Пучков А.Ю. (putchkov63@mail.ru) - Смоленский филиал Национального исследовательского университета МЭИ (доцент), кандидат технических наук; Павлов Д.А. (putchkov63@mail.ru) - Филиал Московского энергетического института в г. Смоленске;
Аннотация: Рассмотрена процедура решения некорректных задач с использованием фильтра Калмана. Предложен подход к применению нейро-нечетких алгоритмов для снижения чувствительности модели фильтра Калмана при решении об-ратных задач.
Abstract: A procedure for the solution of ill-posed problems by using a Kalman filter. Approach to the use of neuro-fuzzy algorithms for reducing the sensitivity of the Kalman filter model for solving inverse problems is proposed.
Ключевые слова: нечеткая логика, нейронные сети, фильтр калмана, обратные задачиKeywords: fuzzy logic, neural network, Kalman filter, inverse problems
Просмотров: 18160
17. Нейро-нечеткий метод снижения чувствительности решения обратных задач к вариациям данных
[№4 за 2011 год]
Просмотров: 18160
Рассмотрена процедура решения некорректных задач с использованием фильтра Калмана. Предложен подход к применению нейро-нечетких алгоритмов для снижения чувствительности модели фильтра Калмана при решении об-ратных задач.
Абраменкова И.В. (midli@mail.ru) - Филиал Московского энергетического института (ТУ) в г. Смоленске, доктор технических наук; Пучков А.Ю. (putchkov63@mail.ru) - Смоленский филиал Национального исследовательского университета МЭИ (доцент), кандидат технических наук; Павлов Д.А. (putchkov63@mail.ru) - Филиал Московского энергетического института в г. Смоленске;
18. Высокопроизводительные вычисления в практике моделирования роста перколяционных кластеров
[№4 за 2011 год]Автор: Лапшина С.Ю. (lapshina@jscc.ru) - Межведомственный суперкомпьютерный центр РАН – филиал ФНЦ НИИСИ РАН (начальник научно-организационного отдела);
Аннотация: Рассматривается возможность использования современных суперкомпьютеров при решении ресурсоемких задач мультиагентного моделирования роста перколяционных кластеров. Предложен усовершенствованный вариант мно-гопроцессорного алгоритма многократной маркировки перколяционных кластеров Хошена–Копельмана. Демонст-рируется возможность выявления зависимостей латентных периодов распространения эпидемий от вероятности ин-фицирования агрегатов популяционных представителей и формирования пороговых значений перехода локальных эпидемий в крупномасштабные пандемии.
Abstract: Possibility of use of modern supercomputers is considered as the decision problems of multi-agent simulation growth modeling percolation clusters. The improved version of multiprocessing algorithm of repeated labeling percolation’s clusters is offered Hoshen-Kopelman. Possibility of revealing of dependences of the latent periods of distribution of epidemics from probability of an infection of units of population representatives, and also formations of threshold values at which local epidemics can evolve in large-scale pandemics is shown.
Ключевые слова: алгоритм многократной маркировки кластеров, перколяционный кластер, мультиагентное моделированиеKeywords: multiprocessing algorithm of repeated labeling percolation’s clusters, percolation’s cluster, multi-agent simulation
Просмотров: 19400
18. Высокопроизводительные вычисления в практике моделирования роста перколяционных кластеров
[№4 за 2011 год]
Просмотров: 19400
Рассматривается возможность использования современных суперкомпьютеров при решении ресурсоемких задач мультиагентного моделирования роста перколяционных кластеров. Предложен усовершенствованный вариант мно-гопроцессорного алгоритма многократной маркировки перколяционных кластеров Хошена–Копельмана. Демонст-рируется возможность выявления зависимостей латентных периодов распространения эпидемий от вероятности ин-фицирования агрегатов популяционных представителей и формирования пороговых значений перехода локальных эпидемий в крупномасштабные пандемии.
Лапшина С.Ю. (lapshina@jscc.ru) - Межведомственный суперкомпьютерный центр РАН – филиал ФНЦ НИИСИ РАН (начальник научно-организационного отдела);
19. Расширяемая система генерации заданий
[№4 за 2011 год]Авторы: Бакушев С.В. (bakuchsv@mail.ru) - Пензенский государственный университет архитектуры и строительства (профессор), доктор технических наук; Куликов А.В. (an_ta_vi@mail.ru) - Научно-производственный центр «СПУРТ», г. Москва;
Аннотация: Дается описание программного средства, предназначенного для автоматической генерации заданий для кон-трольных и расчетно-графических работ по курсу «Сопротивление материалов». Показано, что программное средст-во TaskGen Plus является расширяемым и может использоваться для генерации заданий и по другим предметам (строительной механике, теории упругости и т.д.) при условии программной разработки соответствующих плагинов.
Abstract: The authors give a description of the software intended for automatic tests accumulation for the course of «Strength of material». It is shown that software can be expanded and used for test accumulation in other courses (Building mechanic, Theory of Elasticity, est.) in case of corresponding plug-in development.
Ключевые слова: плагин, автоматизированная система, программное средствоKeywords: plug-in, an automated system issue, software
Просмотров: 16851
19. Расширяемая система генерации заданий
[№4 за 2011 год]
Просмотров: 16851
Дается описание программного средства, предназначенного для автоматической генерации заданий для кон-трольных и расчетно-графических работ по курсу «Сопротивление материалов». Показано, что программное средст-во TaskGen Plus является расширяемым и может использоваться для генерации заданий и по другим предметам (строительной механике, теории упругости и т.д.) при условии программной разработки соответствующих плагинов.
Бакушев С.В. (bakuchsv@mail.ru) - Пензенский государственный университет архитектуры и строительства (профессор), доктор технических наук; Куликов А.В. (an_ta_vi@mail.ru) - Научно-производственный центр «СПУРТ», г. Москва;
20. Модуль для полуавтоматического извлечения и обработки данных в области нанокомпозитов
[№4 за 2011 год]Авторы: Митрофанов И.В. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Краснов А.А. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Порысева Е.А. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Кольцова Э.М. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева (профессор), доктор технических наук;
Аннотация: В данной работе предпринята попытка создания базы данных по свойствам нанокомпозитов. Проведена класси-фикация нанокомпозитов по матрице и наполнителю. Создан модуль единого поиска статей в научных журналах, а также модуль полуавтоматического извлечения фактов, который значительно ускорил процесс наполнения базы ин-формацией, автоматизировав его.
Abstract: Recently sharp jump of publications in area nanocomposites is observed. But all information is not structured, there is no general database on properties of these materials. In the given work attempt of creation to such base has been undertaken. Authors classifications nanocomposites on a matrix and fillers is spent. The module of uniform search of articles in scientific journals and as the module of semi-automatic extraction of the facts which has considerably accelerated process of filling of base by the information, having automated it is created.
Ключевые слова: обработка информации, метод опорных векторов, нанокомпозитыKeywords: information processing, support vector machines, nanocomposite
Просмотров: 18938
20. Модуль для полуавтоматического извлечения и обработки данных в области нанокомпозитов
[№4 за 2011 год]
Просмотров: 18938
В данной работе предпринята попытка создания базы данных по свойствам нанокомпозитов. Проведена класси-фикация нанокомпозитов по матрице и наполнителю. Создан модуль единого поиска статей в научных журналах, а также модуль полуавтоматического извлечения фактов, который значительно ускорил процесс наполнения базы ин-формацией, автоматизировав его.
Митрофанов И.В. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Краснов А.А. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Порысева Е.А. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева, г. Москва; Кольцова Э.М. (kolts@muctr.ru) - Российский химико-технологический университет им. Д.И. Менделеева (профессор), доктор технических наук;
