Search results for " Programming"
showing 10 items of 1616 documents
Insights from Operator Interviews
2009
The previous section analysed use of software to improve productivity from a general perspective and provided a quick statistical analysis of software usage to the performance of a CSP. Before conducting elaborated statistical analysis on CSP software usage, we need to gain some insight into operator business and understanding on how operators see the role of software in their business as well as how they acquire software.
Case studies and coupling of processes
2007
This chapter with eight authored sections presents a selection of possible application of microdynamic simulation to address geological questions. The various processes that have been introduced in the previous chapter were used, sometimes with minor additions or modifications. Because processes in rocks never operate in isolation, the reader will see that the various authors in this chapter have combined two or more processes to simulate the microstructural development under investigation. As such the authors have fully taken advantage of the possibility of the Elle software to couple processes.
Towards an Understanding of the Causes of Difficulties in Debugging
2018
Debugging remains one of the areas that have seen little progress since the early days of programming. We argue that the academic approach of observational studies is incapable of capturing the essence of debugging in complex software. Instead, reflections by programmers may provide a better description of the debugging nature and challenges. In this article, we describe a study where we capture the reflections of programmers on thorny bugs that exemplify the major sources of difficulties in debugging. More importantly, we provide suggestions on what could have been done to avoid such thorny bugs from occurring with the same level of difficulties. As a major conclusion, we argue that the be…
Experiences with the integration of protocol software tools
1996
An analysis of a number of protocol software tools that are widely used in the development of communication protocols in the Finnish telecommunications industry is presented. To analyse the integrated use of these tools, a non-trivial application layer protocol with ACSE, ROSE and a simple presentation layer has been designed and implemented with the help of these software tools. Particular attention has been paid to compose a complete protocol implementation from the fragments produced with separate tools. Our observations clearly indicate that this integration is a major problem with the current practices.
Fire risk sub-module assessment under solvency II. Calculating the highest risk exposure
2021
The European Directive 2009/138 of Solvency II requires adopting a new approach based on risk, applying a standard formula as a market proxy in which the risk profile of insurers is fundamental. This study focuses on the fire risk sub-module, framed within the man-made catastrophe risk module, for which the regulations require the calculation of the highest concentration of risks that make up the portfolio of an insurance company within a radius of 200 m. However, the regulations do not indicate a specific methodology. This study proposes a procedure consisting of calculating the cluster with the highest risk and identifying this on a map. The results can be applied immediately by any insur…
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
2MOLCAS as a development platform for quantum chemistry software
2004
This work presents the quantum chemistry package MOLCAS, with emphasis on its usefulness as a platform for developing new quantum chemical codes, and the reader is assumed to be familiar with such a process. The development of new codes for quantum chemistry is a time-consuming job that can be dramatically simplified by using libraries for standard problems (such as calculation of integrals), and tools to surmount computer language and operating system limitations. The MOLCAS quantum chemistry software contains modules for a variety of quantum chemical methods, such as Hartree-Fock (HF), density functional theory (DFT), coupled-cluster (CC), and multiconfigurational (MCSCF) approaches, incl…
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
2011
The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …
Development of the BCI Device Controlling C++ Software, Based on Existing Open Source Projects
2021
The possibility of using the BCI open source code for building BCI controlled device, based on small AVR or ARM microcontrollers was considered. Some techniques to extract code snippets from other BCI projects were presented in the case of OpenViBE as the code donor. Problem with obtaining driver source codes for factory BCI devices has been pointed out.
Bill2d - a software package for classical two-dimensional Hamiltonian systems
2015
Abstract We present Bill2d , a modern and efficient C++ package for classical simulations of two-dimensional Hamiltonian systems. Bill2d can be used for various billiard and diffusion problems with one or more charged particles with interactions, different external potentials, an external magnetic field, periodic and open boundaries, etc. The software package can also calculate many key quantities in complex systems such as Poincare sections, survival probabilities, and diffusion coefficients. While aiming at a large class of applicable systems, the code also strives for ease-of-use, efficiency, and modularity for the implementation of additional features. The package comes along with a use…