Понятно. Мне этот сайт тоже дал хороший импульс. Точнее, пинок под зад. Из-за всей этой активности диссертация была заброшена на очень длительное время.
Сайт симпатичный :) Картинки системы очень порадовали :) А я год назад видел брата-близнеца в Юлихе: http://www.fz-juelich.de/jsc/jugene (будучи там на конференции ParCo) Корпуса уже стояли, но только ещё собирались запускать.
Да мы там собственно всё время мимо проходили :) стена была такая стеклянная, сквозь неё видно весь этот огромный зал. (как смотровая площадка) И ещё в нескольких местах по зданию мониторы стоят, где отображается текущее состояние систем, статистика и т.п. Вот это меня конечно поразило 8)
Эт я тебя поздравляю.ext_76384October 28 2008, 20:04:31 UTC
Приятно знать, что Drupal помог ещё одному благому делу!
А дело-то и впрямь у вас получилось благое. Хороший комп, я бы на нём в Кризис сыграл бы. :) ядрёны бомбы считать, это ж надо...
А кстати, у вас где-нить в открытом доступе будет инфа-отчёт о том, как и кем используется такой стратегический ресурс? Кем (или чем) планируется занять кластер? Программку, выдающую "42" на "Самый Важный Вопрос..." уже написал? :)
Будете ли продавать процессорное время другим универам, компаниям, государству (а если сильно попросит?? :) ) , физ.лицам? или бесплатно??
Короче вопросами завалил...
Коротко о себе. Сегодня выступил на конференции (http://nsmv2008.ulstu.ru/). скоро выложу отчёт. Послезавтра сдаю философию. Накачал учебников :)
Re: Эт я тебя поздравляю.cristobal_juntaOctober 28 2008, 20:24:49 UTC
Хороший комп, я бы на нём в Кризис сыграл бы. Вот всем бы на нем во что-нибудь сыграть! :)
ядрёны бомбы считать А вот это, наверное, будет запрещено :)
А кстати, у вас где-нить в открытом доступе будет инфа-отчёт о том, как и кем используется такой стратегический ресурс? Да, планируется регулярно трясти пользователей на предмет того, чем они занимаются. Кстати, одну интересную штуку уже посчитал дипломник моего научника. См. визуализацию в конце ролика: http://cnews.ru/news/top/index.shtml?2008/10/27/324885
Кем (или чем) планируется занять кластер? Из того, что знаю я, сейчас считают в основном квантовую молекулярную динамику (так называемые вычислительные нанотехнологии). Еще скоро будут считать разные там электромагнитные явления в ионосфере (фарлей-бунемановская неустойчивость).
Программку, выдающую "42" на "Самый Важный Вопрос..." уже написал? :)Пишу :) Когда я ее начинал, я не думал, что у нас будет столько ядер (8192), и у меня оказалась
( ... )
Скоро мы тоже на нем будем что-нибудь считать - когда ехали из Новосибирска, за один вечер в поезде уже кучу матернетических перечислительных задач напридумывали (и даже стали обсуждать, как некоторые из них нужно реализовать, хотя лучше бы задумались, нужно ли вообще решать эти задачи :)))
С возвращением! Спасибо, что привезли сюда солнышко ;-)
BG/P говорит вам: "You are welcome!"
Вообще, я бы предложил (вам) проверить на нем, существует ли 11-элементная алгебра, на которой справедливы HSI, а тождество Уилки не выполняется. (Найден контрпример из 12 элементов, и доказано, что в такой алгебре должно быть не менее 11 элементов, т.е. остается проверить как раз число 11.)
Ну на самом деле я привез именно вчерашний дождь (ха-ха-ха!!! :)))
Ничего не слышал по поводу HSI и тождества Уилки. Я занимаюсь только вопросами сложности схем/алгоритмов и т.д., например: найти минимальные схемы в базисе {AND, OR, INV} для всех функций от 5 переменных (для 4 переменных таблица минимальных контактных схем уже есть).
Про HSI (т.н. "школьные тождества") и тождество Уилки у меня было в реферате по философии :-)
Тарский поставил проблему конечности базиса HSI-тождеств, и Уилки ее разрешил, придумав свое тождество и, грубо говоря, указав алгебру, в которой HSI выполняются, а его тождество - нет. С тех пор математики-гики озабочены проблемой поиска минимальной такой алгебры.
Как я уже сказал, уже найдена 12 элементная алгебра и доказано, что в такой алгебре должно быть не менее 11 элементов. Я считаю, что было бы по-настоящему красиво, если бы алгебра-контрпример для 11 HSI-тождеств состояла как раз из 11 элементов.
Но минимальные схемы, на мой взгляд, более важная задача с практической точки зрения.
Comments 33
Reply
Кстати, я видел твоего студента в некоем списке ;-)
Reply
Reply
Кстати, поздравляю с тем, что у тебя уже есть студенты!
Reply
Reply
А мне-то за что спасибо?!
Reply
2) за импульс - после посещения сайта захотелось поделать диссертацию :)
Reply
Мне этот сайт тоже дал хороший импульс. Точнее, пинок под зад.
Из-за всей этой активности диссертация была заброшена на очень длительное время.
Reply
Картинки системы очень порадовали :)
А я год назад видел брата-близнеца в Юлихе:
http://www.fz-juelich.de/jsc/jugene
(будучи там на конференции ParCo)
Корпуса уже стояли, но только ещё собирались запускать.
Reply
Reply
стена была такая стеклянная, сквозь неё видно весь этот огромный зал.
(как смотровая площадка)
И ещё в нескольких местах по зданию мониторы стоят, где отображается текущее состояние систем, статистика и т.п. Вот это меня конечно поразило 8)
Reply
А дело-то и впрямь у вас получилось благое. Хороший комп, я бы на нём в Кризис сыграл бы. :) ядрёны бомбы считать, это ж надо...
А кстати, у вас где-нить в открытом доступе будет инфа-отчёт о том, как и кем используется такой стратегический ресурс? Кем (или чем) планируется занять кластер? Программку, выдающую "42" на "Самый Важный Вопрос..." уже написал? :)
Будете ли продавать процессорное время другим универам, компаниям, государству (а если сильно попросит?? :) ) , физ.лицам? или бесплатно??
Короче вопросами завалил...
Коротко о себе. Сегодня выступил на конференции (http://nsmv2008.ulstu.ru/). скоро выложу отчёт. Послезавтра сдаю философию. Накачал учебников :)
Reply
Вот всем бы на нем во что-нибудь сыграть! :)
ядрёны бомбы считать
А вот это, наверное, будет запрещено :)
А кстати, у вас где-нить в открытом доступе будет инфа-отчёт о том, как и кем используется такой стратегический ресурс?
Да, планируется регулярно трясти пользователей на предмет того, чем они занимаются. Кстати, одну интересную штуку уже посчитал дипломник моего научника. См. визуализацию в конце ролика: http://cnews.ru/news/top/index.shtml?2008/10/27/324885
Кем (или чем) планируется занять кластер?
Из того, что знаю я, сейчас считают в основном квантовую молекулярную динамику (так называемые вычислительные нанотехнологии). Еще скоро будут считать разные там электромагнитные явления в ионосфере (фарлей-бунемановская неустойчивость).
Программку, выдающую "42" на "Самый Важный Вопрос..." уже написал? :)Пишу :) Когда я ее начинал, я не думал, что у нас будет столько ядер (8192), и у меня оказалась ( ... )
Reply
Скоро мы тоже на нем будем что-нибудь считать - когда ехали из Новосибирска, за один вечер в поезде уже кучу матернетических перечислительных задач напридумывали (и даже стали обсуждать, как некоторые из них нужно реализовать, хотя лучше бы задумались, нужно ли вообще решать эти задачи :)))
Reply
BG/P говорит вам: "You are welcome!"
Вообще, я бы предложил (вам) проверить на нем, существует ли 11-элементная алгебра, на которой справедливы HSI, а тождество Уилки не выполняется. (Найден контрпример из 12 элементов, и доказано, что в такой алгебре должно быть не менее 11 элементов, т.е. остается проверить как раз число 11.)
Reply
Ничего не слышал по поводу HSI и тождества Уилки.
Я занимаюсь только вопросами сложности схем/алгоритмов и т.д., например:
найти минимальные схемы в базисе {AND, OR, INV} для всех функций от 5 переменных (для 4 переменных таблица минимальных контактных схем уже есть).
Reply
Тарский поставил проблему конечности базиса HSI-тождеств, и Уилки ее разрешил, придумав свое тождество и, грубо говоря, указав алгебру, в которой HSI выполняются, а его тождество - нет.
С тех пор математики-гики озабочены проблемой поиска минимальной такой алгебры.
Как я уже сказал, уже найдена 12 элементная алгебра и доказано, что в такой алгебре должно быть не менее 11 элементов. Я считаю, что было бы по-настоящему красиво, если бы алгебра-контрпример для 11 HSI-тождеств состояла как раз из 11 элементов.
Но минимальные схемы, на мой взгляд, более важная задача с практической точки зрения.
Reply
Leave a comment