香港高铁客票电子支付系统设计

为满足广深港(广州—深圳—香港地区)高速铁路香港段(简称:香港高铁)旅客外卡支付及跨境退票与改签的需要,结合香港高铁客票系统及电子支付系统升级工作,依照两地金融相关政策及铁路电子支付业务相关规范,对中国国家铁路集团有限公司客票电子支付系统既有业务流程进行再造,提出香港高铁客票电子支付系统设计,为互联网和线下售票应用提供电子支付服务,实现香港高铁客票电子支付跨境购票的通退通改,并提供对账结算、偏差处理、资金清算、支付安全认证等服务。香港高铁客票电子支付应用已实施,取得较好的应用效果,在应用层实现了香港高铁与内地铁路客票电子支付系统的统型,增加铁路客票国际卡支付渠道,为跨境改签与退票提供便利。

DSS Scheme for Operation Optimization Problem on Power Plants

Based on the target analysis of the operation optimization for power plants, a novel system scheme called operation optimization decision support system (OODSS) is brought forward. According to the structure and design thinking of decision support system (DSS), the overall structure of the OODSS is studied, and the scheme of the sub systems in the OODSS such as the user interface system, the problem processing system, the database system, the model base system, the expert system (ES) and the data mining sy...

System-Level Modeling and Simulation of Force-Balance MEMS Accelerometers

This paper presents two approaches for system-level simulation of force-balance accelerometers. The derivation of the system-level model is elaborated and simulation results are obtained from the implementation of those strategies on the fabricated silicon force-balance MEMS accelerometer. The mathematical model presented is implemented in VHDL- AMS and SIMULINK TM,respectively. The simulation results from the two approaches are compared and show a slight difference. Using VHDL-AMS is flexible,reusable,and more accurate. But there is not a mature solver developed for the language and this approach takes more time, while the simulation model can be easily built and quickly evaluated using SIMULINK.

Direct adaptive fuzzy control based on integral-type Lyapunov function

A new scheme of direct adaptive fuzzy controller for a class of nonlinear systems with unknown triangular control gain structure is proposed. The design is based on the principle of sliding mode control and the approximation capability of the first type fuzzy systems. By introducing integral-type Lyapunov function and adopting the adaptive compensation term of optimal approximation error, the closed-loop control system is proved to be globally stable, with tracking error converging to zero. Simulation results demonstrate the effectiveness of the approach.

Simulation of Restraint System Performance upon the Occupant's Response During Impact

Aim To study the influence of restraint system performance upon the occupant's response during impact, and provide a scientific base for occupant restraint system design. Methods \ In the light of basic theory of multibody system dynamics and impact dynamics on the basis of classical theory of impact, R W method is adopted to construct the vehicle occupant system model consisting of fourteen rigid bodies, thirty seven DOFs and slip joints for the simulation. A software named SVC3D(3 dimensional simulation of vehicle crash) is developed in the FORTRAN language. Results\ The results of simulation have a good coincidence with those of tests and the restraint system with low elongation webbing and equipped with pretensioner provides better restraint effect for the occupant. Conclusion\ The model of vehicle occupant multibody system and SVC3D are suitable for use. Occupant should be belted with low elongation webbing to a certain degree and occupant restraint system should be equipped with pretensioner.

Development of Fault Diagnosis System for Spacecraft Based on Fault Tree and G2

Some ideas in the development of fault diagnosis system for spacecraft are introduced. Firstly, the architecture of spacecraft fault diagnosis is proposed hierarchically with four diagnosis frames, i.e., system level, subsystem level, component level and element level. Secondly, a hierarchical diagnosis model is expressed with four layers, i.e., sensors layer, function layer, behavior layer and structure layer. These layers are used to work together to accomplish the fault alarm, diagnosis and localization. Thirdly, a fault-tree-oriented hybrid knowledge representation based on frame and generalized rule and its relevant reasoning strategy is put forward. Finally, a diagnosis case for spacecraft power system is exemplified combining the above with a powerful expert system development tool G2.

THE MODEL VALIDATION OF DYNAMIC NEURAL NETWORKS

This paper investigates the problem of the model validation in identifying discrete-time-nonlinear dynamic systems by using neural networks with a single hidden layer.Based on the estimation theory,a synthetic error-index(SEI)criterion for the neural network models has been developed.By using the powerful training algorithm of recursive prediction error (RPE),two simulated non-linear systems are studied,and the results show that the synthetic error-index criterion can be used to verify the dynamic neural network models.Furthermore,the proposed technique is much simple in calculation than that of the effective correlation tests.Finally,some problems required by further study are discussed.

Seize the long tail, traditional metamorphosis interconnection

the traditional enterprise transformation, thanks to the Internet is a hot topic in recent years, many companies are testing the waters, but the real success is not much. This article through to the kaiyuan long tail economy, crowdsourcing platform, C2B customization model and information system four aspects of the introduction and analysis, trying to traditional enterprise transformation of the Internet, to provide reference.

