Ing. Josef Pavlíček, Ph.D.

Stať ve sborníku

10.1007/978-3-031-17728-6_2

Katedra softwarového inženýrství

Any clouding of the lens of the eye causing distortion of its transparency and scattering of transmitted light is called a cataract. The solution to this pathological condition affecting the quality of life is phacoemulsification of the cloudy contents of the human lens and its replacement with an artificial intraocular lens (IOL). The surgeon has the opportunity to influence the refractive state of the eye for optimal postoperative visual acuity by choosing an appropriate IOL. In addition, a certain group of patients has an ametropia called corneal astigmatism, which needs to be corrected with a so-called toric IOL, in which the key criterion for the success of the correction is its angular position in the capsular bag. Deviation from the intended angular position of the implanted lens can lead to refractive surprise, i.e. the patient's postoperative visual acuity does not reach 100% of its own potential. In clinical practice, however, there is no conventional technique or tool for retrospectively determining the postoperative angular position to the required 1° accuracy. Thus, the intent of this paper was to create a custom design for automating IOL detection using postoperative patient images from the Verion reference unit and a specific lens model, the SN6ATx. The problem addressed is the automation of finding the optical part of the intraocular artificial lens using machine vision technologies based on convolutional operations on the image. The study presents the actual approach and methodology of the self-developed solution.

Stať ve sborníku

10.1007/978-3-030-79022-6_2

Katedra softwarového inženýrství

The outbreak of the global coronavirus pandemic worsened the conditions for teaching, and it was necessary to teach students to use technologies and tools of remote communication, such as Skype, Google meets or today’s most popular software from Microsoft - MS Teams. Since we primarily teach agile project management using practical methods, specifically games, it was necessary to invent and design a game that can be played through remote communication channels, not only in classes with students’ physical presence. The game was designed in ADLM software, which stands for Application Life-cycle Management, called JunoOne. Through this tool, the course of the entire project (agile game) will be recorded in the game, and students will be able to try not only the style of agile project management in the Scrum framework but also in the real tool used in practice. This paper’s main goal is to present the created agile game in a real tool and the concept of how to play the game remotely. Unfortunately, the game as such has not yet been played due to the bad pandemic situation.

Stať ve sborníku

Katedra softwarového inženýrství

A certain group of patients diagnosed with cataracts has corneal astigmatism and its compensation is a prerequisite for optimal postoperative visual acuity. Using modern calculation formulas and a virtual image-guided system, the surgeon is able to compensate this ametropia by implanting a toric intraocular lens (TIOL) into the correction axis. In addition to the angular position, the resulting visual acuity of the patient is affected by the tilt, centering and axial displacement of the implanted lens. The aim of this work is to develop a methodology for objective evaluation of critical factors influencing intraocular correction of astigmatism, such as axis alignment, centration, tilt and axial position. The solution consists in creating a methodology for preoperative diagnostics and calculation of toric lens parameters, virtual navigation of implantation, postoperative evaluation of visual functions and creation of software for analysis of postoperative lens position. The current state of solving a wide range of dissertation thesis issues, including the proposal of design of a 3D model of the eye, will be presented.

Stať ve sborníku

10.1007/978-3-030-79022-6_9

Katedra softwarového inženýrství

This paper deals with the main criteria which affect the usability of business process modeling standards. This is achieved through a comparison between two of the main processes modeling standards – BPMN and BORM in the form of a usability study. Paper presents the adequate methods used to compare the usability that builds upon the ISO/IEC 25066 for usability reporting. The study is based in a suitable laboratory environment and proposes the case study model which could be then extended and generalized. The results from the two case studies performed show significant differences between the BPMN and BORM.

Stať ve sborníku vyzvaná či oceněná

10.1007/978-3-030-35646-0_13

Katedra softwarového inženýrství

This paper deals with the comparison of BPMN and DEMO process modelling tools in the form of Usability study. The authors present the methods used to compare, define the appropriate equipment of the laboratory and propose the CASE study model. The results from the two CASE studies performed are critical and define the conclusion. The result is a recommendation when it is advisable to use BPMN and when DEMO. Another result is the proposed method of verification of process modelling tools.

Stať ve sborníku

10.1007/978-3-030-35646-0_11

Katedra softwarového inženýrství

