Ifigenia - User contributions [en]

IFSTool

2018-04-09T12:12:23Z

Dimitar Dimitrov:

'''IFSTool''' is a software for checking properties of [[intuitionistic fuzzy implications]] and [[intuitionistic fuzzy negations|negations]]. It is being developed by [[Dimitar Dimitrov]] in the frames of the bilateral scientific exchange project [[Ifigenia:Design and development of intuitionistic fuzzy logic tools in information technologies|Design and development of intuitionistic fuzzy logic tools in information technologies]]. IFSTool requires Microsoft .NET Framework (already installed on newer MS Windows versions) to run.

== Basic properties ==

[[Image:IFSTool-home-screen.png|right|thumb|400px|Home screen of IFSTool. A list of implications has been loaded for investigation. To the right the list of possible actions is given.]]

Some of the properties that can be checked are the following:
* Checking the validity of user-defined axioms of the classical and non-classical logics.
* Equivalence of implications and equivalence of negations.
* Order of implications and negations (generating the graph for the relation "less than or equal").

All generated data can be exported to various text and graphic formats, such as TeX, HTML, PNG and etc.

All implications (or negations, respectively) have to be imported by the user from external text files. Files should be in the following format:
* the definition of each implication/negation should be on a single line;
* no two definitions should share a single line;
* each line should begin with unique identifier of the implication/negation, followed by delimiter ("<tt>:</tt> " or tab), then the first (validity) part of the implication/negation's definition, delimiter ("<tt>,</tt> " or tab), and the second (nonvalidity) part of the implication/negation's definition;
* no spaces are allowed in the validity and nonvalidity parts;
* the left argument of the implications is <tt><a, b></tt> and the right one is <tt><c, d></tt>. For negations the argument is <tt><a,b></tt>. No other parameter names are allowed for now.

Here's a short example of a file which can be imported:
: <tt>1: max(b,min(a,c)), min(a,d)</tt>
: <tt>2: 1-sg(a-c), d*sg(a-c)</tt>

=== Checking the validity of user-defined axioms ===

[[Image:IFSTool-check-axioms.png|right|thumb|400px|The screen for checking axioms. To the left a list of axioms is given and to the right - the results from the check. Implications are given in the rows, and axioms - in the columns. Clicking on a table cell, a window with more detailed information is being opened.]]

To check the validity of axioms for a set of implications (or negations), you have to execute the following steps:
# Click '''"Import from File"''' to load a text file with implications or negations. Several files can be imported and appended.
# Provide a text file named ''"Axioms.txt"'' in the directory where the IFSTool executable is located. The file should contain axioms in the following format:
#* each axiom definition should be on a single line;
#* no two definitions should share a single line;
#* each line should begin with unique identifier of the axiom, followed by space, and then the definition of the axiom.
#* IF variables should be named <tt>A, B, C, ..., Z</tt>. It is recommended to start with <tt>A</tt>, then <tt>B</tt>, and so on, otherwise the program will run significantly slower;
#* IF constants can be set in the form <tt><value1,value2></tt>.
#: The following operators can be used:
#:* <tt>\supset</tt> : the current implication that is tested;
#:* <tt>\neg</tt> : the corresponding negation of currently tested implication;
#:* <tt>\&</tt> : intuitionistic fuzzy conjunction (<tt><a,b> \& <c,d> <=> min(a, c), max(b, d)</tt>);
#:* <tt>\vee</tt> : intuitionistic fuzzy disjunction (<tt><a,b> \vee <c,d> <=> max(a, c), min(b, d)</tt>);
#:* <tt>\classicnot</tt> : the classical fuzzy negation (<tt>\classicnot <a,b> <=> <nowiki><</nowiki>b,a></tt>);
#:* <tt>=</tt> : equality (<tt><a,b> = <c,d> <=> a=c and b=d</tt>);
#:* <tt>>=</tt> : greater-than-or-equal - (<tt><a,b> >= <c,d> <=> a>=c and b<=d</tt>)
#:* <tt><=</tt> : less-than-or-equal
#: All operators should be surrounded with spaces.
#: Example file:
#:: <tt>t0 A \supset A
#:: t14 A \supset (B \supset (A \& B))
#:: t21 (\neg A \vee B) \supset (A \supset B)
#:: ky3 (<0,1> \supset A) = <1,0></tt>
# Set shots to '''5'''.
# Click '''"Check axioms..."'''. A new window is opened. The axioms should be visible on the left side of the window.
# There is an option '''"Check for Intuitionistic Fuzzy Tautologies"'''. Deselect it if you want to check for non-intuitionistic tautologies (to check a expression if it is equal to <1,0>).
# Click '''"Check All Axioms For All Implications"'''. This may take a lot of time, especially for relatively smaller steps (0.1 for example).
# A table with results is displayed. When clicking on a cell, the following information is displayed:
#* the tested implication;
#* the tested negation;
#* the checked axiom;
#* normalized arithmetic expression that corresponds to the axiom with the given implication and negation;
#* the status of the axiom (for the given implication and negation) - one of the following: '''“Satisfied (proved)”''', '''“Not satisfied (proved)”''' and '''“Possibly satisfied (No counterexample found)”'''.
# If there are possibly satisfied axioms, you can specify smaller step (larger number of shots) and then click '''"Check not proved with more shots"'''. Some of the possibly satisfied axioms may turn to '''"Not satisfied (proved)"'''. The rest should be proved manually (in next versions of the software this is going to be improved).
# By default, each axiom is tested with all implications and their corresponding negations. If '''"Use only corresponding negations"''' is unchecked, all axioms will be checked for all combinations of implications and negations.

