WWW.PROGRAMMA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Учебные и рабочие программы
 


Pages:   || 2 | 3 | 4 | 5 |   ...   | 18 |

«Т384 Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) ТИПД–2011: Труды III Всероссийской науч. конференции с междунар. участием. Том II, ...»

-- [ Страница 1 ] --

–2–

УДК 004(063)

ББК 73я

Т384

Т384 Технологии информатизации профессиональной деятельности (в наук

е, образовании и промышленности)

ТИПД–2011: Труды III Всероссийской науч. конференции с

междунар. участием. Том II, Ижевск, 8–12 ноября 2011 г. /Под

ред. С. Г. Маслова. Ижевск: Изд-во Удмуртский университет, 2011. 540 с.

ISBN 978-5-4312-0076-

В сборнике представлены доклады, освещающие мировоззренческие,

теоретические, технологические и прагматические аспекты, возникающие при построении систем информационно-технологической поддержки профессиональной деятельности.



Конференция осуществлена при поддержке РФФИ, проект № 11-07-06071-г Институт УдГУ ИПУ РАН ЮрИнфоР- РФФИ МГУ НИЯУ ИПМ ДВО РАН Университет Дубна МФТИ МИФИ Научная школа Комиссия по ТИПД устойчивого развития устойчивого Международной Ассоциации устойчивого развития развития стран-членов ЕврАзЭС c Авторы, постатейно, 201 c ФГБОУ ВПО Удмуртский государственный университет, 20

ТРУДЫ КОНФЕРЕНЦИИ PROCEEDINGS OF CONFERENCE

ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ “TECHNOLOGIES OF INFORMATISATION

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ IN PROFESSIONAL ACTIVITY”

ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 VOL.II, IZHEVSK, NOVEMBER 8–12, 2011

–3– Общее руководство Васильев С. Н., академик РАН ИПУ РАН, Москва, РФ Программный комитет

Сопредседатели:

Новиков Д. А., член-корр. РАН ИПУ РАН, Москва, РФ Непейвода Н. Н., проф., д.ф.-м.н. УдГУ, Ижевск, РФ Бельтюков А. П., проф., д.ф.-м.н. УдГУ, Ижевск, РФ

Состав комитета:

Antonio M. D. dos Reis, проф. Aniconsulta LDA/the Gaal Institute, Лиссабон, Португалия Домрачев В. Н., доц., к.ф.м.н. ИК НАН, Киев, Украина Вольфенгаген В. Э., проф., д.т.н. МИФИ&МФТИ, Москва, РФ Большаков Б. Е., академик РАЕН, д.т.н. Университет Дубна, Дубна, РФ Жидков В. С., проф., д.иск. РФФИ, Москва, РФ Исламов Г. Г., проф., д.ф.-м.н. УдГУ, Ижевск, РФ Исмаилова Л. Ю., доц., к.т.н. МИФИ, Москва, РФ Файбисович М.

–  –  –

• Фундаментальные основы и принципы информационных технологий.

• Управление и моделирование для сложных систем (либернетика, кибернетика, динамические системы, анализ и синтез систем, бизнес-решения).

• Естественный и искусственный компьютинг, аппликативные вычислительные системы, логические формализмы.

• Построение профессиональных мобильных и распределенных сред.

• Построение ИТ-сферы когнитивные, конструктивные, коммуникативные, креативные и рефлексивные аспекты, дескриптивно-конструктивная деятельность.

• Построение систем знаний (междисциплинарность, (само)реструктуризация, систематизация, генерация, распространение, полисенсорность и полимодальность форм представления, системы визуализации).

• ИТ-проекция прорывных и идеальных технологий.

–  –  –

г. Ижевск, ул. Университетская, 1, корп. 6, ФИТ и ВТ.

e-mail: itpa.conf@gmail.com url: http://conference-udsu.webatu.com тел.: 8(3412)916-068, 8(3412)916-131 8–12 ноября 2011 г.

ТРУДЫ КОНФЕРЕНЦИИ PROCEEDINGS OF CONFERENCE

ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ “TECHNOLOGIES OF INFORMATISATION

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ IN PROFESSIONAL ACTIVITY”

ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 VOL.II, IZHEVSK, NOVEMBER 8–12, 2011

–5– Предисловие С 8 по 12 ноября 2011 года в г. Ижевске на базе Удмуртского государственного университета состоялась III Всероссийская научная конференция с международным участием Технологии информатизации профессиональной деятельности (в науке, образовании, промышленности).

В работе конференции приняло участие свыше 120 человек (докторов наук (21), кандидатов наук (29), аспирантов, молодых исследователей и студентов (44)) из Португалии, Украины, Франции и России. Были представлены города: Лиссабон, Донецк, Киев, Бордо, Москва, Владивосток, СанктПетербург, Красноярск, Ижевск, Челябинск. В рамках конференции на основе организации онлайн-сессий был осуществлен синтез двух конференций, данной и проводимой The Graal Institute в Португалии (Teacher’s Skills for the School of the Future: 15 профессоров и экспертов из Польши, Португалии, Швеции, Канады, Испании, Англии, Перу).





Материалы конференции оформлены в двух томах. Первый том содержал краткие материалы (печатное издание). Второй том содержит полные доклады (электронный аналог печатного издания с расширенными возможностями навигации). Дополнительно все материалы выложены на сайте конференции.