Research on Assessment Model of Information System Security Based on Various Security Factors

With the rapid development of network technology, the meaning of layers and attributes in respect of information system security must be extended based on the understanding of the concept of information system security. The layering model (LM) of information system security and the five-attribute model (FAM) based on security factors were put forward to perfect the description and modeling of the information system security framework. An effective framework system of risk calculation and assessment was proposed, which is based on FAM.

HIERARCHIC GREY QUASI-PREFERRED ANALYSIS MODEL AND ITS APPLICATION

The grey quasi-preferred analysis (GQPA) is one of important methods for realizing system analysis to conquer the limitations of the existing GQPA model, without any considerations to the difference of the different behavioral factor′s importance. It could not be used to analyze the complex system with multi-hierarchy correlation factors, the weighted synthetic method for calculating abstract incidence degrees between the system beha-vioral characteristics and correlative factors in different hierarchies is given out,and the hierarchic grey quasi-preferred analysis (HGQPA) model is established. The effectiveness of the HGQPA model is tested by the scientific-technical system of Jiangsu Province. The depth and the range of the application of GQPA are developed, and the HGQPA model is regarded as a new approach to systemically analyze the complex systems with multi-hierarchy correlation factors.

Residential environment index system and evaluation model established by subjective and objective methods

In this research, the residential environment index system and evaluation model were established by means of subjective and objective methods. The methodology for establishing the evaluation system for residential environment was first analyzed; then the subjective evaluation data-base was established by questionnaire survey; and at the same time, the objective evaluation data-base was constructed by Geographic Information System (GIS); and then the related equation system between subjective and objective system was developed by multiple regression analysis. This research could benefit evaluation of the residential environment quality for various purposes, and also provide important rudimentary data-base for the development and improvement of residential environment for officials. Furthermore, the index system and evaluation model established in this research could construct a strong relation between subjective evaluation and objective data; and thus could provide a comprehensive, efficient and effective methodology for the evaluation of residential environment.

Remote Control and Telemetry System for Large-scale Model Test at Sea

Physical testing of large-scale ship models at sea is a new experimental method.It is a cheap and reliable way to research the environment adaptability of a ship in complex and extreme wave conditions.It is necessary to have a stable experimental system for the test.Since the experimental area is large, a remote control system and a telemetry system are essential, and were designed by the authors.An experiment was conducted on the Songhuajiang River to test the systems.The relationship between the model's speed and its electromotor's revolutions was also measured during the model test.The results showed that the two systems make it possible to carry out large-scale model tests at sea.

Remote Sensing of Ecosystem Services:An Opportunity for Spatially Explicit Assessment

Ecosystem service is an emerging concept that grows to be a hot research area in ecology.Spatially explicit ecosystem service values are important for ecosystem service management.However,it is difficult to quantify ecosystem services.Remote sensing provides images covering Earth surface,which by nature are spatially explicit.Thus,remote sensing can be useful for quantitative assessment of ecosystem services.This paper reviews spatially explicit ecosystem service studies conducted in ecology and remote sensing in order to find out how remote sensing can be used for ecosystem service assessment.Several important areas considered include land cover,biodiversity,and carbon,water and soil related ecosystem services.We found that remote sensing can be used for ecosystem service assessment in three different ways:direct monitoring,indirect monitoring,and combined use with ecosystem models.Some plant and water related ecosystem services can be directly monitored by remote sensing.Most commonly,remote sensing can provide surrogate information on plant and soil characteristics in an ecosystem.For ecosystem process related ecosystem services,remote sensing can help measure spatially explicit parameters.We conclude that acquiring good in-situ measurements and selecting appropriate remote sensor data in terms of resolution are critical for accurate assessment of ecosystem services.

Quality Assessment of Attribute Data in GIS Based on Simple Random Sampling

On the basis of the principles of simple random sampling, the statistical model of rate of disfigurement (RD) is put forward and described in detail. According to the definition of simple random sampling for the attribute data in GIS, the mean and variance of the RD are deduced as the characteristic value of the statistical model in order to explain the feasibility of the accuracy measurement of the attribute data in GIS by using the RD. Moreover, on the basis of the mean and variance of the RD, the quality assessment method for attribute data of vector maps during the data collecting is discussed. The RD spread graph is also drawn to see whether the quality of the attribute data is under control. The RD model can synthetically judge the quality of attribute data, which is different from other measurement coefficients that only discuss accuracy of classification.

CLIMATE CHANGE:LONG-TERM TRENDS AND SHORT-TERM OSCILLATIONS

