Сотрудничество науки и бизнеса в области разработки программного обеспечения

Sciprog — это рабочее название для конференции (или круглого стола) на тему “Сотрудничество науки и бизнеса в области разработки программного обеспечения”.

Цель события: организовать дискуссионную площадку, где могли бы апробироваться и рождаться новые направления внедрения инноваций и сотрудничества науки и бизнеса, чтобы в неформальной постановке можно было обсудить следующие темы:
* Есть ли у бизнеса в Украине потребность в R&D? Какая именно? Как сейчас она удовлетворяется?
* Есть ли в украинской науке конкурентноспособные разработки и идеи со сравнительно небольшой дистанцией к внедрению?
* Традиционная модель внедрения инноваций в производство (которая была основанная на госзаказе) сейчас в большинстве своем разрушена или обрабатывает “воздух”. Можно ли выработать новую модель?

Время проведения: ориентировочно сентябрь 2010

Организаторы: частные лица, Отделение ACM в Украине, Институт Програмных Систем НАНУ


На днях прочитала:

Когда я думаю о ситуации в академической науке, мне почему-то на ум сразу приходят на память лекции Ланькова о Северной Корее : я не понимаю на что рассчитывает руководство, очевидно что необратимые изменения уже произошли, авторитет НАНУ оценивается скорее отрицательной величиной и казалось бы, говорить о какой-то серьезной осмысленной деятельности в остатках академических структур могут только идиоты и мошенники. Учитывая вышесказанное, сама идея еще раз поговорить о связи науки и бизнеса кажется бесполезной.

Но - академическая наука в Украине перестала быть деятельностью, однако осталась быть точкой соприкосновения довольно многих хороших людей. Многие из них ушли в другие отрасли, многие уехали из страны, многи приходят в институт раз в полгода, но хочеться верить, что какая-то более или менее здоровая общность все таки сохранилась. На УкрПрог как раз многие приедут. И вот поговорить там без розовых очков и плача о бюджетных деньгах было бы очень полезно: возможности еще есть.

читать подробнее на блоге автора

Все это действительно печально и требует каких-либо радикальных действий. Хочу добавить, что позавчера на ИАИ2010 эти же проблемы прозвучали из уст наших белорусских гостей. Студенты бегут в бизнес из науки, наука катится по наклонной.

В результате предварительных обсуждений решили сделать отдельное мероприятиев сентябре. Сейчас активно обсуждается собственно формат и собирается пул участников. Вот анкета: http://j.mp/c7TNdI с предложениями, пожеланиями и проч.

Всем неравнодушным и заинтересованным (особенно со стороны бизнеса), приглашаем присоединиться.

Использование методов онтологического анализа для управления компетенциями

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

Рогушина Ю.В., Гришанова И.Ю., ИПС НАНУ

Ключевые слова: онтологический анализ, управление компетенциями, Semantic Web
ИАИ2010

Презентация

Рогушина Юля  делает свою часть доклада.

Програма UKRPROG2010

Розпорядок роботи конференції


Вівторок 25.05.2010
9.30 – 18.00 Реєстрація учасників

15.00-18.00 Тренінг з Грід-обчислень в наукових дослідженнях

9.00 – 24.00 Розміщення в готелях учасників конференції

Середа 26.05.2010

8.30 – 9.45 Реєстрація учасників

9.45 – 10.00 Відкриття конференції

10.00 – 11.30 Пленарне засідання

11.45 – 12.00 Перерва на чай/каву. Огляд стендових доповідей

12.00 – 13.30 Пленарне засідання

13.30 – 14.30 Перерва на обід

14.30 – 16.00 Паралельні секції 1 і 2

16.00 – 16.30 Перерва на чай/каву. Огляд стендових доповідей

16.30 – 18.00 Паралельні секції 1 і 2

18.00 – 20.00 Фуршет для учасників конференції

Четвер 27.05.2010

10.00 – 11.30 Лекторій

11.30 – 12.00 Перерва на чай/каву. Огляд стендових доповідей

12.00 – 13.30 Паралельні секції 1 і 2

13.30 – 14.30 Перерва на обід

14.30 – 16.00 Паралельні секції 1 і 2

16.30 – 18.00 Паралельні секції 1 і 2

18.00 Підведення підсумків роботи конференції

СЬОМА МІЖНАРОДНА НАУКОВО-ПРАКТИЧНА КОНФЕРЕНЦІЯ
З ПРОГРАМУВАННЯ

УкрПРОГ^’2010

ПРОГРАМА

25-27 травня 2010 р.
Київ, Україна
Кібернетичний центр
Національної академії наук України

РОЗКЛАД РОБОТИ КОНФЕРЕНЦІЇ


26 травня 2010 р.



ПЛЕНАРНЕ ЗАСІДАННЯ

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)

8.30-9.45 Продовження реєстрації учасників конференції

9.45 Відкриття конференції


Теоретичні та методологічні основи програмування

Головуючий – І.В. Сергієнко

10.00 Редько В.Н. , Редько И.В , Гришко Н.В. (Киев, Украина) Дескриптологические основания сущностной платформы

10.30 Th. Ludwig (Heildelberg, Germany) The Energy Barrier in High Performance Computing

