Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Refutations in wansing's logic

Skura T.

Reports on Mathematical Logic

2017

Vol. 52

83--99

A refutation system for Wansing's logicW(which is an expansion of Nelson's logic) is given. The refutation system provides an ecient decision procedure for W. The procedure consists in constructing for any normal form afinite syntactic tree with the property that the origin is non-valid iff some end node is non-valid. The finite model property is also established.

Numeryczne modelowanie procesu walcowania prętów płaskich z wymuszonym poszerzeniem

Skura T., Mróz S.

Hutnik, Wiadomości Hutnicze

2010

Vol. 77, nr 9

497-500

Głównym problemem podczas projektowania procesu walcowania prętów płaskich o znacznym stosunku szerokości do wysokości jest możliwość powstania wyboczenia pasma podczas walcowania w wykrojach osadczych. Zastosowanie specjalnego kalibrowania walców, bez konieczności stosowania wykrojów osadczych, pozwoli na uzyskanie wyrobu gotowego spełniającego normy odbiorcze. W pracy przeprowadzono numeryczne modelowanie procesu walcowania prętów płaskich, dla warunków technologicznych jednej z walcowni prętów. Badania teoretyczne przeprowadzono dla procesu walcowania prętów płaskich o wymiarach 292×12 mm wykorzystując kalibrowanie walców, w którym wymuszono plastyczne płynięcie metalu w kierunku szerokości wykroju. Zakres badań obejmował określenie sposobu plastycznego płynięcia metalu podczas walcowania w wykrojach rozcinających giętych. Do badań teoretycznych wykorzystano program komputerowy Forge2008Ž oparty na metodzie elementów skończonych.

The main problem of design the flat bars rolling process about the wide relation of the width to the height is the possibility of form origin the band buckling during rolling process in edge grooves. The use of special rolls pass design, without the necessity of applying edge grooves, allow to get the finished product fulfilling receiving standards. Numerical modelling of the flat bars rolling process was conducted in the work, for the technological conditions of new building bars rolling-mill. Theoretical investigations were conducted for, the flat bars 292×12 mm, rolling process using the rolls calibrating in which metal plastic flow in the direction of the groove width was extorted. The range of investigations included define method way metal plastic flow during the rolling process in cutting-bent process. The numerical researches were performed by using computer program Forge2008Ž based on finite-element method.