Дмитриев, Александр Георгиевич. О дополнительных возможностях математического моделирования в гуманитарных областях знаний [Текст] / А. Г. Дмитриев, Т. А. Козелецкая, Е. А. Герман // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Наука и образование. - 2012. - № 1 (142). - С. 282-290. - Библиогр.: с. 289-290 (11 назв.) . - ISSN 1994-2354
Рубрики: Математика Дифференциальные и интегральные исчисления в целом Кл.слова (ненормированные): математическое моделирование -- гуманитарные знания -- математические модели -- дифференциальные уравнения -- именованные величины -- формальная верификация Аннотация: Рассмотрен вопрос о корректной записи математических выражений с размерными величинами. Показано, что в случаях, когда решение дифференциального уравнения модели записано математически корректно в отношении размерных величин, то даже при отсутствии начальных и граничных условий и, следовательно, невозможности определить константы интегрирования имеется возможность интерпретировать их на основе свойств полученных математических функций. В этой ситуации константа интегрирования приобретает статус нового параметра модели, не содержащейся в исходном дифференциальном уравнении, что в свою очередь расширяет понятийный аппарат, относящийся к объекту моделирования. Доп.точки доступа: Козелецкая, Татьяна Александровна; Герман, Елена Александровна Нет сведений об экземплярах (Источник в БД не найден) |
Корниенко, А. А. Метод формальной верификации и анализа защищенности реляционных баз данных на основе метамодели требований целостности [Текст] / А. А. Корниенко, М. Л. Глухарев // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 20-27 : табл., схема. - Библиогр.: с. 27 (7 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Диалоговые вычислительные системы для специальных целей Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): верификация -- формальная верификация -- базы данных -- реляционные базы данных -- безопасность баз данных -- метамодели целостности -- функциональная корректность -- ограничения целостности -- триггеры -- триггерные связки Аннотация: Рассматривается метод формальной верификации, основанный на метамодели требований целостности и позволяющий проверять функциональную корректность ограничений целостности и триггеров реляционных баз данных. Доп.точки доступа: Глухарев, М. Л. Нет сведений об экземплярах (Источник в БД не найден) |