Ковела С. І. Методи захисту та підтримки цілісності інформаційного забезпечення САПР

Об'єкт дослідження: автоматизовані банки даних в складі інформаційного забезпечення САПР. Мета: контроль санкціонованості використання даних з одночасною оптимізацією експлуатаційних характеристик системи, підтримка цілісності даних централізованих банків даних в умовах паралельної обробки з мінімізацією втрат паралелізму виконання. Методи дослідж.: теорія графів, булева алгебра, лінійна алгебра, комбінаторика, моделювання, статистична обробка. Теорет. результ.: методи і моделі автоматизов. проект. механізмів захисту та підтримки цілісності інформації автоматизованих банків даних, методи покращання експлуатац. характеристик банків даних, що захищаються. Практ. результ.: автоматизація процесу проектування інтегрованих механізмів захисту та підтримки цілісності даних. Результати впроваджені у спеціалізованому програмному комплексі. Економ. ефект: за рах. скорочення термінів проектування, покращання експлуатац. хар-к системи обробки даних. Сфери використання: науково-дослідні та проектні організації, вища технічна освіта, техніка.