Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Issue Date
2020
Volume
Vol. 21
Number
No. 3
Description
Reviewed by: Omer Faruk Alis, Janusz Szczepanski, Piotr Dziurzanski, Roman Debski, Mojtaba Sabbagh-Jafari, Piotr Szwed, Dariusz Barbucha, Michal Wrzeszcz, Steven Chien
Journal Volume
Computer Science
Vol. 21 (2020)
Projects
Pages
Articles
Exploring impact of Requirements Engineering on other it project areas - case study
(Wydawnictwa AGH, 2020) Jarzębowicz, Aleksander; Poniatowska, Katarzyna
Requirements Engineering (RE) is recognized as one of the most important (yet difficult) areas of software engineering that has a significant impact on other areas of IT projects and their final outcomes. Empirical studies investigating this impact are hard to conduct, mainly due to the great effort required. It is thus difficult for both researchers and industry practitioners to make evidence-based evaluations about how decisions about RE practices translate into requirement quality and influence other project areas. We propose an idea of a lightweight approach utilizing widely-used tools to enable such an evaluation without extensive effort. This is illustrated with a pilot study where the data from six industrial projects from a single organization were analyzed and three metrics regarding the requirement quality, rework effort, and testing were used to demonstrate the impact of different RE techniques. We also discuss the factors that are important for enabling the broader adoption of the proposed approach.
Knowledge graphs effectiveness in Neural Machine Translation improvement
(Wydawnictwa AGH, 2020) Ahmadnia, Benyamin; Dorr, Bonnie J.; Kordjamshidi, Parisa
Maintaining semantic relations between words during the translation process yields more accurate target-language output from Neural Machine Translation (NMT). Although difficult to achieve from training data alone, it is possible to leverage Knowledge Graphs (KGs) to retain source-language semantic relations in the corresponding target-language translation. The core idea is to use KG entity relations as embedding constraints to improve the mapping from source to target. This paper describes two embedding constraints, both of which employ Entity Linking (EL) - assigning a unique identity to entities - to associate words in training sentences with those in the KG: (1) a monolingual embedding constraint that supports an enhanced semantic representation of the source words through access to relations between entities in a KG, and (2) a bilingual embedding constraint that forces entity relations in the source-language to be carried over to the corresponding entities in the target-language translation. The method is evaluated for English-Spanish translation exploiting Freebase as a source of knowledge. Our experimental results demonstrate that exploiting KG information not only decreases the number of unknown words in the translation but also improves translation quality.
Desynchronization of simulation and optimization algorithms in HPC environment
(Wydawnictwa AGH, 2020) Starzec, Mateusz; Starzec, Grażyna; Paciorek, Mateusz
The need for the scalability of an algorithm is essential when one wants to utilize an HPC infrastructure in an efficient and reasonable way. In such infrastructures, synchronization affects the efficiency of the parallel algorithms. However, one can consider introducing certain means of desynchronization in order to increase the scalability. Allowing certain messages to be omitted or delayed can be easily accepted in the case of metaheuristics. Furthermore, some simulations can also follow this pattern and thereby handle bigger environments. The paper presents a short survey on the desynchronization idea, pointing out already obtained results, or sketching out future work focused on scaling the parallel and distributed computing or simulation algorithms.
Linear computational cost implicit solver for parabolic problems
(Wydawnictwa AGH, 2020) Gurgul, Grzegorz; Łoś, Marcin Mateusz; Paszyński, Maciej; Calo, Victor
In this paper, we use the alternating direction method for isogeometric finite elements to simulate transient problems. Namely, we focus on a parabolic problem and use B-spline basis functions in space and an implicit time-marching method to fully discretize the problem. We introduce intermediate time-steps and separate our differential operator into a summation of the blocks that act along a particular coordinate axis in the intermediate time-steps. We show that the resulting stiffness matrix can be represented as a multiplication of two (in 2D) or three (in 3D) multi-diagonal matrices, each one with B-spline basis functions along the particular axis of the spatial system of coordinates. As a result of these algebraic transformations, we get a system of linear equations that can be factorized in a linear O(N) computational cost at every time-step of the implicit method. We use our method to simulate the heat transfer problem. We demonstrate theoretically and verify numerically that our implicit method is unconditionally stable for heat transfer problems (i.e., parabolic). We conclude our presentation with a discussion on the limitations of the method.
Multi-criteria simulation model for determining dengue outbreaks
(Wydawnictwa AGH, 2020) Jakubowski, Piotr; Erandi, Hasitha; Mahasinghe, Anuradha; Perera, Sanjeewa; Ameljańczyk, Andrzej
In this study, we develop a multi-criteria model to identify dengue outbreak periods. To validate the model, we performed a simulation using dengue transmission-related data in Sri Lanka’s Western Province. Our results indicated that the developed model can be used to predict a dengue outbreak situation in a given region up to one month in advance.