摘要：In communication networks （CNs）, the uncertainty is caused by the dynamic nature of the traffic demands. Therefore there is a need to incorporate the uncertainty into the network bandwidth capacity design. For this purpose, this paper developed a fuzzy methodology for network bandwidth design under demand uncertainty. This methodology is usually used for offiine traffic engineering optimization, which takes a centralized view of bandwidth design, resource utilization, and performance evaluation. In this proposed methodology, uncertain traffic demands are first handled into a fuzzy number via a fuzzification method. Then a fuzzy optimization model for the network bandwidth allocation problem is formulated with the consideration of the trade-off between resource utilization and network performance. Accordingly, the optimal network bandwidth capacity can be obtained by maximizing network revenue in CNs. Finally, an illustrative numerical example is presented for the purpose of verification.

摘要：Experimental investigations are performed in a three-stage low-speed axial compressor with variable inlet guide vanes(IGV) and adjustable *** characteristics of the compressor,especially the efficiency and stall margin,are analyzed in design and off-design operation conditions by adjusting stagger angles of IGV and stators as well as changing the rotational *** experimental results show that the off-design performance of the multistage axial compressor is improved by restaggering of IGV and stators related to rotational *** the background of engineering applications,digital signal processing(DSP) technique is used to realize online adjustment of stagger angles according to the corresponding relations between incidence angles of rotor and rotational speed.

摘要：The ground-based experimental tests are crucial to verify the related technologies of the drag-free *** work presents a design method of the ground simulator testbed for emulating the planar dynamics of the space drag-free *** this paper,the planar dynamic characteristics of the drag-free satellite with double test masses are analyzed and nondimensionalized.A simulator vehicle composed of an air bearing testbed and two inverted pendulums is devised on the basic of equivalent mass and equivalent stiffness proposed firstly in this *** the dynamic model of the simulator equivalent to the sensitive axis motion of the test mass and the planar motion of the satellite is derived from the Euler-Lagrange ***,the dynamic equivalence conditions between the space prototype system and the ground model system are derived from Pi *** satisfy these conditions,the scaling laws of two systems and requirements for the inverted pendulum are put ***,the corresponding control scaling laws and a closed-loop control strategy are deduced and applied to establishing the numerical simulation experiments of underactuated ***,the comparative simulation results demonstrate the similarity of dynamical behavior between the scaled-down ground model and the space *** a result,the rationality and effectiveness of the design method are proved,facilitating the ground simulation of future gravitational wave detection satellites.

摘要：The principal component analysis （PCA） is one of the most celebrated methods in analysing multivariate data. An effort of extending PCA is projection pursuit （PP）, a more general class of dimension-reduction techniques. However, the application of this extended procedure is often hampered by its complexity in computation and by lack of some appropriate theory. In this paper, by use of the empirical processes we established a large sample theory for the robust PP estimators of the principal components and dispersion matrix.

摘要：Control invariant sets play a key role in model predictive *** Lyapunov function,a technique is proposed to design control invariant sets of planar systems in a precise ***,itis designed for a linear system in Brunovsky canonical ***,the result is extended to generallinear ***,the nonlinear control systems are considered,and some sufficient conditionsand design techniques are also *** examples are presented to illustrate the proposeddesign methods.

摘要：Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.

摘要：In this study, a novel hybrid intelligent mining system integrating rough sets theory and support vector machines is developed to extract efficiently association rules from original information table for credit risk evaluation and analysis. In the proposed hybrid intelligent system, support vector machines are used as a tool to extract typical features and filter its noise, which are different from the previous studies where rough sets were only used as a preprocessor for support vector machines. Such an approach could reduce the information table and generate the final knowledge from the reduced information table by rough sets. Therefore, the proposed hybrid intelligent system overcomes the difficulty of extracting rules from a trained support vector machine classifier and possesses the robustness which is lacking for rough-set-based approaches. In addition, the effectiveness of the proposed hybrid intelligent system is illustrated with two real-world credit datasets.

摘要：The nitrogen-coordinated metal single-atom catalysts(M−N−C SACs)with an ultra-high metal loading synthetized by direct high-temperature pyrolysis have been widely ***,most of metal single atoms in these catalysts were buried in the carbon matrix,resulting in a low metal utilization and inaccessibility for adsorption of reactants during the catalytic ***,we reported a facile synthesis based on the hard-soft acid-base(HSAB)theory to fabricate Co single-atom catalysts with highly exposed metal atoms ligated to the external pyridinic-N sites of a nitrogen-doped carbon *** from the highly accessible Co active sites,the prepared Co−N−C SAC exhibited a superior oxygen reduction reactivity comparable to that of the commercial Pt/C catalyst,showing a high turnover frequency(TOF)of 0.93 e^(−)·s^(-1)·site^(-1)at 0.85 V ***,far exceeding those of some representative SACs with a ultra-high metal *** work provides a rational strategy to design and prepare M−N−C single-atom catalysts featured with high site-accessibility and site-density.

摘要：This paper addresses the synchronization problem of Boolean *** on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback *** and sufficient conditions on open-loop control are proposed first with a constructive design *** sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix *** examples are also provided to illustrate the proposed control design.

摘要：This paper introduces the design and simulation of a Wire Position Monitor （WPM） used in the cryogenic system of an Accelerator Driven System （ADS）. The WPM is designed to monitor the contraction of cold masses during the cooling-down operation. In this paper, POISSON-2D electrostatic field software is used to calculate the best characteristic impedance for the WPM. Furthermore, the time domain signal of different end structures is theoretically analyzed and simulated. The coupling of electrodes and the influence of signal carrier size, which may influence the induced signal, are also discussed. Finally, the linearity of the induced voltage and the sensitivity of the WPM are analyzed. The time domain simulation results are consistent with the theoretical analysis. The influences of the coupling and carrier size are very small, and the linearity of the normalized voltage is good within r/2.