Feb. 4th, 2011

plakhov: (Default)
Внезапно (для меня) оказывается, что CS-совместимый формальный аппарат, идеально применимый к задачам моделирования биологических систем, давно существует. Это старая добрая Сonservative logic.

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

Есть большие подозрения, что автоматы, построенные в такой модели, гораздо более естественным образом объединяются в иерархические системы, чем, например, классические конечные (DFA). И над ними проще запускать, я прошу прощения, эволюционные алгоритмы, т.к. консервативные автоматы (как это по-русски?) гораздо лучше выдерживают "малые изменения" без потери функциональности, и вообще маппинг внутренней структуры в вычислительную функцию у них более естественный и предсказуемый.

Очень надеюсь, что когда-нибудь найду время продемонстрировать это "на пальцах".

Profile

plakhov: (Default)
plakhov

August 2017

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 02:38 am
Powered by Dreamwidth Studios