快速客车制动间检修设备配置的研究

论述铁道部专运处为满足检修需要,提高检修效率,降低运营成本,进行快速客车制动系统的改进及制动间检修设备重新配置的做法和经验。

轿车轴间制动力分配优化设计

本文以利用附着系数界线式给出了ＥＣＥ制动法规换为前后轴制动力分配界限图，对装比例阀的轿车同间制动力分配翁化设计问题进行了研究，文中给出了一个轿车的计算实例。

半挂汽车列车轴间制动力分配的优化设计

提出了评价汽车列车制动性能的新的指标──平均制动效率，并用该指标作为优化目标，用来分析和设计半挂汽车列车轴间制动力的合理分配。

轻型货车制动性能优化设计

优化设计方法对在用车的制动系进行改进是提高安全性较为有效的方法 ,通过对汽车轴间制动力的分配关系的分析 ,建立了以制动效率加权均值最大为目标函数 ,制动距离满足国标要求等为约束条件的数学模型 ,利用MATLAB优化工具箱进行了优化 ,试验结果表明该方法可用于同类车型的改进设计中。

汽车制动系统的性能分析和优化设计

伴随着我国汽车行业逐渐受到国人的重视,更重要的是受到了我国相关部门的重视,在这种情况下,汽车行业的安全问题就显得尤为突出。在汽车安全系统中。汽车制动系统是一项非常重要的组成部分。汽车制动系统最主要的作用就是要保障汽车在制动的过程中有一个非常稳定的减速过程。该文主要针对汽车制动系统的性能进行分析并通过分析来给出相关的优化设计建议。

立井主提升机制动系统参数推导探究

基于《煤矿安全规程》、《煤矿安全规程解读》、《煤矿地面多绳摩擦式提升系统设计规范》、《矿井提升设备》相关内容的理解,结合现场实际,总结、探索、推导出立井提升的贴闸油压值、二级制动一级油压值及二级制动延时时间值的计算公式,为提高主提升机制动控制系统安全可靠性提供了理论依据。

Flow Control with Intermittent Disturbance for the Laminar Separation Bubble on a NACA633-421 Airfoil

This study investigates the aerodynamic performance of the NACA 633-421 airfoil and the effectiveness and feasibility of intermittent disturbance flow control methods on laminar separation bubbles(LSBs).It is found that the average velocity and influence range of the synthetic jet actuator increase with the increasing of driving frequency and driving amplitude.LSB occurs at Re=1.0×10^(5),and ruptures atα=6°.But with intermittent disturbance control,the stall angle of attack(AoA)increases while significantly reducing drag.Research shows that although certain disturbance cannot fully recover from LSB stall,decreasing driving amplitude partially restores wing aerodynamic performance,more effectively than increasing driving amplitude.

A HOLONIC FRAMEWORK OF RECONFIGURABLE SHOP FLOOR CONTROL SYSTEMS IN AUTOMATED MANUFACTURING SYSTEMS

The agility and the flexibility of the current shop floor control systems have been limited so far, owing to the lack of structural flexibility and agility in its control software layer. Most of them are based on traditional hierarchical architecture and the top down approach and depend structurally on their specific configuration and job scheduling. Not only can they hardly satisfactorily adapt to these increasing changes and disturbances, but also make the redevelopment and maintenance of shop floor control system (SFCS) to need high cost and much time. And SFCS based on the heterarchical architecture don′t provide a predictable and high performance system, especially not in the heterogeneous environments, where the resources are scarce and the current decisions have serious repercussions on the future performances. For this reason, the heterarchical control is hardly applied in industry. Obviously, it is necessary to develop a new structural framework of reconfigurable SFCS to improve their agility, flexibility and maintainability. This paper presents a holonic framework of reconfigurable SFCS based on holonic manufacturing concepts. The framework is composed of resource holons, product holons and other staff holons. The model of each holon and the co operative mechanisms of holons are described. To verify the proposed approach experimentally, a prototype reconfigurable SFCS for a flexible manufacturing shop floor producing discrete parts is implemented.

Fast-Lock Low-Jitter PLL with a Simple Phase-Frequency Detector

