基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

船舶柴油机调速器有限转角力矩电机优化控制

本文针对新型的船舶柴油机调速器有限转角力矩电机控制系统优化与稳定性问题,在Matlab/Simulink中基于电枢回路方程与力矩方程搭建有限转角力矩电机动态系统模型.通过数据拟合方法构建电机非线性模型,基于线性控制理论对串级PID控制系统进行稳定性分析,最后使用遗传算法对PID参数进行优化设计.研究成果可为该电机用于柴油机电子调速执行机构提供优化及控制参考.     

Elasto-plastic modeling of soft soil considering degradation of stiffness

The stiffness has a large influence on the behavior of soils. Its value is affected by some of the soils properties, such as the over consolidated ratio(OCR), the effective normal stress, and the plasticity index etc. In this paper, the numerical modeling of soft soils was carried out using an improved elasto-plastic S-clay1 model accounting for degradation of stiffness. The relation between the stiffness and the shear strain was established based on a large number of experimental data. The effects of strain-dependent stiffness of normally consolidated soils and over consolidated soils on the stress-strain behavior were studied through a comparison of the simulations with the experimental results of undrained triaxial compression tests. The results show that the behaviors of soils can be well predicted with the improved constitutive model, particularly before the peak stress.     

Recursive least squares algorithm for a nonlinear additive system with time delay

This paper proposes a recursive least squares algorithm for a nonlinear additive system with time delay. By the Weierstrass approximation theorem and the key term separation principle, the model can be simplified as an identification model. Based on the identification model, a recursive least squares identification algorithm is used to estimate all the unknown parameters of the time-delayed additive system. An example is provided to show the effectiveness of the proposed algorithm.     

Decomposing and Cluster Refinement Design Method for Application-Specific Network-on-Chips

Along with higher and higher integration of intellectual properties (IPs) on a single chip, traditional bus-based system-on-chips (SoC) meets several design difficulties (such as low scalability, high power consumption, packet latency and clock tree problem). As a promising solution, network-on-chips (NoC) has been proposed and widely studied. In this work, a novel algorithm for NoC topology synthesis, which is decomposing and cluster refinement (DCR) algorithm, has been proposed to minimize the total power consumption of application-specific NoC. This algorithm is composed of two stages: decomposing with cluster generation, and cluster refinement. For partitioning and cluster generation, an initial low-power solution for NoC topology is generated. For cluster refinement, the clustering is optimized by performing floorplan to further reduce power consumption. Meanwhile, a good tradeoff between power consumption and CPU time can be achieved. Experimental results show that the proposed method outperforms the existing work.     

正激变换器的五维可视化优化设计

本文对正激变换器进行了输出本安特性分析,从满足纹波电压指标和最大输出短路放电能量最小的角度,采用五维数据可视化技术,在MATLAB环境下通过程序设计展现全局的值域分布,从而对电感、电容参数进行优化设计,以提高电路的稳定性。     

Full Duplex Communications for Next Generation Cellular Networks: The Capacity Gain

Full duplex communication highly improves spectrum efficiency of a wireless communication link. However, when it is applied to a cellular network, the capacity gain from this technology remains unknown. The reason is that full duplex communication changes the aggregate interference experienced by each communication link in cellular networks. In this paper, the capacity gain from full duplex communication is studied for cellular networks of 4G and beyond, where the same frequency channel is adopted in each cell. A two-layer Poisson point process (PPP) is adopted to model the network topology, and stochastic geometry is employed to derive the coverage probability and the average capacity of typical link in a cellular network. On the basis of these derived parameters, the capacity gain from full duplex communication is determined. Numerical results reveal that without mutual interference cancellation (MIC), the capacity gain is small under various power levels; with perfect MIC at base stations, the capacity gain can exceed 60%; with imperfect MIC at base stations, the capacity gain decreases quickly even with a slight drop of MIC performance.     

KHB型高压油脂润滑泵在汽车底盘集中润滑系统中的应用

主要介绍集中润滑在汽车底盘的重要性,重点分析中高压集中润滑系统在实际使用过程中更加节省油脂,为客户创造更多价值,阐述集中润滑系统的发展趋势,为汽车整车和零部件的研发工作提供参考。     

Modeling and simulation of a counter-rotating turbine system for underwater vehicles

The structure of a counter-rotating turbine of an underwater vehicle is designed by adding the counter-rotating second-stage turbine disk after the conventional single-stage turbine. The available kinetic energy and the absorption power of the auxiliary system are calculated at different working conditions, and the results show that the power of the main engine and auxiliary system at the counter-rotating turbine system matches well with each other. The experimental simulation of the lubricating oil loop, fuel loop, and seawater loop are completed right before the technology scheme of the counter-rotating turbine system is proposed. The simulation results indicate that the hydraulic transmission system can satisfy the requirements for an underwater vehicle running at a steady sailing or variable working conditions.