An enclosed cyclone passageway(ECP)dust-collecting fan is discussed.The ECP fan separates dust by centrifugal force originating from a driven spiral airflow,and its design takes the constraints of Chinese underground ...An enclosed cyclone passageway(ECP)dust-collecting fan is discussed.The ECP fan separates dust by centrifugal force originating from a driven spiral airflow,and its design takes the constraints of Chinese underground coal mines into consideration.Using the force equilibrium law,a general equation for dust removal in the centrifugal dust removal section(CDRS)of the ECP fan is deduced.This general equation is simplified using the CDRS structure and the fan operating parameters and is analysed numerically.The attractive results show that increases in the airflow rate of the fan,the structural ratio of the ECPs and the radius of the extended axis can improve the dust removal performance of the CDRS.Furthermore,the effects of the structural ratio and the radius on dust removal dominate over that of the flow rate,and the effect of the structural ratio is more significant than that of the radius.展开更多
A knowledge based company is the microcosmic foundation of the knowledge economy, the design of its organization structure should amplify the company competence to be agile to the knowledge elements. This paper expoun...A knowledge based company is the microcosmic foundation of the knowledge economy, the design of its organization structure should amplify the company competence to be agile to the knowledge elements. This paper expounds an interior market network structure which is fit for the company intellectual capital operation, and analyses this organization pattern about the reasons of existence, the effectiveness of growing up in scale, the economies of knowledge distribution and the efficiency of operation, and it will provide some beneficial theoretical guidance about how can a company improve its competition competence in the knowledge environment through organization innovation.展开更多
The development of the socialist market economy demands the furtherintensification of the reform of the management operating system (MOS)of the state-owned assets, the strengthening of the efficiency in the man-agemen...The development of the socialist market economy demands the furtherintensification of the reform of the management operating system (MOS)of the state-owned assets, the strengthening of the efficiency in the man-agement of state-owned assets,and the improvement of the operating bene-展开更多
In this paper an iterated functional equation of polynomial type which does not possess the firt order iterative term g(x) is to be discussed. The difficulties resulted from loss of the first order term are overcome b...In this paper an iterated functional equation of polynomial type which does not possess the firt order iterative term g(x) is to be discussed. The difficulties resulted from loss of the first order term are overcome by utilization of Hardy-Boedewadt's theorem.展开更多
Effect of different carbon sources on purification performance and change of microbial community structure in a novel AzN-MBR process were investigated, The results showed that when fed with acetate, propionate or ace...Effect of different carbon sources on purification performance and change of microbial community structure in a novel AzN-MBR process were investigated, The results showed that when fed with acetate, propionate or acetate and propionate mixed （ 1 ： 1 ） as carbon sources, the effluent COD, NH4＋- N, TN and TP were lower than 30, 5, 15 and 0.5 mg-L-1, respectively. However taken glucose as carbon source, the TP concentration of effluent reached 2.6 1 mg.L-1. Process analysis found that the amount of anaerobic phosphorus release would be the key factor to determine the above effectiveness. The acetate was beneficial to the growth of Candidatus Accumulibacter associated with biological phosphorus removal, which was the main cause of high efficiency phosphorus removal in this system. In addition, it could eliminate the Candidatus Competibacter associated with glycogen-accumulating organisms and guarantee high efficiency phosphorus uptake of phosphorus accumulating organisms in the system with acetate as carbon source.展开更多
We classify real hypersurfaces in complex two-plane Grassmannians whose structure Jacobi operator commutes either with any other Jacobi operator or with the normal Jacobi operator.
Abnormal conditions are hazardous in complex process systems, and the aim of condition recognition is to detect abnormal conditions and thus avoid severe accidents. The relationship of linkage fluctuation between moni...Abnormal conditions are hazardous in complex process systems, and the aim of condition recognition is to detect abnormal conditions and thus avoid severe accidents. The relationship of linkage fluctuation between monitoring variables can characterize the operation state of the system. In this study,we present a straightforward and fast computational method, the multivariable linkage coarse graining(MLCG) algorithm, which converts the linkage fluctuation relationship of multivariate time series into a directed and weighted complex network. The directed and weighted complex network thus constructed inherits several properties of the series in its structure. Thereby, periodic series convert into regular networks, and random series convert into random networks. Moreover, chaotic time series convert into scale-free networks. It demonstrates that the MLCG algorithm permits us to distinguish, identify, and describe in detail various time series. Finally, we apply the MLCG algorithm to practical observations series, the monitoring time series from a compressor unit, and identify its dynamic characteristics. Empirical results demonstrate that the MLCG algorithm is suitable for analyzing the multivariable linkage fluctuation relationship in complex electromechanical system. This method can be used to detect specific or abnormal operation condition, which is relevant to condition identification and information quality control of complex electromechanical system in the process industry.展开更多
The Unified Modeling Language （UML） is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In...The Unified Modeling Language （UML） is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In this study, we use the theorem proof assistant Coq to formalize and mechanize the semantics of UML- Statecharts and the refinement relations between models. Based on the mechanized semantics, the desired properties of both the semantics and the refinement relations can be described and proven as predicates and lemmas. This approach provides a promising way to obtain certified fault-free modeling and refinement.展开更多
基金supported by the Natural Science Foundation of China and Shenhua Group Corporation Limited(U1361118)the Hunan Provincial Natural Science Foundation of China(13JJ8016,2015JJ2061)+1 种基金the State Key Laboratory for Geomechanics and Deep Underground Engineering(SKLGDUEK1018)the Project of Scientific Research Fund of Hunan Provincial Education Department(Nos.12C1099,14C0425).
文摘An enclosed cyclone passageway(ECP)dust-collecting fan is discussed.The ECP fan separates dust by centrifugal force originating from a driven spiral airflow,and its design takes the constraints of Chinese underground coal mines into consideration.Using the force equilibrium law,a general equation for dust removal in the centrifugal dust removal section(CDRS)of the ECP fan is deduced.This general equation is simplified using the CDRS structure and the fan operating parameters and is analysed numerically.The attractive results show that increases in the airflow rate of the fan,the structural ratio of the ECPs and the radius of the extended axis can improve the dust removal performance of the CDRS.Furthermore,the effects of the structural ratio and the radius on dust removal dominate over that of the flow rate,and the effect of the structural ratio is more significant than that of the radius.
基金This paper is supported by the Philosophy and Social Science Foundation ofGuangxi （No.05FJY034）.
文摘A knowledge based company is the microcosmic foundation of the knowledge economy, the design of its organization structure should amplify the company competence to be agile to the knowledge elements. This paper expounds an interior market network structure which is fit for the company intellectual capital operation, and analyses this organization pattern about the reasons of existence, the effectiveness of growing up in scale, the economies of knowledge distribution and the efficiency of operation, and it will provide some beneficial theoretical guidance about how can a company improve its competition competence in the knowledge environment through organization innovation.
文摘The development of the socialist market economy demands the furtherintensification of the reform of the management operating system (MOS)of the state-owned assets, the strengthening of the efficiency in the man-agement of state-owned assets,and the improvement of the operating bene-
文摘In this paper an iterated functional equation of polynomial type which does not possess the firt order iterative term g(x) is to be discussed. The difficulties resulted from loss of the first order term are overcome by utilization of Hardy-Boedewadt's theorem.
文摘Effect of different carbon sources on purification performance and change of microbial community structure in a novel AzN-MBR process were investigated, The results showed that when fed with acetate, propionate or acetate and propionate mixed （ 1 ： 1 ） as carbon sources, the effluent COD, NH4＋- N, TN and TP were lower than 30, 5, 15 and 0.5 mg-L-1, respectively. However taken glucose as carbon source, the TP concentration of effluent reached 2.6 1 mg.L-1. Process analysis found that the amount of anaerobic phosphorus release would be the key factor to determine the above effectiveness. The acetate was beneficial to the growth of Candidatus Accumulibacter associated with biological phosphorus removal, which was the main cause of high efficiency phosphorus removal in this system. In addition, it could eliminate the Candidatus Competibacter associated with glycogen-accumulating organisms and guarantee high efficiency phosphorus uptake of phosphorus accumulating organisms in the system with acetate as carbon source.
基金Supported by National Research Foundation of Korea(Grant No.NRF-2011-220-1-C00002)partially supported by MCT(Grant No.MTM2010-18099)supported by NRF(Grant No.NRF-2012-R1A2A2A-01043023)
文摘We classify real hypersurfaces in complex two-plane Grassmannians whose structure Jacobi operator commutes either with any other Jacobi operator or with the normal Jacobi operator.
基金supported by the National Natural Science Foundation of China(Grant No.51375375)
文摘Abnormal conditions are hazardous in complex process systems, and the aim of condition recognition is to detect abnormal conditions and thus avoid severe accidents. The relationship of linkage fluctuation between monitoring variables can characterize the operation state of the system. In this study,we present a straightforward and fast computational method, the multivariable linkage coarse graining(MLCG) algorithm, which converts the linkage fluctuation relationship of multivariate time series into a directed and weighted complex network. The directed and weighted complex network thus constructed inherits several properties of the series in its structure. Thereby, periodic series convert into regular networks, and random series convert into random networks. Moreover, chaotic time series convert into scale-free networks. It demonstrates that the MLCG algorithm permits us to distinguish, identify, and describe in detail various time series. Finally, we apply the MLCG algorithm to practical observations series, the monitoring time series from a compressor unit, and identify its dynamic characteristics. Empirical results demonstrate that the MLCG algorithm is suitable for analyzing the multivariable linkage fluctuation relationship in complex electromechanical system. This method can be used to detect specific or abnormal operation condition, which is relevant to condition identification and information quality control of complex electromechanical system in the process industry.
基金Project supported by the National Natural Science Foundation of China （No. 61070226）
文摘The Unified Modeling Language （UML） is an industry standard for modeling analysis and design. However, the semantics of UML is not precisely defined and the correctness of refinement relations cannot be verified. In this study, we use the theorem proof assistant Coq to formalize and mechanize the semantics of UML- Statecharts and the refinement relations between models. Based on the mechanized semantics, the desired properties of both the semantics and the refinement relations can be described and proven as predicates and lemmas. This approach provides a promising way to obtain certified fault-free modeling and refinement.
