«Известия спбгэту \"лэти\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах

Скачать 2.67 Mb.

Название	«Известия спбгэту \"лэти\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах
страница	2/122
Тип	Анализ

filling-form.ru > Туризм > Анализ

1 2 3 4 5 6 7 8 9 ... 122

HEAP VERIFICATION OF OBJECT-ORIENTED PROGRAMS IN A POINTS-TO LOGIC

In this paper a verification technique is presented based on the logical programming language “PROLOG” for object-oriented programs based on the points-to heap model. The terms “heap”, “heap interpretation” and a heap theory are introduced, and a generalised approach in PROLOG allows to bridge expressibility gaps as well as other research problems in this field as discussed in the paper. The chosen model was validated against [1], which also provides facilities to transform imperative programming languages with objects into an intermediate representation in PROLOG.

Pointers, heaps, alias analysis, dynamic memory verification
С. А. Колмаков, А. В. Леонов
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)

Методика выявления ошибок человека-оператора
с учетом его психологического типа на основании
игровых программ, эмулирующих процесс работы на АРМ

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

Человек-оператор, психологический тип, ошибки человека-оператора, MBTI,
игровые программы, профессиональный отбор

S. A. Kolmakov, A. V. Leonov
Saint Petersburg Electrotechnical University «LETI»

THE METHOD OF DETECTING ERRORS OF THE HUMAN-OPERATORS, BASED
ON THEIR PSYCHOLOGICAL TYPES USING GAME PROGRAMS SIMULATED
THE WORKING PROCESS ON WORKSTATION

This article describes a method of detecting errors of the human-operators, based on their psychological types using game programs simulated the working process on workstation. Given technique will help one to improve methods of professional selection due to the fact that errors will no longer be random and will be predictable and avoidable.

Human-operator, psychological type, human-operator mistakes, MBTI, game programs, occupational selection
Дж. Г. Алкади Лайс, Ю. Т. Лячек, Мустафа Ахмед Бадор Мохамед
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)

Модификация областей штриховки при использовании
сеточной параметрической модели чертежей

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

Чертеж, сеточная параметрическая модель, dxf-файл, штриховка, алгоритм,
автоматическая модификация

J. Gh. Alkadhi Layth, Yu. T. Lyachek, Mustafa Ahmed Bador Mahhamed
Saint Petersburg Electrotechnical University «LETI»

MODIFICATION OF AREAS HATCHING USING A PARAMETRIC MODEL
OF THE GRID DRAWINGS

The features of the description of the hatch in the files of information exchange drawings and algorithms of forming areas of hatching in the modification of design drawings of parts in accordance with the specified constructions-dimensional torus new values designations. It is shown that on the basis of the parametric model grid created source electronic file describing the details of the drawing, with the drawing describing the conversion hatching areas can be done automatically.

The drawing, grid the parametric model, the dxf-file, hatch, algorithm, automatic modification

Автоматизация и управление

А. Н. Никонов, К. М. Жеронкин
Санкт-Петербургский государственный электротехнический
университет «ЛЭТИ» им. В. И. Ульянова (Ленина)

1 2 3 4 5 6 7 8 9 ... 122

Похожие:

$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	«Известия спбгэту \"лэти\"» 2015 Вып. 6 Физические явления в твердых телах, жидкостях и газах Найдены аппроксимирующие функции, позволяющие производить расчет вольт-амперных характеристик для заданного суммарного давления активной...	$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	«Известия спбгэту \"лэти\"» 2016. Вып. 5 Физические явления в твердых телах, жидкостях и азах Уф-фотокатодов с отрицательным электронным сродством, p–i–n-фотодиодам, светодиодам, мощным источникам спонтанного уф-излучения с...
$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	«Известия спбгэту \"лэти\"» 2016. Вып. 6 Радиофизика Д. М. Беневоленский, С. М. Мовнин Рассматриваются возможность возбуждения свч-колебаний в группирователе релятивистского электронного потока с поворотным магнитным...	$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	«Известия спбгэту \"лэти\"» Физика твердого тела и электроника 2015 Вып. 3 Рассматриваются особенности получения рентгеновских снимков на аппаратах с протяженным и точечным фокусным пятном. Приводятся результаты...
$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Учебное пособие Санкт-Петербург Издательство спбгэту «лэти» Организация и функционирование ЭВМ и сиcтем: Учеб. Пособие. Спб.: Изд-во Спбгэту «лэти», 2006, 95 с	$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Учебное пособие Санкт-Петербург Издательство спбгэту «лэти» Организация и функционирование ЭВМ и сиcтем: Учеб. Пособие. Спб.: Изд-во Спбгэту «лэти», 2006. ХХ с
$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Учебное пособие Санкт-Петербург Издательство спбгэту «лэти» Авторы: А. Б. Гуркин, В. В. Калашников, Р. В. Костюк, А. С. Пученков, И. В. Узлова	$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Учебное пособие Санкт-Петербург Издательство спбгэту «лэти» Авторы: А. Б. Гуркин, В. В. Калашников, Р. В. Костюк, М. А. Сорокина, Е. В. Умова
$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Величины Для данной работы необходимо повторить физические явления, понятия и законы, описывающие физические свойства жидкостей. Для этого...	$«Известия спбгэту \\\"лэти\\\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах icon$	Закона РФ от 10. 07. 1992 г. №3266-1 «Об образовании» Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский государственный...

Вы можете разместить ссылку на наш сайт:

Все бланки и формы на filling-form.ru

«Известия спбгэту \"лэти\"» 2016 Вып. 1 Физические явления в твердых телах, жидкостях и газах

HEAP VERIFICATION OF OBJECT-ORIENTED PROGRAMS IN A POINTS-TO LOGIC

Методика выявления ошибок человека-оператора с учетом его психологического типа на основании игровых программ, эмулирующих процесс работы на АРМ

THE METHOD OF DETECTING ERRORS OF THE HUMAN-OPERATORS, BASED ON THEIR PSYCHOLOGICAL TYPES USING GAME PROGRAMS SIMULATED THE WORKING PROCESS ON WORKSTATION

Модификация областей штриховки при использовании сеточной параметрической модели чертежей

MODIFICATION OF AREAS HATCHING USING A PARAMETRIC MODEL OF THE GRID DRAWINGS

Похожие:

Методика выявления ошибок человека-оператора
с учетом его психологического типа на основании
игровых программ, эмулирующих процесс работы на АРМ

THE METHOD OF DETECTING ERRORS OF THE HUMAN-OPERATORS, BASED
ON THEIR PSYCHOLOGICAL TYPES USING GAME PROGRAMS SIMULATED
THE WORKING PROCESS ON WORKSTATION

Модификация областей штриховки при использовании
сеточной параметрической модели чертежей

MODIFICATION OF AREAS HATCHING USING A PARAMETRIC MODEL
OF THE GRID DRAWINGS