Search results for " Verification"

Smart Technologies for Improved Software Maintenance

2015

Steadily increasing complexity of software systems makes them difficult to configure and use without special IT knowledge. One of the solutions is to improve software systems making them “smarter”, i.e. to supplement software systems with features of self-management, at least partially. This paper describes several software components known as smart technologies, which facilitate software use and maintenance. As to date smart technologies incorporate version updating, execution environment testing, self-testing, runtime verification and business process execution. The proposed approach has been successfully applied in several software projects.

Normal pressures and frictional tractions on shallow conical hopper walls after concentric filling: Predictions and experiments

2013

Author's version of an article in the journal: Chemical Engineering Science. Also available from the publisher at: http://dx.doi.org/10.1016/j.ces.2012.11.028 A silo with a shallow hopper is designed to achieve the required silo capacity when the headroom available is limited, provided that the issue of segregation of stored particulate solids is not a problem. Several analytical models have been proposed to try to predict the design loads for such shallow silo hoppers to guarantee their structural integrity. In this study, a novel finite element analysis has been conducted to explore the development of pressures and tractions on the wall of a full scale shallow hopper when it is filled wit…

Epistemic and didactic values of the demonstrative process in different cultures: a case study in Geometry with Chinese and Italian students

2011

Kodolieroču neizplatīšanas uzraudzības un pārbaudes mehānismi: Irānas (2002 – 2015) gadījuma analīze

2020

Maģistra darbs “Kodolieroču neizplatīšanas uzraudzības un pārbaudes mehānismi: Irānas (2002 – 2015) gadījuma analīze” analizē Irānas kodolprogrammas uzraudzību laika posmā no 2002. līdz 2015. gadam. Pētījuma mērķis ir noskaidrot, kāpēc Irānas kodolprogrammas statuss tiek regulāri apšaubīts. Darba teorētisko ietvaru veido kodolieroču neizplatīšanas režīma galveno komponentu analīze. Šī gadījuma analīzē tiek izmantotas kvalitatīvās pētniecības metodes – oficiālo ziņojumu, dokumentu un līgumu kontentanalīze, kā arī tiek veikta akadēmisko pētījumu izpēte. Pētījuma rezultātā tiek izdarīti secinājumi, kā iesaistītās puses kodolieroču neizplatīšanas uzraudzības un pārbaudes ietvaros reaģē uz tām s…

A task scheduling algorithm for HPC applications using colored stochastic Petri Net models

2017

The increase in demand for High Performance Computing (HPC) scientific applications motivates the efforts to reduce costs of running these applications. The problem to solve is that of dynamical multi-criterial optimal scheduling of an application on a HPC platform with a high number of heterogeneous nodes. The solution proposed by the authors is a HPC hardware-software architecture that includes the infrastructure for two level (node and inter-node level) adaptive load balancing. The article presents the development of an Coloured Petri Net(CPN) for such an architecture. The model was used for the development of a dynamic distributed algorithm for the scheduling problem. The CPN allowed a …

A Magnetostrictive Electric Power Generator for energy harvesting from traffic: Design and experimental verification

2015

In the last decades, the growth in energy demand, the decrease of fossil fuels available in the market and the impact of anthropogenic factors on climate change has given new impulse to research on renewable energy systems, particularly those known as energy harvesting devices (EHDs) [1]. A large number of EHDs have been proposed, using different operating principle [1-4]. Among them, piezoelectric and magnetostrictive seem to be particularly suitable for the application in EHD. In these materials the application of external mechanical stress induces a change in the level of magnetization and therefore an electromotive force (emf) can be generated and collected in order to produce electrica…

An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems

2009

There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effective- ness. Their intended users thus do not know what to ex- pect from PEMS and how to evaluate them. This paper creates an information system design product theory for the class of PEMS that prescribes the meta-requirements, the meta-design, and applicable theories for all products within the class. Meta-requirements and the meta-design are derived from the project estimation and measurement literature, experiences obtained during more than ten years of empirical work in Finnish Software Measurement Association, and a commercially available PEMS.

Sequentializing Parameterized Programs

2012

We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…

Objawienia prywatne. Ich rola w życiu Kościoła i proces teologicznej weryfikacji

2018

Objawienia prywatne czy wizje nadprzyrodzone obecne są w życiu Kościoła od zarania. Zazwyczaj wiązały się z życiem mistycznym świętych ludzi i stanowiły poniekąd „uchylenie nieba” na ziemi. Szczególne miejsce wśród wszystkich objawień prywatnych mają tzw. mariofanie czyli objawienia Najświętszej Maryi Panny. Ten fenomen zintensyfikował się w ostatnich dwóch stuleciach, co zdaniem niektórych badaczy może być znakiem czasów ostatecznych. W tych wydarzeniach rewelatywnych Maryja przychodzi na ziemię z przesłaniem miłości i pokoju, których coraz bardziej brakuje w najnowszej historii. Najnowsza historia Kościoła zna objawienia uznane za autentyczne (Fatima, La Salette, Guadelupe), takie, któryc…

MR-guided focused ultrasound application for moving target tumor ablation in abdominal area: Coil selection

2020

PubMed: 32276552