22 research outputs found
Π‘Π²ΡΠ·Ρ ΡΠ΅ΡΠ΅ΠΉ ΠΠ΅ΡΡΠΈ Ρ Π±Π΅ΡΡΠΊΠΎΠ±ΠΎΡΠ½ΠΎΠΉ ΠΏΠΎΠ»ΡΡΠΊΠΎΠΉ Π·Π°ΠΏΠΈΡΡΡ
Π Π°ΡΡΠΌΠΎΡΡΠ΅Π½Ρ ΡΠ΅ΡΠΈ ΠΠ΅ΡΡΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΏΠΎΡΠΎΠΆΠ΄Π°ΡΡ ΡΠ·ΡΠΊΠΈ Π±Π΅ΡΡΠΊΠΎΠ±ΠΎΡΠ½ΠΎΠΉ ΠΏΠΎΠ»ΡΡΠΊΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ ΠΈ ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠΉ ΠΏΠΎΠ»ΡΡΠΊΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ Π΄Π»Ρ ΠΏΡΠΎΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½Π°Π»ΡΠ½ΡΡ
ΡΠΎΡΠΌΡΠ» ΠΈ Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΡ
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ. ΠΡΠΎΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½Π°Π»ΡΠ½ΡΠ΅ ΡΠΎΡΠΌΡΠ»Ρ ΠΌΠΎΠ³ΡΡ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ Π·Π°Π΄Π°Π½Π½ΠΎΠ΅ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
, Π° Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ β ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
ΠΈ ΠΊΠΎΠ½ΡΡΠ°Π½Ρ. ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Ρ ΡΠ°ΠΊΠΆΠ΅ ΠΈΠ½Π³ΠΈΠ±ΠΈΡΠΎΡΠ½ΡΠ΅ ΡΠ΅ΡΠΈ ΠΠ΅ΡΡΠΈ Π΄Π»Ρ ΡΠΊΠ°Π·Π°Π½Π½ΡΡ
ΡΠ·ΡΠΊΠΎΠ², ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠΈΠ΅ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°ΡΡ Π²Π΅ΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠ΅ ΡΠΈΡΠ»Π° Π² Π΄Π²ΠΎΠΈΡΠ½ΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ Ρ ΡΠΈΠΊΡΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠΉ ΡΠΎΡΠΊΠΎΠΉ Π² Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΡ
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΡ
. ΠΠ΅ΡΠΎΠ΄ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΠ΅ΡΠ΅ΠΉ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Π°ΡΠ½ΠΎΡΡΠΈ. ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π° ΡΠ²Π΅ΡΠ½Π°Ρ ΡΠ΅ΡΡ ΠΠ΅ΡΡΠΈ Π΄Π»Ρ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΠΏΡΠΎΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½Π°Π»ΡΠ½ΡΡ
ΡΠΎΡΠΌΡΠ» Π² ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠΉ ΠΏΠΎΠ»ΡΡΠΊΠΎΠΉ Π·Π°ΠΏΠΈΡΠΈ. ΠΠ΅ΡΠΎΠ΄ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΠ΅ΡΠΈ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΠ΅Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Π°ΡΠ½ΠΎΡΡΠΈ Ρ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ΠΌ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅ΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ.Π ΠΎΠ·Π³Π»ΡΠ½ΡΡΠΎ ΠΌΠ΅ΡΠ΅ΠΆΡ ΠΠ΅ΡΡΡ, ΡΠΊΡ ΠΏΠΎΡΠΎΠ΄ΠΆΡΡΡΡ ΠΌΠΎΠ²ΠΈ Π±Π΅Π·Π΄ΡΠΆΠΊΠΎΠ²ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΡΡΠΊΠΎΠ³ΠΎ Π·Π°ΠΏΠΈΡΡ ΡΠ° ΠΎΠ±Π΅ΡΠ½Π΅Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΡΡΠΊΠΎΠ³ΠΎ Π·Π°ΠΏΠΈΡΡ Π΄Π»Ρ ΠΏΡΠΎΠΏΠΎΠ·ΠΈΡΡΠΉΠ½ΠΈΡ
ΡΠΎΡΠΌΡΠ» ΡΠ° Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ½ΠΈΡ
Π²ΠΈΡΠ°Π·ΡΠ². ΠΡΠΎΠΏΠΎΠ·ΠΈΡΡΠΉΠ½Ρ ΡΠΎΡΠΌΡΠ»ΠΈ ΠΌΠΎΠΆΡΡΡ ΠΌΡΡΡΠΈΡΠΈ Π·Π°Π΄Π°Π½Ρ ΠΊΡΠ»ΡΠΊΡΡΡΡ Π·ΠΌΡΠ½Π½ΠΈΡ
, Π° Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ½Ρ Π²ΠΈΡΠ°Π·ΠΈ β Π·ΠΌΡΠ½Π½ΠΈΡ
ΡΠ° ΠΊΠΎΠ½ΡΡΠ°Π½Ρ. ΠΠ°ΠΏΡΠΎΠΏΠΎΠ½ΠΎΠ²Π°Π½ΠΎ ΡΠ°ΠΊΠΎΠΆ ΡΠ½Π³ΡΠ±ΡΡΠΎΡΠ½Ρ ΠΌΠ΅ΡΠ΅ΠΆΡ ΠΠ΅ΡΡΡ Π΄Π»Ρ Π²ΠΊΠ°Π·Π°Π½ΠΈΡ
ΠΌΠΎΠ², ΡΠΊΡ Π΄ΠΎΠ·Π²ΠΎΠ»ΡΡΡΡ ΡΠΎΡΠΌΡΠ²Π°ΡΠΈ Π΄ΡΠΉΡΠ½Ρ ΡΠΈΡΠ»Π° Ρ Π΄Π²ΡΠΉΠΊΠΎΠ²ΠΎΠΌΡ Π·Π°ΠΏΠΈΡΡ Π· ΡΡΠΊΡΠΎΠ²Π°Π½ΠΎΡ ΡΠΎΡΠΊΠΎΡ Ρ Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ½ΠΈΡ
Π²ΠΈΡΠ°Π·Π°Ρ
. ΠΠ΅ΡΠΎΠ΄ ΠΏΠΎΠ±ΡΠ΄ΠΎΠ²ΠΈ ΠΌΠ΅ΡΠ΅ΠΆ Π΄ΠΎΠ·Π²ΠΎΠ»ΡΡ Π²ΠΈΠΊΠΎΡΠΈΡΡΠΎΠ²ΡΠ²Π°ΡΠΈ Π΄ΠΎΠ²ΡΠ»ΡΠ½Ρ ΡΡΠ½ΠΊΡΡΡ Π·Π°Π΄Π°Π½ΠΎΡ Π°ΡΠ½ΠΎΡΡΡ. ΠΠ°ΠΏΡΠΎΠΏΠΎΠ½ΠΎΠ²Π°Π½ΠΎ ΠΊΠΎΠ»ΡΠΎΡΠΎΠ²Ρ ΠΌΠ΅ΡΠ΅ΠΆΡ ΠΠ΅ΡΡΡ Π΄Π»Ρ ΠΎΠ±ΡΠΈΡΠ»Π΅Π½Π½Ρ ΠΏΡΠΎΠΏΠΎΠ·ΠΈΡΡΠΉΠ½ΠΈΡ
ΡΠΎΡΠΌΡΠ» Π² ΠΎΠ±Π΅ΡΠ½Π΅Π½ΠΎΠΌΡ ΠΏΠΎΠ»ΡΡΡΠΊΠΎΠΌΡ Π·Π°ΠΏΠΈΡΡ. ΠΠ΅ΡΠΎΠ΄ ΠΏΠΎΠ±ΡΠ΄ΠΎΠ²ΠΈ ΠΌΠ΅ΡΠ΅ΠΆΡ Π΄ΠΎΠ·Π²ΠΎΠ»ΡΡ Π·Π°ΡΡΠΎΡΠΎΠ²ΡΠ²Π°ΡΠΈ Π΄ΠΎΠ²ΡΠ»ΡΠ½Ρ ΡΡΠ½ΠΊΡΡΡ Π·Π°Π΄Π°Π½ΠΎΡ Π°ΡΠ½ΠΎΡΡΡ Π· Π²ΠΈΠΊΠΎΡΠΈΡΡΠ°Π½Π½ΡΠΌ ΡΠ°Π±Π»ΠΈΡΡ ΠΏΡΠ°Π²Π΄ΠΈΠ²ΠΎΡΡΡ Π²ΡΠ΄ΠΏΠΎΠ²ΡΠ΄Π½ΠΎΡ ΡΡΠ½ΠΊΡΡΡ.We propose Petri nets that produce languages of Polish notation and reverse Polish notation for propositional formulas and mathematical expressions. Propositional formulas can contain a given number of variables and mathematical expressions. Arithmetic expressions can contain a given number of variables and constants. We also propose inhibitor nets that produce the fixed-point binary numbers in mathematical expressions for above-mentioned languages. The technique of the nets construction allows to use arbitrary functions with a given arity. We also propose a coloured Petri net for calculating values of propositional formulas in reverse Polish notation. The technique of the net construction allows to use arbitrary functions with a given arity using a truth table of a corresponding function
Interim research assessment 2003-2005 - Computer Science
This report primarily serves as a source of information for the 2007 Interim Research Assessment Committee for Computer Science at the three technical universities in the Netherlands. The report also provides information for others interested in our research activities