A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated. MAK triples and KLM triples are formed in ways similar to MAK models and KLM models but now on the algebraic structures for the nonmonotonic systems, thereby a new type of semantics is given to these systems.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Przeprowadzono badania zdolności penetracyjnych układów kumulacyjnych w stalowym pancerzu jednorodnym, który odsłaniano warstwą materiału wybuchowego lub kasetą reaktywną. W badaniach użyto laboratoryjne układy kumulacyjne z wkładkami o kształcie stożka, paraboloidy oraz półsfery, które wykonano ze spieków miedzi oraz ze spieków żelaza o dużej porowatości. Stwierdzono, że korzystnym kształtem wkładki ze względu na zastosowanie w ładunku I stopnia tandemowego układu kumulacyjnego jest półsfera.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule przedstawiono stan techniki w dziedzinie dwustopniowych układów kumulacyjnych. Zawarto także wstępne teoretyczne szacowania dotyczące określania podstawowych charakterystyk konstrukcyjnych układu.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.