11.15 Лаврищева Е.М. (Киев, Украина) Проблема интероперабельности разнородных объектов, компонентов и систем. подходы к ее решению


11.45-12.00 Перерва на чай/каву. Огляд стендових доповідей



ПЛЕНАРНЕ ЗАСІДАННЯ

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)

Технологічні основи програмування

Головуючий – П.І. Андон

12.00 Mordvinova О., Ludwig T., Bartholomä C. (Heidelberg, Germany) I/O Benchmarking of data intensive applications


12.30 Андон Ф.И., Дерецкий В.А. (Киев, Украина) Роль семантики в интеграции приложений на основе веб-сервисов

13.00 Виступ представника асоціаціїї IT Ukraine (тема доповіді оголошується додатково)



13.30-14.30 Обідня перерва



14.30-18.00 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2

СЕКЦІЯ 1

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)

Системи баз даних і знань та інформаційні системи

Головуюча – О.Л. Перевозчикова

14.30 О.В.Палагін, С.Л. Кривий, Д.C. Бібіков, В.Ю. Величко, (Київ, Україна), К. Марков, К. Іванова, І. Мітов (Софія, Болгарія) Формально-логічний підхід до побудови систем аналізу знань в різних предметних областях



15.00 Дерецький В.О., Богданова М. М., Горошанский С. И. (Киев, Украина) Практический подход к реализации приложений семантического веб

15.30 Рогушина Ю.В., Гладун А.Я., Штонда В.Н. (Київ, Україна) Розробка онтологічних терміносистем інформаційних ресурсів інтернет та їх когнітивних моделей в наукових дослідженнях



16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей



Системи баз даних і знань та інформаційні системи

Головуючий – С.Ф. Теленік

16.30 Мелащенко А.О., Перевозчикова О.Л., Стрельникова Ж.А. (Киев, Украина) Онтологии финансово-экономического информационного хранилища

17.00 А.В.Анісімов, О.П.Кулябко, П.П.Кулябко,О.О.Марченко (Київ, Україна) Оптимізація запитів при конвертації DL/1(IMS) в SQL

17.30 Блажко А.А., Левченко А.Ю., Пригожев А.С. (Одесса, Украина) Модели нагрузочного тестирования систем управления базами данных



СЕКЦІЯ 2

(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)

Методи та засоби програмної інженерії

Головуюча – К.М. Лаврищева

14.30 А.А. Летичевский, А.В. Колчин (Киев, Украина) Генерация тестовых сценариев на основе формальной модели

15.00 Мелащенко А.О., Перевозчикова О.Л. (Киев, Украина) Кроссертификация Украины

15.30 Shekhovtsov V.A. (Kharkiv, Ukraine) Interactive assessment of simulated service qualities by business stakeholders: principles and research issues



16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей



Методи та засоби програмної інженерії

Головуючий: Сидоров М.О.

16.30 Л.Е. Матвеева (Киев, Украина) Инженерия качества процессов производства программных систем с помощью сетей ПЕТРИ

17.00 Андриянов В.А., Мартынюк А.Н.. (Одесса, Украина) Реализация модификаций эффективных генераторов тестов

17.30 Анцыпов А.В., Бахтизин В.В. (Минск, Беларусь) Оценка надежности модульных программных средств



18.00 Фуршет для учасників конференції



27 травня 2010 р.


ПЛЕНАРНЕ ЗАСІДАННЯ

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)

Головуючий – А.Ю. Дорошенко

Лекторій

10.00 Летичевский А.А. (Киев, Украина) Система инсерционного моделирования

10.45 V.I. Zadorozhny, D. Sharma (Pittsburgh, USA) Intelligent Adaptation in Data Intensive Sensor Networks



11.30-12.00 Перерва на чай/каву. Огляд стендових доповідей



12.00-13.30 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2


СЕКЦІЯ 1


Інтелектуальні методи обробки даних

Головуючий – А.В. Анісімов

12.00 Парасюк И.Н., Ершов С.В. (Киев, Украина) Нечеткие модели мультиагентных систем в распределенной среде

12.30 Ігнатенко О.П. (Київ, Україна) Моделювання процесів керування комп’ютерними мережами за умов конфлікту

13.00 Лавренюк С.І., Шелестов А.Ю., Лавренюк А.М. (Київ, Україна) Багатокритеріальний аналіз ризиків порушення безпеки інформації в GRID-системах



СЕКЦІЯ 2

(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)

Інформаційні системи та електронні бібліотеки

Головуючий – О.І. Провотар

12.00 Даревич Р.Р., Досин Д.Г., Литвин В.В., Мриглод O.І., Шкутяк Н.В. (Львів, Україна) E-DITORIAL – віртуалізація роботи редакційної колегії фахового періодичного видання

12.30 Рувинская В.М., Лотарь В.В. (Одесса, Украина) Электронная библиотека учебного заведения с визуальными интерфейсами отображения и уточнения информации при поиске

13.00 Новицький О.В. (Київ, Україна) Інтеграція даних в мережі Інтернет: зв’язані дані

13.30-14.30 Обідня перерва

14.30-16.00 ПАРАЛЕЛЬНІ СЕКЦІЇ 1 і 2

СЕКЦІЯ 1

