scholarly journals Robust Non-termination Analysis of Numerical Software

2018 ◽  
pp. 69-88
Author(s):  
Bai Xue ◽  
Naijun Zhan ◽  
Yangjia Li ◽  
Qiuye Wang
Keyword(s):  
Termination Analysis ◽  
Numerical Software

Termination Analysis for Active Rule Set Based on Triggering Path

2012 ◽  
Vol 35 (1) ◽  
pp. 65-75 ◽  
Author(s):  
Wei XIONG ◽  
Ye WU ◽  
Zhen ZHANG ◽  
Qiu-Yun WU
Keyword(s):  
Termination Analysis ◽  
Rule Set ◽  
Active Rule

scholarly journals Termination Analysis by Learning Terminating Programs

2014 ◽  
pp. 797-813 ◽  
Author(s):  
Matthias Heizmann ◽  
Jochen Hoenicke ◽  
Andreas Podelski
Keyword(s):  
Termination Analysis

scholarly journals Termination Analysis of Model Transformations by Petri Nets

2006 ◽  
pp. 260-274 ◽  
Author(s):  
Dániel Varró ◽  
Szilvia Varró–Gyapay ◽  
Hartmut Ehrig ◽  
Ulrike Prange ◽  
Gabriele Taentzer
Keyword(s):  
Petri Nets ◽  
Model Transformations ◽  
Termination Analysis

Numerical Analysis on Top Coal Caving of 2# Coal Seam in First Mine of Chagannaoer

2012 ◽  
Vol 594-597 ◽  
pp. 1338-1342
Author(s):  
Qing Hai Li ◽  
Ren Shu Yang ◽  
Wei Ping Shi
Keyword(s):  
Numerical Analysis ◽  
Plastic Zone ◽  
Coal Seam ◽  
Comprehensive Evaluation ◽  
Fuzzy Comprehensive Evaluation ◽  
Mining Technology ◽  
Geological Conditions ◽  
Numerical Software ◽  
Evolution Laws ◽  
Overlying Strata

In first mine of Chagannaoer, 2# coal seam, the mainly mined out layer, was 22.00m thickness in average. In order to meet the requirements of production ability, the mine was planned to apply mining technology of fully mechanized caving. Good or bad of top coal’s caving was an important prerequisite which decided the mining technology of top coal caving could be chosen or not. Due to lack of producing mines in this region and no experience to refer, we simulated the mining process of 2# coal seam using numerical software of FLAC3D, and gained evolution laws of stress and displacement of top coal and overlying strata and expansion laws of plastic zone. Through analysis, we got that the top coal damaged seriously and the top coal could be caved smoothly. Relying on the geological conditions of site, we verified the simulated results with method of fuzzy comprehensive evaluation. Combined with the research results, we decided that 2# coal seam’s caving was better and was convenient for top coal caving, so it was suitable for caving mining in 2# coal seam in first mine of Chagannaoer.

The Engineering of Numerical Software.

1986 ◽  
Vol 47 (175) ◽  
pp. 379
Author(s):  
W. J. Cody ◽  
Webb Miller
Keyword(s):  
Numerical Software

Production and assessment of numerical software

1983 ◽  
Vol 13 (4) ◽  
pp. 412
Author(s):  
Marius M. Nagels
Keyword(s):  
Numerical Software
Sign in / Sign up

Export Citation Format

Share Document