Развитие современного общества базируется на знаниях, которые, в свою очередь, становятся реальной силой только тогда, когда выполнен ряд условий:

• использование знаний сбалансировано между человеком (внутренняя среда) и компьютером (внешняя среда) в едином информационно-технологическом процессе;

• цена и ценность знания четко осознаны (приоритет в деятельности духовного и интеллектуального над материальным);

• непрерывность преобразования, от идеи до результата или продукта, от мировоззрения до практики, через теорию и технологию;

• целостность идеального и материального в едином объекте или процессе на уровне гармонизации жизненных процессов субъекта и его жизненной среды (проект интеграции – NBICS).

Не случайно современные экономисты говорят о новом моменте развития, т. е. о переходе от экономики материальных благ к экономике знаний (С. Ю. Глазьев). Новая экономика должна не только создавать возможности, но и приводить к ответственности и к осознанию последствий выбранного пути развития, создавая условия для устойчивого развития человека, общества и природы.

Технологии информатизации профессиональной деятельности могут стать стержнем развития новой экономики, потому что именно через информационные объекты и процессы происходит создание и управление информациТРУДЫ КОНФЕРЕНЦИИ PROCEEDINGS OF CONFERENCE

ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ “TECHNOLOGIES OF INFORMATISATION

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ IN PROFESSIONAL ACTIVITY”

ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 VOL.II, IZHEVSK, NOVEMBER 8–12, 2011

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

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

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

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

С точки зрения мировой науки наиболее актуальными проблемами по направлению конференции можно считать:

• проблемы фундаментальных основ информационных технологий;

• когнитивные исследования для построения интерфейсов систем, симбиоза (человеко-машинных систем) и созданию интеллектуальных роботов;

• междисциплинарные проблемы и проблемы междисциплинарной интеграции;

• исследование предельных возможностей сложных систем;

• информационные войны и безопасность;

• проблемы развития форм образования.

Влияние российских учёных на решение упомянутых задач остается высоким, особенно в теоретической области. Однако несовершенство технической и инструментальной базы привело к отставанию в области технологических решений. Упорное нежелание бизнеса оторваться от коротких денег усугубляет это отставание. Кроме того, разобщенность бизнеса, промышленности и системы образования приводит к дезориентации молодых людей, искажению системы ценностей и нарушению целостности процесса образования, когда формируемая узкая специализация разрушает основу и преимущества колТРУДЫ КОНФЕРЕНЦИИ PROCEEDINGS OF CONFERENCE

ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ “TECHNOLOGIES OF INFORMATISATION

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ IN PROFESSIONAL ACTIVITY”

ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 VOL.II, IZHEVSK, NOVEMBER 8–12, 2011

–7– лективной организации профессиональной деятельности. Фактически теряется пространство возможностей в преодолении возникающих разнообразных кризисов. Необходима четкая и ясная система оценки результатов и продуктов физического и умственного труда в непрерывном процессе преобразования идеи в реальный результат, обеспечивающий устойчивое развитие социально-природных, социально-экономических систем, т. е. жизненных процессов. ИТ-сфера и информатизация профессиональной деятельности являются теми связующими факторами для разнородных объектов, явлений и процессов, которые приводят к разумному использованию ресурсов, к творческому проявлению личности, которая не просто со всеми конкурирует, но и вступает в сотрудничество при решении сложных проблем.

Наиболее острой проблемой остается кадровый вопрос и вопрос преемственности в формировании систем знаний. Кадры продолжают уходить в бизнес, за рубеж, в мегаполисы. Критической массы профессионалов становится недостаточно, чтобы создавать идеальные и прорывные технологии, разрешать вызовы времени. Единственно успешной операцией постепенно становится копирование, а в перспективе всё сведется к простому потреблению и бесконечной зависимости.

Явно неудовлетворительна система публикаций научных результатов. Она повторяет прежние печатные формы, столь же длительная в экспертизе, что часто приводит к потере актуальности и новизны, а следовательно, к утрате приоритетности и понимания перспектив развития. Часто новизна подменяется изменчивостью. Назрела потребность в новых формах публикаций (например, активных и конструктивных), результаты которых естественным образом включаются в информационно-технологические процессы, в профессиональную деятельность. Существующие библиотечные системы по-прежнему складируют публикации. Необходим переход к фондам, содержащим элементы знаний, которые естественным образом объединяются в реальные информационно-технологические процессы, в процессы творчества и реализации. Нужно не цитирование, а использование результатов, обеспечивающее устойчивое развитие.

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

сохраняя положительный и отрицательный опыт, постоянно пересматривая базис интеграции.

Председатель организационного комитета конференции С. Г. Маслов Технологии информатизации профессиональной деятельности, 2011

–  –  –

УДК 575.1:51-7(045) Эволюция генотипа и возможный общий механизм повышения генетической устойчивости при многократном использовании генов

–  –  –

