The Separation of Powers from Functions and the Establishment of a New Structure of Management and Operation of State-owned Assets

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-

Study on the Interior Market Network Structure and Its Efficiency in a Knowledge Based Company

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.

Effects of structural and operating parameters of ECP fan on dust particles removed in the transition flow regime

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.

AN APPLICATION OF HARDY-BOEDEWADT'S THEOREM TO ITERATED FUNCTIONAL EQUATIONS

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 performance of an A2N- MBR process and its microbial community structure

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.

Commuting Structure Jacobi Operator for Real Hypersurfaces in Complex Two-plane Grassmannians

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.

Application research of multivariate linkage fluctuation analysis on condition evaluation in process industry

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.

Mechanized semantics and refinement of UML-Statecharts

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.