=== Removal of duplicate operations ===

[[Image:IFSTool-remove-duplicates.png|right|thumb|400px|Removal of duplicates of implications or negations in IFSTool. In the example, implications No. 5,11 and 5,14 are equivalent to implication 5,3, so are given below indented.]]

To remove duplicate implications (or negations, respectively):
# '''Import''' the implications/negations.
# Set shots = '''5'''.
# Click '''"Remove duplicates"'''. A detailed report is generated showing the groups of equivalent and possibly equivalent implications/negations.
# Check the lines marked with '''"(not proved)"'''. If there are different implications/negations, marked as equivalent, go back to step 2 and specify bigger number.
# Click '''"Remove duplicates"'''. There is an option for renumbering the implications/negations, since the initial numbering may not be continuous after removing some implications/negations.

To check if a new intuitionistic fuzzy implication (or negation, respectively) is not equivalent to some old one, the following approach can be used:
# Import all intuitionistic fuzzy implications/negations.
# Remove the duplicates, as described above.
# Import the new implication/negation and remove the duplicates again.
# If the new implication/negation is equivalent to some old one, this could be seen in the report window.

=== Drawing the graph of relations ===

[[Image:IFSTool-graph.png|right|thumb|400px|Drawing the graph of the relation "smaller or equal".]]

To draw a graph for the relation <tt><</tt> :
# Import the implications or negations.
# Set shots to be '''5''' or more.
# Click '''“Draw graph for the relation “less than or equal””'''. This may take some time.
# By default, a transitive reduction is applied, since the relation < is transitive. If <tt>i1 < i2 and i2 < i3</tt>, the corresponding ribs are colored in black and the rib from <tt>i1</tt> to <tt>i3</tt> is colored in gray.

== Algorithm ==

IFSTool uses binary trees to represent the expressions.
When a formula has to be checked:
# The formula is optimized as much as possible. For example, <tt>a*(b-b)</tt> is equivalent to <tt>0</tt>. Many IF-specific optimizations are performed.
# The formula is checked in several values. For example, if the step is 0.5 (3 shots in the interval [0, 1]), the following values are used: <0,0>, <0,0.5>, <0,1>, <0.5,0>, <0.5,0.5>, <1,0>. If the formula is not satisfied on any of the values, it is marked as '''“not satisfied”''' and no further checks are made for it.
# The formula is attempted to be proved by checking a large set of rules. For example, if <tt>max(x,y)>z</tt> has to be proved, it is replaced by the disjunction <tt>(x>z | y>z)</tt>.

== Download ==

{{download|IFSTool.zip|ZIP|33}}