Аннотация По современным воззрениям эволюцию живого мира надо рассматривать как следствие эволюции генов. Однако до сих пор дарвиновская теория испытывает затруднения при объяснении феномена устойчивости генотипа относительно мутационных возмущений, поскольку она предсказывает, что при многократном воспроизведении клеток должно происходить быстрое «расплывание» и порча генотипа. Особенно это относится к живым организмам, стоящим на низкой эволюционной ступени и не имеющим механизмов тщательного отсеивания генетически отклонившихся клеток. Подобного «расплывания», однако, мы в природе не наблюдаем. В данной работе для исследования эволюции генотипа мы применили метод непрерывных функций (счёт генов идёт на десятки тысяч!). Кроме того, мы выносим на обсуждение альтернативный «гиперциклу» способ, которым природа могла бы воспользоваться для предотвращения излишне вредного влияния мутаций. Наша идея сводится к тому, что для повышения генетической устойчивости природа в определенные узловые моменты эволюции живого организма многократно использует одни и те же гены.

Abstract

According to modern concepts, the evolution of the live world must be seen as a consequence of the evolution of genes. But so far, Darwin's theory has difficulty in explaining the phenomenon of resistance mutations in the genotype with respect to perturbations, because it predicts that by playing multiple cells must be rapid «spreading» and the corruption of the genotype. This particularly applies to live organisms, standing on a low stage of evolution and have no mechanisms for careful screening of genetically aberrant cells. Such «spreading», however, we observe in nature. In the present work to study the evolution of the genotype, we used the method of continuous functions (by gene runs into tens of thousands of them!). In addition, we bring to the discussion of alternative «hypercycle» the way nature could have used to prevent harmful effects of excessive mutations. Our idea comes down to what is to increase the genetic stability of nature at certain key moments of the evolution of a living organism repeatedly uses the same genes.

1. По современным воззрениям эволюцию живого мира надо рассматривать как следствие эволюции генов (см., однако, Природа №8 эа этот год). Однако до сих пор дарвиновская теория испытывает затруднения при объяснении феномена устойчивости генотипа относительно мутационных возмущений, поскольку она предсказывает, что при многократном воспроизведении клеток должно происходить быстрое «расплывание» и порча генотипа [2]. Особенно это относится к живым организмам, стоящим на низкой эволюционной ступени и не имеющим механизмов тщательного отсеивания генетически отклонившихся клеток. Подобного «расплывания», однако, мы в природе не наблюдаем. Согласно Эйгену [2], природа находит выход в том, что создает

–  –  –

«гиперциклы» – иерархию циклов воспроизведения органических комплексов.

Для описания эволюции генотипа Эйген применяет дискретный математический подход. С нашей точки зрения, дискретный аппарат заметно усложняет анализ эволюции популяции клеток. В данной работе для исследования эволюции генотипа мы применили метод непрерывных функций, являющийся более адекватным сути задачи (ведь счёт генов идёт на десятки тысяч!). Кроме того, мы выносим на обсуждение альтернативный «гиперциклу»

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

2. Рассмотрим простую модель эволюции генотипа у живого организма.

Пусть величина x выражает отклонение генотипа от наиболее жизнеспособного стандарта; по существу, x – это число отклонившихся генов в клетке, и это число удобно аппроксимировать непрерывной переменной, подчиняющейся определенным статистическим законам. Для описания соответствующей статистики введем «плотность» p( x, t ) : число отклонившихся генов в интервале от x до x dx в данный момент времени равно, следовательно, p( x, t )dx.

Клетки в результате деления испытывают, во-первых, генетический дрейф по х с коэффициентом диффузии D, который считаем здесь постоянным; вовторых, размножаются по геометрической прогрессии с показателем 0 e x ( 0 ). (1) Согласно (1), каждое состоявшееся генетическое отклонение уменьшает (и это естественно) скорость размножения. Вводим также учет гибели клеток с относительной интенсивностью µ в единицу времени. Эволюция генотипа тогда будет описываться диффузионным уравнением для функции p(x,t)

–  –  –

(штрих означает производную функции Бесселя по ее аргументу).

Равенству (6) формально удовлетворяет бесконечное множество значений 0 при данных и D, но из них пригодно только наименьшее, так как иначе мы входим в область знакопеременности q( y), а у нас по смыслу всегда q( y) 0.

Если 1 – точка первого нуля Jn то соотношение (6) можно переписать в виде ',

–  –  –

Итак, при медленном вымирании (т.е. при малых n) и фиксированных величинах D и равновесие достигается при величине 0, пропорциональной. Напротив, при достаточно интенсивном вымирании равновесие достигается при почти одинаковых интенсивностях вымирания µ и размножения исходной формы 0, диффузия генов здесь практически не успевает сработать. Промежуточная зона между двумя асимптотическими случаями приблизительно описывается соотношением 0 ~ 2 D.

Соотношение (9), если отвлечься от различия в терминологии, эквивалентно тому ограничению на интенсивность диффузии, которое вводит и Эйген [2].

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

По Эйгену, природа справляется с этим затруднением, по крайней мере на начальных этапах эволюции, включением одних циклов воспроизведения органических комплексов в другие циклы («гиперцикл»).

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

Если каждый (или почти каждый) ген, функционирующий на стадии формирования, проходит дополнительную проверку еще на первой стадии за счет стимулирования в клетке каких-то необходимых ей цепей химических реакций, то правила диффузии генов изменяется в сторону большей устойчивости всей клеточной популяции. Действительно, отбор клеток по их жизнеспособности на первой стадии тогда сужает дисперсию генотипа, и на стадии формирования организма «расплывание» начинается почти заново от нуля. Заметим, что стадия формирования организма требует, как правило, меньшего числа клеточных делений с их опасностью неблагоприятных

PROCEEDINGS OF CONFERENCE