(малий конференц-зал Інституту кібернетики ім. В.М. Глушкова НАНУ)

Прикладне програмне забезпечення

Головуючий – В.П. Тарасенко

14.30 Кривонос Ю.Г., Крак Ю.В., Бармак О.В., Троценко Б.А. (Київ, Україна) Використання багатоядерних процесорів для просторової анімації жестової мови

15.00 Ромм, И.А. Тюшнякова И.А. (Таганрог, Россия) Программная идентификация нулей и особенностей функций на основе сортировки с приложением к цифровой фильтрации

15.30 Слободян Я.О., Ильин Н.И., Мельничук А.В., Максименко В.П. (Киев, Украина) Эффективность Грид-технологий в расчетах высотных сооружений

16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей

Паралельне програмування та розподілені системи

Головуючий – А.Ю.Дорошенко

16.30 Ющенко Р.А. (Киев, Украина) Система управления кластером для комплексов семейства «ИНПАРКОМ»

17.00 Н. Н. Глибовец, C. С. Гороховский (Киев, Украина) Проектирование инструментария сетевого программного продукта. современное состояние и перспективы развития

17.30 Минухин, С.В. Знахур (Харьков, Украина) Параллельная реализация решения задач прогнозирования и классификации на кластере на основе искусственных нейронных сетей



СЕКЦІЯ 2

(читальний зал бібліотеки Інституту кібернетики ім.. В.М. Глушкова НАНУ)

Формальні методи програмування

Головуючий – М.С. Нікітченко

14.30 М.С. Нікітченко, С.С. Шкільняк (Київ, Україна) Композиційно-номінативні логіки над ієрархічними даними

15.00 А.Б. Годлевский, С.В. Потиенко (Киев, Украина) Обратная трансформация формул в символьном моделировании: от результата к исходной формуле

15.30 N.V.Shilov, S.O. Shilova (Novosibirsk, Russia) Solving contest problems via formal program verification

16.00-16.30 Перерва на чай/каву. Огляд стендових доповідей



Інструментальні засоби і середовища програмування

Головуючий – І.М. Парасюк

16.30 Цейтлин Г.Е. (Киев, Украина), Захария Л.М., Захария О.В., Жовнир Ю.И. (Львов, Украина) Экологические аспекты представления знаний средствами алгебры алгоритмики

17.00 Шкуліпа І.Ю., Погорілий С.Д. (Київ, Україна) Методика автоматизованої трансформації схем алгоритмів

17.30 Антонов В.М., Антонова-Рафі Ю.В. (Київ, Україна) Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем та АРМ



ПЛЕНАРНЕ ЗАСІДАННЯ

(малий конференц-зал)

Головуючий – П.І. Андон

18.00 Підбиття підсумків та закриття роботи конференції


Лекторій

The Energy Barrier in High Performance Computing

Th. Ludwig (University of Heildelberg, Germany)

Abstract

Since we started the recordings of the top 500 systems in the world we found an increase in computational power of a factor 30.000 in 17 years. Joint to this, high performance computers need more and more energy despite good success with making electronic circuits smaller and less energy consuming. The reason can be found in the economic sector: hardware became cheaper and thus new installations grew quickly with their energy consumption. Today, costs for electricity are in the range of acquisition costs if we calculate them for 5 years economic life-time. It is time to react. With office IT equipment and data centers we already find solutions to save energy - the marketing slogan is Green IT. However, for HPC this is a new concept. Hardware is not ready to be adjustable in energy consumption just like e.g. the one in battery operated notebook computers. The talk will discuss the problem of the energy barrier for future development in HPC and present research approaches to increase energy efficiency with these big installations. By applying concepts from Green IT we will not only save money with operating these computers but also contribute to a saving of CO2, which is generated during energy production. Eventually, we contribute to a greening of computational science.


Система инсерционного моделирования

А.А. Летичевский, Институт кибернетики им. В.М. Глушкова НАН Украины

Аннотация.

Инсерционное моделирование представляет собой технологию разработки надежного программного обеспечения, основанную на модели взаимодействия агентов и сред. Эта модель была предложена в 90-х годах и реализована в ряде экспериментальных программ на базе системы алгебраического программирования APS. В докладе рассматривается новый проект системы инсерционного моделирования IMS, разрабатываемый в настоящее время. Рассматриваются примеры применения технологии инсерционного моделирования для разработки ряда конкретных систем.



Intelligent Adaptation in Data Intensive Sensor Networks
V.I. Zadorozhny, D. Sharma, University of Pittsburgh, USA
Abstract

We consider complex adaptive solutions for data management in large data intensive wireless sensor networks (DISNs). The successful delivery of information in DISNs is impaired by various problems such as low link quality, congestion, collisions, no route availability, etc. The combined effect of these factors is hard to estimate and this is one of the major reasons why traditional optimization solutions have very limited applicability in DISNs. We will introduce alternative adaptive approaches based on considering Wireless Sensor Network as a Complex Adaptive System (CAS), where light-weight decisions made locally by individual sensors efficiently converge to desirable information processing patterns. We will explore applicability of such intelligent adaptation to scalable data dissemination solutions that allow DISNs to operate with sufficient quality of service under heavy information loads.



Стендові доповіді

26 травня 2010 р. (10.00-14.00)


