Лаврентьев Н.А.   Фазлиев А.З.   Макогон М.М.  

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

Докладчик: Лаврентьев Н.А.

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

Файл с полным текстом: DICR-1.pdf


К списку докладов