ТРУДЫ КОНФЕРЕНЦИИ

«TECHNOLOGIES OF INFORMATISATION

«ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ

IN PROFESSIONAL ACTIVITY»

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ»

VOL.II, IZHEVSK, NOVEMBER 8–12, 2011 ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 Антонов В.А., Кондратьев Б.П. Эволюция генотипа и возможный общий… мутаций, чем предыдущая стадия однородного роста. Примером могут служить многочисленные грибы с их стелющимся внутри или на поверхности субстрата мицелием и формирующимся над субстратом органами плодоношения.

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

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

Математическую модель такого двойного или вообще многократного контроля генов представить в полном виде довольно трудно. В грубых чертах, течение времени замедляется для диффузии, но не для процессов размножения и гибели клеток. Действительно, в (9) мы видим, что одновременное пропорциональное увеличение µ и 0 при сохранении D или, наоборот, уменьшения D с теми же µ и 0, при определенных условиях существенно сдвигают баланс в сторону роста числа клеток.

Список литературы

1. Сэхляну В. Химия, физика и математика жизни. Бухарест, пер. с румынского.

2. Эйген М. Гиперцикл. Принципы самоорганизации макромолекул. М.: Мир, 1982.

3. Бейтмен Г., Эрдейн А. Высшие трансцендентные функции. М.: Наука, 1974, т.2.

–  –  –

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

Актуализируются вопросы практического использования Венского метода, в основном – в образовательных целях. Предлагается к дальнейшему исследованию вопрос о создании среды разработки с использованием модели Венского метода.

Abstract

Considered one of the formal description of the approach of operational semantics of context-free languages, developed in the Vienna laboratory IBM, called the Vienna metalanguage. Рresent the basic concepts and tools of the Vienna method – objects, predicates, function descriptions, interpreting automata, command schemes. An example is given formal description of the operational semantics of Turing machine. Updated the practical use of the Vienna method, mostly – for educational purposes. It is proposed to further study the issue of creating a development environment using a model of the Vienna method.

Key words: formal operational semantics, Vienna method, metalanguage.

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

Каждый из указанных подходов обладает как своими преимуществами, так и недостатками. В настоящей работе рассматривается Венский метаязык. Этот метод (или его модификации) был использован для формального определения таких языков, как АЛГОЛ-60, Фортран, PL/1, Pascal. Венский метод является, по сути, конструктивным определением языка, семантика которого выражается через функциональное определение абстрактной интерпретирующей машины.

Как структуры данных, алгоритмы, так и сам интерпретирующий автомат принадлежат классу Венских объектов – базовой структуре Венского метода.

Вместе с этим Венский метод имеет ряд ограничений, делающих его использование на практике затруднительным. В частности, если иерархические

PROCEEDINGS OF CONFERENCE

ТРУДЫ КОНФЕРЕНЦИИ

«TECHNOLOGIES OF INFORMATISATION

«ТЕХНОЛОГИИ ИНФОРМАТИЗАЦИИ

IN PROFESSIONAL ACTIVITY»

ПРОФЕССИОНАЛЬНОЙ ДЕЯТЕЛЬНОСТИ»

VOL.II, IZHEVSK, NOVEMBER 8–12, 2011 ТОМ II, ИЖЕВСК, 8–12 НОЯБРЯ, 2011 Анисимов А.Е. Об использовании Венского метода описания… 17 и рекурсивные структуры легко представимы в Венской модели, то структуры, основанные на сетях и графах, а также итерация и модульность программ представляются нетривиально. Поэтому формальное Венское определение операционной семантики языка может быть логически верным, но при этом весьма громоздким и для практики зачастую бесполезным.

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

Интересной видится задача создания на базе концепции Венских структур и алгоритмов интегрированной системы разработки для использования, в том числе в образовательных целях.

1. Венские объекты Базовой концепцией структур данных Венского метаязыка является понятие абстрактного объекта.

Определение 1. Системой Венских объектов называется тройка, где

– множество абстрактных объектов, S – множество селекторов,

– операция выбора, – множество составных селекторов.

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

Определение 2. Пустым объектом называется объект, такой что

–  –  –

или в более общем случае.

В связи с частым использованием списков в конструкциях определяемого языка, вводится специальное обозначение – многоточие; считается, что i-й элемент списка помечен селектором si. Особый селектор s-del выбирает компоненту – разделитель элементов списка:

List=(s1:A1, …), ListWithDelimiter=(s-del:D, s1:A1, …).

Принято соглашение, что все объекты, моделирующие списки элементов, по умолчанию удовлетворяют предикату.

Транслятор программы из конкретного представления в абстрактное определяется через множество функций. В общем случае каждая функция представляет собой упорядоченный набор условных выражений вида,

–  –  –

где – предикаты, а – некоторые выражения. Определение функции будет обозначаться следующим образом:

.

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

–  –  –

транслирующих функций, каждая из которых определена на множестве венских объектов и содержит упорядоченный набор условных выражений.

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

–  –  –

= = = = = = = = = =

–  –  –

;

=

4. Интерпретирующий автомат Опишем интерпретирующий автомат для языка TML в терминах определения 7. Состояние определяется как =

–  –  –

;

= = = ;

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

Заключение Венский метод позволяет формально определить операционную семантику через абстрактную машину (интерпретатор). При этом различаются статические свойства семантики, определяемые на этапе трансляции, и динамические, возникающие при интерпретации.

