PROPOSAL OF A PERFORMANCE MEASURING SYSTEM APPLIED TO AGRICULTURAL MECHANIZATION

The leaders` organizations of several different sectors have as characteristic to measure their own performance in a systematic way. However, this concept is still unusual in agricultural enterprises, including the mechanization sector. Mechanization has an important role on the production costs and to know its performance is a key factor for the agricultural enterprise success. This work was generated by the importance that measurement of performance has for the management and the mechanization impact on the production costs. Its aim is to propose an integrated performance measurement system to give support to agricultural management. The methodology was divided in two steps: adjustment of a conceptual model based on Balanced Score Card - BSC; application of the model in a study case at sugar cane mill. The adjustment and the application of the conceptual model allowed to obtain the performance index in a systematic way, that are associated to: costs and deadline ( traditionally used); control and improvement on the quality of operations and support process; environmental preservation; safety; health; employees satisfaction; development of information systems. The adjusted model helped the development of the performance measurement system for the mechanized management systems and the index allows an integrated view of the enterprise, related to its strategic objectives.

Winning time in land warfare : a reading of the classical strategists prior to the age of mechanization

We live in an age where rationalization and demands of efficiency taint every aspect of our lives both as individuals and as a society. Even warfare cannot escape the increased speed of human interaction. Time is a resource to be managed. It has to be optimized, saved and won in military affairs as well. The purpose of this research paper is to analyze the dogmatic texts of military thought to search for answers what the classics of strategy saw in the interrelations of temporality and warfare and if their thoughts remain meaningful in the contemporary conjunction. Since the way a society functions is reflected in the way it conducts its wars, there naturally are differences between an agrarian, industrial and information society. Theorists of different eras emphasize things specific to their times, but warfare, like any human interaction, is always bounded by temporality. Not only is the pace of warfare dependent on the progress of the society, but time permeates warfare in all its aspects. This research paper focuses on two specific topics that arose from the texts themselves; how should time be managed and manipulated in warfare and how to economize and “win” it from the enemy. A method where lengthy quotations are used to illustrate the main point of the strategists has been chosen for this research paper. While Clausewitz is the most prominent source of quotations, thoughts from ancient India and China are represented as well to prove that the combination of right force in the right place at the right time is still the way of the victorious. Tactics change in the course of time but the principles of strategy remain unaltered and are only adapted to suit new situations. While ancient and pre-modern societies had their focus on finding auspicious moments for battle in the flow of kronos-time based on divinities, portents and auguries, we can trace elements of manipulation of time in warfare from the earliest surviving texts. While time as a fourth dimension of the battlespace emerged only in the modern era, all through the history of military thought it has had a profound meaning. In the past time could be squandered, today it always has to be won. This paper asks the question “why”.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Actual state of the mechanization of harvest of fruits and vegetables in Spain.

A review of the actual methods of harvest of fruits and vegetables in Spain is made. Special emphasis is given to the main horticultural Spanish crops that can be harvested by machines like green, beans, green peas broad beans, tomatoes, lettuces and chufas, as vegetables, and olives almonds, cherries, apples pears apricots, etc. as fruits.

Industry-peppers harvest mechanization.

Production of peppers for deshidration (paprika) and for extraction of natural colorants is of great importance in some Mediterranean irrigation areas. In the area of Badajoz (Spain) traditional production, handling and postharvest systems are no longer feasible, although a very good quality and potential market exist for this product. All aspects of mechanized production and handling have been addressed: direct seeding and transplanting, cultivation systems and mechanical harvesting are searched to be adopted in a new production system. A study of size, shape and fruiting pattern of the new varieties was performed. A feasibility study of mechanized harvesting was also made. Results of field testing of different types of harvesters and performance of existing picking heads are presented, some of which yield a feasible solution for the growers of industry peppers in the area. The design, construction and field testing results of a new picking head based on the double-helix principle is presented.