Tecnologías wiki en la docencia de Ingeniería Informática

En este artículo presentamos varios proyectos que se están desarrollando en las titulaciones de Ingeniería Informática de la Universidad de Cádiz relativos a tecnologías wiki. WikiHaskell es un wiki en el que los alumnos crean material complementario sobre bibliotecas del lenguaje Haskell. Para evaluar su trabajo se ha desarrollado un software libre de análisis estadístico para wikis, StatMediaWiki. Por otro lado, WikiUNIX recopila información sobre administración de sistemas operativos UNIX, incluyendo ejercicios con scripts de comprobación de resultados y un sistema GNU/Linux virtual para practicar. Estos wikis y otros que comentamos tienen su contenido bajo licencia libre y están accesibles públicamente.Peer Reviewe

Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems

The application of automated reasoning to the formal verification of symbolic computation systems is motivated by the need of ensuring the correctness of the results computed by the system, beyond the classical approach of testing. Formal verification of properties of the implemented algorithms require not only to formalize the properties of the algorithm, but also of the underlying (usually rich) mathematical theory. We show how we can use ACL2, a first-order interactive theorem prover, to reason about properties of algorithms that are typically implemented as part of symbolic computation systems. We emphasize two aspects. First, how we can override the apparent lack of expressiveness we have using a first-order approach (at least compared to higher-order logics). Second, how we can execute the algorithms (efficiently, if possible) in the same setting where we formally reason about their correctness. Three examples of formal verification of symbolic computation algorithms are presented to illustrate the main issues one has to face in this task: a Gr¨obner basis algorithm, a first-order unification algorithm based on directed acyclic graphs, and the Eilenberg-Zilber algorithm, one of the central components of a symbolic computation system in algebraic topology

Evaluating the efficiency of heat and power systems by the data envelopment analysis method

The article describes the Data Envelopment Analysis (DEA) method and the main features of its application. The main problems of heat and power systems are described, which are addressed by the DEA method of efficiency assessment presented in the article. The approbation of this method is presented at the objects of the centralized municipal heat supply system of the fuel and energy complex: boiler houses and heat and power plants. 9 objects were analyzed according to four input indicators: available heat capacity, installed heat capacity, heat consumption for own needs, fuel consumption. Also, the efficiency of the system was evaluated according to two output indicators: the release of thermal energy to the grid and the mass of the emission. As a result of the analysis and calculations made, it was revealed that 5 objects have the maximum possible efficiency indicator equal to 1, that is, they function as efficiently as possible. 4 objects of the centralized municipal heat supply system have an efficiency indicator less than 1. Accordingly, improvements are required for the operation of the above Decision-Making Units (DMU)s. These objects have deviations in terms of the inputs and outputs of the actual data and those obtained using the DEA method. Based on the calculations obtained for these 4 objects, the article provides recommendations for changing the quantitative values of their input and output indicators. For example, for object number 2, it is recommended to reduce the installed heat capacity in the grid by 72.57%, without changing the available heat capacity and fuel consumption. Reduce the heat consumption for your own needs by 69.383%. In addition, it is recommended to increase the supply of thermal energy to the grid by 6,034%, and reduce the mass of emission by 11.5%. Specific measures have also been developed to modernize the studied objects in order to achieve the recommended indicators of inputs and outputs. The research results presented in the article are of scientific and practical interest and can be used to improve the efficiency of heat and power systems facilities. © 2021, World Scientific and Engineering Academy and Society. All rights reserve

Exact Scalable Sensitivity Analysis for the Next Release Problem

The nature of the requirements analysis problem, based as it is on uncertain and often inaccurate estimates of costs and effort, makes sensitivity analysis important. Sensitivity analysis allows the decision maker to identify those requirements and budgets that are particularly sensitive to misestimation. However, finding scalable sensitivity analysis techniques is not easy because the underlying optimization problem is NP-hard. This article introduces an approach to sensitivity analysis based on exact optimization. We implemented this approach as a tool, OATSAC, which allowed us to experimentally evaluate the scalability and applicability of Requirements Sensitivity Analysis (RSA). Our results show that OATSAC scales sufficiently well for practical applications in Requirements Sensitivity Analysis. We also show how the sensitivity analysis can yield insights into difficult and otherwise obscure interactions between budgets, requirements costs, and estimate inaccuracies using a real-world case study

Tecnologías wiki en la docencia de Ingeniería Informática

En este artículo presentamos varios proyectos que se están desarrollando en las titulaciones de Ingeniería Informática de la Universidad de Cádiz relativos a tecnologías wiki. WikiHaskell es un wiki en el que los alumnos crean material complementario sobre bibliotecas del lenguaje Haskell. Para evaluar su trabajo se ha desarrollado un software libre de análisis estadístico para wikis, StatMediaWiki. Por otro lado, WikiUNIX recopila información sobre administración de sistemas operativos UNIX, incluyendo ejercicios con scripts de comprobación de resultados y un sistema GNU/Linux virtual para practicar. Estos wikis y otros que comentamos tienen su contenido bajo licencia libre y están accesibles públicamente.Peer Reviewe