|
06.10.2008, 09:26 | #1 |
Newbie
Регистрация: 06.10.2008
Сообщений: 5
|
Need: поделитесь опытом по моделированию дискретных детерменированных систем
Ребят, если у кого-то есть опыт, связанный с моделированием сложных структур и описанием поведения сложных детерминированных систем, отпишитесь, пожалуйста. Отдельное спасибо - за ссылки на тематические форумы и т.п.
Очень интересуют работы по моделированию детерминированных дискретных динамических систем со сложной структурой – с учётом большого числа параллельно протекающих разнородных процессов. Объясняю ситуацию. Специальность - 05.13.01 Системный анализ, управление и обработка информации. Направление исследования – применимость моделей предметной области в проектировании и разработке ИС. Практическая часть закончена, получены результаты – примерное описание процессов разработки на основе моделей предметной области и сама ИС, разработанная по этому процессу (побочный эффект, так сказать… но внедряем . Как выяснилось, модели предметной области самым милым образом расписываются в терминах реляционной алгебры, и даже с некоторым трудом, но переводятся в реализацию модели на SQL (до программного транслятора не доросли, хотя неплохая тема для, скажем, магистерской). Сейчас у меня затык с анализом полученной модели. Её можно представить как набор сущностей с различными атрибутами, связями между ними, ограничениями. Построенная таким образом модель не описывает ПОВЕДЕНИЕ информационной системы, ту часть, что отвечает за взаимодействие с внешней средой – это уже следующий уровень моделирования информационной системы. Затык состоит в поисках подхода, позволяющего объединить описание структуры системы и описание поведения системы. Само поведение можно описать в виде дискретного конечного автомата, графа либо алгоритмической модели, но все представления получаются неприменимыми на практике из-за большого числа неоднородных узлов, входов и выходов системы. Пока получен промежуточный вывод: моделирование сложных процессов при помощи формальных методик по трудоёмкости как минимум сопоставимо с созданием аналогичной программной модели на высокоуровневом ЯП. В принципе возможно моделирование процессов обработки отдельных наборов сущностей, но при росте числа моделируемых сущностей сложность модели нелинейно возрастает из-за необходимости учитывать взаимосвязи между сущностями. Заранее спасибо) |
Реклама | |
|
06.10.2008, 11:49 | #2 |
Gold Member
Регистрация: 07.09.2005
Сообщений: 1,326
|
Последний раз редактировалось saovu; 06.10.2008 в 16:15. |
06.10.2008, 14:56 | #3 |
Gold Member
Регистрация: 23.01.2006
Сообщений: 1,089
|
а каков функционал практической части ?
Добавлено через 4 минуты 38 секунд я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами. и то далеко не все поведение. а отдельные вопросы (управление, безопасность, и т.п.). Кстати, Билл Гейтс объявил, что оин начинают массированное наступление на декларативные языки, когда поведение можно будет описывать мета описаниями. Ближайшие 5-8 лет собираются посвятить этому вопросу. |
07.10.2008, 04:30 | #4 | |
Newbie
Регистрация: 06.10.2008
Сообщений: 5
|
обещал - говорю: спасибо))))
Смотрели, щупали.Жпсс мегаштука, но не совсем нам подходит из-за того, что основной упор в работе - на анализ структуры систем. Было бы что-то простенькое, для чего можно прикрутить матанализ - было бы щастье... А, там маленькая платформа для самописных ИС, с заточкой под автоматизацию близкосвязанных областей и интеграцию со сторонними ИС. Реализация - MS SQL Server 2008 | MS.NET Framework 3.5 SP1 (мигрируем потихоньку ) Из того, что есть в самой платформе - стандарт - контроль доступа, развёртывание, автообновление, журнал событий, куча компонентов для клиента ну и по мелочи - навскидку не вспомнить. Самое ценное - это сами методы моделирования предметной области и перевода в рабочую БД. Ну инфраструкта, потому как требуется часто добавлять разный функционал и обновлять код на сервере/клиентах. Предмет гордости - переезд на новый сервер. С момента получения диска с SQL Server 2008 до завершения перевода (с использованием большей части фич 2008-го сиквела) - двое суток. Любобытство удовлетворено? Цитата:
Насчёт БГ и декларативных языков - в курсе, интересуюсь. Оно будет частью .NET framework (какого по счёту - неизвестно). Пока ничего конкретного не обещают, кроме того, что всё будет мегакруто и в XML. С интересом понаблюдаю. ИМХО, баловство это - для описания структур данных и примитивного поведения декларативного описания ещё хватит, для всего остального - welcome to the real world |
|
07.10.2008, 13:42 | #5 |
Gold Member
Регистрация: 23.01.2006
Сообщений: 1,089
|
http://agora.guru.ru/abrau2008/pdf/030.pdf
тут в кратком виде. а по прикрутке к реляционной алгебре .. я не стала этого делать. По многим причинам - это отдельная тема - мапирование. Мапирование занимаются многие, в том числе вендоры типа Оракла. Результаты мапирования в настоящее время не слишком хороши. вы правы - добро пожаловатьв реальный мир. |
08.10.2008, 10:18 | #6 | |||
Newbie
Регистрация: 06.10.2008
Сообщений: 5
|
Цитата:
Заранее извиняюсь за нескромный вопрос. Идеи, что описаны в статье можно реализовать через MS Active Directory (или что-то LDAP-подобное), на основе 1С (чурменячурменячурменя ) или в виде чего-то самописного. Как это выглядит у вас? Цитата:
Составляли ли вы какую-нибудь формальную модель на основе аксиом/утверждений, проводился ли анализ? Цитата:
|
|||
08.10.2008, 11:25 | #7 | ||
Gold Member
Регистрация: 23.01.2006
Сообщений: 1,089
|
Цитата:
AD есть, но реализовано не через него. Наоборот это AD управляется точно также как любой другой проект - сверху через систему управления правами. 1С у нас нет, и надеюсь не будет. Данные о пользователях берутся из корпоративных данных, в том числе системы управления персоналом, конитнгентом студентов, общежитие, выпускники, школьные проект и т.п. и т.д. Но управления правами это 10%. Цитата:
Речь идет не об адаптации существующих систем (хотя есть такой параграф в одной главе). А речь идет о разработке таких систем, которые либо имеют простые механизмы адаптировать себя силами специалистов пердметников (без программирования), либо которые могут САМИ адаптироваться к изменениями. Ну на худой конец, которые позволяют программистам БЫСТРО малыми силами адаптировать программу к требованиями реального мира. Но важны именно первые два пункта. Поясните, что вы понимаете тут под формальной моделью? |
||
08.10.2008, 11:37 | #8 |
Gold Member
Регистрация: 07.09.2005
Сообщений: 1,326
|
|
08.10.2008, 11:51 | #9 | |
Gold Member
Регистрация: 23.01.2006
Сообщений: 1,089
|
Цитата:
2. 1С плохо интегрируемое решение. Т.е. обеспечение интеграции (в том числе и 8) - это пока не конек 1С. 3. Кроме бухгалтерии там по сути ничего нет. Управление персонала - бедное. Построение управленческого учета на ней не выполняются. Люди что-то там делают на Инталеве, но управленческий учет это намного шире. 4. Изменение настроек приводит к большим проблемам, когад меняюстя версии - а версии меняются .. а перенастраивать в таких конторах как вуз - надо и много. Вузы, которые используют 1С будут еще долго сидеть на тех версиях, что сидят, перейти им на ту же 8 будет очнеь нелегко. 5. у нас 1500 пользователей -сотрудников и 20 тыс. пользователей студентов, все они чего-то хотят и от финансовой системы тоже (студенты - платежи проверить, например, остатки, авансы и т.п.) ну какой 1С это потянет, тем более, что управленеи правами идет исключительно через нашу систему и коенчно только веб-интерфейс. Сотрудники создают табель, определяют матю. ценности по помещениям и т.п. и т.д. (там до черта процессов) - это сколько нужно лицензий? |
|
08.10.2008, 11:57 | #10 |
Gold Member
Регистрация: 07.09.2005
Сообщений: 1,326
|
Carro, у вас информация устаревшая года на два, минимум.
Масштабируемость кардинально изменилась с переходом от 8.0 к 8.1. Сейчас у 1С:Предприятия уже есть лицензии на 500 пользователей. Вроде имеются реальные внедрения где пользователей более 1500. Кроме бухгалтерии - букет отраслевых решений - от мелочи типа "1C:Салон красоты" до монстров типа "1С:Машиностроения". (а посередине - конфигурации типа "1C:Ликеро-водочный завод" ) P.S. Не примите за рекламу |