Rambler's Top100
"Knowledge itself is power"
F.Bacon
Поиск | Карта сайта | Помощь | О проекте | ТТХ  
 Базарная площадь
  
О разделе

Основная страница

Группы обсуждений


Тематический каталог обсуждений

Архив

 
 К н и г и
 
Книжная полка
 
 
Библиотека
 
  
  
 


Поиск
 
Поиск по КС
Поиск в статьях
Яndex© + Google©
Поиск книг

 
  
Тематический каталог
Все манускрипты

 
  
Карта VCL
ОШИБКИ
Сообщения системы

 
Форумы
 
Круглый стол
Новые вопросы

 
  
Базарная площадь
Городская площадь

 
   
С Л С

 
Летопись
 
Королевские Хроники
Рыцарский Зал
Глас народа!

 
  
ТТХ
Конкурсы
Королевская клюква

 
Разделы
 
Hello, World!
Лицей

Квинтана

 
  
Сокровищница
Подземелье Магов
Подводные камни
Свитки

 
  
Школа ОБЕРОНА

 
  
Арсенальная башня
Фолианты
Полигон

 
  
Книга Песка
Дальние земли

 
  
АРХИВЫ

 
 

Сейчас на сайте присутствуют:
 
  
 
Во Флориде и в Королевстве сейчас  03:33[Войти] | [Зарегистрироваться]
Обсуждение темы:
Русская ОС

Здравствуйте!

Хотелось бы знать, как народ отнесся бы к появлению проекта по созданию Руccкой ОС. Причём не только русской, но и всего русскоговорящего населения? Присоеденились бы вы к такому проекту?

Прошу не относить к флейму. Речь идёт о уже существующем проекте.

С уважением,

VICH

Количество сообщений на странице

Порядок сортировки сообщений
Новое сообщение вверху списка (сетевая хронология)
Первое сообщение вверху списка (обычная хронология)

Перейти на конкретную страницу по номеру


Всего в теме 5452 сообщения



Отслеживать это обсуждение
<<<... | 1882—1873 | 1872—1863 | 1862—1853 | ...>>>
Всего сообщений в теме: 5452; страниц: 546; текущая страница: 359


№ 1872   17-07-2007 07:55 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1871« (Trurl)
___________________________

Конечно, если ничего не делать ничего не выйдет. А так,глядишь, что-то и получится. Если не плуг, так пшик. :-)

Интересная, однако, тенденция в отношении этих "пшиков"... Один оппонент-пессимист -- из команды Pelican OS (своя Обероноподобная ОС), второй оппонент -- из команды продвижения BlackBox в школы. И были бы еще на уровне начинающих или дилетантов, можно было бы понять. А так -- занятно все это слушать...


№ 1871   17-07-2007 07:44 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1870« (Гарин)
___________________________
Конечно, если ничего не делать ничего не выйдет. А так,глядишь, что-то и получится. Если не плуг, так пшик. :-)


№ 1870   17-07-2007 06:26 Ответить на это сообщение Ответить на это сообщение с цитированием
>>>Вспоминается TUNES. Тоже было в начале много букв. За 13 лет единственный
>>>результат - занятный сайт.