Business process modeling is undoubtedly one of the most important parts of Applied (Business) Informatics. Quality of business process models (diagrams) is crucial for any purpose in this area. The goal of a process analyst’s work is to create generally understandable, explicit, unambiguous and error-free models. If a process is properly described, created models can be used as an input into deep analysis and optimization. Optimization is mostly focused on a higher efficiency of the process or at least on a better clarification of its meaning and working. Objective: It can be assumed that properly designed business process models (similarly as in the case of correctly written algorithms) contain characteristics that can be mathematically described. If it is possible to find measurable attributes of business process model’s quality, it will be possible to define a different quality maturity levels of business process modeling results. Furthermore, it will be possible creating a tool helping process analysts designing proper models. Method: A systematic literature review was conducted in order to find and analyze business process model’s design and business process model’s quality measuring methods. Results: It was found that mentioned area had already been subject of research investigation in the past. Thirty-three suitable scientific publications and twenty-two quality measures were found. Conclusions: Analyzed articles and existing quality measures do not reflect all important attributes of business process model’s clarity, simplicity and completeness. Therefore it would be appropriate adding new measures of quality.

Stať ve sborníku vyzvaná či oceněná

10.1007/978-3-030-00787-4_12

Katedra softwarového inženýrství

This invited workshop Methods for evaluating the quality of process modelling tools was a part of EOMAS 2018. Workshop dealt with the comparison of BPMN and BORM process modelling tools in the form of Usability study. We practically presented the methods used to compare, defined the appropriate equipment of the laboratory and proposed the CASE study model. We hired participants (from the audience) and we used Tobii Glasses for eyes tracking and recording the participants focus. This technology has been used by authors in previous years to find a measure of quality of process models, and this year has been demonstrated and applied on BPMN and DEMO models.

Stať ve sborníku

Katedra softwarového inženýrství

Popis, dokumentace, vyhodnocování a zlepšování procesů by měla být nezbytnou součástí strategického řízení každé organizace. Díky dynamicky se měnícímu prostředí, musí organizace neustále adaptovat procesy na změny trhu. Aby to však bylo efektivně možné, procesy by měly být popsány a dokumentovány. Např. prostřednictvím procesních modelů, vykazujících vlastnosti kvality (tj. stručnost, jasnost, přesnost a jeho grafická kvalita). Kontrola kvality procesních modelů může být podpořena nástroji založených na matematickém vyjádření jejich kvalitativních charakteristik. Právě takový nástroj se autorský kolektiv snaží navrhnout. Cílem tohoto článku je sumarizovat a popsat aktuální stav výzkumu autorského kolektivu v této oblasti.

Článek

10.18267/j.aip.57

Procesní analýza a modelování byznys procesů je jedna z významných částí aplikované (byznys) informatiky. Kvalita byznys procesů (diagramů) je v této oblasti velmi důležitá. Cílem každého procesního analytika by měla být tvorba srozumitelných, jednoznačných a bezchybných procesních diagramů. Pokud je proces řádně popsán, lze jej využít jako vstup pro detailnější analýzu a optimalizaci. Lze předpokládat, že řádně vytvořený a popsaný diagram byznys procesu (obdobně jako řádně napsaný algoritmus) bude obsahovat charakteristiky, které lze matematicky popsat. Kromě toho by bylo možné vytvořit nástroj, který by pomohl procesním analytikům vytvářet vhodné procesní diagramy. V rámci tohoto přehledového článku bude realizována rešerše dostupné literatury, jejíž cílem je nalezení a následné provedení analýzy míry návrhu a kvality byznys procesů. Rešerší bylo nalezeno, že zmíněná oblast již byla předmětem výzkumu. Bylo nalezeno třicet tři vědeckých publikací a dvacet dva měr kvality. Závěrem lze říci, že nalezené vědecké publikace a míry kvality nereflektují všechny důležité atributy jasnosti, jednoduchosti a úplnosti modelů byznys procesů. Z toho důvodu by bylo vhodné obohatit existující míry kvality diagramů byznys procesů.

Stať ve sborníku

10.1109/IGBSG.2014.6835278

Katedra softwarového inženýrství

Abstract—the navigation within the building is possible to display using the oriented graph. To find shortest way in the graph is possible to solve in the different mode. Our question is Is possible to predict the shortest way by artificial Intelligence, primarily by Perceptron neural network with one secret layer. During the test project was used algorithm Dijkstra [1] and was developed tool for automatic way generation. Its name space is cz.cvut.fel.BHHETool [2] and is possible freely disseminate in according to GNU license. The tool allows generating the shortest way by input vector for neural network. The neural network is modeled by the tool Neuroph [3]. This article deals with the process and practical verification the possible prediction and to measure the deviation from the algorithm tools.

Stať ve sborníku

10.1109/IGBSG.2014.6835275

Katedra softwarového inženýrství

Business process modeling for understanding and increasing company effectivity is common today. BPM (Business Process Models) allow to describe company business processes, better understand and influence them. These tasks are done for increasing company business. Very often is ability to understand business, to open new opportunities, to make business or to design process to be fluent and understandably for customers. To understand process and to be able to make it fluent opens opportunity to use BPM for modeling the emergency escape models for buildings etc. The escape emergency methodology powered by BPM we are calling B.H.H.E Methodology.