Frequency and scale of the blasting events are increasing to boost limestone production. Mines areapproaching close to inhabited areas due to growing population and limited availability of land resourceswhich has chal...Frequency and scale of the blasting events are increasing to boost limestone production. Mines areapproaching close to inhabited areas due to growing population and limited availability of land resourceswhich has challenged the management to go for safe blasts with special reference to opencast mining.The study aims to predict the distance covered by the flyrock induced by blasting using artificial neuralnetwork （ANN） and multi-variate regression analysis （MVRA） for better assessment. Blast design andgeotechnical parameters, such as linear charge concentration, burden, stemming length, specific charge,unconfined compressive strength （UCS）, and rock quality designation （RQD）, have been selected as inputparameters and flyrock distance used as output parameter. ANN has been trained using 95 datasets ofexperimental blasts conducted in 4 opencast limestone mines in India. Thirty datasets have been used fortesting and validation of trained neural network. Flyrock distances have been predicted by ANN, MVRA,as well as further calculated using motion analysis of flyrock projectiles and compared with the observeddata. Back propagation neural network （BPNN） has been proven to be a superior predictive tool whencompared with MVRA. 2014 Institute of Rock and Soil Mechanics, Chinese Academy of Sciences. Production and hosting byElsevier B.V. All rights reserved.展开更多
With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal speci...With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.展开更多
In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.
文摘Frequency and scale of the blasting events are increasing to boost limestone production. Mines areapproaching close to inhabited areas due to growing population and limited availability of land resourceswhich has challenged the management to go for safe blasts with special reference to opencast mining.The study aims to predict the distance covered by the flyrock induced by blasting using artificial neuralnetwork （ANN） and multi-variate regression analysis （MVRA） for better assessment. Blast design andgeotechnical parameters, such as linear charge concentration, burden, stemming length, specific charge,unconfined compressive strength （UCS）, and rock quality designation （RQD）, have been selected as inputparameters and flyrock distance used as output parameter. ANN has been trained using 95 datasets ofexperimental blasts conducted in 4 opencast limestone mines in India. Thirty datasets have been used fortesting and validation of trained neural network. Flyrock distances have been predicted by ANN, MVRA,as well as further calculated using motion analysis of flyrock projectiles and compared with the observeddata. Back propagation neural network （BPNN） has been proven to be a superior predictive tool whencompared with MVRA. 2014 Institute of Rock and Soil Mechanics, Chinese Academy of Sciences. Production and hosting byElsevier B.V. All rights reserved.
基金supported by the National Science Foundation for Distinguished Young Scholars of China under Grant No.61225012 and No.71325002the Specialized Research Fund of the Doctoral Program of Higher Education for the Priority Development Areas under Grant No.20120042130003the Liaoning BaiQianWan Talents Program under Grant No.2013921068
文摘With the challenges brought by the expansion of network scale,as well as the diversity of the equipments and the complexity of network protocols,many self-configurable systems have been proposed combining formal specification and model finding techniques.In this paper,we pay more attention to formal specifications of network information,i.e.,exploring principles and algorithm to map network information(topology,devices and status,etc.) to Alloy specifications.We first model network information in relational form,which is easy to realize because of the structured feature of network information in nature.Then we map the relational data to Alloy specifications according to our novel data mapping principles and algorithm.Based on the transition of relational data,it is possible to automatically map network information to Alloy specifications.We evaluate our data mapping principles and algorithm by applying them to a practical application scenario.The results illustrate that we can find a model for the task within a tolerant time interval,which implies that our novel approach can convert relational data to Alloy specifications correctly and efficiently.
基金Supported by the Natural Science Foundation of Henan Province(0511011400) Supported by the Natural Science Foundation of Education Department of Henan Province(2004520014)
文摘In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000.
