OberonCore
https://forum.oberoncore.ru/

Идеи из УдГУ
https://forum.oberoncore.ru/viewtopic.php?f=76&t=3672		 Страница 3 из 3
Автор:  fevdokimov [ Четверг, 24 Ноябрь, 2011 21:25 ]
Заголовок сообщения:  Re: Идеи из УдГУ
Илья Ермаков писал(а):
И для высоконагруженных систем вполне себе допуски появляются - в процентах (желательно, конечно, промилях) отказов в обслуживании выраженные. Как для АТС в Новый год. Всех обслужить не получится.


Думаю, что в отказах АТС на Новый год все таки сказывается не допуски по технической системе, а допуски по экономической целесообразности менеджеров.
Автор:  Владислав Жаринов [ Пятница, 25 Ноябрь, 2011 05:46 ]
Заголовок сообщения:  Re: Идеи из УдГУ
Скорее, по "экономической целесообразности вообще"... что технически транслировано в показатели производительности изделия как СМО (в тех же АТС - в норму загрузки абонентской линии; несколько лет назад было для фиксированных 0.15 Эрл, для мобильных - 0,018....0,03). Ну а реальное занятие АЛ в Новый Год и аналогичные "периоды наибольшей нагрузки", понятно, сильно отличается... так, что даже чнн-запасы, вводимые при расчётах производительности, не спасают... ;)
Автор:  Валерий Лаптев [ Пятница, 25 Ноябрь, 2011 13:00 ]
Заголовок сообщения:  Re: пример романтического закидона
Евгений Темиргалеев писал(а):
Валерий Лаптев писал(а):
Как указывал Ершов, программирование - единственная область деятельности, где не допусков. Либо работает, либо - нет.
А как же середина --- работает, но временами падает и предлагает послать баг-репорт?

Не работает.
Автор:  Владислав Жаринов [ Четверг, 01 Декабрь, 2011 17:54 ]
Заголовок сообщения:  Re: Идеи из УдГУ
Тут обнаружил, что Непейвода активно занимается современной логикой и её приложениями. Результаты можно найти в сборниках "Логические исследования", издаваемых "Наукой"; они не особо перекрываются с содержанием /Непейвода, Скопин/.
Заинтересовали статьи в выпусках 9, 10, 14. Он рассматривает темы логики и стиля формализации, интеллектуальных вирусов, реверсивной логики. В частности, говорится, что:
    * парадигмы подразделяются по уровням;
    * можно говорить о границах применимости парадигм;
    * стилевые требования парадигм проистекают из некоторых базовых возможностей формализации, положенных в основу; так, структурный подход отвергает произвольный явный БП в силу того, что он "плохо сочетается с присваиванием";
    * различные виды логик (конструктивных и формальных) также имеют границы применимости и оптимальные приложения и должны выбираться для формализации, исходя из понимания предметки.
Интересно, кто что об этом думает (и вообще об этих публикациях).
Автор:  Info21 [ Четверг, 01 Декабрь, 2011 18:37 ]
Заголовок сообщения:  Re: Идеи из УдГУ
Владислав Жаринов писал(а):
Тут обнаружил, что Непейвода активно занимается современной логикой и её приложениями. ...
Интересно, кто что об этом думает (и вообще об этих публикациях).
К таким вещам надо правильно относиться -- как и к возне с Оберонами в ETH.

Ну, возятся и возятся. Процесс пережевывания-переваривания. Есть и поактуальней вещи, об которых стоит думать.

Если Непейвода что-нибудь реально серьезное придумает, можно не волноваться: он найдет способ об этом сообщить :)
Автор:  albobin [ Четверг, 01 Декабрь, 2011 19:29 ]
Заголовок сообщения:  Re: Идеи из УдГУ
Владислав Жаринов писал(а):
Тут обнаружил, что Непейвода активно занимается современной логикой и её приложениями.

А ещё он активно пишет прозу, но не просто так, а с умыслом. ("Но многие вещи я предпочитаю излагать в непрямой форме", - писал давеча ННН)
Да стихи и переводы имеются.
Про содержание ничего сказать не могу, не читал.
Страница 3 из 3 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/