Search

At present, tie-line scheduling in China are mostly prepared based on the determined regional forecast power of new energy resources. In the case of big errors in the forecast of new energy resources, it may affect the ability of provinces or regions to consume and accommodate new energy resources. In view of this situation, we propose a multi-province joint hierarchical optimization dispatch model with stronger adaptability and robustness: the upper-level model calculates the multi-region unit commitment and tie-line schedule, and allows the power grid to keep enough reserves for new energy forecast errors by considering the extreme scenario of new energy power. The lower-level model establishes an economic dispatch model based on chance-constrained programming. The scheme can effectively restrain the influence of uncertain fluctuation of new energy output and improve the absorption capacity of new energy. Finally, an example analysis is carried out based on the actual operation data of a certain region in China, and the calculation results show the effectiveness of the proposed model.

Performance analysis of coil launcher is very important for experimental research and electromagnetic optimization design. In order to check the effect of the improvement and analyze electromagnetic transient in coil launcher, the field coupling circuit simulation method is introduced in this paper. First the current of exciting coils was calculated by circuit model based on improved current filament method (CFM), and then the exciting current was loaded in 2D axisymmetric field model. The field model was built based on non-overlapping mortar finite element method (NO-MFEM). NO-MFEM divided the whole domain into two sub-domains, one contains the movable part(armature) and the other contains the source current(coils). The two sub-domains are discretized independently and the two set of meshes are non-conforming on the interface. When the movable part changes location, it only needs to change the node coordinates in movable sub-domains and information of mortar nodes and elements. In this paper performance analysis of three-stage coaxial induction coil launcher is carried out based on the field-circuit method. The correspondence of the results proves the validity of the field-circuit method.

Temperature measurement system is widely used in key industries at home and abroad such as aerospace, industry, agriculture, green energy, information and communication technology, etc. We always need to measure multi-path temperature signal. This system aims to collect multi-path temperature by using advanced high-speed SCM 8051F020 and 18B20 based on 1-wire bus protocol, together with NS-LM94022 temperature sensor. It actualizes the storage of temperature and time on 24c64 while power supply fails by using IC which is based on SMBUS serial bus interrupt. By setting the limits of alarm temperature, it actualizes the alarm of light and sound, and the function of temperature broadcast.

Modern database of PCM system existed data structure complex and storage mapping changeable characteristics, analyzed the shortage of F/S and traditional two layers structure models. Pointed out the methods that accessing the database through multi-layers model by using model layer technology, designed the middle layer access model, and a powerful technical guarantee is supplied for manual mode changing into computer-aided interactive mode.

A novel adaptive Turbo equalization algorithm based on the serious inter-symbol interference (ISI) in wireless channel is proposed. The channel characteristics are estimated through combining iterative recursive least square (RLS) with least mean square(LMS) and channel's changes are traced; and the soft interference cancellation (SIC) algorithm for Turbo equalization and the iterative calculations between equalizer and decoder are employed. Simulation results show that adaptive Turbo equalization achieves nearly 1.5 dB gain at 10-4 of BER compared with the conventional RLS, and reduces the complexity of calculation.

In the traditional B-method, operations are designed only by pre-conditions and a series of substitutions, and it works well. However, with the appearance and development of the modeling by the integration of semi-formal methods (especially UML) and formal methods, the condition changes. Without the formal notations interrelated to the post-condition, B-method cannot be embedded into UML models conveniently and flexibly in order to exert all its powers to describe systems exactly. This conditions indeed limit the adoption of B, and it is really necessary to extend the correlative definitions and properties. Therefore, this paper proposes the PostB, the extension referred to the formal notations of the post-condition to the B method, as well as the extended set-theorem models and proof obligations referred to it.

Model transformations are touted to play a key role in model-driven software development. The mapping relations between different models are the foundation and basis for the transformation. A classification for different level mappings was proposed and defined formally by abstractly analyzing the characteristics of syntax and semantic features of modeling languages. On this basis, a further study about the simulation-based mapping approach was conducted to explore the definition process for mapping relations and the cardinal principles should be followed. The UML-based class model used as a source and the C programming language used as the target are shown in the case study to help interpreting the ideas. It may not only be a theoretical guidance for model transformation, but also can be a measurement for validating the mapping rules between models at different abstract levels.

The transformation from platform independent models to platform specific models is a key technology in OMG's MDA. The mapping relations between different models are the foundation and basis for the transformation. By abstractly analyzing the characteristic of syntax and semantics of modeling languages, a semantic-features-calculation based model mapping approach for the development of Web information systems was proposed. To using this approach, abstract target semantic model should be constructed firstly. Then, based on the idea of elements in source semantic domain being reconstructed in the target semantic domain, mapping relations from source model to target model are made via abstract target semantic model. This approach may not only to be a theoretical guidance for model transformation, but also can be a measurement for validating the mapping rules between models at different abstract levels. JavaServer Faces assisted with Enterprise JavaBeans was used as a target platform to help interpreting the process of using this approach.