1. Провотар О.І. (Киев, Украина) Нейронечеткие модели диагностики в системе Н-гомеопат
2. Чадюк А.В., Руновська З.В., Федоренко С.М. (Київ, Україна) Методологія створення автоматизованої інформаційної системи обліку та перспективного планування санаторно-курортного та реабілітаційного лікування потерпілих
3. Nepomniaschaya A. S. (Novosibirsk, Russia) Multi-Comparand Associative Machine and its Application to Relational Algebra Operations
4. K.А. Жереб, B.I.Єгоров, В.Г. Прохоров (Київ, Україна) Система автоматизації проектування цифрових фільтрів зображень
5. Акуловский В.Г. (Дніпропетровськ, Україна) Основы алгебры алгоритмов, базирующейся на данных
6. Паулин О.Н., Усова Т.И. (Одесса, Украина) Метод распараллеливания нелинейных задач
7. Іваненко П.А, Дорошенко А.Ю., Суслова Л., Черниш Р.І. (Київ, Україна) Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища
8. Парасюк І.М., Костукевич Ф.В. (Київ, Україна) Технологія моделювання на основі нечітких байєсівських мереж довіри
9. Туліка Є.М. (Київ, Україна) Підвищення ефективності систем із сервісно-орієнтованою архітектурою за рахунок оцінки і розподілу навантаження
10. Буй Д.Б., Кахута Н.Д., Сільвейструк Л.М. (Київ, Україна) Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
11. Шишацька О.В. (Київ, Україна) Виникнення та інтерпретація тризначних логік Кліні
12. Богатырева Ю.А. (Киев, Украина) Мультимножества: обзор библиографии, построение решетки мультимножеств
13. Шкільняк О.С. (Київ, Україна) Композиційно-номінативні модальні логіки функціонально-екваційного рівня
14. Коваль Г.І., Колесник А.Л., Лавріщева К.М., Слабоспицька О.О. (Київ, Україна) Удосконалення процесу розроблення сімейств програмних систем елементами гнучких методологій


Стендові доповіді

26 травня 2010 р. (14.00-18.00)

1. Назаренко Е.В, Тульчинский В.Г., Тульчинский П.Г. (Киев, Украина) Оптимизация обработки больших масcивов данных в кластерных системах
2. Антонов В.М., Антонова-Рафі Ю.В. (Київ, Україна) АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
3. Сергеев А.П. (Киев, Украина) Алгоритм определения изоморфизма XML-схем
4. В.А. Иовчев, А.С. Мохница (Київ, Україна) Инструментальные средства алгебры алгоритмики на платформе Web 2.0.
5. Пригожев А.С. (Одесса, Украина) Представление графического интерфейса пользователя для тестирования программ
6. Шараєвський Г.І. (Київ, Україна) Адаптивний нейромережевий комплекс для автоматичної діагностики стохастичних динамічних об’єктів атомної електростанції
7. Назаренко А.М. (Суми, Україна), Панченко Б.Е. (Киев, Украина) Схема параллельных вычислений в задачах дифракции волн сдвига на системе отверстий в бесконечной изотропной среде
8. Чупринка В.І., Шкоденко М.М., Коновал В.П. (Київ, Україна) Система автоматизованої підготовки інформації про матеріал складної конфігурації для проектування розкрійних схем
9. Чупринка В.І., Чебанюк О.В. (Київ, Україна) Метод програмного проектування найщільніших решітчастих укладок
10. Чупринка В.І., Хоменко О.О., Свістунова Л.Т. (Київ, Україна) Комплексний підхід до розв’язання задачі щільного розміщення об’єктів складної форми на площині
11. Grypych Iu., Kussul N., Kussul O. (Київ, Україна) Neural and statistical techniques for remote sensing image classification
12. Пепеляев В.А., Сахнюк М.А., Чёрный Ю.М. (Киев, Украина) Параллельная реализация процессов направленного поиска оптимальных решений
13. Парфірова Т.С. (Київ, Україна) Сутесутністні характеристики навчальних середовищ



Стендові доповіді

27 травня 2010 р. (10.00-14.00)


1. Березовський К.А., Дорошенко А.Ю., Яценко О.А. (Київ, Україна) Формалізоване проектування та синтез паралельної програми побудови діаграми Вороного
2. Ткачук Н.В., Нагорный К.А. (Харьков, Украина) Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
3. Буй Д.Б., Поляков С.А. (Київ, Україна) Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика
4. Є.Ю. Іванніков (Київ, Україна) Послуга повної довірчої конфіденційності для захищеної ос на базі GNU/LINUX з розширенням RSBAC
5. Буй Д.Б., Компан С.В. (Київ, Україна) Об’єктно-орієнтована БД NEODATIS: розгортання, програмування запитів, порівняння з реляційними базами даних
6. А.А. Блажко, С. Ю. Марулин, Ю.А. Дунько (Одесса, Украина) Система автоматизированного переноса содержимого электронных документов в БД ИС
7. Блажко А.А., Ибаа Сауд (Одесса, Украина) Автоматизированное создание правил управления доступом к данным средствами СУБД
8. Панченко Б.Е. (Київ, Україна) О шунтировании многозначных зависимостей в реляционной модели данных
9. Тульчинский В.Г., Тульчинский П.Г., Ющенко А.К., Ющенко Р.А. (Киев, Украина) Применение XML-представлений для интеграции данных в промысловой геофизике
10. Левченко Р.И., Судаков А.А., Погорелый С.Д., Бойко Ю.В. (Киев, Украина) Проблемы эффективности автоматического динамического распараллеливания вычислений для многопроцессорных компьютерных систем со слабой связью
11. Letichevsky А.А. (Kyiv, Ukraine), Peschanenko V.S. (Kherson, Ukraine) Simple Non-Deterministic Rewriting in Verification
12. Безверха М.А., Процик П. П. (Київ, Україна) Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
13. А.С.Коваленко, К.С.Коваленко (Киев, Украина) Разработка полнофункциональных веб-приложений на основе библиотеки TAUCODE



