Лаврентьев Н.А. Фазлиев А.З. Макогон М.М.
Система проверки ограничений существования для молекулярной спектроскопии
Докладчик: Лаврентьев Н.А.
Для создания виртуального центра данных необходимо решить ряд прикладных задач, одной из которых является задача вычисления достоверности публикуемых информационных ресурсов. Проверка достоверности связана с проверкой ограничений на информационные ресурсы предметной области. В данной работе рассмотрена группа ограничений на существование значений неких физических величин молекулярной спектроскопии. Эти ограничения обусловлены тем, что информационные ресурсы предметной области являются входными данными для приложений информационно-вычислительной системы, и, если они не опубликованы (не имеют определённого URI), то приложение не может их использовать, то есть, для него эти ресурсы не существуют. К числу несуществующих приложений в такой трактовке относятся неопубликованные решения, в том числе потенциально вычислимые по известным алгоритмам.
Решения задач спектроскопии, полученные исследователями, публикуются в различных печатных изданиях или в сети Интернет, однако, на практике в научном сообществе принято ссылаться только на публикации в ограниченном списке журналов или сайтов. Назовём источник данных по количественной спектроскопии первичным, если все данные из него опубликованы в одной из таких статей. Предположим, что существует полный набор первичных источников данных в предметной области, и все источники данных в нём приведены к канонической форме. В таких условиях уместна постановка задачи о декомпозиции (разложении) произвольного массива спектральных данных по данным из полного набора первичных источников, приведённых к каноническому виду.
Файл с полным текстом: | DICR-1.pdf |
К списку докладов