In order to optimize gob-side entry in fully-mechanized working face in moderate-thick-coal seams, we adopt a new attempt to pack roadside by pumping ordinary concrete, which is very important for the development of g...In order to optimize gob-side entry in fully-mechanized working face in moderate-thick-coal seams, we adopt a new attempt to pack roadside by pumping ordinary concrete, which is very important for the development of gob-side entry technology. The concrete has a long initial setting time and a low initial strength. So it is difficult to control the surrounding rock. In this paper, we analyze the effect of using roadside cable to reinforce supporting in gob-side entry surrounding rock controlling based on elas-tic-plastic and material mechanics knowledge. And then we propose a scheme that cable is used to reinforce roadside supporting and a single hydraulic prop is used as the temporary supporting in gob side. Using the numerical simulation software FLAC2D, we numerically simulated supporting scheme. Results of both the 2D modeling and the industrial test on No.3117 face in Jingang Mine prove that the scheme is feasible. The results show that the technology of protecting the roadway in gob-entry retained efficiently make up the deficiency of roadside packing with ordinary concrete, effectively control the roof strata and acquire a good result of retaining roadway.展开更多
Although the modeling technologies for open robot controllers have been discussed widely, not much literature is devoted to the actual general modeling principles and strategies. The reason is that many researches foc...Although the modeling technologies for open robot controllers have been discussed widely, not much literature is devoted to the actual general modeling principles and strategies. The reason is that many researches focus on specific application fields. This paper accommodates for this lacuna and provides some general modeling principles and strategies. At last, the actual new modeling method Hierarchical Object Oriented Petri net (HOONet) which has been proved to be an effective modeling methodology, is used to illustrate the modeling strategies.展开更多
As the excavation of roadway, new fractures will be formed and the pre-existing fractures extend with the redistribution of stress in surrounding rocks. Eventually, fracture zone and bed separation are formed in rocks...As the excavation of roadway, new fractures will be formed and the pre-existing fractures extend with the redistribution of stress in surrounding rocks. Eventually, fracture zone and bed separation are formed in rocks because of the developed fractures. Therefore, mastering the fracture evolution of surrounding rocks is very important to maintain the stability of roadway. The surrounding rocks of main haulage road- way in a certain coal mine is so broken and loose that the supporting is very difficult. Based on compre- hensive anal[ysis of the engineering geological conditions, a sight instrument was used to observe the fractures of internal surrounding rocks, Four indices, i.e., the width of fracture zone W, the number of fractures n, the width of fractures d and rock fracture designation RFD, are put forward to evaluate the fracture dewelopment. According to the evolution rules of the soft rock roadway from this paper, control principles by stages and by regions are presented through the research. At the same time, the best time of grouting reinforcement is determined on the basis of fracture saturation. Field practice shows that the roadway can satisfy normal production during service periods by suitable first support and grouting reinforcement.展开更多
In order to achieve remote control problems for the intelligent home appliances, The paper presents a realization method through the Internet and GSM remote to control appliances of smart home, and given circuit. And ...In order to achieve remote control problems for the intelligent home appliances, The paper presents a realization method through the Internet and GSM remote to control appliances of smart home, and given circuit. And described in detail the hardware and software design of smart home appliances and their control method. Test results show that the system is stable and reliable.展开更多
On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ...On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.展开更多
This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework...This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework of intelligent Home system, and designed the communication scheme of the whole Home system, also gives the system each function module realization. This paper achieve two basic service system based on Intelligent Home through a series of analysis and design： outdoor remote intelligent Home monitoring service and the indoor intelligent management service.展开更多
With the aid of symbolic computation Maple, the discrete Ablowitz–Ladik equation is studied via an algebra method, some new rational solutions with four arbitrary parameters are constructed. By analyzing related para...With the aid of symbolic computation Maple, the discrete Ablowitz–Ladik equation is studied via an algebra method, some new rational solutions with four arbitrary parameters are constructed. By analyzing related parameters, the discrete rogue wave solutions with alterable positions and amplitude for the focusing Ablowitz–Ladik equations are derived. Some properties are discussed by graphical analysis, which might be helpful for understanding physical phenomena in optics.展开更多
基金support from the National Nature Science Foundation of China (No50874124)
文摘In order to optimize gob-side entry in fully-mechanized working face in moderate-thick-coal seams, we adopt a new attempt to pack roadside by pumping ordinary concrete, which is very important for the development of gob-side entry technology. The concrete has a long initial setting time and a low initial strength. So it is difficult to control the surrounding rock. In this paper, we analyze the effect of using roadside cable to reinforce supporting in gob-side entry surrounding rock controlling based on elas-tic-plastic and material mechanics knowledge. And then we propose a scheme that cable is used to reinforce roadside supporting and a single hydraulic prop is used as the temporary supporting in gob side. Using the numerical simulation software FLAC2D, we numerically simulated supporting scheme. Results of both the 2D modeling and the industrial test on No.3117 face in Jingang Mine prove that the scheme is feasible. The results show that the technology of protecting the roadway in gob-entry retained efficiently make up the deficiency of roadside packing with ordinary concrete, effectively control the roof strata and acquire a good result of retaining roadway.
文摘Although the modeling technologies for open robot controllers have been discussed widely, not much literature is devoted to the actual general modeling principles and strategies. The reason is that many researches focus on specific application fields. This paper accommodates for this lacuna and provides some general modeling principles and strategies. At last, the actual new modeling method Hierarchical Object Oriented Petri net (HOONet) which has been proved to be an effective modeling methodology, is used to illustrate the modeling strategies.
基金provided by the National Natural Science Foundation of China (No. 50974118)the Program for New Century Excellent Talents in University (No. NCET-09-0727)+1 种基金the Program for Post graduates Research Innovation in Universities of Jiangsu Province (No. CX10B_149Z)the Priority Academic Program Development of Jiangsu Higher Education Institutions and the State Key Laboratory of Coal Resources and Mine Safety (No.SKLCRSM08X04)
文摘As the excavation of roadway, new fractures will be formed and the pre-existing fractures extend with the redistribution of stress in surrounding rocks. Eventually, fracture zone and bed separation are formed in rocks because of the developed fractures. Therefore, mastering the fracture evolution of surrounding rocks is very important to maintain the stability of roadway. The surrounding rocks of main haulage road- way in a certain coal mine is so broken and loose that the supporting is very difficult. Based on compre- hensive anal[ysis of the engineering geological conditions, a sight instrument was used to observe the fractures of internal surrounding rocks, Four indices, i.e., the width of fracture zone W, the number of fractures n, the width of fractures d and rock fracture designation RFD, are put forward to evaluate the fracture dewelopment. According to the evolution rules of the soft rock roadway from this paper, control principles by stages and by regions are presented through the research. At the same time, the best time of grouting reinforcement is determined on the basis of fracture saturation. Field practice shows that the roadway can satisfy normal production during service periods by suitable first support and grouting reinforcement.
文摘In order to achieve remote control problems for the intelligent home appliances, The paper presents a realization method through the Internet and GSM remote to control appliances of smart home, and given circuit. And described in detail the hardware and software design of smart home appliances and their control method. Test results show that the system is stable and reliable.
文摘On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.
文摘This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework of intelligent Home system, and designed the communication scheme of the whole Home system, also gives the system each function module realization. This paper achieve two basic service system based on Intelligent Home through a series of analysis and design： outdoor remote intelligent Home monitoring service and the indoor intelligent management service.
基金Supported by the Beijing Natural Science Foundation under Grant No.1153004China Postdoctoral Science Foundation under Grant No.2015M570161the Natural Science Foundation of China under Grant No.61471406
文摘With the aid of symbolic computation Maple, the discrete Ablowitz–Ladik equation is studied via an algebra method, some new rational solutions with four arbitrary parameters are constructed. By analyzing related parameters, the discrete rogue wave solutions with alterable positions and amplitude for the focusing Ablowitz–Ladik equations are derived. Some properties are discussed by graphical analysis, which might be helpful for understanding physical phenomena in optics.