Стендові доповіді

27 травня 2010 р. (14.00-18.00)

1. Луцький М.Г., Сидоров М.О., Рябокінь Ю.М. (Київ, Україна) Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
2. Палагін О.В., Кривий С.Л., Петренко М.Г., Бібіков Д.C. (Київ, Україна) Алгебро-логічний підхід до аналізу та обробки текстової інформації
3. Нікітченко М.С., Іванов Є.В. (Київ, Україна) Стабільність та монотонність програм відносно структурних трансформацій даних
4. Провотар А.И., Лапко А.В. (Киев, Украина) О некоторых подходах к вычислению неопределенностей
5. Погорілий С.Д., Білоус Р.В. (Київ, Україна) Генетичний алгоритм розв'язання задачі маршрутизації в мережах
6. Жуков И.А., Ластовченко М.М., Лукашенко В.В., Терещенко В.С., Ярмолович М.А. (Киев, Украина) Программное обеспечение инструментально-технологической системы проектирования телекоммуникаций со сменяемым набором модулей моделирования
7. Міщенко Н.М., Феліжанко О.Д., Щоголева Н.М. (Київ, Україна) Автоматизація складання граматичних словників лексики тематичних текстів
8. В.В.Любченко (Одеса, Україна) Вимірювання адаптованості електронного навчального курсу
9. Кожаев В.В. (Киев, Украина) Тестирование интереса к игре
10. Жеребко В.А., Лукіна Т.Й. Лясковський А.С. (Київ, Україна) Методичне забезпечення проектування адаптивного регулятора засобами LABVIEW
11. Бурматова М.С., Оленін М.В. (Харків, Україна) Аналіз сучасних пошукових систем на предмет їх придатності для пошуку і вилучення інформації про однотипні об’єкти з Web-простору
12. Нечай А.С. (Киев, Украина) Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
13. Луцький М.Г., Дишлевий О.П., (Київ, Україна) Підбір метрик для властивостей програмного забезпечення



Інформація

Проживання учасників конференції передбачається біля Кібернетичного центру НАН України в готелі «Голосіївський», просп. 40-річчя Жовтня, 93. Довідки за телефоном (380)(44)259-7646.

Харчування передбачається за рахунок учасників конференції в буфеті Кібернетичного центру.

Оргкомітетом не передбачається бронювання та придбання квитків на зворотний від’їзд.

Заїзд учасників конференції 25 травня 2010 р.

Реєстрація учасників конференції з 9.30 до 18.00 25 травня та з 8.30 до 9.45 26 травня 2010 р. за адресою: проспект Академіка Глушкова, 40, Інститут кібернетики імені В.М. Глушкова НАН України, корпус 1, 1-й поверх.

Транспорт: від метро – станція "Либідська" тролейбусом № 2 до кінцевої зупинки "Кібцентр".

Відкриття конференції – 26 травня 2010 р. о 9.45 за адресою: Інститут кібернетики, корпус 1, 1-й поверх, малий конференц-зал.

Адреса конференції: 03187, Київ, проспект Академіка Глушкова, 40 Iнститут програмних систем НАН України, УкрПРОГ’2010
Тел.: (380)(44)526-3309, 526-2148
Факс: (380)(44)526-6263
Електронна пошта: ukrprog2010@ukrprog.org.ua

IAI-2010

ИНТЕЛЛЕКТУАЛЬНЫЙ АНАЛИЗ ИНФОРМАЦИИ
X международная научная конференция им.Таран Т.А.
ИАИ-2010

Киев, 18-21 мая 2010 г.
Место проведения:
Национальный технический университет Украины
«Киевский политехнический институт»
Сайт конференции

Программа конференции

18 мая 2010г.	X международная научная конференция ИАИ -2010 им.Т.А.Таран
11:00	Открытие X международной научной конференции ИАИ – 2010 Валькман Ю. Р. О структуре образа: доформальное исследование Гришанова И.Ю., Рогушина Ю.В. Использование методов онтологического анализа для управления компетенциями персонала как составной части планирования научных исследований
12:00 – 12:15	кофе брейк
	Инженерия знаний
	Валькман Ю. Р., Валькман Р. Ю. Бизнес-интеллект и управление знаниями: понятия и технологии Гаврилова Т.А., Голенков В.В., Гулякина Н.А. Унифицированный способ абстрактного кодирования семантических сетей Добронравин Ю.В., Самарин Н.С. Проблема построения онтологии виртуальной реальности для системы Guide Bot
