Skrzyński, Paweł
Loading...
Email Address
Employee
aktywny
Alternative name
Discipline
informatyka techniczna i telekomunikacja
Author Profiles
Systemy AGH
11 results
Filters
Advanced Search
Filter by
Settings
Search Results
Now showing 1 - 10 of 11
Item type:Article, Access status: Open Access , Próba wyjaśnienia paradygmatu »niewidzialnej ręki rynku Adama Smitha« w oparciu o model obliczeniowy kolektywnej inteligencji(Wydawnictwa AGH, 2008) Szuba, Tadeusz; Skrzyński, PawełW ujęciu współczesnym »niewidzialna ręka rynku« to metaproces, którego rezultaty osiągane są w sposób zdecentralizowany, bez jawnych uzgodnień pomiędzy jego uczestnikami. Ponadto proces ten jest niezamierzony, a cele do jakich dążą pojedynczy uczestnicy rynku, nie są ani bezpośrednio zsynchronizowane, ani identyczne z wynikami tego procesu - wynik ten jest osiągany niejako »przy okazji«. Niemniej proces taki silnie oddziałuje na rynek w sensie regulacyjnym. Uczestniczący w nim agenci mogą być tego nieświadomi - dlatego proces taki nazywany jest »niewidzialnym«. Proces taki jest widoczny, gdy rynek analizowany jest z wyższego poziomu. To zjawisko ekonomiczne zadziwiająco pasuje do modelu obliczeniowego kolektywnej inteligencji. Autorzy przedstawiają koncepcję systemu symulacyjnego, który w zamierzeniu ma pozwolić na takie zamodelowanie rynku, aby taki proces zaczął zachodzić i tym samym umożliwić autorom analizę jakościową i ilościową fenomenu »niewidzialnej ręki rynku Adama Smitha« (NRRAS).Item type:Article, Access status: Open Access , Weryfikacja procesów biznesowych metodą tablic semantycznych(Wydawnictwa AGH, 2010) Klimek, Radosław; Skrzyński, Paweł; Turek, MichałThis paper describes the results of work on stabilizing the methodology for formal correctness verification of processes recorded in a process model with BPMN notation. The main path of a solution is to carry out the conversion of BPMN model to set of specially designed logic formulas. Afterwards - to formal verify the correctness of formulas using the calculation provided by the authors. A semantic table method has been applied in the verification process. The approach could provide interesting alternative to the traditional approach, allowing relatively easy errors identification in the specification process.Item type:Article, Access status: Open Access , Weryfikacja aktywności systemów modelowanych na bazie architektury SOA - prowadzona w oparciu o wymagania zadane diagramami przypadków użycia(Wydawnictwa AGH, 2010) Klimek, Radosław; Skrzyński, Paweł; Turek, MichałThe article discusses the issue of f formal requirements verification for so-called 'business systems' - expressed through an UML Use-Case model and Use-Case scenarios. A methodology for transformation of UML Use-Case diagrams to Activity diagrams has been described. To specify advanced system requirements a temporal logic notation was used. These requirements (encoded in such way) could be verified with a deductive inference based on semantic tables. The methods for obtaining temporal logic formulas directly from Use-Case scenarios stored in the UML Activity diagrams have also been introduced.Item type:Article, Access status: Open Access , Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML(Wydawnictwa AGH, 2010) Klimek, Radosław; Skrzyński, Paweł; Turek, MichałThe article describes the results of up study on business processes modeling with semi-formal and formal methods. A new method for transformations of activity diagrams to set of formulas has been proposed in a previous work. That enables designer tools to automatically evaluate process models correctness. It could also be possible to dynamically modify process flow structure in an interactive way - with a 'on the run' validation. To achieve that point a new language has been developed and described in this article. Solution assumes an expansion for a business processes language, referred to the acronym BPQL (Business Process Query Language). This language syntax is very basic, and can oly be used for variables definition and processing (inside a basic process symbols). lt is not possible to use BPQL formulas for interactive modification of an existing process structure or a control flow between processes. Proposed high-level extension for BPQL will allow these modifications to be made - also in a scripting or an interactive mode. The main goal for a solution development is to reduce a set of language statements - only to those possible for interactive processing. Each statement should also have a proper processing algorithm established. Each query, defined with an analogy to a typical Structured Query Language component is executed and must leave a BPMN process model intact - with validation constraints fulfilled. BPMN diagram is possible to express through a set of temporal logic formulas for validation purposes. Any execution of BPSQL query will result in a modification of these formulas. The procedure for validating the modifications to the formula remains unchanged, thus enabling the validation methods achieved as a result of earlier work. A scripting language, composed from SQL and BPSQL statements will enable quick and concurrent data structure and process behavior modeling and for future system - with a common interpreter and very similar validation system. Proposed approach will open a way to design tools enabling interactive modeling of business processes with simultaneous validation of the processes correetness. Implemented control procedures will be similar to referential database integrity checking applied by Database Management Systems while processing classical SQL data definition queries.Item type:Article, Access status: Open Access , Towards an ontology approach to ATAM based assessment of service oriented architectures(Wydawnictwa AGH, 2012) Szwed, Piotr; Rogus, Grzegorz; Skrzyński, Paweł; Turek, Michał; Werewka, JanW pracy opisano ontologię SOAROAD opracowaną, jako wsparcie dla oceny architektur oprogramowania wykorzystującego technologie związane z SOA. Głównym jej celem jest zdefiniowanie pojęć pozwalających na udokumentowanie decyzji projektowych w architekturach zorientowanych na usługi, jednakże jest ona skonstruowana w ten sposób, by umożliwić przyszłe wnioskowanie. Tworząc ontologię skupiono się na wymaganiach metody ATAM, ponieważ została ona wybrana jako referencyjna metoda oceny architektur.Item type:Article, Access status: Open Access , Generowanie kodu oraz wykonywalnych aplikacji z modelu w UML 2.0(Wydawnictwa AGH, 2005) Skrzyński, Paweł; Turek, MichałUML - Unified Modelling Language was first standardized in 1997. Since that it has been becoming more popular and was rapidly accepted as the standard modelling language for specifying software and system architectures. At the beginning usage of UML was limited to earlier phases of system development. This was caused by insufficient language mechanism in first version of UML. On the other hand CASE tools did not took full advantage of UML potential - code generation was limited only to static structure of classes. Hence there have always been irrelevance between system design and its implementation. New version of UML and modern CASE tool such as Telelogic Tau G2 enable to address the problem. Not only is rich code generation (which can be completed by programmers) possible but even developing executable applications with UML. Furthermore there is possibility of verifying model in design not implementation phase which let us reduce overall project costs. In this article we present the transformation from UML model, through code in objected oriented language to executable application. CASE Tool used is Telelogic Tau G2 so does UML dialect.Item type:Article, Access status: Open Access , Predykcja stóp procentowych na pieniężnym rynku międzybankowym oraz rynku kredytowym z wykorzystaniem sieci neuronowych(Wydawnictwa AGH, 2005) Skrzyński, PawełInterbank interest rates are strongly connected with Polish National Bank (NBP) percentage rates and credit rates of commercial banks. These rates are determined both by monetary policy of NBP and money market. This knowledge can be useful to banks, companies and households in decision making process about allocation. In this article we describe neural networks approach to WIBOR rate (Warsaw Interbank Offered Rate) prediction and credit rate prediction. Different learning methods are used: combined back propagation with gradient descent method and evolutionary strategy. In both cases we use four data point from time series (WIBOR or credit rate): <i>t</i>-6, <i>t</i>-3, <i>t</i>-1, <i>t</i> and predict value of a point that occurs later in the series: <i>t</i>+1. Later prediction process will be stimulated by expand a neural-net input band. This extension will concentrate other economical factors, which are strongly correlated to these rates hence exerting an economical influence on predicting values. Such approach is expected to significantly improve results, which will be proved and discussed in the article. Results improvement in this method mostly depends of input economical factor selection, taken from an external economical factor-dependence analysis. Results achieved will be compared and discussed.Item type:Article, Access status: Open Access , Using quad tree as data storage for a terrain representation and a core for a path finding algorithm(Wydawnictwa AGH, 2011) Waresiak, Bartosz; Skrzyński, PawełW artykule zaprezentowana została koncepcja wykorzystania pojedynczego drzewa czwórkowego do reprezentacji terenu oraz poszukiwania optymalnej ścieżki. Zaprezentowane zostało drzewo stworzone dla przykładowego świata, który składa się z wyspy otoczonej wodą, przy czym poruszanie się jest możliwe tylko po wodzie. Ponadto przedyskutowano możliwości zastosowania tego typu struktury do implementacji Level of Detail podczas renderowania kształtów 3D. Poza prezentacją wykorzystywanych w implementacji struktur oraz algorytmów przedstawione są wstępne wyniki oraz zarysowano dalsze kierunki badań.Item type:Article, Access status: Open Access , Computational model of collective intelligence for meta-level analysis and prediction of free or quasi-free market economy(2012) Szuba, Tadeusz; Szydło, Stanisław; Skrzyński, PawełThis paper encourages the use of a computational model of Collective Intelligence as a major (meta-level) tool to analyze and predict behavior of socio-economical systems like free (or quasi-free) markets are. Researchers are aware, that economics is a study of human behavior, but lack of a proper formal tool has shifted research in economics into the language of money, production, consumption, etc. From an economic point of view, when analyzing free (quasi-free) markets, more important is group behavior than individual behavior because they result in changes of market indexes. Group behavior leads in specific cases to the emergence of »group intelligence« with the most famous case named »A. Smith invisible hand of market«. A computational model of Collective Intelligence allows for the formal extraction of the »system of inference processes« which run in an unconscious way in socio-economic structures. The construction of a proper formal and simulation model of such Collective Intelligence inferences allows us to take an attempt to predict outcomes in terms of economical results. The paper will present a formal basis, methodology of constructing Collective Intelligence systems for given socio-economic structures.Item type:Article, Access status: Open Access , Koncepcja i realizacja molekularnego modelu obliczeń w analizie paradygmatu niewidzialnej ręki rynku Adama Smitha(Wydawnictwa AGH, 2009) Skrzyński, Paweł; Szuba, TadeuszInvisible hand process which is widely believed to be present in free market is perceived as the process in which the outcome to be explained is produced in a decentralized way, with no explicit agreements between the acting agents. The second essential property is that the process is not intentional, however it' impact on the market is very strong. Such process might be described using collective intelligence computational model [2]. The paper describes the concept of market simulator which derives from microeconomic theory of utility and is based on collective intelligence computational model and the transformation of such model into a molecular model in which information is carried by information molecules among which reasoning processes might occur which lead to creation of new molecules carrying conclusions of such processes. Research made in this area proved [4] that such model is efficient and moreover has natural computation parallelism. Usage of such model might add extra value to the analysis of the nature of economic processes including invisible hand process. Initial experiments made by authors were aimed in investigation relation between real sphere and financial sphere in economic system - it is widely known that one of the main roles of the financial sphere is stimulation production in real sphere.