Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arguments. Using concepts from the theory of tree transducers and extending on earlier work, the paper develops automatic transformations from accumulative functional programs into nonaccumulative ones, which are much bett...

Semi-mechanized and mechanized harvesting use machines that promote the transference of vibrational energy impact to achieve detachment coffee fruits. The aim this study was evaluate vibration transmissibility in fruit-peduncle systems, using high-speed cameras, submitted high frequency harmonic excitation different combinations between amplitude vibration, identifying working ranges suitable p...

Some aspects for improving the technical level and flexibility of assembly welding production domestic shipyards are discussed in paper. It is noted that a number have integrated mechanized lines foreign manufacturers: metal processing, manufacture ship hull structures, their painting, etc. As rule, such equipped with high-performance technological equipment; however, they ineffective condition...

Increased cost of tobacco cultivation is a major concern for its sustainable production in Iran. Therefore, the development of tobacco mechanized cultivation is a necessity. Given this, the driving and inhibiting factors of the development of mechanized tobacco cultivation were investigated by the Delphi technique in three rounds in Guilan Province, Iran. Nineteen experts from the Jahad Agricul...

physical characteristics of agricultural products are the most important parameters in the design of grading, conveying, processing and packaging systems. among these physical characteristics, volume, mass, projected area and center of gravity are the most important for sizing systems. in this study, the segmentation method was used to estimate lemon volume. a total of 50 randomly selected lemo...

This study was aimed at assessing how efficient the small scale fishing units in Lagos State, Nigeria use the monetary inputs: costs of gear repairs, craft repairs, fuel, fishing losses, hired labor, and the residual costs of craft and gear. Between January and December, 113 mechanized and 43 non-mechanized fishing units in 21 purposively chosen coastal villages were surveyed bi-monthly through...