–  –  –

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

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

Список литературы

1. Оллонгрен А. Определение языков программирования интерпретирующими автоматами / Пер. А.Л. Александрова. М.:Мир, 1977.

2. Маркотти М., Ледгард Х., Бохман Г. Формальные определения языков программирования / Пер. А.Н. Бирюкова // Семантика языков программирования: Сб. статей. М.:Мир, 1980, с. 9-136.

3. Золотарев Н.В. Компиляторы компиляторов – инструментальная база для создания систем синтеза программ // Вестник Удмуртского университета.

Ижевск. 1999. Вып. 8. с. 94–110.

4. Анисимов А.Е. Венский метод определения языков программирования // Вестник Удмуртского университета. Ижевск. 1999. Вып. 8. с. 3–13.

–  –  –

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

Abstract

This paper examines the principles and mechanisms for controlling a variety of formulations of the problems in stratied terminology environment. This allows you to move to a new level of process control computing environments and in dierent layers. The proposed approach is to create new capabilities in developing and implementing eective and productive systems for information support of professional activities.

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

На начальном этапе постановки задачи должно происходить осознание задачи в целом. В первую очередь это означает влияние этой задачи на субъекта и окружающую среду в пространстве и времени.

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

Минимизация возможной детализации достигается оптимальным расслоением и

–  –  –

Бельтюков А.П., Маслов С.Г. О разнообразии постановок задач в рас...

развитием процесса решения проблемы на основе преодоления возникающих препятствий и неудач.

Целью данной работы является анализ возможного разнообразия постановок задач.

1. Анализ обстановки и факторов для формирования постановки задачи Изначально анализ обстановки и факторов для формирования постановки задачи целесообразно провести на уровне терминов. То есть нам нужна знаковая форма, существующая независимо от нас и пригодная для внутреннего и внешнего компьютинга (внутреннего внутри субъекта, внешнего вне его, в компьютерах или в других субъектах). Под компьютингом понимается реализация задач навигации и поиска для существующих объектов и построения новых объектов с помощью вывода и синтеза, слияния и разделения, управления и трансформации. Компьютинг процесс, задаваемый определением исполнителя, начального состояния, способа получения результата и процесса управления.

Появляющиеся при анализе термины образуют целостную систему терминологическую среду. Из соображений эффективности эта система должна быть по возможности минимизирована. Поскольку механически уменьшить такую систему зачастую невозможно, эта минимизация применяется к частям описания системы слоям. Таким образом, получается расслоённая терминологическая среда [1]. В качестве конкретизации способа расслоения можно предложить следующую структуру знаний. Предполагается, что система знаний упорядочивается тем, что значительная часть её задаётся в виде ответов на особую систему вопросов. Множество задаваемых вопросов обозначается буквой Q ( что объект, кто субъект, какой свойства, как правила, чем инструмент, где пространство, когда время, сколько количество, ценность, цена, почему причина, зачем цель).

Кроме того, каждый вопрос снабжается рядом модификаторов. Известные в настоящее время классы модификаторов обозначаем буквами M, S, K, V. Буквой M обозначаются модификаторы вида формализации (метафорическая, концептуальная, математическая). Через S модификаторы вида системных представлений (морфологический, функциональный, либернетический). Через K модификаторы слоя знаний (дескриптивный и конструктивный, экспериментальный и теоретический, прикладной и фундаментальный). Через V модификаторы форм представления знаний (моносенсорные, полисенсорные). Полное описание этой системы см. в [1, 2, 3].

В этих условиях полная детализация описания структуры знаний представляет собой функцию g вида:

–  –  –

Бельтюков А.П., Маслов С.Г. О разнообразии постановок задач в рас...

то есть g(m, s, k, v, q) = e, где e – элемент множества E, множества возможных ответов на задаваемые вопросы. Множество M SKV Q будем в дальнейшем называть пространством построения решений, а множество M S K V QE пространством знаний или точнее пространством дескриптивноконструктивных знаний.

2. Основные принципы и факторы для формирования постановок задач

Разнообразие постановок задач в рамках расслоенной терминологической среды можно построить на следующих принципах:

• Принцип дивергенции. Оптимальное по эффективности и продуктивности использования распределение по взаимодействующим слоям описаний с фиксацией уровней абстракций и форм представления.

• Принцип варьирования (либернетический принцип). Варьирование объектов системы в трёх контекстах: известность – неизвестность, инвариантность – вариативность, степень свободы – ограничение. Построение двойственных объектов.

• Принцип целостности. Целостность в рамках системной ситуации, отражающая синтез субъективного и объективного, естественного и искусственного, живого и косного.

• Принцип оценки (меры и измерения). Использование меры и оценка сложности: цена – ценность, (бес)полезность – (без)вредность – нейтральность.

• Принцип моделирования. Мыслительный и компьютерный эксперимент компьютинговый эксперимент (оптимизация материализации решения).

• Принцип изменения. Генерация дополнительного контекста, переход в другой слой или переформулирование задачи при преодолении препятствий и устранении ошибок (неудач).

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

3. Примеры использования принципов в формировании постановки задачи Наиболее распространённый подход к классификации постановок задач выделение входа, выхода и процесса [4, 5]. Варьирование известности приводит, в частности, к таким типам задач, как проверка (всё известно) или решённая задача по классификации [5], синтез процесса (процесс неизвестен, вход и выход известны) или задача проектирования по классификации [5]. Вход при этом может получаться как ответ на вопрос что с ответом на вопрос когда – раньше.

