Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: sheave

Sortuj według:

Ogranicz wyniki do:

Tiered Objects

Alessi F., Cardone F.

Fundamenta Informaticae

2016

Vol. 149, nr 3

263--295

We investigate the foundations of reasoning over infinite data structures by means of set-theoretical structures arising in the sheaf-theoretic semantics of higher-order intuitionistic logic. Our approach focuses on a natural notion of tiering involving an operation of restriction of elements to levels forming a complete Heyting algebra. We relate these tiered objects to final coalgebras and initial algebras of a wide class of endofunctors of the category of sets, and study their order and convergence properties. As a sample application, we derive a general proof principle for tiered objects.

The thermal load of heavy loaded brake mechanisms

Dzhanakhmedov A. K., Aliyev I. I., Janahmadov E. A.

International Journal of Applied Mechanics and Engineering

2002

Vol. 7, Spec. is

319-322

In the present operation the made attempt to estimate thermomechanical baing of a brake assembly of a drill winch in multiplis process of landing of tubes. The calculations have shown, that the considerable influencing on the basic indexs of quality of surface layer and mechanical performances of a material renders cycliness (heating and chilling) and velocity of calorific process.