A fast-locking, low-jitter, phase-locked loop （PLL） with a simple phase-frequency detector is proposed. The phase-frequency detector is composed of only two XOR gates. It simultaneously achieves low jitter and short locking time. The voltage-controlled oscillator within the PLL consists of four-stage ring oscillators which are coupled to each other and oscillate with the same frequency and a phase shift of 45. The PLL is fabricated in 0. 1Stem CMOS technology. The measured phase noise of the PLL output at 500kHz offset from the 5GHz center frequency is - 102.6dBc/Hz. The circuit exhibits a capture range of 280MHz and a low RMS jitter of 2.06ps. The power dissipation excluding the output buffers is only 21.6roW at a 1.8V supply.

INTEGRATION OF GENERIC SHOP FLOOR CONTROL

Based on the discussion of functions, components, control structure and network computing architecture of generic shop floor control (GSFC) in computer integrated manufacturing system (CIMS), the internal integration between components of GSFC and the external integration between GSFC and the other components of CIMS are studied. The integration models on the aspects of function, information, processing and interface are put forward. The integration models and the methods are implemented and applied in CIMS projects successfully.

Improvement of Electrical Performance of SOI-LIGBT by Resistive Field Plate

The electrical performance including breakdown voltage and turn-off speed of SOI-LIGBT is improved by incorporating a resistive field plate (RFP) and a p-MOSFET.The p-MOSFET is controlled by a signal detected from a point of the RFP.During the turning-off of the IGBT,the p-MOSFET is turned on,which provides a channel for the excessive carriers to flow out of the drift region and prevents the carriers from being injected into the drift region.At the same time,the electric field affected by the RFP makes the excessive carriers flow through a wider region,which almost eliminates the second phase of the turning-off of the SOI-LIGBT caused by the substrate bias.Faster turn-off speed is achieved by above two factors.During the on state of the IGBT,the p-MOSFET is off,which leads to an on-state performance like normal one.At least,the increase of the breakdown voltage for 25% and the decrease of the turn-off time for 65% can be achieved by this structure as can be verified by the numerical simulation results.

Modeling research of train tracing based on UML sequence diagram and UPPAAL

The zone control subsystem is a real-time control system,which requests the correctness of the control process.Train tracing scene is an important function of the zone controller(ZC)in the communication based train control(CBTC)system.In the process of deep development and design,to ensure the safety of the system,the system needs to be modeled,simulated and verified to discover the system design flaws.Unified modeling language(UML)is combined with timed automata,and timed automata network models of train-filter and train tracing demarcation-point are established.At the same time,the verification tool of UPPAAL is applied to simulate the system,and verify the requirements of performance and function of system.The results show that the function of train tracing demaraction-point meets the requirements of system safety and limited activity.Therefore,the method is feasible and can be applied to the modeling and verification of other scenes of train control system.

Finite-time Stabilization of the Double Integrator Subject to Input Saturation and Input Delay

Abstract--The time-optimal control design of the double integrator is extended to the finite-time stabilization design that compensates both input saturation and input delay. With the aid of the Artstein＇s transformation, the problem is reduced to assigning a saturated finite-time stabilizer. Index Terms--Finite-time stabilization, input delay, saturated design.

Simulation Research on a SVPWM Control Algorithm for a Four-Leg Active Power Filter

In this paper the topology of a four-leg shunt active-power filter (APF) is given. The APF compensates har-monic and reactive power in a three-phase four-wire system. The scheme adopted for control of the four-leg active power filter,a 3-Dimensional Pulse Width Modulation (PWM) technique,is presented. The theoretical deduction of a space vector PWM (SVPWM) algorithm is given in this paper. The paper also analyzes the distribution of the volt-age-space vector of the four-leg converter in αβγ coordinates and describes methods to determine the location of the voltage-space vector and to calculate duration time. Finally,the algorithm is implemented in simulation; the results show that the total harmonic distortion (THD) of the three phase-current waveforms is reduced. The neutral wire current,after compensation,is about 0 A showing that the topology of the four-leg shunt APF is feasible and the proposed scheme is effective.

A test sequence generation method of zone controller based on timed automata

In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.

Scheduling transactions in mobile distributed real-time database systems

