objective: economic analysis was performed for the main horticultural crops in buin zahra (pistachio, peach, nectarine, and apple). there were dependent and independent variables in this research. methods: the independent variables were planting method (mechanized and conventional), land area used for fruit production, and land ownership. the maximum energy used, mostly in the form of fossil fu...

this study was conducted to rank the broiler farms based on buildings, installations and equipment and its effect on production factors. to determine the contribution of each factor in ranking of farms, a multi-criteria decision analysis (saw) was used. data of 108 broilers were recorded in specific forms and the amount of investment per broiler was calculated for individual factors. to calcula...

We present diagrammatic techniques for relational reasoning in formal methods like B or Z; in particular induction and coinduction techniques. Our diagrams are endowed with a simple algebraic semantics that imposes a convenient balance between expressive and algorithmic power. This makes the approach particularly suitable for mechanization and automation. Its usefulness for visual reasoning is ...

The paper substantiates and proposes a method for selecting mechanization tools crushing conveyor complexes as part of cyclic-flow technology in open-pit mining. proposed methodology justifies the types means complex used at Yoshlik-1 quarry JSC “Almalyk mining metallurgical combine”. task developing optimal technological parameters equipment conditions is formulated. Optimal were selected usin...

The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.

Project description: The mechanization and automation of (A) combination of logics, (B) context and (C) expressive ontologies are prominent current challenge problems. Their solution is of significant interest to computer scientists, artificial intelligence researchers, computational linguists and philosophers. Application areas include, for example, logic-based knowledge representation and rea...

We demonstrate how relational algebra and its mechanization through the software system RelView can be used for solving practical problems in the design of objectoriented software. The examples we present range from the search of improper code pieces to the detection of code parts indicating some design pattern structure.