Behavioral equivalence of hidden k-logics: an abstract algebraic approach

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL. In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

Potential of incorporating ocean currents in fishing vessels

The fishing sector has been suffering a strong setback, with reduction in fishing stocks and more recently with the reduction of the fishing fleet. One of the most important factors for this decrease, is related to the continuous difficulty to find fish with quality and quantity, allowing the sector work constantly all year long. However other factors are affecting negatively the fishing sector, in particular the huge maintenance costs of the ships and the high diary costs that are necessary for daily work of each vessel. One of the main costs associated with daily work, is the fuel consumption. As an example, one boat with 30 meters working around 17 hours every day, consumes 2500 liters of fuel/day. This value is very high taking into account the productivity of the sector. Supporting this premise was developed a project with the aim of reducing fuel consumption in fishing vessels. The project calls “ShipTrack” and aims the use of forecasts of ocean currents in the routes of the ships. The objective involves the use of ocean currents in favor, and avoiding ocean currents against, taking into account the course of the ship, in order to reduce fuel consumption and increase the ship speed. The methodology used underwent the creation of specific Software, in order to optimize routes, taking into account the forecasts of the ocean currents. These forecasts are performed using numerical modelling, methodology that become more and more important in all communities, because through the modeling, it can be analyzed, verified and predicted important phenomena to all the terrestrial ecosystem. The objective was the creation of Software, however its development was not completed, so it was necessary a new approach in order to verify the influence of the ocean currents in the navigation of the fishing ship "Cruz de Malta". In this new approach, and during the various ship routes it was gathering a constant information about the instant speed, instantaneous fuel consumption, the state of the ocean currents along the course of the ship, among other factors. After 4 sea travels and many routes analyzed, it was possible to verify the influence of the ocean currents in the Ship speed and in fuel consumption. For example, in many stages of the sea travels it was possible to verify an increase in speed in zones where the ocean currents are in favor to the ships movements. This incorporation of new data inside the fishing industry, was seen positively by his players, which encourages new developments in this industry.

Boost Software Business Products with Hybrid Development

This paper presents how new paradigms and methodologies for software development are changing rapidly in the last two years. In the current scenario where we live on, occurs a transition that, although slight, reflects the rapid manner in which the software production paradigms are reinvented due to the change of display devices and interaction with the end user. Studies indicate that in 2013 was the turn out of the internet access domain for mobile devices over the traditional desktop device, which is currently at around 60% mobile, against 40% desktop. This field will tend to grow in the coming years and it is expected that the use of internet for a desktop terminal tends to be less each day (comScore). In this context, the software industry has been re-invented and updated with respect to technologies that promote software and mobile applications, building products capable of responding to the user market. The development of software products, such as applications, must be put into production for different user environments, such as Web, iOS and Android in a way to enhance efficiency, optimization and productivity in the software development cycle (Langer, Arthur M.).