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.