A DMVOCC-MVDA （distributed multiversion optimistic concurrency control with multiversion dynamic adjustment） protocol was presented to process mobile distributed real-time transaction in mobile broadcast environments. At the mobile hosts, all transactions perform local pre-validation. The local pre-validation process is carried out against the committed transactions at the server in the last broadcast cycle. Transactions that survive in local pre-validation must be submitted to the server for local final validation. The new protocol eliminates conflicts between mobile read-only and mobile update transactions, and resolves data conflicts flexibly by using multiversion dynamic adjustment of serialization order to avoid unnecessary restarts of transactions. Mobile read-only transactions can be committed with no-blocking, and respond time of mobile read-only transactions is greatly shortened. The tolerance of mobile transactions of disconnections from the broadcast channel is increased. In global validation mobile distributed transactions have to do check to ensure distributed serializability in all participants. The simulation results show that the new concurrency control protocol proposed offers better performance than other protocols in terms of miss rate, restart rate, commit rate. Under high work load （think time is ls） the miss rate of DMVOCC-MVDA is only 14.6%, is significantly lower than that of other protocols. The restart rate of DMVOCC-MVDA is only 32.3%, showing that DMVOCC-MVDA can effectively reduce the restart rate of mobile transactions. And the commit rate of DMVOCC-MVDA is up to 61.2%, which is obviously higher than that of other protocols.

Fundamental aspects in CO_(2) electroreduction reaction and solutions from in situ vibrational spectroscopies

Using renewable energy to drive carbon dioxide reduction reaction(CO_(2)RR)electrochemically into chemicals with high energy density is an efficient way to achieve carbon neutrality,where the effective utilization of CO_(2) and the storage of renewable energy are realized.The reactivity and selectivity of CO_(2)RR depend on the structure and composition of the catalyst,applied potential,electrolyte,and pH of the solution.Besides,multiple electron and proton transfer steps are involved in CO_(2)RR,making the reaction pathways even more complicated.In pursuit of molecular-level insights into the CO_(2)RR processes,in situ vibrational methods including infrared,Raman and sum frequency generation spectroscopies have been deployed to monitor the dynamic evolution of catalyst structure,to identify reactive intermediates as well as to investigate the effect of local reaction environment on CO_(2)RR performance.This review summarizes key findings from recent electrochemical vibrational spectrosopic studies of CO_(2)RR in addressing the following issues:the CO_(2)RR mechanisms of different pathways,the role of surface-bound CO species,the compositional and structural effects of catalysts and electrolytes on CO_(2)RR activity and selectivity.Our perspectives on developing high sensitivity wide-frequency infrared spectroscopy,coupling different spectroelectrochemical methods and implementing operando vibrational spectroscopies to tackle the CO_(2)RR process in pilot reactors are offered at the end.

PID Controller Stabilization for First-order Integral Processes with Time Delay

Due to the widespread application of the PID controller in industrial control systems, it is desirable to know the complete set of all the stabilizing PID controllers for a given plant before the controller design and tuning. In this paper, the stabilization problems of the classical proportionalintegral-derivative （PID） controller and the singleparameter PID controller （containing only one adjustable parameter） for integral processes with time delay are investigated, respectively. The complete set of stabilizing parameters of the classical PID controller is determined using a version of the Hermite-Biehler Theorem applicable to quasipolynomials. Since the stabilization problem of the singie-parameter PID controller cannot be treated by the Hermite-Biehler Theorem, a simple method called duallocus diagram is employed to derive the stabilizing range of the single-parameter PID controller. These results provide insight into the tuning of the PID controllers.

Fundamental Theories of Spatial Similarity Relations in Multi-scale Map Spaces

Similarity relation is one of the spatial relations in the community of geographic information science and cartography.It is widely used in the retrieval of spatial databases, the recognition of spatial objects from images, and the description of spatial features on maps.However, little achievements have been made for it by far.In this paper, spatial similarity relation was put forward with the introduction of automated map generalization in the construction of multi-scale map databases;then the definition of spatial similarity relations was presented based on set theory, the concept of spatial similarity degree was given, and the characteristics of spatial similarity were discussed in detail, in-cluding reflexivity, symmetry, non-transitivity, self-similarity in multi-scale spaces, and scale-dependence.Finally a classification system for spatial similarity relations in multi-scale map spaces was addressed.This research may be useful to automated map generalization, spatial similarity retrieval and spatial reasoning.