izhevsk.ru Главная /  Наука /  Российский исследовательский проект SAT@home
тема закрыта

Имя:
Пароль:
 зарегистрироваться | Войти через
напоминатель пароля
Российский исследовательский проект SAT@home
НОВАЯ ТЕМА правила | поиск | картинки | | | о форуме |
  Новости | Авто | Недвижимость | Работа | Бизнес | Стройка | Объявления | Совместная покупка | | |
  следующая тема | предыдущая тема
Автор Тема:   Российский исследовательский проект SAT@home   версия для печати
Doger
Рейтинг: 113/-43
-- написано 10-9-2013 12:56 Doger

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

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

сайт
http://sat.isa.ru/pdsat/ - на сайте есть раздел с детальным описанием проекта.

форум проекта, общение с организаторами.
http://forum.boinc.ru/yaf_topics121_SAT-home.aspx

что бы ваш процессор начал обсчитывать задания для проекта. нужно скачать программу которая будет рассчитывать задания

http://boinc.berkeley.edu/download.php

устанавливаете, появится строка,
На появившийся запрос введите URL:
http://sat.isa.ru/pdsat/

далее создаете учетную запись, программа сама будет загружать задания, обсчитывать их в автоматическом режиме и автоматически отправлять их на сервер проекта.


в настройках программы можно задать режим работы (сколько ядер процессора задействовать и тд)


прогресс в % по данному исследованию можно посмотреть здесь

http://sat.isa.ru/pdsat/research_progress.php

статистика по подключенным компьютерам к проекту тут
http://sat.isa.ru/pdsat/top_hosts.php

так же есть проекты по поиску лекарств, математические и другие.
список и как к ним подключится написано на форуме
http://forum.boinc.ru/


FAQ по BOINС в целом, а не только по проекту SAT

http://www.boinc.ru/faq/boinc_faq.htm

Показать текст сообщения полностью

200x150 320x240 400x300 800x600    без переносов   
быстрый ответ   

подпись
следующая тема | предыдущая тема

Главная /  Наука /  Российский исследовательский проект SAT@home форумы izhevsk.ru

 
 
 
 
 
© ООО "Марк" 2020
 
Интернет-провайдер КК МАРК-ИТТ