The Intellectual Training Environment for Prolog Programming Language

In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog. This system includes elements related to Prolog and logic programming, and the elements of independent, complex, self-sufficient training system which is capable considerably to increase the quality of self-training, and to be effective assistant in training. The most useful application of the system can be in distance education and self-training. The main elements of SPprolog system are: Functionally expanded (in comparison with existing systems) Prolog development environment, with the multipurpose code editor, the automated organization system of the personal tools, automated advice mode "Expert Advice", based on the incorporated expert system for cultivated, effective and optimized programming; Link to foreign Prolog programs compiler which allow to compile the program to independent executable; Built in intellectual, interactive, multimedia Prolog interpreter integrated with expert system and the elements of the intellectuality, allowing to lead detailed program interpretation, with popular and evident, explanation of the theory and mechanisms used in it, applying audiovisual effects to increase the level of naturalness of process of explanation; Full digital training course of Prolog programming language presented in the form of the matrix of knowledge and supplied system of consecutive knowledge reproduction for self-training and evaluation; an intensive course of training to the Prolog language and Spprolog system, based on the programmed, consecutive set of actions, allowing using the previous two mechanisms of sys-tem for popular and evident explanation of the main principles of work of system and Prolog language.training, prolog, environment, Spprolog

New Omnidirectional Sensor Based on Open-Source Software and Hardware for Tracking and Backtracking of Dual-Axis Solar Trackers in Photovoltaic Plants

In this work, an omnidirectional sensor that enables identification of the direction of the celestial sphere with maximum solar irradiance is presented. The sensor, based on instantaneous measurements, functions as a position server for dual-axis solar trackers in photovoltaic plants. The proposed device has been developed with free software and hardware, which makes it a pioneering solution because it is open and accessible as well as capable of being improved by the scientific community, thereby contributing to the rapid advancement of technology. In addition, the device includes an algorithm developed ex professo that makes it possible to predetermine the regions of the celestial sphere for which, according to the geometric characteristics of the PV plant, there would be shading between the panels. In this way, solar trackers do not have to locate the Sun’s position at all times according to astronomical models, while taking into account factors such as shadows or cloudiness that also affect levels of incident irradiance on solar collectors. Therefore, with this device, it is possible to provide photovoltaic plants with dual-axis solar tracking with a low-cost device that helps to optimise the trajectory of the trackers and, consequently, their radiative capture and energy production

The General Consistent Labeling (or Constraint Satisfaction) Problem

https://deepblue.lib.umich.edu/bitstream/2027.42/154162/1/39015099114897.pd

Routes visualization: Automated placement of multiple route symbols along a physical network infrastructure

This paper tackles the representation of routes carried by a physical network infrastructure on a map. In particular, the paper examines the case where each route is represented by a separate colored linear symbol offset from the physical network segments and from other routes---as on public transit maps with bus routes offset from roads. In this study, the objective is to automate the placement of such route symbols while maximizing their legibility, especially at junctions. The problem is modeled as a constraint optimization problem. Legibility criteria are identified and formalized as constraints to optimize, while focusing on the case of hiking routes in a physical network composed of roads and pedestrian paths. Two solving methods are tested, based on backtracking and simulated annealing meta-heuristics respectively. Encouraging results obtained on real data are presented and discussed

Performance guarantees and applications for Xia's algorithm

AbstractXia's algorithm consists of a reduction algorithm and a translation procedure both originally used to tackle the fixed point property for ordered sets. We present results that show that the translation procedure allows access to a much wider range of problems and results showing that the algorithm is very efficient when applied to the fixed point property in ordered sets or for order/graph isomorphism/rigidity

Trajectory Generation for Robotic Applications using Point Cloud Data

Throughout this project, the aim is to develop a program that, based on the processing of three-dimensional point clouds belonging to objects or shapes, achieves the creation of trajectories through route generation algorithms. These trajectories can be subsequently followed by a manipulator robot. The motivation for this project arises as a contribution to the current development of industrial applications involving robotics, where the use of computer vision techniques is increasingly relevant. This implementation can be beneficial in industrial settings such as welding of metal parts, where trajectory planning along the object's surface is required

Reverse Engineering from Assembler to Formal Specifications via Program Transformations

The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper is a case study which uses automated plus manually-directed transformations and abstractions to convert an IBM 370 Assembler code program into a very high-level abstract specification.Comment: 10 page

Visual identification by signature tracking

We propose a new camera-based biometric: visual signature identification. We discuss the importance of the parameterization of the signatures in order to achieve good classification results, independently of variations in the position of the camera with respect to the writing surface. We show that affine arc-length parameterization performs better than conventional time and Euclidean arc-length ones. We find that the system verification performance is better than 4 percent error on skilled forgeries and 1 percent error on random forgeries, and that its recognition performance is better than 1 percent error rate, comparable to the best camera-based biometrics