13:00 – 14:00	обед
	Зосимов В.В. Анализ методов и средств «раскрутки» сайтов в интернете Савченко І.В. Структура, та вимоги до засобів розробки онтології в Web Лазаренко С.В. Класифікація багатовимірних об’єктів на основі мультифрактальних властивостей Афонин А.А. Об обработке равенств в линейных стратегиях над упорядоченными дизъюнктами
15:30 – 15:45	кофе брейк
	Глоба Л.С., Новогрудская Р.Л. Подход к построению портала инженерных знаний Зайцев В.Г., Лан Чуньлинь Внедрение системы автоматической классификации документов в многоязычных информационных системах Балагура І.В. Поєднання вебометричних методів та експертного оцінювання для побудови моделі рейтингу наукових публікацій на конференції «Інтелектуальний аналіз інформації» Гуменюк О.С., Карлін Є.С., Шатовська Т.Б. Аналізатор відвіданих сайтів Стефанюк В.Л. Использование семиотической интроспекции при поиске представления комбинаторных задач
	19 мая 2010 г. X международная научная конференция ИАИ -2010 им.Т.А.Таран
	Обработка естественного языка
10:00	Леоненко Л.Л. Теория подобия конечных последовательностей и задачи автоматической проверки орфографии Вороной С.М., Егошина А.А. Метод поиска базового узла дерева словообразовательного синтеза для экспертной обучающей системы Мачуський Є.А., Плахутіна Л.Л. Мовні універсалії: семантика морфем т-r, s-t та str в індоєвропейських мовах Шарий Т.В. Анализ речевых сигналов с учетом просодических характеристик
	Инженерия знаний
	Вороной А.С. Инструментальные средства формирования онтологических баз знаний интеллектуальных обучающих систем
11:45 – 12:00	кофе брейк
	Россошинський Д.О., Чаюн В.Г. Проверка существования гомоморфного отображения между двумя графами на основе парадигмы логического программирования Левченко О.Ю., Пригожев О.С. Побудова класів еквівалентності для тестування програмного забезпечення з використанням моделі поведінки користувача Воскобойникова А.А. Методы отображения и сопоставления онтологических структур
13:00 – 14:00	обед
	Кузнецов О.П., Жилякова Л.Ю. Исследование эргодичности ресурсных сетей с произвольной проводимостью Жилякова Л.Ю. Процессы изменения проводимостей в ассоциативной ресурсной сети
	Многоагентные системы
	Тарасов В.Б. Методы и модели алгебраической логики в анализе взаимоотношений и переговоров агентов в многоагентных системах
15:30 – 15:45	кофе брейк
	Калуцкая А.П., Тарасов В.Б. Информационные гранулы и методы их построения: применение при разработке интеллектуальных агентов Муцаковская Е.В. Использование мультиагентных технологий для имитационного моделирования розничных продаж Трегубенко І.Б. Модель інтелектуального агента в системах управління інформаційною безпекою на базі адаптивних модулів.
	20 мая 2010 г. X международная научная конференция ИАИ -2010 им.Т.А.Таран
	Интеллектуальный анализ данных
10:00	Волченко Е.В. О трудоемкости построения обучающих выборок и решающих правил в открытых системах распознавания Донской В.И. Обоснование обучаемости по принципу эмпирической индукции на основе колмогоровского подхода Зєлик Я.І., Куссуль Н. М., Грипич Ю.А. Математичний апарат для оцінювання ризиків несприятливих наслідків стихійних лих на основі геопросторових даних Комарцова Л.Г. Оптимизация нечетких систем на основе эволюционных методов Конишева Н.Ю. Інтелектуальний аналіз даних в дослідженні впливу комп’ютерних ігор та геометричних форм на свідомість людини
11:45 – 12:00	кофе брейк
	Копычко С.Н., Музыра Н.В. Интеллектуальная аналитическая система для управления проблемными кредитами банка Ланбина А.В., Потапчук Е.В. Использование технологии ретаргетинга для сбора и интеллектуального анализа информации Луценко В.М., Мачуський Є.А. Використання елементів засобів інтелектуальної підтримки прийняття рішень при пректуванні систем інформаційної безпеки
13:00 – 14:00	обед
	Ролик А. И, Можаровский П. Ф., Март Б.А. Применение глубинно-упорядоченных регионов в системах управления ИТ-инфраструктурой Серебровский А.Н., Вьюн В.И., Пилипенко В.Г. Об автоматизированной технологии формирования и обновления базы знаний экспертной системы Хіміченко І.В. Підвищення ефективності за часом при фрактальному стисненні зображень Чертов О.Р., Тавров Д. Ю. Групповая анонимность данных
15:30 – 15:45	кофе брейк
	Шараевский Г.И., Шаповалова С.И. Алгоритм структуруризации карты самоорганизации при обучении нейронной сети Янковская A.E., Гедике А.И. Интеллектуальный анализ данных и знаний при медицинской диагностике
	21 мая 2010 г. X международная научная конференция ИАИ -2010 им.Т.А.Таран
	Интеллектуальные обучающие системы
