Российские проекты

SAT@home — исследовательский проект, использующий соединяемые через сеть интернет компьютеры для решения трудных и практически важных задач (обращения дискретных функций, дискретной оптимизации, биоинформатики и т.д.), которые могут быть эффективно сведены к задаче о выполнимости булевых формул. На данный момент в проекте решаются задачи поиска ортогональных пар диагональных латинских квадратов порядка 9 и 10. В ближайшем будущем предполагается найти тройку взаимно ортогональных латинских квадратов порядка 10 либо доказать отсутствие такой тройки. Проект был реализован с использованием библиотеки DC-API.
Над проектом  SAT@home работают:

Институт динамики систем и теории управления Сибирского отделения РАН, лаборатория Дискретного анализа и прикладной логики — участник Международной федерации гридов из персональных компьютеров;
Институт проблем передачи информации РАН, отдел Распределенных вычислений — участник Международной федерации гридов из персональных компьютеров

OPTIMA@HOME — проект, использующий ресурсы добровольных вычислений для решения задач оптимизации. В рамках проекта успешно проводилось решение задачи поиска конформации молекулярного кластера. В рамках данной задачи выполнялся поиск конформации кластера и минимальной потенциальной энергией. В настоящее время в рамках проекта выполняется решения задачи асимптотического анализа периодических структур для бинарных слов различной длины. Техническую поддержку проекта осуществляет Институт проблем передачи информации РАН.

GERASIM@HOME — проект добровольных вычислений, созданный российскими энтузиастами. Проект основан на технологии BOINC. Сервер проект функционирует под управлением операционной системы.Windows, необходимое серверное программное обеспечение было разработано основателями проекта. В настоящее время в рамках проекта функционирует приложение separator, целью которого является построение разбиений параллельных граф-схем алгоритмов логического управления, получаемых различными эвристическими методами, с целью сравнения качества получаемых решений и выработки рекомендаций о границах целесообразности применения методов.

Добавить комментарий