Mechanization of fishing craft and the use of improved fishing gear

Since the year 1925, attention has been focused periodically on the stagnation in the local fishing industry, and those who have studied the subject have been unanimous about the need to introduce modern fishing craft which are capable of working more fishing gear. This report outlines the stages through which the evolution of more effective fishing operations has progressed, both in the gradually increasing use of mechanical propulsion for boats and in the adoption of more modern gear and techniques by local fishermen. No reference is made in this report to the operation of deep-sea trawlers (Sivalingam, 1956) a phase of development which has hitherto not influenced the local fishing industry to any appreciable extent.

Thought and feeling in Giedion's mechanization takes command

An internal crisis within architecture and the way historiography both presents and conceals it, can be seen most strikingly in the contrast between two publications by the architectural historian Sigfried Giedion, Space Time and Architecture: The Growth of a New Tradition, published in 1941, and Mechanization Takes Command: A Contribution to Anonymous History, published in 1948. These two publications take us back to the scene of World War Two, the former during the war and after Giedion's affair with America, and the latter after the war. At the time of publication Giedion's former book, Space, Time and Architecture, was seen as a "blockbuster" by the architectural community (especially in the USA). The latter publication, Mechanization, did not receive a favourable response by the same professional community. Their contrasting historiography suggests that the internal crisis of architecture is in a constant struggle with architecture's exterior, in this case, war. Giedion's Mechanization can be seen as the shadow text of the progressive myth of the former. With a focus on Mechanization, the paper aims to open its discursive approach to history. The post-war city is where Giedion's publications and my studies on "a gap of history" coincide and intersect. Giedion is fascinated with psychic factors shown in the recurring theme of the split between thought and feeling and exemplified in the dialectic between image and text. Drawing on psychoanalytic theory I argue that this functions as a mirror-stage in relation to a discourse on architecture and to architecture's disciplinary boundaries where the subject of architecture lacks the ideality and unity that is represented in the former publication.

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.