|
NO. Сообщений: 10700 |
 |
|
На: Самосознание программы
Добавлено: 23 окт 09 21:17
|
В целях секретности детали нумеруются от фонаря. Допустить ошибку в номере детали как два пальца об асфальт. Даже несмотря на двойной ввод. Теперь представьте себе конец месяца, запарка, отчеты и прочее. |
|
Мы заинтригованы, неужели удалось с этим безобразием справиться?
|
|
|
|
На: Самосознание программы
Добавлено: 23 окт 09 23:31
|
Деталь еще куда ни шло. А узел? А если узел начинает принадлежать самому себе? Кошмар парадокса брадобрея. В реальности бесконечный цикл пока хватает оперативной памяти для графа узлов. Потом отчет грохается с аварийным дампом памяти. Все прелести языка высокого уровня.
|
|
|
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 23 окт 09 23:50
|
Автор: Pinot
Про структурирование это хорошо. Помню, один программист предлагал ввести в имя переменной своего рода размерность. Тогда, сложение метров с килограммами будет резать глаз, хотя та и та величина будет по типу данных целая. Ничего странного, опять же, компилятор не заметит. Кметр + Мкилограмм сколько будет? |
|
Кодировать нужно правильно, а не на компилятор пинать ... делаете класс "Метр" и класс "Килограмм" и компилятор обнаружив сложение - выкинет ошибку ...
|
|
|
NO. Сообщений: 10700 |
 |
| |
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 23 окт 09 23:56
|
Автор: Capt.Drew
Я простой доктор в рыбацкой деревушке.. Поэтому - кроме Лиспа не знаю других языков к-е могут "читать" и "анализировать" сами себя.. |
|
С# это делает через отображение ... но заниматься анализом должен компилятор по хорошему ...
|
|
|
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 24 окт 09 0:00
|
Автор: Pinot
Можно привести такую аналогию. Царапнем ДВД иголкой. Некоторая часть данных испорчена. А фильм можно тем не мене смотреть. Говорят, что передача данных обладает избыточностью. А в программе если заменить + на - случится непоправимое. Цикл допустим начнет выполняться бесконечное число раз. к=100 Делать пока (к<>0) к=к-1 ... КонецЦикла
Никакой компилятор ошибки не обнаружит. |
|
Для этого есть ОС - которая могла бы сказать, что такой-то процесс висит и выкинуть его ... Можете закодировать сами такой процесс. Т.е. один процесс контроллер других запускаемых процессов - тогда есть все шансы это отлавливать и этим управлять ...
|
|
|
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 24 окт 09 0:05
|
Автор: Pinot
Писать правила типа узел такой-то входит в узел такой-то? Это удваивает всю работу. |
|
Ну, и как по вашему возможно стыковать различные детали без документации ? А для секретности шифровать не пробывали
|
|
|
|
На: Самосознание программы
Добавлено: 24 окт 09 0:36
|
Автор: NO. Мы заинтригованы, неужели удалось с этим безобразием справиться? |
|
вероятно рецепт водки, которая помогает в таком случае секретен.
|
|
|
|
На: Самосознание программы
Добавлено: 24 окт 09 0:42
|
Автор: tac
Для этого есть ОС - которая могла бы сказать, что такой-то процесс висит и выкинуть его ...
|
|
не все так прямо и просто. тот же сиквель можно без труда сделать равномощным машине тьюринга. однако вопрос об остановке мт не решен. сколько еще часов надо ждать клиенту подвисший запрос, уже пора возвращать экзепшин или еще секунду подождать и вернуть отчет? для текущих возможностей сиквеля это решение возможно принять.
|
|
|
|
На: Самосознание программы
Добавлено: 24 окт 09 1:11
|
Для меня компилятор не бранное слово, а общеизвестный пример ВНЕШНЕЙ системы, которая не может решить проблемы программы. Моя точка зрения что программа сама должна решать правильно она поступает или нет. Никто ребенку правила в мозг не загоняет никакой родитель нравоучения ему не читает типа не дотрагивайся до горячего утюга или стекло бывает острым. Без самосознания программа ТУПАЯ.
|
|
|
NO. Сообщений: 10700 |
 |
| |
|
На: Самосознание программы
Добавлено: 24 окт 09 1:15
|
Автор: tac Ну, и как по вашему возможно стыковать различные детали без документации ? А для секретности шифровать не пробывали |
|
Документация на узлы есть. НО с ошибками. Задача была как аккуратно ввести избыточность. Грубая сила типа двойного ввода помогала плохо. Операторы в конце месяца набивали данные один раз и вводили два раза.
|
|
|
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 24 окт 09 2:03
|
Автор: Pinot Никто ребенку правила в мозг не загоняет никакой родитель нравоучения ему не читает типа не дотрагивайся до горячего утюга или стекло бывает острым. Без самосознания программа ТУПАЯ. |
|
Еще как загоняет, читает, вкладывает - целых 18 лет, и то дураками остаются
|
|
|
tac Сообщений: 2601 |
 |
|
На: Самосознание программы
Добавлено: 24 окт 09 2:15
|
Автор: гость
не все так прямо и просто. тот же сиквель можно без труда сделать равномощным машине тьюринга. однако вопрос об остановке мт не решен. сколько еще часов надо ждать клиенту подвисший запрос, уже пора возвращать экзепшин или еще секунду подождать и вернуть отчет? для текущих возможностей сиквеля это решение возможно принять. |
|
Это решается особой архитектурой. Подчиненный процесс должен посылать скажем раз в секунду сообщение - "Все ок, я работаю". А по проге должны быть разбросаны анализаторы полезности действия - скажем если цикл крутится, то анализатор должен наблюдать обрабатывается то, что надо или нет ... только так .. без семантического анализатора - без полезно это решать ...
|
|
|
|
На: Самосознание программы
Добавлено: 24 окт 09 2:21
|
Автор: гость Цитата: Автор: tac
Для этого есть ОС - которая могла бы сказать, что такой-то процесс висит и выкинуть его ...
не все так прямо и просто. тот же сиквель можно без труда сделать равномощным машине тьюринга. однако вопрос об остановке мт не решен. сколько еще часов надо ждать клиенту подвисший запрос, уже пора возвращать экзепшин или еще секунду подождать и вернуть отчет? для текущих возможностей сиквеля это решение возможно принять. |
|
Гл конструктор беспилотных самолетов Чистяков имеет мнение, что ему ОС и даром не нужна. И Вирт с ним согласен. "И гости, и хозяева согласились с неразумностью использования каких-либо операционных систем в системах реального времени. Именно исключение операционной системы профессор Вирт считает своей основной заслугой при проектировании программного обеспечения беспилотного вертолёта." http://dpla.ru/wirth/
|
|
|
|