Когда-то один профессор, с которым мне довелось работать на одной кафедре, говорил мне, "зеленому" ассистенту: Работать надо, юноша. Будете работать - будет результат. А если будете сидеть и думать о результате, то его не будет. С возрастом все больше убеждаюсь, что он был прав по сути. Чтобы что-то получилось, надо работать, другого способа нет. Если у авторов проекта получится наладить совместную работу, то результат обязательно появится. Как у Линуса, который сумел перейти от мечтаний о хорошей и надежной ОС к созданию реального кода. Хотя ему тоже наверняка говорили что-то типа: "Ты совсем спятил, в 90-х годах новую ось делать. Поезд уже ушел". А насчет опасений Вы, конечно, правы. Любой проект можно "заболтать", у каждого есть свои проблемы, семью надо кормить, а для кормежки и Windows хороша :))). Я вот тоже для внешнего мира работаю с MSWindows и MSOffice. А "для души", когда никто не видит :))), работаю со своими учениками с блэкбоксами. На зарплате это не сказывается :(((, но зато есть чувство, что поддерживаю свою "форму", как специалиста, не "зашориваю" свое профессиональное образование только виндой и вижуал-бейсиком.



№ 1869   17-07-2007 06:18 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1866« (Beginner)
___________________________

Для формальных моделей будет свой уровень инструментария.
То есть его ещё нет?


Думаю, решить задачу поиска готового инструментария для анализа конечных автоматов и сетей Петри Вы можете самостоятельно, через  Wikipedia, Google и др. Для себя такой набор мы вскоре отберем и обязательно дадим такую информацию. Но если хочется сейчас и побыстрее -- то дерзайте.

Мы не будем существенно трогать проверенную математику. Мы будем применять те инструменты, которые уже есть. Создание своих инструментов должно быть обусловлено пониманием того, чем новые высокоуровневые абстракции (архитектурного и инженерного плана) заметно отличаются от своих меньших братьев (конечных автоматов, сетей Петри). Для макетирования и исследовательской работы можно обойтись имеющимся инструментарием. Но как только модели будут обкатаны и станет ясна картина в отношении новых абстракций, можно будет поставить вопрос о приоритетности создания соответствующих инструментальных средств. Сложность их разработки существенно ниже, чем это может показаться на первый взгляд.


№ 1868   17-07-2007 06:12 Ответить на это сообщение Ответить на это сообщение с цитированием
Некоторые мои размышления на тему формальных моделей (часть взята из публикации 2001 г.).

В начале 1970-х годов Дуглас Росс (Douglas Ross), участник знаменитого проекта Whirlwind (MIT), автор термина CAD (Computer-Aided Design, САПР), основатель компании SofTech (первые компиляторы Паскаля), автор известной методологии IDEF0, утверждал, что «80 или даже 90% информатики будет в будущем основываться на теории конечных автоматов». И хотя этого пока не наблюдается, все же можно сказать, что конечные автоматы с 60-х годов играют заметную роль в развитии компьютерных технологий.

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

С появлением структурного программирования стало очевидно, что из трех главных конструкторов управления: следования, цикла и ветвления последний является самым трудным в восприятии программиста, поскольку при множестве альтернатив превращает линеаризированную структуру алгоритма в древовидную. При этом сложность даже последовательных программ (не говоря уже о параллельных) растет стремительно и временами может превосходить дерево вариантов в столь непростой для автоматического анализа модели, как традиционные шахматы.

Разбиение программы на процессы и объекты с заменой многоступенчатого ветвления средствами обработки сообщений (событий) заменяет одну проблему на другую: вложенность уменьшается, зато количество взаимодействующих компонентов заметно возрастает. Логика «размывается» и в итоге мы получаем плохо контролируемую ситуацию, когда из-за хаотичности «ручного» синтеза и невозможности построить исчерпывающий набор тестов нет никакой уверенности в корректности построенной системы. Ключ к решению состоит в применении формальных методов, в создании удобной абстракции, способной «выжать» из алгоритма квинтэссенцию логики его работы и дать возможность проводить весь необходимый анализ.

Одной из таких удобных абстракций могут служить конечные автоматы, среди разновидностей которых стоит выделить трансдюсеры (transducer), автоматы Мили и Мура. Близость к булевой алгебре и теории графов, наглядность графического представления и детерминированность поведения являются заметными достоинствами этой абстракции. Однако при этом надо четко себе представлять, в чем их недостатки, а для этого придется обратиться к истокам программирования, к идеям «механического» вычисления. Как известно, они воплотились в таких формальных моделях, как машины Тьюринга (1936), комбинаторные процессы Поста (1936), нормальные алгорифмы Маркова (1951).

Пытаясь найти точное определение понятия эффективной вычислимости, английский математик Алан Тьюринг выделил особый класс абстрактных машин, о которых высказал предположение, что они пригодны для осуществления любой «механической» вычислительной процедуры. Несмотря на всю громоздкость описания с их помощью алгоритмов они замечательны тем, что согласуются со знаменитым тезисом Чёрча — всякая механическая процедура, манипулирующая с символами, может быть выполнена той или иной машиной Тьюринга. Иными словами, эта абстрактная машина способна реализовать любой алгоритм. В таком контексте конечный автомат эквивалентен ограниченной машине Тьюринга, у которой есть только считывающая головка, способная перемещаться лишь в одну сторону — слева направо. Достаточно ли этих возможностей, ведь далеко не все алгоритмы могут быть представлены конечными автоматами?

Чтобы ответить на этот вопрос и определить место конечных автоматов среди других абстракций, рассмотрим сети Петри, занимающие промежуточное положение между машинами Тьюринга и конечными автоматами. Сети Петри работают в терминах условий и событий, где первым сопоставлены позиции (особые узлы — емкости для хранения фишек связаны ориентированными дугами с переходами), а последним — переходы (особые узлы-действия, перемещающие фишки и связанные ориентированными дугами с позициями). Конечные автоматы являются частным случаем сетей Петри и эквивалентны автоматным сетям Петри — сетям, в которых каждый переход может иметь точно одну входную и одну выходную позицию.

Сети Петри лучше всего подходят для описания любых асинхронных систем (асинхронное программирование), тогда как конечные автоматы — преимущественно для сугубо последовательных систем (автоматное программирование). Наглядность динамики и композиционные возможности сетей Петри выше, чем у конечных автоматов, но при этом компактность представления предпочтительнее у последних. Что касается отношения к машине Тьюринга, то достаточно расширить сеть Петри сдерживающими дугами (позволяющими определять отсутствие фишек в данной позиции), как она тут же становится эквивалентной машине Тьюринга. Очевидно, что чем «мощнее» абстракция, чем больше она позволяет синтезировать возможностей, тем хуже у нее дело обстоит с анализом. Иными словами, конечные автоматы анализировать гораздо проще, чем классические сети Петри и уж тем более чем машины Тьюринга.

В работе «Научные основы доказательного программирования» А.П. Ершов выделял три вида программирования: синтезирующее (автоматическое, автоматизированное или ручное манипулирование знанием о задаче с синтезом соответствующей программы), сборочное (построение программы из уже существующих и корректных фрагментов) и конкретизирующее (построение специализированных программ из универсальных заготовок, доопределение кода).

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

Возрождение интереса к конечным автоматам связано с ростом сложности программных систем. Не последнюю роль в активизации работ в данной области играет то обстоятельство, что язык и методология UML, ставшие стандартом де-факто в области проектирования программного обеспечения, предусматривают при описании поведенческих свойств создаваемой системы использование конечных автоматов и сетей Петри. Но самой этой сфере уделяется крайне мало. Тем более -- эффективному взаимодействию разных формальных моделей.


В принципе мы вторгаемся в весьма интересную область, находящуюся сейчас на пике исследовательского интереса. Думаю, многим известен Grand Challenge (грандиозный вызов информатике), который озвучил друг и соратник Вирта проф. Тони Хоар (ныне ведущий специалист в Microsoft Research). Речь идет о верифицирующем компиляторе. Детальнее введение в задачу можно посм. здесь : http://www.osp.ru/os/2003/09/183409/

Применение формальных моделей не апостериори, а априори, до "человеческого кодирования", существенно упрощает задачу верификации и позволяет получить куда более лучшее качество. Но это требует иного подхода к программированию, переноса наукоемкости на уровень мышления аналитика, а не путем встраивания в инструментарий, который призван вычищать чьи-то ошибки.

Что касается общего введения в область формальных методов, рекомендую хорошую статью признанных авторитетов в этой области -- англичан Джонатана Боуэна (соратника Хоара) и Майкла Хинчи. В 1997 г. я активно переписывался с Боуэном (Oxford University Computing Lab), и одним из публичных результатов стала публикация его просветительской работы в журнале "Мир ПК". Она называется "Десять заповедей формальных методов". Часть 1: http://www.osp.ru/pcworld/1997/09/157957/
Часть 2: http://www.osp.ru/pcworld/1997/10/158102/


№ 1867   17-07-2007 06:07 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1865« (Trurl)
___________________________

Вспоминается TUNES. Тоже было в начале много букв. За 13 лет единственный результат - занятный сайт.
Но, не delphikingdom :)


№ 1866   17-07-2007 06:06 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1856« (Руслан Богатырев)
___________________________
Для формальных моделей будет свой уровень инструментария.
То есть его ещё нет?


№ 1865   17-07-2007 06:00 Ответить на это сообщение Ответить на это сообщение с цитированием
Вспоминается TUNES. Тоже было в начале много букв. За 13 лет единственный результат - занятный сайт.


№ 1864   17-07-2007 05:44 Ответить на это сообщение Ответить на это сообщение с цитированием
Как "экспортный" вариант названия ОС: Russe (a la russe -- в русском стиле). По-французски "russe" означает "русский". Нет необходимости делать чистое калькирование. При прокате фильмов нередко вообще меняют названия почти произвольно (что объяснимо -- нужно сделать поправку на менталитет местной аудитории).


№ 1863   17-07-2007 05:38 Ответить на это сообщение Ответить на это сообщение с цитированием
Ответ на »сообщение 1862« (Гарин)
___________________________

Тоже неплохо.

Тоже вариант. Предлагаю мозговой штурм не прекращать. Нам потребуется придумывать не одно название (не только для ОС). А здесь ваша помощь -- очень важна. Со стороны бывает гораздо виднее.


<<<... | 1882—1873 | 1872—1863 | 1862—1853 | ...>>>
Всего сообщений в теме: 5452; страниц: 546; текущая страница: 359




Отслеживать это обсуждение

Дополнительная навигация:
Количество сообщений на странице

Порядок сортировки сообщений
Новое сообщение вверху списка (сетевая хронология)
Первое сообщение вверху списка (обычная хронология)

Перейти на конкретную страницу по номеру
  
Время на сайте: GMT минус 5 часов

Если вы заметили орфографическую ошибку на этой странице, просто выделите ошибку мышью и нажмите Ctrl+Enter.
Функция может не работать в некоторых версиях броузеров.

Web hosting for this web site provided by DotNetPark (ASP.NET, SharePoint, MS SQL hosting)  
Software for IIS, Hyper-V, MS SQL. Tools for Windows server administrators. Server migration utilities  

 
© При использовании любых материалов «Королевства Delphi» необходимо указывать источник информации. Перепечатка авторских статей возможна только при согласии всех авторов и администрации сайта.
Все используемые на сайте торговые марки являются собственностью их производителей.

Яндекс цитирования