–  –  –

Здесь считается, что задача поставлена, если заданы 2 элемента системы; и задача не решена, если неизвестны три элемента.

Также выделяются следующие группы методов управления знаниями:

• методы сбора и хранения знаний (вход);

• методы обработки и интегральной оценки знаний (процесс);

• методы управления реализацией знаний (выход).

Варьирование (ин)вариантности, например входа, приводит к разделению задач ещё на два класса: задачи с фиксированным входом (например конкретные входные данные заранее известны) и задачи с меняющимся входом (построение программ, обрабатывающих различные данные).

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

Пример двойственности взаимная смена ролей между объектом и инструментом.

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

Принцип целостности хорошо иллюстрируется созданием человеко-машинных систем (сочетание естественного и искусственного, живого и косного, субъективного и объективного).

–  –  –

Бельтюков А.П., Маслов С.Г. О разнообразии постановок задач в рас...

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

Моделирование нужно, с одной стороны для понимания обстоятельств задачи, с другой стороны для сокращения материальных затрат и времени.

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

4. Необходимость разнообразия постановок задач Чтобы перевести обстановку из косного состояния в живое, необходимо реализовать идею инвариантного цикла деятельности, который организует информационные потоки путём структуризации информационной среды на основе вопросов и модификаторов системы знаний (1).

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

Кроме того, следует отметить одну особенность организации решения задач:

волновой процесс смены конкуренции и сотрудничества. Зачастую фазой сотрудничества незаслуженно пренебрегают, оставляя одну конкуренцию.

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

требуется представить её в виде визуальных образов, озвученного видеоролика или полисенсорных моделей, например с целью обучения или контроля и управления процессом производства. Здесь неизвестным является не описание процесса вообще, а одна из форм его представления. Это один из вариантов задачи по созданию информационной модели поддержки деятельности. Ещё одна задача: проведение научных исследований и осуществление публикаций на эту тему. Здесь не известен как вход, так и процесс, но имеется некоторое вербальное представление о результате. В основном в этом варианте задачи речь идёт о нахождении актуального контекста (актуальный контекст вся совокупность информации и знаний, которая позволяет решать возникающие проблемы).

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

изменить саму окружающую среду.

–  –  –

Бельтюков А.П., Маслов С.Г. О разнообразии постановок задач в рас...

Рассмотрим разнообразие задач с точки зрения реализации компьютинга. Здесь надо выделить качественные и количественный подходы к формулировке и решению задач, а также символьные и численные подходы. Качественные и численные подходы связываются понятием меры (здесь мера понимается как количественная граница качественного изменения). Символьный компьютинг можно считать частным случаем качественного компьютинга, количественный компьютинг частным случаем численного. Здесь мы считаем, что число не обязательно количество предметов или результат измерения. Например, в задачах шифрования могут использоваться числа, не имеющие никакого количественного или измерительного смысла. Кроме того, приходится использовать такие абстрактные неколичественные числа, как комплексные, кватернионы, трансфинитные и т. д.

Иногда также разнообразие проявляется во взаимодействии субъектного мышления и внешнего компьютинга. Так возникает органичное слияние математики как таковой математики аксиом, теорем, рафинированного пространства и аналитики с информатикой, понимаемой как наука и практика автоматизации вычислений, геометрических построений, логических рассуждений, формирования коммуникаций, упаковки и распаковки информации ‘экспериментальная математика’ [2]. Следует отметить, что в приведённой цитате субъект проявляется неявно.

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

5. Барьеры, ошибки и препятствия Можно выделить следующие типы неудач перехода от исходного объекта к объекту результата, частично придерживаясь также классификации в работе [7]:

• объект вообще не создан, например если все ресурсы израсходованы;

• объект создан, но не надлежащего качества;

• создан объект требуемого качества, но неэффективным образом;

• создан объект требуемого качества, но система ценностей и потребностей субъекта изменилась;

• объект и не мог быть создан в данных условиях, например в случае некорректного использования синтезированного решения;

• в процессе выполнения процедуры выяснилась её принципиальная незавершимость в данных условиях;

• в процессе функционирования процедуры выявился дефект в логике работы

–  –  –

Бельтюков А.П., Маслов С.Г. О разнообразии постановок задач в рас...

системы, построившей саму процедуру.

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

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

Работа выполнена при финансовой поддержке РФФИ (грант 11-07-00640-а).

Список литературы

1. Маслов С.Г., Бельтюков А.П. Расслоенная терминологическая среда для научных исследований и образования. Устойчивое инновационное развитие: проектирование и управление.

том 7, № 1, 2011.

2. Маслов С.Г. Системный подход к формированию среды программирования // Интеллектуальные системы управления. М.: Машиностроение, 2010. С. 41–47.

3. Бельтюков, А.П., Маслов С.Г. О терминологической системе для междисциплинарных исследований // Теория активных систем: труды междунар. науч.-практ. конф. Управление большими системами – 2009, 17–19 нояб. 2009 г., М., Россия / под общ. ред.: В.Н.Буркова, Д.А.Новикова. М.: ИПУ РАН, 2009. – Т. II. – С. 232–235.

