Comparing Natural and Strong Typing Behavior for Keystroke Dynamics Multimodal Database Collection: Poster

In paper

A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems

Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets dialects: Generalized Petri nets, Time-basic nets, Evaluative and Coloured Petri nets. The tool allows to design and simulate a system using any of the supported PN dialects and to perform an invariants-based analysis and reachability analysis for Generalized PN. Each Generalized and Evaluative PN can be also loaded from and saved in a standard interchange format called PNML. The tool is implemented in Java as a part of the mFDT Environment (mFDTE). The mFDTE is a toolset for the formal design and analysis of concurrent discrete and time-critical systems, developed at the home institution of the authors. It integrates three formal methods with complementary features: Petri nets, process algebra and B-Method. This paper also describes interfaces, which connect the PNtool with other parts of mFDTE. The work presented is supported by the grants No. 1/3140/06 and No. 1/4073/07 of the VEGA- The Scientific Grant Agency of Slovakia and NATO CLG 982698 grant.В статье идёт речь о проґраммном средстве – PNtool, предназначенным для синтеза и анализа параллельных и критических во времени систем, которые описываются с помощью формализма сетей Петри (СП). PNtool предназначен для поддержки четырёх диалоґов СП: обобщённые СП (generalized PN), временно- базисные СП (Time-basic PN), эвалюационные СП (evaluative PN) и раскрашенные СП (Coloured PN). PNtool позволяет конструирование и симуляцию системы с применением любоґо из упомянутых диалектов СП и также проделать анализ системы с целью одержания её инвариантов , и решения проблемы достижимости для системы представленной обобщённой СП.Спецификация систем на языке обобщённых, или эвалюационных СП может быть представлена и сохраняться в формате PNML.PNtool реализован на языке JAVA, как одна из частей проґраммной среды mFDTE (multi FDT Environment). Среда mFDTE предназначена для синтеза и анализа параллельных (concurrent) дискретных систем , включая и временно-критические системы. Проґраммная среда mFDTE создана в університете авторов статьи. В ней интеґрированы три формальных метода, которые обладают взаимно-комплементарными свойствами: СП, процессные алґебры и метод B AMN. В статье описываются интерфейсы связывающие PNtool с остальными частями среды mFDTE. Результаты исследований представленные в статье были достиґнуты при поддержке грантов № 1/3140/06 , № 1/4073/07 VEGA – научного грантового агентства Словакии, и гранта NATO CLG 982698

Reachability Analysis of Time-Critical Systems

Non

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

The Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure from area of synthesis and diagnostics of logic circuits. This system comprises also programs for solution of logic circuit synthesis and diagnostic tasks. These programs can run in automatic, demo, didactic and test mode. The evaluation of student answers in didactic and test mode are saved to database, which allows analyzing by students or questions. Also the universal virtual learning environment architecture based on this program system is introduced.Розглядається використання Інтернету для програмної системи синтезу та діагностики логічних схем, яка може працювати в автоматичному, демонстраційному та дидактичному режимах. Описано універсальну віртуальну архітектуру середовища навчання, засновану на даній системі.Рассматривается использование Интернета для программной системы синтеза и диагностики логических схем, которая может работать в автоматическом, демонстрационном и дидактическом режимах. Описана универсальная виртуальная архитектура среды обучения, основанная на данной системе

Державне управління в ЄС: гармонізація податків на прибуток

In the European communities, the need for tax harmonization has begun to commence since the beginning of integration efforts in the 1960s. The first attitudes to tax harmonization were very ambitious. The plan was not only structural harmonization but also harmonization of tax rates. The paper examines the nature and course of the direct tax harmonization process, describes its advantages and disadvantages as well as the positive and negative effects of tax competition. The paper aims to examine the development and volume of selected income taxes collected in the Member States of the European Union. It tells whether the harmonization of income taxes is still a stagnant process. Cluster analysis deals with looking for similarities of multidimensional objects. Two clustering methods were used – hierarchical agglomeration clustering and non-hierarchical clustering. Cluster analysis aimed to achieve groups of states that would have some homogeneity. Cluster analysis sorted the data into sets with the highest possible similarity within the group and the most significant difference between the groups. Analysis of tax burden and income tax rates confirmed significant differences in these indicators across the EU. On the other hand, cluster analysis revealed similar developments in tax systems in terms of their geographical location in Europe. Cluster analysis can be used to suggest possible steps to co-operate in harmonizing Member State taxes in the future. The authors of this article propose the possibility of harmonizing taxes and cooperating gradually within clusters rather than trying to apply uniform rules in all EU Member States at the same time. The conclusion of the article raises problems in the field of harmonization of direct taxes in the EU. The possibility of preserving autonomy in deciding on tax burden in the country is left to the many Member States because they see that autonomy as a competitive advantage, particularly in the field of investment.У європейських країнах гармонізація системи оподаткування розпочата з появою інтеграційних процесів у 1960-х роках. Основна ідея полягала не лише у структурній гармонізації податків, а й у рівні їх ставок. У статті досліджено характер та хід процесу узгодження прямого податку, виокремлено його переваги та недоліки, а також позитивні та негативні наслідки податкової конкуренції. Метою статті є вивчення специфіки розвитку та аналіз динаміки зміни обсягів податків на прибуток, сплачених в країнах-членах Європейського Союзу. Авторами проаналізовано етапи та ефективність гармонізації систем оподаткування прибутку в країнах Європейського Союзу. Методологічним базисом дослідження виступив кластерний аналіз, що дозволив виявити подібність багатовимірних об'єктів аналізу. У статті використано два методи кластеризації, а саме: кластеризація ієрархічної агломерації та неієрархічна кластеризація. Метою кластерного аналізу було виокремлення груп країн, які мали певну однорідність, сортуючи дані в кластери з найбільшим рівнем подібності у групі та найбільш істотною різницею між групами. Аналіз податкового навантаження та ставок податку на прибуток підтвердив значні відмінності в цих показниках у всіх країнах Європейського Союзу. З іншого боку, кластерний аналіз виявив подібні зміни в податкових системах з точки зору їх географічного розташування в Європі. Авторами запропоновано механізми активізації процесу гармонізації системи оподаткування, а саме: на першому етапі синхронізувати податкові системи у кластерах, а на другому – між кластерами. У статті зазначено, що низка країн-членів Європейського Союзу мають автономію у прийнятті рішення про податковий тягар у країні, оскільки вони бачать цю автономію як конкурентну перевагу, особливо у сфері інвестицій. Це у свою чергу, дестабілізує систему оподаткування в Європейському Союзі