PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  concrete model
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Experimental study on radial decoupling charge blasting with air and water
Yang Deqiang, An Huaming, Lei Zhen
Mining Science
|
2020
|
Vol. 27
265--281
EN
In order to investigate the effects of the different medium on the initial impact pressure and fragmentation of the hole wall under radial decoupling charge, this paper analyzes and compares the initial impact pressure of hole wall and the size of blasting lumpiness theoretically when air and water are used as a coupling medium. Combined with blasting model test, strain datas are collected by high-speed multi-channel dynamic stress testing system, and the lumpiness of the model test is sieved and measured. The blasting lumpiness is analyzed by G–G–S distribution function. The results show that compared with the air radial decoupling charge, the water radial decoupling charge has higher blasting peak pressure and more uniform lumpiness. According to the relation between peak strain pressure and decoupling coefficient, the optimal decoupling coefficients of air and water are 1.71 and 1.67, respectively. The results show that the best blasting effect can be achieved by using a small hole diameter of water-decoupling charge compared with air-decoupling charge. When the decoupling coefficient is 1.50, the average lumpiness size, distribution of large block and boulder yield of blasting lumpiness in water-decoupling medium are minimum, and only the average lumpiness size and distribution of large block are minimum in airdecoupling medium. Applying the test results to the smooth blasting of cutting has certain guiding significance for improving the blasting effect.
2
Content available Analysis of explosion stress field of air radial decoupling charge
Yang Deqiang, Lei Zhen, An Huaming
Mining Science
|
2020
|
Vol. 27
19--38
EN
In order to study the effect of air radial decoupling charge on blasting excavation effect of slope, the effect of radial decoupling coefficient on explosive stress field in rock mass is analyzed theoretically. ANSYS/LS-DYNA software is used to establish a numerical model for stress monitoring of monitoring points. At the same time, the concrete model is poured, the explosion stress field around the blast hole is measured by means of the high-speed multi-channel dynamic stress testing system, and the monitoring results of the two methods are compared with the theoretical analysis results. The results show that with the increase of the radial decoupling coefficient of blasting, the peak value of explosive stress at the same side point decreases obviously, and with the increase of the distance, the stress attenuation becomes slower. Applying the test results to the blasting of slope, it is found that the blasting effect is the best when the aperture decoupling coefficient is 2.75 and the hole spacing is 1.0 m, and the larger the hole spacing is, the less obvious the blasting crack is, which has certain guiding significance for improving the blasting effect.
3
Wpływ normowych modeli betonu na niezawodność zginanych elementów żelbetowych
Woliński S., Szylak K.
Inżynieria i Budownictwo
|
2016
|
R. 72, nr 10
557--562
PL
Z wykorzystaniem metody symulacji Monte Carlo wykonano obliczenia nośności, efektu obciążeń, rezerwy nośności oraz zapasu niezawodności, prawdopodobieństwa zniszczenia i wskaźnika niezawodności wybranej dwuprzęsłowej belki żelbetowej. Wykazano znaczny wpływ modeli betonu przyjętych do obliczeń oraz efektu ich synergii, które można oszacować ilościowo i wykorzystać do racjonalnego projektowania i oceny stanu konstrukcji żelbetowych.
EN
For different models recommended by Eurocode 2 the effect of actions, resistance, safety margin, probability of failure and reliability index of the twospan reinforced beam in bending were calculated using the crude Monte Carlo simulation method. Analysis of calculation results shows a significant influence of applied models and their synergy that can be assessed quantitatively and used for rational designing and assessment of reinforced concrete structures.
4
Model betonu z uszkodzeniem w ujęciu mezomechanicznym
Golewski G., Sadowski T.
Modelowanie Inżynierskie
|
2010
|
T. 8, nr 39
69-79
PL
Przedstawiony w pracy model betonu pozwala w sposób teoretyczny opisywać zjawiska zachodzące w procesie uszkadzania i niszczenia się kompozytu, pod wpływem zewnętrznych obciążeń ściskających. W tym celu rozpatruje się ewolucję zmian struktury wewnętrznej betonu poprzez analizę reprezentatywnego wycinka badanej próbki. Model pozwala na opis wzrostu szczelin w procesie jego degradacji wyodrębniając układy szczelin prostych (mezoszczelin) i skrzydłowych. Wyznaczone teoretycznie odkształcenia betonu dają dobre zbieżności z wynikami uzyskiwanymi w sposób doświadczalny.
EN
In the paper, a mesomechanic model was presented which describes micro-crack development in concrete composites subjected to compression. It has been assumed in the mathematical description presented that the cracks occurring in the interfacial transition zone area of coarse aggregate are mainly decisive for destruction of composites. Total deformations generated by the cracks (mesocrack and wing crack). Comparison of the final experimental results concerning deformations with the final results calculated on the basis of the model showed big convergence of the results obtained.
5
Content available remote Reaching the limits for Bounded Model Checking
Woźna B.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2003
|
Nr 958
1-25
EN
The main contribution of the paper consists in showing that the BMC method is feasible for ACTL* (the universal fragment of CTL*) which subsumes both ACTL and LTL. The extension to ACTL* is obtained by redefining the function returning the sufficient number of executions over which an ACTL* formula is checked, and then by combining two known translations to SAT for ACTL and LTL formulas. The proposed translation of ACTL* formulas is essentially different from the existing translations of both ACTL and LTL formulas. Moreover, ACTL* seems to be the largest set of temporal properties which can be verified by means of BMC. We have implemented our new BMC algorithm for discrete timed automata and we have presented a preliminary experimental results, which prove the efficiency of the method. The formal treatment is the basis for the implementation of the technique in the symbolic model checker VerICS.
PL
Osiągnięcie granicy rozszerzalności metody ograniczonej weryfikacji modelowej. Głównym celem tej pracy jest wykazanie, że metoda ograniczonej weryfikacji modelowej (OWM) jest rozszerzalna do własności wyrażalnych w ACTL* (uniwersalnym fragmencie logiki CTL*), języku który zawiera zarówno ACTL i LTL. Rozszerzenie metody OWM do ACTL* polega na przedefiniowaniu funkcji zwracającej wystarczającą liczbę wykonań systemu, w zbiorze których formuła ACTL* jest sprawdzana, a następnie na zdefiniowaniu translacji będącej kombinacją translacji formuł LTL i ACTL. Zaproponowana translacja formuł ACTL* istotnie różni się od tych istniejących dla LTL i ACTL oraz wydaje się, że język ACTL* jest największym zbiorem własności temporalnych, które mogą być weryfikowane za pomocą metody OWM. Nasz nowy algorytm został zaimplementowany dla elementarnych sieci Petriego oraz dla dyskretnych automatów czasowych, a uzyskane wstępne wyniki eksperymentalne dowodzą efektywności naszej metody. Ponadto, zaproponowana translacja i wykonana implementacja będzie bazą dla nowego modułu w symbolicznym weryfikatorze Öerics.
first rewind previous Strona / 1 next fast forward last
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ć.