4. Непейвода Н.Н., Свириденко Д.И. К теории синтеза программ. В кн.: Математическая логика и теория алгоритмов. Новосибирс: Наука. 1982. С. 159–175.

5. Большаков Б.Е., Шамаева Е.Ф. Системный анализ методов управления знаниями в области устойчивого развития // www.rypravlenie.ru, том 4 (2009). C. 39–55.

6. Котельникова А.Н., Красовский Н.Н. Одна школьная задача как элемент обучения экспериментальной математике// http://mathem.h1.ru/krasovsky.html

7. Бельтюков А.П. Малые сложностные классы и автоматический дедуктивный синтез алгоритмов // Известия института математики и информатики УдГУ, Ижевск, 1995, вып. 2, с.

3–89

–  –  –



Pages:   || 2 | 3 | 4 | 5 |   ...   | 18 |
 
Похожие работы:

«Федеральное агентство связи ФГОБУ ВПО «Сибирский государственный университет телекоммуникаций и информатики» Уральский технический институт связи и информатики (филиал) Одобрено ученым советом УрТИСИ УТВЕРЖДАЮ ФГОБУ ВПО «СибГУТИ» И.о. директора УрТИСИ протокол № 7 от 26.03.2015 г. ФГОБУ ВПО «СибГУТИ» _ Е.А. Субботин _ 2015 г. ОТЧЁТ О САМООБСЛЕДОВАНИИ Уральского технического института связи и информатики (филиала) федерального государственного образовательного бюджетного учреждения высшего...»

«Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» УТВЕРЖДАЮ Проректор по учебной работе и менеджменту качества Е.Н. Живицкая 25.11.201 Регистрационный № УД4335/р ОСНОВЫ ТЕОРИИ КОДИРОВАНИЯ И КРИПТОЛОГИИ Учебная программа учреждения высшего образования по учебной дисциплине для специальностей: 1-39 01 02 Радиоэлектронные системы 1-39 01 04 Радиоэлектронная защита информации Кафедра радиотехнических систем Всего часов по дисциплине 170 Зачетных единиц...»

«Федеральное государственное образовательное бюджетное учреждение высшего профессионального образования Поволжский государственный университет телекоммуникаций и информатики «УТВЕРЖДАЮ» БТО Декан факультета. наименование факультета Ружников В.А... подпись, Фамилия И.О. « » 2014 г. РАБОЧАЯ ПРОГРАММА физика.. по учебной дисциплине наименование учебной дисциплины 10.03.01(090900.62) Информационная безопасность Направление подготовки Информационная безопасность Профиль подготовки Бакалавр...»

«УДК 316 Андронова Ирина Владимировна доктор политических наук, профессор. Поволжский государственный университет телекоммуникаций и информатики natali.26.12@mail.ru Зимин Вячеслав Александрович доктор политических наук, профессор. Самарский государственный университет natali.26.12@mail.ru Irina V.Andronova doctor of political sciences, professor. Volga region state university of telecommunications and informatics natali.26.12@mail.ru Vyacheslav A. Zimin doctor of political sciences, professor....»

«Министерство образования Республики Беларусь Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» Акционерное общество «Всероссийский научно-исследовательский институт по эксплуатации атомных электростанций» Федеральное государственное унитарное предприятие «Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова» АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИМИ ПРОЦЕССАМИ АЭС И ТЭС ПРОГРАММА I МЕЖДУНАРОДНОЙ НАУЧНО-ТЕХНИЧЕСКОЙ...»

«Проект Указ Пре зидент а Ре спублики Беларусь № г. М и н с к О Государственной программе инновационного развития Республики Беларусь на 2011–2015 годы В целях системной модернизации национальной экономики иповышения конкурентоспособности белорусских товаров (работ, услуг) на внутреннем и мировом рынках постановляю:1. Утвердить прилагаемую Государственную программу инновационного развития Республики Беларусь на 2011–2015 годы* (далее — Государственная программа). 2. Определить заказчиками...»

«Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» УТВЕРЖДАЮ Проректор по учебной работе и менеджменту качества Е.Н. Живицкая 29.06.2015 Регистрационный № УД-4-242/р физика и устройство ядерных энергетических реакторов» «Ядерная Учебная программа учреждения высшего образования по учебной дисциплине для специальности 1-39 03 03 Электронные и информационно-управляющие системы физических установок Кафедра электроники Всего часов по дисциплине 216...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Новокузнецкий институт (филиал) (Наименование факультета (филиала), где реализуется данная дисциплина) УТВЕРЖДАЮ Декан ФМФ факультета И.И. Тимченко 9 апреля 2015 г. Рабочая программа дисциплины (модуля) Б3.В.ОД.8 Программирование (Наименование дисциплины (модуля)) Направление подготовки...»

«IX Всероссийская научно-практическая конференция «Национальная программа поддержки и развития чтения: проблемы и перспективы» Итоговый документ 26-27 ноября 2015 г. в Москве в рамках Года литературы и подготовки заседания Госсовета Российской Федерации по вопросу совершенствования системы общего образования в России состоялась IX ежегодная всероссийская научно-практическая конференция «Национальная программа поддержки и развития чтения: проблемы и перспективы». Организаторами конференции...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тихоокеанский государственный университет» В. В. Стригунов, Н. И. Шадрина, Н. Д. Берман ОСНОВЫ РАБОТЫ С ТЕКСТОВЫМ РЕДАКТОРОМ MICROSOFT WORD 2010 Хабаровск Издательство ТОГУ УДК 681.518(076.5) Основы работы с текстовым редактором Microsoft Word 2010 : лабораторный практикум / В. В. Стригунов, Н. И. Шадрина, Н. Д. Берман. – Хабаровск :...»