10:00	Гончаренко М.В., Покровський Є.О., Савчук О.В., Юрчук Л.Ю. Деякі підходи до побудови інтелектуальних мережевих систем для навчання Руденко П.А. Автоматизированная система тестирования с открытой формой представления тестового задания Титенко С. В., Гагарін О. О. Автоматизація побудови дидактичної онтології на основі понятійно-тезисної моделі Шибут М.С. Концептуальное моделирование предметной области в системе информационного обеспечения процесса обучения Щеголькова В.А. Основные этапы цикла управления в обучающей системе, основанной на прецедентах
11:45 – 12:00	кофе брейк
	Прикладные задачи
	Заболеева-Зотова А.В., Орлова Ю.А. Автоматизация анализа текста технического задания на проектирование сложной системы Ночевнов Д.П. Комплексный анализ отзывов в социальных сетях Петергеря Ю.С. Киселёва А.Г. Построение логического вывода в контекстно-зависимой системе управления электропотреблением Василенко В.В. Использование инверсной кинематики в компьютерных играх
13:30 – 13:45	кофе брейк
	Савенко О.С., Лисенко С.М. Побудова інформаційної технології інтелектуального діагонстування троянських програм компютерних систем Чеберяк О.О. Анализ валютных рисков на основании определения функций распределения валютных курсов по экспериментальным данным Копичко С.М., Балабан Р.М., Іванушкін О.О. Проблеми використання теорії Марковіца на українському фондовому ринку Пальчевський І .І., Копичко С. М. Концептуальна модель комбінування цифрових доказів для виявлення шахрайств
	Подведение итогов конференции Закрытие конференции

UKRPROG2010

СЕДЬМАЯ МЕЖДУНАРОДНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ ПО ПРОГРАММИРОВАНИЮ
УкрПРОГ'2010

С 25 по 27 мая 2010 года в Кибернетическом центре НАН Украины в г. Киеве проводится Седьмая международная научно-практическая конференция по программированию УкрПРОГ’2010. Организаторами конференции являются Национальная академия наук Украины, Министерство образования и науки Украины, Кибернетический центр НАН Украины и Национальный технический университет Украины "Киевский политехнический институт".

В рамках конференции с 19 по 21 мая будет проведен международный симпозиум «Автоматы, алгоритмы и информационные технологии».

ТЕМАТИЧЕСКИЕ НАПРАВЛЕНИЯ КОНФЕРЕНЦИИ:

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

Детали: http://ukrprog.isofts.kiev.ua/r.htm

Тестируем Quintura

Тестируем необычный визуальный поисковик Quintura
Поиск осуществляется простым перемещением мышки на термины в Облаке тегов...



Ну как? Нравится?

А это поиск по этому сайту:

Гугл гаджеты для SEO

Гугл гаджеты для SEO

Иследование ключевых слов и конкурентный анализ

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

Вот как он выглядит (работающая версия, для активации кликните на зеленой полоске, напр., на "Google"):

Можно сразу попробовать в действии -

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

<p><script src="http://gmodules.com/ig/ifr?url=http://tools.seobook.com/google-gadgets/keywords.xml&synd=open&w=342&h=495&title=SEOBook+Competitive+%26+Keyword+Research+Tool&border=%23ffffff%7C3px%2C0px+solid+%23999999&output=js"></script></p>

Анализ ссылок

Данный гаджет показывает различные пути поиска бэк-линков в основных поисковых системах. Также он позволяет видеть свежие цитаты из блогов, получаемые при помощи Google Blog Search и Technorati, цитаты из Del.icio.us, Digg, StumbleUpon, и Wikipedia.

Он выглядит следующим образом (работающая версия, для активации кликните на зеленой полоске):

Также, достаточно вставить следующий код:

<p><script src="http://gmodules.com/ig/ifr?url=http://tools.seobook.com/google-gadgets/link-data.xml&synd=open&w=342&h=350&title=SEOBook+Link+%26+Research+Tool&border=%23ffffff%7C3px%2C0px+solid+%23999999&output=js"></script></p>

Источник: http://tools.seobook.com/google-gadgets/

Анализ и извлечение терминов из текста

То, что раньше писали сами, теперь можно взять и использовать готовое.

Несколько ссылок на он-лайновые утилиты по извлечению терминов-ключевых слов из текста: (список по мере тестирования пополняется)

• Term Extraction service from Yahoo (API)
  
• Yahoo! Keyword Phrase Term Extraction для SEO - он-лайн тулза для извлечения ключевых фраз из текста
  
• Keyword / Terminology Extraction - проект AlchemyAPI - API, извлечение мета-данных, терминов, ключевых слов, !концептов!, категоризация текстов. Извлеченные данные могут возвращаться в форматах XML, JSON, RDF и микроформатах. Этот проект принадлежит к списку проектов Semantic Web. Его девиз - Трансформация текста в знание. Заявлена поддержка многих языков. При тестировании выявлено, что он автоматически распознает язык и готов обрабатывать русский. Украинский язык он пока не знает :(.
  
• Google Keywords - вручную надо вводить набор дескриптивных терминов/фраз, или ссылку на сайт, и гугл генерирует идеи :) - всевозможные комбинации из ключевых слов и статистика их использования из истории поисковых запросов. API нету. Хороший инструмент для SEO, но в концепцию Semantic Web вписывается не очень, поскольку не обладает открытостью и не поставляет результаты в форматах Semntic Web.
  