[[Category:Intuitionistic fuzzy sets]]
[[Category:Software]]

File:IFSTool.zip

2018-04-09T12:04:55Z

Dimitar Dimitrov:

Genedit

2013-12-10T22:53:13Z

Dimitar Dimitrov:

'''Genedit''' is a graphic editor and simulating tool for [[generalized net]]s, part of the [[Generalized Nets Integrated Development Environment]] (GN IDE). Genedit is written in Java by [[Dimitar Dimitrov]].

The software is in development phase and up to now it is able (to some degree) to:
* Load and save GN XML files.
* Display [[generalized net model]]s in both graphical and tree view.
* Insert new objects in the model, which can be manually edited in a text/XML editor, or directly in the IDE using drag-and-drop.
* Start a [[generalized nets model simulation|GN simulation]].
* Undo/Redo edit operations.
* Check model for errors.
* Import GN models from [[Gennete]] (XML files from newest version of Gennete).
* Export GN models to TeX (graphical structure and formal definition) and SVG.
* Charts for characteristic values.

== Software installation ==
Genedit has the following requirements:
# Java Runtime Environment
# Microsoft Windows or Linux with wine (only for the server)

; Installation
* Download and extract the installation file <code>Genedit.zip</code> {{download|GN_IDE.zip|ZIP|8882}}
* If your OS is not Microsoft Windows or 32-bit Linux, please download <code>swt.jar</code> and graphics library for your operating system.
** SWT for Linux {{download-ext|1=http://archive.eclipse.org/eclipse/downloads/drops/R-3.3-200706251500/download.php?dropFile=swt-3.3-gtk-linux-x86.zip|2=ZIP|3=4345}}
** [http://www.eclipse.org/swt/ SWT Official Page]
** [http://cairographics.org/introduction Cairo 0.4.0 - Graphics Library for X Window Platforms]
* Running the software: Click <code>run.bat</code> (in Windows) or <code>run.sh</code> (in Linux) - this starts both the IDE and the server.

== See also ==
* [[GN Ticker]]
* [[Gennete]]
* [[Help:Genedit]]

[[Category:Software]]
[[Category:Generalized nets]]

File:Genedit.zip

2013-11-11T12:01:58Z

Dimitar Dimitrov: uploaded a new version of "Image:Genedit.zip"

{{upload
| description = [[Genedit]]
| author = Dimitar Dimitrov
| source = own work
| date = 2010
| license =
| other-version =
}}

File:Genedit.zip

2012-12-04T21:58:04Z

Dimitar Dimitrov: uploaded a new version of "Image:Genedit.zip"

{{upload
| description = [[Genedit]]
| author = Dimitar Dimitrov
| source = own work
| date = 2010
| license =
| other-version =
}}

Genedit

2012-11-28T19:03:47Z

Dimitar Dimitrov:

'''Genedit''' is a graphic editor and simulating tool for [[generalized net]]s, part of the [[Generalized Nets Integrated Development Environment]] (GN IDE). Genedit is written in Java by [[Dimitar Dimitrov]].

The software is in development phase and up to now it is able (to some degree) to:
* Load and save GN XML files.
* Display [[generalized net model]]s in both graphical and tree view.
* Insert new objects in the model, which can be manually edited in a text/XML editor, or directly in the IDE using drag-and-drop.
* Start a [[generalized nets model simulation|GN simulation]].
* Undo/Redo edit operations.
* Check model for errors.
* Import GN models from [[Gennete]] (XML files from newest version of Gennete).
* Export GN models to TeX (graphical structure and formal definition) and SVG.
* Charts for characteristic values.

== Software installation ==
Genedit has the following requirements:
# Java Runtime Environment
# Microsoft Windows or Linux with wine (only for the server)

; Installation
* Download and extract the installation file <code>Genedit.zip</code> {{download|Genedit.zip|ZIP|8882}}
* If your OS is not Microsoft Windows or 32-bit Linux, please download <code>swt.jar</code> and graphics library for your operating system.
** SWT for Linux {{download-ext|1=http://archive.eclipse.org/eclipse/downloads/drops/R-3.3-200706251500/download.php?dropFile=swt-3.3-gtk-linux-x86.zip|2=ZIP|3=4345}}
** [http://www.eclipse.org/swt/ SWT Official Page]
** [http://cairographics.org/introduction Cairo 0.4.0 - Graphics Library for X Window Platforms]
* Running the software: Click <code>run.bat</code> (in Windows) or <code>run.sh</code> (in Linux) - this starts both the IDE and the server.

== See also ==
* [[GN Ticker]]
* [[Gennete]]
* [[Help:Genedit]]

[[Category:Software]]
[[Category:Generalized nets]]

File:Genedit.zip

2012-11-28T18:57:20Z

Dimitar Dimitrov: uploaded a new version of "Image:Genedit.zip"

{{upload
| description = [[Genedit]]
| author = Dimitar Dimitrov
| source = own work
| date = 2010
| license =
| other-version =
}}

Gennete

2010-12-22T21:22:40Z

Dimitar Dimitrov:

[[Image:Gennete-logo.png|250px|right]]
'''Gennete''' is a graphic editor for drawing schemes of [[generalized net model]]s, written in Delphi in 1998-1999 year by [[Hristo Aladjov]].

As of today, Gennete is capable to draw and edit generalized net model schemes ([[transition]]s, [[place]]s, [[arc]]s), save the result in <tt>.vgn</tt> format and export it to graphic formats like <tt>.jpg</tt> and <tt>.bmp</tt>, or as a formal description in LaTeX code or plain text.

The software was initially designed to contain simulation features, but these were lately abandoned. A new version of Gennete is released in 2010, which offers integration with the [[generalized nets]] simulation package [[GNTicker]] (See below).

== Installation and usage ==
* Download and open the archive [[Media:Gennete-1999.rar|Gennete-1999.rar]]. It contains executable file of the program.
* A short help documentation is provided in the page [[Help:Gennete]].

== New version from 2010 ==
Modification of Gennete is released in 2010. It is capable to export XML files that can be opened by [[Genedit]]. It can be used as easy-to-use editor for the graphical structure of GN models. Most features of Gennete, unrelated to graphical structure editing, are disabled in this version.

A Windows executable and sample GN model can be downloaded from here: {{download-ext|1=http://mitex.hit.bg/Gennete2010.zip|2=ZIP|3=618}}.

[[Category:Generalized nets]]
[[Category:Software]]

Gennete

2010-12-22T21:20:23Z

Dimitar Dimitrov:

[[Image:Gennete-logo.png|250px|right]]
'''Gennete''' is a graphic editor for drawing schemes of [[generalized net model]]s, written in Delphi in 1998-1999 year by [[Hristo Aladjov]].

As of today, Gennete is capable to draw and edit generalized net model schemes ([[transition]]s, [[place]]s, [[arc]]s), save the result in <tt>.vgn</tt> format and export it to graphic formats like <tt>.jpg</tt> and <tt>.bmp</tt>, or as a formal description in LaTeX code or plain text.

The software was initially designed to contain simulation features, but these were lately abandoned. A new version of Gennete is anticipated in 2009, which should offer integration with the [[generalized nets]] simulation package [[GNTicker]].

== Installation and usage ==
* Download and open the archive [[Media:Gennete-1999.rar|Gennete-1999.rar]]. It contains executable file of the program.
* A short help documentation is provided in the page [[Help:Gennete]].

== New version from 2010 ==
Modification of Gennete is released in 2010. It is capable to export XML files that can be opened by [[Genedit]]. It can be used as easy-to-use editor for the graphical structure of GN models. Most features of Gennete, unrelated to graphical structure editing, are disabled in this version.

A Windows executable and sample GN model can be downloaded from here: {{download-ext|1=http://mitex.hit.bg/Gennete2010.zip|2=ZIP|3=618}}.

[[Category:Generalized nets]]
[[Category:Software]]

Genedit

2010-12-21T08:44:09Z

Dimitar Dimitrov:

'''Genedit''' is a graphic editor and simulating tool for [[generalized net]]s, part of the [[Generalized Nets Integrated Development Environment]] (GN IDE). Genedit is written in Java by [[Dimitar Dimitrov]].

The software is in development phase and up to now it is able (to some degree) to:
* Load and save GN XML files.
* Display [[generalized net model]]s in both graphical and tree view.
* Insert new objects in the model, which can be manually edited in a text/XML editor, or directly in the IDE using drag-and-drop.
* Start a [[generalized nets model simulation|GN simulation]].
* Undo/Redo edit operations.
* Check model for errors.
* Import GN models from [[Gennete]] (XML files from newest version of Gennete).

== Software installation ==
Genedit has the following requirements:
# Microsoft Windows (for the server only)
# Java Runtime Environment

; Installation
* Download and extract the installation file <code>Genedit.zip</code> {{download-ext|http://mitex.hit.bg/Genedit.zip|ZIP|approx. 4000}}
* If your OS is not Microsoft Windows, please download <code>swt.jar</code> and graphics library for your operating system.
** SWT for Linux {{download-ext|1=http://archive.eclipse.org/eclipse/downloads/drops/R-3.3-200706251500/download.php?dropFile=swt-3.3-gtk-linux-x86.zip|2=ZIP|3=4345}}
** [http://www.eclipse.org/swt/ SWT Official Page]
** [http://cairographics.org/introduction Cairo 0.4.0 - Graphics Library for X Window Platforms]
* Running the software (under Microsoft Windows): Click <code>run.bat</code> - this starts both the IDE and the server.

== See also ==
* [[GN Ticker]]
* [[Gennete]]
* [[Help:Genedit]]

[[Category:Software]]
[[Category:Generalized nets]]

Private talk:NFNI-2009

2009-06-08T13:40:29Z

Dimitar Dimitrov: /* Работа по програмната реализация */

== Състояние на научните изследвания ==

През 2005 година започва разработката на четвъртото поколение софтуерен симулатор за ОМ, програмиран на C++, Java (...) с елементи на XML, JavaScript (...).

== Цели на проекта ==
=== Първа цел ===
Първата цел на проекта е да се доведат до успешен край дългогодишните опити за разработка на софтуерна платформа за ОМ-моделиране и симулация.

Първите опити за създаване на такава платформа датират от средата на 1990-те години и понастоящем се работи над четвъртото, и най-перспективно от технологична гледна точка, поколение софтуер за ОМ, който се пише на съвременни популярни и динамично развиващи се програмни езици като C++, Java, XML,... Към момента в известна степен са разработени и сървърната, и клиентската част на платформата и е изготвена спецификация и работен план за оставащите задачи (например създаване на гъвкав потребителски интерфейс, туулбокс за Matlab/Octave за ОМ, детайлна софтуерна документация и др.).

Финализирането на работния план е изключително важна цел, която стои не само пред участниците в проекта, но и в по-общ план пред цялата българска и световна общност на ОМ-моделиране. От изпълнението й зависи не само изпълнението на проекта, но в известен смисъл и бъдещето на тази научна област, която има широкопризнат приложен потенциал, но към момента в по-голяма степен е развита в теоретичен аспект.

=== Втора цел ===
Втората цел на проекта е, разполагайки със завършения през първата фаза програмен пакет за ОМ, да се доведат до вид на работещи симулации множеството конструирани и планирани за разработка през втория етап на проекта абстрактни модели. Изпълнението на тази цел е от също толкова критично значение за областта на ОМ, понеже ще даде възможност в голям мащаб да се демонстрират доказаните с математически методи предимства на моделирането с този инструментариум и да се извлекат ползите от тях. Към момента са правени няколко софтуерни симулации на ОМ-модели, сравнително опростени откъм постановка и/или изпълнение, поради ограниченията наложени от недовършената работа по пакета. Дори и при такива условия обаче апаратът на ОМ е давал по-добри резултати от апарати като GPSS, други видове мрежи на Петри, невронни мрежи.....

== Видове дейности ==
* '''1. Софтуерна разработка'''
** Довършване на клиент-сървърната част на пакета според предварителна спецификация
*** Събиране на изискванията от различните заинтересовани лица (моделиери, потребители, разработчици)
*** Създаване на тестови модели
*** Визуализация на резултатите, потребителски интерфейс
*** Рабработка на toolbox за Matlab / Octave
*** ...

== План за устойчивост ==

Освен това, очакваните резултати в областта на информатиката (ОМ-модели на експертни системи, невронни мрежи, ГРИД-среди, оптимизационни алгортми чрез мравчени колонии, генетични алгоритми и техники за разпознаване на образи и говор) ще се окажат своеобразна "научна инвестиционна стока", тъй като на свой ред ще могат да се внедрят в по-сложни модели от други области. Например, резултатите от моделирането на ГРИД-среди с ОМ могат да се използват в ..., ОМ-моделите на разпознаването на образи може да послужат за .... Накратко, приоритетното прилагане на симулатора за ОМ към обекти и проблеми от информатиката, ще даде възможност тази "инвестиция" бързо да се възвърне към софтуерния пакет под формата на класове, библиотеки, подпрограми, ..., т.е. външен програмен слой над ядрото на симулатора, елементи от който се викат при решаване на специфични подзадачи.

== Работа по програмната реализация ==

{| width="100%" class="wikitable"
! width="5%" | Номер
! width="65%" |Дейност
! width="15%" | Време (човекомесеци)
! width="15%" | Изпълнител
|-
| 0
| Системна за управление на модули
| 6 - 12 (9)
| ?
|-
| 1
| Пълнофункционален редактор за ОМ
| ?
| ?
|-
| 2
| GNTP
| ?
| ?
|-
| 3
| Връзка с Математика и матлаб
| 12
| ?
|-
| 4
| Връзка с измервателни уреди
| 6 - 12 (9)
| ?
|-
| 5
| Мрежови Оператори
| 6
| ?
|-
| 6
| Мрежови Алгоритми
| 6
| ?
|-
| 7
| Многонишкова симулация (разпаралеляване)
| 12+
| ?
|-
| n+1
| Поддръжка на потребители и права
| 3 - 6 (9)
| ?
|-
| n+2
| Load balancing за GNTicker Server
| 6
| ?
|-
| n+3
| Автоматичен превод на процедурни програми в ОМ модели
| 12
|?
|-
| n+4
| Обратното (модели в програми)
| 6 - 12 (9)
| ?
|-
| n+5
| Компилатор за ОМ модели
| ?
| ?
|-
!
!
! 90 + 3?
!
|}

Genedit

2008-11-08T13:51:05Z

Dimitar Dimitrov: Import Gennete files

'''Genedit''' is a graphic editor and simulating tool for [[generalized net]]s, part of the [[Generalized Nets Integrated Development Environment]] (GN IDE). Genedit is written on Java by [[Dimitar Dimitrov]].

The software is in development phase and up to now it is able (to some degree) to:
* Load and save GN XML files.
* Display [[generalized net model]]s in both graphical and tree view.
* Insert new objects in the model, which can be manually edited in a text/XML editor, or directly in the IDE using drag-and-drop.
* Start a [[generalized nets model simulation|GN simulation]].
* Undo/Redo edit operations.
* Check model for errors.
* (New) Import GN models from [[Gennete]] (TeX files with graphical structure, exported by Gennete).

== Software installation ==
Genedit has the following requirements:
# Microsoft Windows (for the server only)
# Java Runtime Environment

; Installation
* Download and extract the installation file <code>Genedit.zip</code> {{download-ext|http://mitex.hit.bg/Genedit.zip|ZIP|approx. 4000}}
* If your OS is not Microsoft Windows, please download <code>swt.jar</code> and graphics library for your operating system.
** SWT for Linux {{download-ext|1=http://archive.eclipse.org/eclipse/downloads/drops/R-3.3-200706251500/download.php?dropFile=swt-3.3-gtk-linux-x86.zip|2=ZIP|3=4345}}
** [http://www.eclipse.org/swt/ SWT Official Page]
** [http://cairographics.org/introduction Cairo 0.4.0 - Graphics Library for X Window Platforms]
* Running the software (under Microsoft Windows): Click <code>run.bat</code> - this starts both the IDE and the server.

== See also ==
* [[GN Ticker]]
* [[Gennete]]

[[Category:Software]]
[[Category:Generalized nets]]