«1. Цели освоения дисциплины Цель изучения дисциплины – развитие интереса у студентов к инженерной деятельности, усиление мотивации к обучению в соответствии с выбранным направлением, а также создание основы для развития навыков и умений, описанных в перечне Планируемых результатов обучения бакалавров по направлению 09.03.03.2. Место дисциплины в структуре ООП Дисциплина относится к вариативной части междисциплинарного профессионального модуля основной образовательной программы по направлению...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Новокузнецкий институт (филиал) Физико-математический факультет УТВЕРЖДАЮ Декан факультета И.О. Фамилия 201_ г. Рабочая программа дисциплины (модуля) Б1.Б.6 Математика Направление подготовки (специальность) 09.03.03 Прикладная информатика Направленность (профиль) подготовки Прикладная информатика...»

«ПРОГРАММА-МИНИМУМ кандидатского экзамена по специальности 13.00.02 «Теория и методика обучения и воспитания (информатика уровень высшего профессионального образования)» Введение Экзамен кандидатского минимума по специальности 13.00.02 –Теория и методика обучения и воспитания (информатика) является традиционной формой аттестации специальной и методической подготовки аспирантов и соискателей вуза, их научноисследовательской деятельности в области частной методики. Цель кандидатского экзамена...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ «НОВОСИБИРСКИЙ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ» (НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, НГУ) УТВЕРЖДАЮ Председатель совета «»2014 г. Программа дисциплины «Современные методы программирования (Программирование 2)» Образовательная программа: прикладная математика и информатика — 010400 Квалификация (степень) выпускника Бакалавр...»

«УП: 230100_62-09-12-3933_zaoch_сокр.plz.xml стр. 4 1. ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ 1.1 Курс «Основы программирования» является общеобразовательным для студентов направления «Информатика и вычислительная техника», но значение его в подготовке бакалавра по нпаравлению «Информатика и вычислительная техника» велико, т.к. здесь даются начальные представления об основных профессиональных инструментах: языке программирования высокого уровня и системе программирования, его реализующего. На протяжении всего...»

«УТВЕРЖДАЮ Заместитель Министра образования Республики Беларусь _В.А. Будкевич «25» июня 2014 г. Инструктивно-методическое письмо Министерства образования Республики Беларусь «Об организации образовательного процесса при изучении учебного предмета «Информатика» в учреждениях общего среднего образования в 2014/2015 учебном году» I. ОБЩИЕ ПОЛОЖЕНИЯ Важнейшими задачами, реализуемыми в процессе изучения учебного предмета «Информатика», являются: формирование теоретических знаний и практических...»

«ОРГАНИЗАЦИОННЫЙ КОМИТЕТ УТВЕРЖДЕН приказом ФМБА России № 26кс от 14 мая 2013 г. ПРЕДСЕДАТЕЛЬ Уйба В.В., руководитель ФМБА России, доктор медицинских наук, профессор. СОПРЕДСЕДАТЕЛИ Хавкина Елена Юрьевна, заместитель руководителя ФМБА России, кандидат медицинских наук; Назаров Виктор Борисович, заместитель руководителя ФМБА России, доктор биологических наук; Ефименко Н.В., директор ФГБУ ПГНИИК ФМБА России, доктор медицинских наук, профессор ЧЛЕНЫ ОРГКОМИТЕТА Полозков И.М., начальник Управления...»

«Федеральное государственное образовательное бюджетное учреждение высшего профессионального образования «Поволжский государственный университет телекоммуникаций и информатики» «УТВЕРЖДАЮ» Декан факультета ИСТ наименование факультета к.т.н., доц., Салмин А. А. подпись Фамилия И.О. « » _ 2014 г. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ Информатика наименование учебной дисциплины (полное, сокращенное) 010500 Математическое обеспечение и администриНаправление (специальность) подготовки рование информационных...»

«РЕГЛАМЕНТ РАБОТЫ ПЛЕНАРНОГО ЗАСЕДАНИЯ 20 ноября 2015 года (пятница) Председатель первого дня конференции – академик Соколов И.А. Место проведения пленарного заседания: УК-2, аудитория П-14 8.00 – 10.00 Регистрация участников конференции в фойе УК-2 (северный вход) 10.00 – 10.20 Открытие конференции. Факультету ВМК МГУ 45 лет – наиболее значимые результаты факультета ВМК МГУ имени М.В. Ломоносова к юбилею. Моисеев Е.И., академик РАН, декан факультета ВМК МГУ имени М.В. Ломоносова 10.20 – 11.00...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Филиал ФГБОУ ВПО «Кемеровский государственный университет» в г. Анжеро-Судженске Факультет информатики, экономики и математики «УТВЕРЖДАЮ» декан факультета информатики, экономики и математики Е. А. Конькова _ «01» октября 2010 г. Рабочая программа дисциплины Инвестиционный менеджмент Специальность...»



 
2016 www.programma.x-pdf.ru - «Бесплатная электронная библиотека - Учебные, рабочие программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.