Автоматизация проектирования информационных систем
Автоматизация проектирования информационных систем – область научной деятельности. В Томском политехническом университете в этой области работают ученые кафедры информатики и проектирования систем (В.К. Погребной).
Основные результаты представлены в виде разработок алгоритма разводки печатного монтажа вычислительных устройств; методов структурного анализа схем вычислительных устройств и проектирования унифицированного набора модулей; алгоритмов определения изоморфизма и изоморфизма вхождения графов; решения задач покрытия; распределения памяти ЭВМ и загрузки регистров; теоретических основ виртуальных машин (их языка, томографии и структурно-графических представлений программ). Результаты по томографии программ используются для развития нового направления по сертификации программ. Профессор В.К. Погребной в 1977 г. получил сертификат эксперта по сертификации программных средств. Под его руководством был создан центр по сертификации и правовой охране программ «Программсертинг». В составе центра функционирует независимая испытательная лаборатория программных средств и баз данных томского фонда «Прогресс». С 1996 г. осуществляется регистрация и правовая охрана программ, баз данных и топологий интегральных микросистем. Новое направление в области сертификации программ и баз данных – «Интернет-технологии и компьютерный дизайн».
Литература
Гагарин А.В., Сергеевых Г.П. Профессора Томского политехнического университета. Т.3, ч. 2. Томск: Изд-во ТПУ, 2006-266 стр.