forum.boolean.name

forum.boolean.name (http://forum.boolean.name/index.php)
-   Проекты C++ (http://forum.boolean.name/forumdisplay.php?f=56)
-   -   Boolka (http://forum.boolean.name/showthread.php?t=682)

impersonalis 15.02.2006 00:37

Ещё одна мат.тулзочка - опреации логики
! отрицание
= эквиваленция
> импликация
* конъюнкция
+ дизъюнкция

просьба потестить!

alex-mad 15.02.2006 00:50

крутая штука!
посоветовал бы в выводе сверху указывать последовательность переменных (я догнал, что в алфавитном порядке)
и надо бы добавить проверку на синтаксис ввода

alcoSHoLiK 15.02.2006 00:51

Снова фигня со скачиванием:
Цитата:

Обнаружена ошибка:
Некоторые требуемые файлы отсутствуют. Если вы хотели просмотреть тему, возможно эта тема перемещена или удалена. Вернитесь назад и попробуйте снова.


jimon 15.02.2006 22:31

опять вопрос... опять вопрос... :( зачем ето ?

alex-mad 15.02.2006 22:59

это из серии: а зачем игры? а в чём смысл жизни?
ну хотя бы по дискретке операции логики нужны, а тут софтинка всё делает.
выше было сказано:
Цитата:

просьба потестить!
а не обсуждать просили! :o''

jimon 15.02.2006 23:32

[offtop] эхх... куда мир котится ?
на гейм деве все спорят что STL ацтой... и вектор тормозит
тут опять изобретают велосипед

ну ладно ... я не в мешиваюсь в творческий процесс изобретания велосипеда

.. да кстати .. alex-mad твой первый тут пост и есть обсуждение :)

impersonalis 15.02.2006 23:44

2jimon:
ну давай, найди мне программу - желательно и скриншотик приложи, которая делает именно это ( кстати , угадай до чего дойдёт прога в финале - напоминаю: идёт бета-тестирование).
Кстати о философском аспекте изобретания велосипеда:
скажи мне, а чем мы все здесь занимаемся ? программируме? - зачем -Не видел ничего нужного нового. Пишем игры? - никто тут ещё не придумал новый жанр... да даже и новую реализацию уже существующего.
На том МИР и стоит ( а не катится) - улучшения переработка.
Одним словом - пертурбация информации.
Что-то твои последние посты говорят, к сожалению, о твоём непонимании - "как бесконечно сложна вселенная" - везде ты ищегб простые решения и простые ответы. В результате генерится лишь бред.

alex-mad 15.02.2006 23:44

to jimon
1) в первом посте "осуждение" - не совсем точно сказано!
я протестил и дал пару советов!
2) это не вилосипет, а весьма нужная в повседневном (для нормального алгоритмика) изпользовании софтинка

alcoSHoLiK 16.02.2006 00:41

jimon
Ты забыл [/offtop]

impersonalis
При нажатии ENTER прога закрывается. Если написать "ab" выскакивает 1 ошибка, а если "a-b" - штук 5 :)

impersonalis 16.02.2006 01:45

Вот апдейт с "фунЕцией" верификации формулы

PS: большое спасибо Alex-Madу за тестирование верификации
и alcoSHoLiK за профвленный интерес и потраченное время.

alex-mad 16.02.2006 02:15

ура! наконец ошибки не валятся ;)
жду окончательный релиз

alcoSHoLiK 16.02.2006 23:01

С предусмотренными ошибками уже приятней :)
При нажатии ENTER все равно выходит.
Неплохо было бы сделать автосейв формулы при выходе из проги.

impersonalis 17.02.2006 00:33

Апдейт 1.20

