Theoretical expressions for ionization cross sections by electron impact based on the binary encounter Bethe (BEB) model, valid from ionization threshold up to relativistic energies, are proposed.The new modified BEB (MBEB) and its relativistic counterpart (MRBEB) expressions are simpler than the BEB (nonrelativistic and relativistic) expressions because they require only one atomic parameter, namely the binding energy of the electrons to be ionized, and use only one scaling term for the ionization of all sub-shells.The new models are used to calculate the K-, L- and M-shell ionization cross sections by electron impact for several atoms with Z from 6 to 83. Comparisons with all, to the best of our knowledge, available experimental data show that this model is as good or better than other models, with less complexity.

We study the most important processes for the creation of excited states in He-like through C- like praseodymium ions from the ions ground configurations, leading to the emission of K X-ray lines. Theoretical values for inner-shell excitation and ionization cross sections, transition probabilities and energies for the deexcitation processes, are calculated in the framework of the multi-configuration Dirac- Fock method, including QED corrections. Using these calculated values, a theoretical Kα X-ray spectrum is obtained, which is compared to recent experimental data obtained in the Livermore Super-EBIT electron beam ion trap facility.

We study the most important processes for the creation of excited states in He-like through C- like praseodymium ions from the ions ground configurations, leading to the emission of K X-ray lines. Theoretical values for inner-shell excitation and ionization cross sections, transition probabilities and energies for the deexcitation processes, are calculated in the framework of the multi-configuration Dirac- Fock method, including QED corrections. Using these calculated values, a theoretical Kα X-ray spectrum is obtained, which is compared to recent experimental data obtained in the Livermore Super-EBIT electron beam ion trap facility.

Theoretical expressions for ionization cross sections by electron impact based on the binary encounter Bethe (BEB) model, valid from ionization threshold up to relativistic energies, are proposed.
The new modified BEB (MBEB) and its relativistic counterpart (MRBEB) expressions are simpler than the BEB (nonrelativistic and relativistic) expressions because they require only one atomic parameter, namely the binding energy of the electrons to be ionized, and use only one scaling term for the ionization of all sub-shells.
The new models are used to calculate the K-, L- and M-shell ionization cross sections by electron impact for several atoms with Z from 6 to 83. Comparisons with all, to the best of our knowledge, available experimental data show that this model is as good or better than other models, with less complexity.

Supply chains (SCs) may experience instability induced by disturbances such as extreme climate conditions or accidents. These events can cause severe negative effects on SCs, jeopardising the on-time delivery of products and services to customers. This paper proposes a mapping framework to improve SC resilience to such events, avoiding possible failure modes. The proposed mapping framework allows identification of the current SC operation and possible transition states, together with points of vulnerability. An illustrative example of the framework applied to a real-life wine SC is presented.

n this paper, we present MDSHEET, a framework for the embedding, evolution and inference of spreadsheet models. This framework offers a model-driven software development mechanism for spreadsheet users.

n/a

Although spreadsheets can be seen as a flexible programming environment, they lack some of the concepts of regular programming languages, such as structured data types. This can lead the user to edit the spreadsheet in a wrong way and perhaps cause corrupt or redundant data. We devised a method for extraction of a relational model from a spreadsheet and the subsequent embedding of the model back into the spreadsheet to create a model-based spreadsheet programming environment. The extraction algorithm is specific for spreadsheets since it considers particularities such as layout and column arrangement. The extracted model is used to generate formulas and visual elements that are then embedded in the spreadsheet helping the user to edit data in a correct way. We present preliminary experimental results from applying our approach to a sample of spreadsheets from the EUSES Spreadsheet Corpus.

Spreadsheets can be viewed as programming languages for non-professional programmers. These so-called ``end-user'' programmers vastly outnumber professional programmers creating millions of new spreadsheets every year. As a programming language, spreadsheets lack support for abstraction, testing, encapsulation, or structured programming. As a result, and as numerous studies have shown, the high rate of production is accompanied by an alarming high rate of errors. Some studies report that up to 90% of real-world spreadsheets contain errors. After their initial creation, many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users over long periods of time, making them complicated systems. An emerging solution to handle the complex and evolving software systems is Model-driven Engineering (MDE). To consider models as first class entities and any software artifact as a model or a model element is one of the basic principles of MDE. We adopted some techniques from MDE to solve spreadsheet problems. Most spreadsheets (if not all) lack a proper specification or a model. Using reverse engineering techniques we are able to derive various models from legacy spreadsheets. We use functional dependencies (a formalism that allow us to define how some column values depend on other column values) as building blocks for these models. Models can be used for several spreadsheet improvements, namely refactoring, safe evolution, migration or even generation of edit assistance. The techniques presented in this work are available under the framework HAEXCEL that we developed. It is composed of online and batch tools, reusable HASKELL libraries and OpenOffice.org extensions. A study with several end-users was organized to survey the impact of the techniques we designed. The results of this study indicate that the models can bring great benefits to spreadsheet engineering helping users to commit fewer errors and to work faster.

Goal-Oriented Requirements Engineering (GORE) has received increasing attention over the past few years.
There are several goal-oriented approaches, each one using different kinds of models. We argue that it would be useful to relate them or even perform transformations among them automatically, in order to understand their similarities and differences, their advantages and disadvantages, allowing a possible migration or comparison between approaches. This is something that has not received enough attention. In this paper
we propose the definition and implementation of goal model transformations between i* and KAOS. As an immediate contribution, the approach can be used to migrate from one goal model to another through automatic model transformations. This approach also contributes to relate the concepts of i* and KAOS models and will help, for example, a development team in making the decision on which approach to follow, according to the nature of the project and the expressiveness of an approach to represent certain concepts
(e.g., obstacles are represented explicitly in KAOS, but not in i*). Another contribution is to facilitate communication among members of the same team, if they are specialized in different approaches.

Inductive superconducting fault current limiters have already demonstrated their technical viability in electrical networks. Its architecture and robustness make them potentially adequate for distribution networks, and this type of devices is considered as an enabling technology for the advent of embedded generation with renewable energy sources. In order to promote the growth and maturity of these superconducting technologies, fast design tools must be developed, allowing simulating devices with different materials in grids with diverse characteristics. This work presents advances in the development of such tool, which, at present stage, is an effective alternative to software simulations by finite elements methods, reducing dramatically computation time. The algorithms are now compared with experimental results from a laboratory scale prototype, showing the need to refine them.

n/a

Building stones, particularly sandstone and granite, are very important in the building elements of Portugal’s historical and cultural heritage. Experimental research, based on uniaxial compressive tests, was carried out on selected representative samples of lithotypes of rocks used in historic built heritage, with a view to evaluating the compressive mechanical behaviour of different building stones. The results showed that porosity plays a central role in the compressive behaviour of granites and sandstones. As porosity can be evaluated in field conditions with non-destructive tests it was decided to derive an analytical model to predict compressive behaviour based on the knowledge of porosity of the building stones. A cubic polynomial function was adopted to describe the pre-peak regime under compression to implement the model. Furthermore, a statistical correlation between mechanical and porosity data had to be defined. Good agreement between experimental and analytical compressive stress–strain diagrams, from which the mechanical properties like compressive strength and modulus of elasticity can be derived, was achieved.