• Google Sets - по заданному набору количеством до 5-ти концептов (терминов/фраз) строит множество синонимов и относящихся к понятию других концептов. Пока поддерживает только английский язык. API тоже нету. Может также использоваться SEO для генерации идей (английских :))
  

Пока все...

Тест Google Translate API, PHP и RSS (продолжение)

Результат однодневного эксперимента с Google Translate API, PHP и RSS. Продолжение.
(Начало)
По причине использования одной и той же javascript-функции для показа новостей, смотреть корректно фиды новостей в данном варианте можно только загрузив посты по отдельности.

Итак, переводим русскую ленту на украинский:

Loading...

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

Тест Google Translate API, PHP и RSS

Результат однодневного эксперимента с Google Translate API, PHP и RSS

Сколько языков ты знаешь – столько раз ты человек…
А если не знаешь, а надо? Обращаемся за помощью к переводчикам. Последнее время особенно популярен стал гугл-переводчик. Гугл настолько почувствовал свою силу, что выпустил API для использования переводчика автоматно.
Так ли он крут – переводчик от гугла?

В качестве исходного материала возьмем rss-ленты.
Как получить-обрабатывать ленту новостей средствами php описывать не буду (в и-нете есть масса примеров). Я использую свою корявую библиотеку, ибо свое – дороже и надежнее. Мне попадалось очень много открытых кодов обработки rss-лент, так что подобрать подходящую – не проблема.
Берем понравившуюся rss-ленту, переводим ее с использованием Google Translate API и показываем на блоге (или сайте).

Можно взять за основу пример использования, показанный в http://gritsinger.com/ispolzovanie-google-translate-api-v-php.html

Я выбрала другой ресурс - http://code.google.com/p/php-language-api/.
Тут есть краткий простой пример использования, а сам php-класс находится тут
код

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

Не вдаваясь в подробности, php-код будет выглядеть приблизительно следующим образом:

<?
Function translate($text, $from, $to)
{
$trans_text = Google_Translate_API::translate($text, $from, $to);
if ($trans_text !== false) 
           return $trans_text;
return “”;
}

Receive_rss();
foreach($rss_item as $key => $rss_item )
     {$title= translate(get_rss_tag($rss_item,”title”), 'en', 'ru');
      $date= translate(get_rss_tag($rss_item,”pubDate”), 'en', 'ru');
      $description =translate(get_rss_tag($rss_item,”description”), 'en', 'ru');
      add_rss($title,$date,$description);
      }
put_rss();
?>

Исходная rss-лента (подробнее про использование rss-ленты на блоге см. Размещение rss-ленты новостей на блоге):

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

Loading...

Результат, как видно из примера, ужасный.

Теперь возьмем русскоязычную ленту. Родство языков сразу видно – результат более-менее приличный.
Код остается прежним, меняются только параметры для функции translate(get_rss_tag($rss_item,”pubDate”), 'ru', 'uk')

Посмотреть результат

Важный нюанс, на который надо обратить внимание – исходный материал должен быть представлен в кодировке UTF-8.

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

Запуск в свет международных доменных имен

Итак, продвижение в сторону интернационализации продолжается. Наконец запустили в жизнь международные доменные имена. Последняя новость c сайта biz.liga.net:

В Интернете впервые за историю появились нелатинские домены

Впервые за всю историю Интернета в сети появились и заработали домены с именами, написанными не латиницей, сообщает ICANN. Первые "международные доменные имена" (internationalized domain names (IDNs) были введены в действие вчера.

Первыми странами мира, которые получили домены на собственных языках, стали Саудовская Аравия, ОАЭ и Египет. "Это не незначительное изменение в Интернете, это сейсмический сдвиг, который навсегда поменяет онлайн-ландшафт. Это – начало перехода, который сделает Интернет более доступным и понятным для миллионов пользователей по всем миру, не смотря на то, где они живут или на каком языке разговаривают", - говорит президент ICANN Род Бекстром (Rod Beckstrom).

Между тем, не все современные браузеры смогут справиться с новыми доменами, сообщает "Cnews". Среди Firefox 3.6.3, Internet Explorer 8, Opera 10.51, Safari 4.0.5 и Chrome 4.1.249.1064 – наиболее свежие версии программ, – отобразить арабские буквы смогли лишь "Opera" и "Safari". Остальные браузеры, хотя и смогли открыть сайт, в адресной строке автоматически заменили арабские буквы последовательностью латинских букв, цифр и символов.

В общем, заявки на регистрацию доменов национальными алфавитами подала 21 страна. Недавно Российская Федерация получила домен .РФ. С украинской заявкой на домен .УКР пока что ситуация остается неясной.

C сайта biz.liga.net

Ждем соответствующих обновлений Firefox, Chrome и IE.

Размещение ленты новостей на блоге

Захотелось мне попробовать оживить блог новостями.
Есть хорошие ленты новостей и незаменимый гугл. Используем Dynamic Feed Control Wizard - Put feeds on Your Web Page, генерируем код, ставим на страницу, и
вот что из этого вышло:

Loading...

С сайта searchengines.ru

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

Даешь в интернете больше хороших узкоспециализированных RSS-лент!