不同剂量硒对老年大鼠心肌构筑影响的形态学观察

本文报告了不同剂量硒对喂养22月增龄大鼠心肌构筑的形态学影响。低硒饲料（含Se0.887μmol/L）组大鼠心肌细胞萎缩变细,间质结缔组织增生,线粒体（Mi）增生,部分Mi肿胀、嵴走向紊乱、溶解、空泡化;M线不清或消失,肌浆网扩张。富硒饲料（含Se6.337μmol/L）组大鼠心肌细胞病变明显改善。上述病变显著减轻的机理可能与硒提高谷胱甘肽过氧化物酶（CSHpx）活性,以对抗过氧化损伤有关。     

无航速具有自由液面的三维Green脉动源函数的数值积分方法

提出了一种计算无航速具有自由液面的三维Green脉动源函数的方法。采用零阶Bessel函数的Laplace变换，将无航速具有自由液面的三维Green脉动源函数变形为易于截断处理的形式，实现无穷积分向有限积分的转变。采用样条插值技术和自适应方法解决了高频振荡函数的数值积分的速度和精度问题。对半球浮体进行数值计算，结果令人满意，表明该方法的经济有效性。     

机车空调逆变电源控制系统及其实现

根据机车空调电源的特点,设计了满足机车空调电源应用要求的逆变器控制系统,包括逆变器电路组成、工作原理、控制系统硬件及软件等,突出了系统变频运行、智能控制等特点.设计方案得到了试验证实,设计样机满足运用要求.     

Ramp meters on trial: Evidence from the Twin Cities metering holiday

Ramp meters in the Twin Cities have been the subject of a recent test of their effectiveness, involving turning them off for eight weeks. This paper analyzes the results with and without ramp metering for several representative freeways during the afternoon peak period. Seven performance measures: mobility, equity, productivity, consumers’ surplus, accessibility, travel time variation and travel demand responses are compared. It is found that ramp meters are particularly helpful for long trips relative to short trips. Ramp metering, while generally beneficial to freeway segments, may not improve trip travel times (including ramp delays). The reduction in travel time variation comprises another benefit from ramp meters. Non-work trips and work trips respond differently to ramp meters. The results are mixed, suggesting a more refined ramp control algorithm, which explicitly considers ramp delay, is in order.     

A review of the Effect of α/W ratio on fracture toughness （Ⅱ） experimental investigation in LEFM

In part I of this series, experimental investigation in EPFM （elastic-plastic fracture mechanics） had been discussed. In this paper, experimental investigation in LEFM （ linear elastic fracture mechanics） is given. Fracture toughness tests had been carried out on three different strength steels, using both through-cracked specimens with different α/W ratio and semi-elliptical cracked specimens with variable crack size and shape. Results show that the fracture toughness KIC increases with decreasing α/W when α/W 〈 0.3 for three-point-bend specimens, and that for α/W 〉 0.3, it is independent of α/W. Shallow crack specimens, both through-cracked and surface-cracked, gave markedly higher values than deeply notched specimens. However, the effect of crack shape on fracture toughness is negligible. Results also show that the LEFM approach to fracture is not tenable for design stresses where αc is often very small, far less than 2.5 （ KIC/σy）^2.     

CRH380CL新一代高速动车组制动系统研制

介绍了CRH380CL新一代高速动车组的制动系统,重点阐述了制动系统结构、功能原理、设计计算和试验等内容。     

板式无砟轨道水泥乳化沥青砂浆施工质量控制技术

通过宁杭高铁水泥乳化沥青砂浆的施工实例,分析了水泥乳化沥青砂浆的原材料、配合比以及润湿、封边、灌浆、养护等工艺对施工质量的影响,重点阐述了各阶段施工质量控制要点,提出了相应的质量控制措施.     

CRH2-300动车组制动摩擦系数优化试验研究

对CRH2-300型动车组制动减速度试验情况和摩擦系数利用优化方案作了介绍。对武广客运专线进行的摩擦系数利用方案试验结果进行了分析和总结,并与原方案试验结果进行了对比。试验结果表明,摩擦系数优化方案可行。     

岩石地区地铁矿山法区间 隧道衬砌设计模式

岩石地区地铁矿山法区间隧道衬砌的设计模式长期处于无章可循的状态,亟须合理化、规范化。从结构可靠度的角度出发,分3种模式(铁规破损阶段法、铁规概率极限状态法、建规概率极限状态法)对铁路系统和建工系统的设计模式进行分析研究,提出合理的可靠度设计方法进行P-Δ分析,并提出区间隧道设计中各个关键参数的合理取值。     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。