Identifying the Northern Hemisphere （NH） temperature reconstruction and instrumental data for the past 1000 years shows that climate change in the last millennium includes long-term trends and varioas oscillations. Two long-term trends and the quasi-70-year oscillation were detected in the global temperature series tbr the last 140 years and the NH millennium series. One important feature was emphasized that temperature decreases slowly but it increases rapidly based on the analysis of different series. Benefits can be obtained of climate change from understanding various long-term trends and oscillations. Millennial temperature proxies from the natural climate system and time series of nonlinear model system are used in understanding the natural climate change and recognizing potential benefits by using the method of wavelet transform analysis. The results from numerical modeling show that major oscillations contained in numerical solutions on the interdecadal timescale are consistent with that of natural proxies. It seems that these oscillations in the climate change are not directly linked with the solar radiation as an external tbrcing. This investigation may conclude that the climate variability at the interdecadal timescale strongly depends on the internal nonlinear effects in the climate system.

A Model of Application System for Man-Machine-Environment System Engineering in Vessels Based on IDEF0

Applying man-machine-environment system engineering(MMESE)in vessels is a method to improve the effectiveness of the interaction between equipment, environment, and humans for the purpose of advancing operating efficiency, performance, safety, and habitability of a vessel and its subsystems. In the following research, the life cycle of vessels was divided into 9 phases, and 15 research subjects were also identified from among these phases. The 15 subjects were systemized, and then the man-machine-environment engineering system application model for vessels was developed using the ICAM definition method 0 (IDEF0), which is a systematical modeling method. This system model bridges the gap between the data and information flow of every two associated subjects with the major basic research methods and approaches included, which brings the formerly relatively independent subjects together as a whole. The application of this systematic model should facilitate the application of man-machine-environment system engineering in vessels, especially at the conceptual and embodiment design phases. The managers and designers can deal with detailed tasks quickly and efficiently while reducing repetitive work.

Loading System for Full-Scale Heavy-Duty Support Node Test with Multi-Directional Loading Requirements

This paper presents the design, analysis and experimental study of a loading system for heavy-duty nodes test based on a large-scale multi-directional in-plane loading device, which has been used in a full-scale heavy-duty support node test. Test loads of the support reached 6 567 kN with multi-directional loading requirements, which outrange the capacity of the available loading devices. Through the reinforcement of a large-scale multi-directional inplane loading device, the innovative design of a self-balanced load transferring device, and other arrangement considerations of the loading system, the test was implemented and the loading capacity of the ring was considerably enlarged. Due to the heavy loading requirements, some checking computations of the ring and the load transferring device outranged the limit of the Chinese national code "Code for Design of Steel Structures (GB 50017—2003)", thus elastic-plastic finite element (FE) analysis was carried out on the two devices, and also the real-time monitoring on the whole loading systems during experiments to ensure test safety. FE analysis and test results show that the loading system worked elastically during experiments.

Modeling of miner track system during steering motion

Equipment for deep sea mining has risen from a position of virtual non-existence to a major industrial significance and in deep sea bed mining, the miner is the key equipment of the whole system that charges with the most complex and dangerous task.Evaluation of trafficability for tracked vehicles for deep sea mining is essential. Rare earth elements(REEs) are used in a wide range of modern applications. These applications are highly specific and substitutes are inferior or unknown. One possible source of the REE could be the poly-metallic nodule, at present explored in the tropical part of the Pacific Ocean. In developing miners of high performance, dynamic behaviour should be investigated under various traveling conditions. The mechanics of tracked vehicles is of continuing interest to organizations and agencies that specify design and operate tracked vehicles. Most works done are on the complete track vehicle system but in this work the research activity is aimed only at the track system with the basic aim of optimizing the track system design so that it can be manufactured by using the minimum resources. Equations and models are developed for the track system of a miner during steering motion. These equations and models could further be used for design optimization of the track system.

Dynamic Modeling of Tubular SOFC for Marine Power System

Solid oxide fuel cell (SOFC) has been identified as an effective and clean alternative choice for marine power system.This paper emphasizes on the dynamic modeling of SOFC power system and its performance based upon marine operating circumstance.A SOFC power system model has been provided considering thermodynamic and electrochemical reaction mechanism.Subcomponents of lithium ion battery, power conditioning unit, stack structure and controller are integrated in the model.The dynamic response of the system is identified according to the inertia of its subcomponent and controller.Validation of the whole system simulation at steady state and transit period are presented, concerning the effects of thermo inertia, control strategy and seagoing environment.The simulation results show reasonable accuracy compare with lab test.The models can be used to predict performance of a SOFC power system and identify the system response when part of the component parameter is adjusted.

Two-stage stochastic approach for spinning reserve allocation in dynamic economic dispatch

A novel approach was proposed to allocate spinning reserve for dynamic economic dispatch.The proposed approach set up a two-stage stochastic programming model to allocate reserve.The model was solved using a decomposed algorithm based on Benders' decomposition.The model and the algorithm were applied to a simple 3-node system and an actual 445-node system for verification,respectively.Test results show that the model can save 84.5 US $ cost for the testing three-node system,and the algorithm can solve the model for 445-node system within 5 min.The test results also illustrate that the proposed approach is efficient and suitable for large system calculation.