Дао человека с кошкой [web, java, css, html, cms] » На манжетах

Программа для моделирования сетей Петри

admin — Wed, 25 Feb 2009 10:49:54 +0000

В университете по дисциплине “Моделирование систем” начали изучать моделирование сетей Петри. Сети Петри — это математический аппарат для моделирования динамических дискретных систем.

Для проверки решений задач по дисциплине я решил найти какую-нибудь софтину, позволяющую автоматизировать процесс. Погуглив, нашел отличную программу, которая называется Platform Independent Petri net Editor 2 или сокращенно PIPE.

Программа позволяет строить сеть Петри, запускать ее и проверять граф на различные качества с помощью модулей, доступных в левой части окна программы (Analysis Module Manager). PIPE написана на Java поэтому для ее запуска у вас должна быт установлена Java Virtual Machine.

Ссылка для скачивания – Platform Independent Petri net Editor 2
http://pipe2.sourceforge.net/

Полезные трюки по автоматизации составления документов в Word

admin — Sun, 08 Feb 2009 12:47:54 +0000

На “Первых Шагах” опубликовали цикл статей о возможностях Word’а по автоматическому формированию элементов документа. Там много полезных иллюстрированных трюков, которые пригодятся любому студенту для написания курсовой или любой другой работы по ГОСТу.

Например:

Автоматическая сборка оглавления.
Автоматическая нумерация формул.
Автоматическая нумерация рисунков.
…

и т.д.

Итак, читаем полезности по ссылке – Microsoft Word для новичка.

Витрувианский Java Duke

admin — Thu, 20 Nov 2008 13:15:40 +0000

Ха-ха! Улыбнуло

Нашел тут – http://openjdk.java.net/projects/mlvm/jvmlangsummit/agenda.html

Четвертая встреча IT-сообщества IT Talk в Харькове

admin — Thu, 13 Nov 2008 08:13:16 +0000

В четверг 20 ноября в ХНУ пройдет встреча сообщества IT Talk. Запланированы два выступления: «Тестирование как мощный инструмент девелопмента, а не вещь в себе…» и «Проектная документация – как сделать её инструментом, а не ярмом для команды?».

Дата: 20.11.2008 18:30—21:00

Место: г. Харьков, пл. Свободы, 4, главный корпус ХНУ, ауд. 6-52.

Более подробно тут – Четвертая встреча IT-сообщества IT Talk, Харьков или в Google-календаре, а также на сайте сообщества IT Talk.

В Google теперь доступен видеочат

admin — Wed, 12 Nov 2008 18:18:30 +0000

Компания Google проанонсировала новый сервис – Голосовой чат и видеочат который позволяет видеть своего собеседника не выходя из почтового ящика Gmail.

Более подробную информацию смотрите на блоге Google.

Плагин Admin Drop Down Menu конфликтует с Role Manager

admin — Mon, 21 Jul 2008 11:25:55 +0000

Плагин для Wordpress Admin Drop Down Menu (2.1) конфликтует с Role Manager (2.2.2). В результате чего выводится на странице настроек Admin Drop Down Menu ползут стили и страница превращается в полную кашу. Как вариант для выпадающего меню, можно использовать admin-menus.