+доделана верификация
+возможность экокномного (для памяти) просчёта таблицы (понадобиться в будующем , так как таблица - промежуточное звено всех вычисоений)
+Вычищено дофига мусора из файла ресурсов. Часть мусора -мой недосмотр, часть - лень imper`а.

Спасибо за комментарии - в буд. версиях учту.

Прошу потестить.

impersonalis 17.02.2006 22:29

Update 1.30

+составление вектора функции, носителя и антиносителя функции

По прежнему спонтанная утечка памяти. Будем копать.
Прошу затестить.

alex-mad 17.02.2006 23:06

обнаружил баг... пишу в личку!

impersonalis 18.02.2006 04:32

Update 1.31

мелкие улучшения, в ходе которых должна возрасти стабильность работы.

impersonalis 18.02.2006 21:19

Update 1.40

Похоже кран закрыт - память больше не утекает. По крайней мере - я нашёл несоклько обидных (просто идиотских) недосмотров в коде обработки нажатия кнопок.

ЗЫ: зато как всегда - море ХР

alex-mad 19.02.2006 02:42

я ввёл ~13 переменных и:
1) при выводе в форточку ошибка программы (недопустимая операция и кнопочка "закрыть")
2) при выводе в файл написали "сохранено, а в реале х**
:) надо бы ввести лимит переменных... или ещё чё-нить придумать..

impersonalis 19.02.2006 04:10

Форточка предназначена для очень маленьких таблиц в кач-ве предпросмотра ( таблицы порядка 2-4-8 вариаций). С файлом неприятный косяк.
Ладно...

Апдейт 1.50

impersonalis 19.02.2006 04:15

Ввёл 15 переменных... О УЖАС! Я еле выгрузил прогу. Но ошибка,имхо, чисто аппаратная - нехватка памяти.
Так что придётся вводить банальное ограничение =/

impersonalis 19.02.2006 04:30

Мдаааа: нагрузка на систему возросла до 101%, после чего Винда раз 15 закрыла одно и то же приложение и не без моей помощи ушла в ребут.

Делая очень грубые расчёты:

2048*5+512+N байт памяти на обработку (без визуализации)

для обработки 15 переменных понадобиться 32768 итераций
на каждой выделяется/удаляется ( из вышеприведённой кучи) 2048*3 байт=6144 байт

-------------

У кого какие соображения по поводу максимального кол-ва переменных?

impersonalis 19.02.2006 19:58

Релиз - версия 1.6.0

+исправлены мелкие недостатки
+доделано оформление
+авто-сейв формулы (после хотя бы одного расчёта)

impersonalis 19.02.2006 20:03

Вложений: 2
Да. и скриншот, для любителей не качать неизвестоно что:

alex-mad 19.02.2006 22:45

осталось из известного минимизацию накодить

jimon 19.02.2006 22:45

ну подумаеш я был не прав :)
а на щет тулзы ... есть такая ... фортран называется

impersonalis 19.02.2006 23:16

Ну не все же будут это на фортране делать. Ессно - для людей менее сведующих в коде.
Цитата:

ну подумаеш я был не прав

с каждым бывает ;)

SubZer0 21.02.2006 02:05

прога фарева! и где ты был лет этак 5 назад... когда все это нужно было... :)

у нас вообщето мало дискретки было и я за такие весчи не брался никогда...

:super: :super: :super:

pax 21.02.2006 19:54

Короче я пока не знаю для чего нужны эти булевы функции...

но вроде при расчетах процесс в памяти как занимал 3.9 с чем-то метра так и занимает, так что о том что используется очень много памяти при расчетах я сказать не могу... редко доходит до 4.1 метра (14 переменных)

вот такую формулу считает:
Код:

!(a+b)*(!c+d)*q*e*r*t*e*f*g*w*h*x*z*k*j*i
но очень долго... в памяти занимает при этои не более 5.4 Мб
(переменных там вродебы 17)

alex-mad 21.02.2006 20:48

ну хз-хз....
у меня вот это формула:
Код:

!(a+b)*(!c+d)*q*e*r*t*e*f*g*w*h*x*z*k*j*i
ваще повесила программу! :o''

impersonalis 23.02.2006 02:54

Ап до 1.70
Добавил ещё 3 оператора (подробнее см. HELP)

нужно потестить
8)

alex-mad 23.02.2006 03:07

обозначения операцй не совсем стандартно...
багов не обнаружено

alcoSHoLiK 23.02.2006 21:26

Выбрал сохранить в файл 1.txt, а оно сохранило в 1.t

impersonalis 23.02.2006 22:59

Цитата:

Originally posted by alcoSHoLiK@23.2.2006, 20:26
Выбрал сохранить в файл 1.txt, а оно сохранило в 1.t

где-то переполнение идёт :'((

impersonalis 24.02.2006 21:38

upd 1.80

+Поиск фиктивных переменных (по таблице)
+Очистка кратчайшей С-формы от фиктивных переменных

-----------------------

Теперь о грустном ( возможно):
Т.к. BOOLka и не претендовала на лавры МатКада, то дальнейшая разработка её замораживается на неопределённый срок. Это последний upd.
Программу-минимум Булка выполняет. :(

impersonalis 24.02.2006 22:39

8) :'((
BOOLka v1.8.0 релиз
Цитата:

BOOLka v1.8.0

Основные возможности:

+построение таблицы значений (для функции, заданной формулой)
с возможностью сохранения её в файл
или вывода её на экран (для коротких таблиц)
+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)
+составление вектора функции (для функции, заданной формулой)
+составление СКНФ (для функции, заданной вектором)
+составление СДНФ (для функции, заданной вектором)
+поиск фиктивных переменных (для функции, заданной вектором)
+очистка кратчайшей СНФ-формы от фиктивных переменных

Поддерживаемые операторы:

отрицание
конъюнкция
дизъюнкция
импликация
эквиваленция
стрелка Пирса
штрих Шеффера
сложение по модулю 2

Поддерживаемы переменные:
буквы латинского алфавита от a до z

Константы:
1 - истина (true)
0 - ложь (false)

ВНИМАНИЕ: если вы решили "поиграться" и забабахали 20 и более переменных, то
за стабильность ОС в ближайшей время я не ручаюсь (особенно если ОЗУ у вас 256 мб).
Простой ребут вернёт всё на свои места, благо в проге реализовано сохранение формулы.


alex-mad 25.02.2006 03:06

последний релиз - вещь!

impersonalis 25.02.2006 03:26

Да, ну и вот ещё капельку докодил:
Цитата:

+очистка кратчайшей СНФ-формы от фиктивных переменных
если функция тождественно равна 1 или 0, то в окно будет передано TRUE или FLASE соответственно


финальный релиз за номером 1.8.1

alex-mad 27.02.2006 02:07

рулишь полюбЭ!

impersonalis 03.03.2006 01:14

Я вот тут тр... эмм любуюсь одной фунЕцией своей - вспоминается фраза одной известной песни:
Цитата:

все почти с ума свихнулись, даже - кто безумен был

Ужасная фунеция скажу я вам - 4 строки кода, провоцируют спонтанное переполнение ( больше некому). Забегая вперёд, спрошу - кому-нибудь ещё интересна тема этой тулзы?

impersonalis 03.03.2006 23:36

плохие новости: из-за утечки данных программа строит вектор функции неправильно.
Введите формулу типа:
q*w+(a+!a)*c+s
как видно 5 и 21 компоненты различны, в то время, как им соответствуют наборы:
acqsw
5=00101
21=10101
т.е. при подстановке в ф-лу получаем ИТСИНУ для обоих ключей [ что и будет проявляться для ключей с дельтой 2^(колво_переменных-1-индекс_переменной), так как переменная a явно фиктивная].
копаю перполнения.

impersonalis 04.03.2006 00:24

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

alex-mad 04.03.2006 01:42

чё исправил багу? тады давай релиз!

impersonalis 04.03.2006 01:44

Отлично - отладил неполадки.
Думаю над булевым кубом и прочей мутью.

impersonalis 04.03.2006 01:46

Вложений: 2
Цитата:

Originally posted by alex-mad@4.3.2006, 0:42
чё исправил багу? тады давай релиз!

Не время ещё. Переделываю с нуля ( интерфейс и главный файл), правлю либы.
Сейчас прога - страшная как ядерная война 8)

alex-mad 04.03.2006 01:51

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

impersonalis 07.03.2006 20:47

Вложений: 2
:compl:
2.0.0
8)

но Windows может и не понравиться формула из 20 переменных - но это уже аппаратные ошибки.
:user:

alcoSHoLiK 08.03.2006 00:28

Лучше кнопку "Скопировать из (*1)" сделать выше кнопки "Обработать".

alex-mad 08.03.2006 00:38

сделай проверку на ввод цифры в System на ввод примера

impersonalis 08.03.2006 01:02

2Alex-mad: не понял. =(

impersonalis 08.03.2006 01:03

2alcoSHoLiK
ок

alex-mad 08.03.2006 02:16

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

impersonalis 08.03.2006 02:48

Ошибка памяти?! Странно - приведи пример, плиз.

alex-mad 08.03.2006 02:56

system: 2байта
Фармула: а

impersonalis 08.03.2006 04:31

ты прав =( разберусь

impersonalis 09.03.2006 00:42

Вложений: 2
Ап до 2.0.1

alex-mad 10.03.2006 12:07

уже лучше... вот тока:
32 под память
ввёл длинный пример... a=s+d+q+!e (можно было любой, но дастаточно длинный)
и нажал "скопировать данные из (*1).... баис... ошибка памяти

impersonalis 10.03.2006 12:19

хымм... проверю
Хотя, кнешно - нефиг размеры крутить!

alex-mad 14.03.2006 19:37

релиз то будет?

impersonalis 14.03.2006 20:29

Не знаю - потерял интерес к программе =/

alex-mad 14.03.2006 20:42

Цитата:

Originally posted by impersonalis@14.3.2006, 19:29
Не знаю - потерял интерес к программе =/

ну и ладно! хорош! а то будет СЛИШКОМ МНОГО функций!

ZanoZa 21.11.2006 12:37

Re: Boolka
 
Скачать нереально
Может кто-нить перезальёт? :)

impersonalis 21.11.2006 17:53

Re: Boolka
 
Не догоняю в чём косяк: у меня и у Саба качается всё...

ZanoZa 21.11.2006 18:33

Re: Boolka
 
Извините всё работает
Руки не из того места растут :)

ZanoZa 21.11.2006 18:35

Re: Boolka
 
Мега аццкая тулза! :super:
Жаль что интерес к разработке потерян


Часовой пояс GMT +4, время: 17:49.

vBulletin® Version 3.6.5.
Copyright ©2000 - 2025, Jelsoft Enterprises Ltd.
Перевод: zCarot