Browsing by Subject "process modeling"

Now showing 1 - 3 of 3

Access status: Restricted ,
Analiza koncepcji bloku energetycznego o mocy 460 MW wyposażonego w instalację CCS
(Data obrony: 2015-07-20) Wal, Kamil
Wydział Energetyki i Paliw
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.
Access status: Open Access ,
Smart ore tracking system using soft sensor technology
(2012) Pan, Xiaowei
Zależność pomiędzy mineralogią rudy a przeróbką jest bardzo dobrze znana w przemyśle górniczym. W rzeczywistości, definicja złoża mineralnego jako rudy zależy od jego podatności na procesy przeróbcze z punktu widzenia ekonomii. Przy zastosowaniu systemu śledzenia rudy informacja o każdym bloku rudy jest uzyskiwana podczas procesu wydobycia i obróbki górniczej. Może być ona zastosowana jako dane wejściowe do operacji przeróbki surowców mineralnych. Pozwoli to na optymalizację w czasie rzeczywistym i kontrolę procesów przeróbczych. Inteligentny system śledzenia rudy można uzyskać za pomocą techniki sensorowej. System ten korzysta z informacji w czasie rzeczywistym dostępnych zarówno w SCADA jak i bazie danych kopalni. Przy zastosowaniu danych geologicznych i informacji na temat ilości przerabianej rudy system oblicza i przewiduje informacje nt. rudy, tj. procent mieszania rudy, stopień rozdrobnienia, twardość, czy gęstość. Informacje te mogą stanowić bazę dla każdego procesu przeróbczego w kopalni, wliczając pierwsze kruszenie, pierwsze składowanie, pierwsze sortowanie, drugie kruszenie, drugie sortowanie, powtórne kruszenie, rozdział w cieczach ciężkich itp. System śledzenia rudy, wynaleziony pierwotnie dla kopalni diamentów może zostać zastosowany w innych kopalniach, tj. kopalnia żelaza, węgla, chromu, manganu itp.