客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。     

某四缸柴油机冷却水流动的试验研究

通过改变柴油机从机油冷却器流入机体水套的水流动方式，得到两种完全不同的冷却水流动方案．按照冷却系统工程规范，分标定点与转矩点两个工况来检查冷却系统的功能和特性，以比较两种结构方案的优劣，也为下一步进行计算流体动力学分析（CFD）提供边界条件．     

THE HUMORAL AND CELLULAR IMMUNE RESPONSES INDUCED BY HPV18L1-E6/E7 DNA VACCINES IN MICE

Objective To construct eukaryutic expression vector of HPV18 L1- E6, E7 chimeric gene and examine the humorul and cellular immune responses induced by this DNA vaccines in mice. Methods The C-terminal of major rapsid protein L1 gene and mutant zinc finger domains of early E6/7 oncogenes in HPV18 were integrated and inserted into eukaryotic expression vector pVAX1 to generate vaccines pVAX1-L1E6Mxx, ETMxx. CHO cells were transiently transfected with the individual construct. Target protein expressions in the lysate of the transfected cells were measured by ELISA and immunocytochemistry After BALB/c mice were vaccinated with various recombinant plusmids（pVAX1- L1-E6M3 or pVAX1-L1-E7M3 ） and immunie adjuvants （pLXHDmB7-2 or LTB） through different administration routes （intramuscular or intranasal） , the great cellular immune responses were produced us revealed by delayed-type hypersensitivity （DTH） and lymphocyte proliferation, and the expression of IL-4 and IFN- 7 cells in CD4^＋ and CD8^＋ subpopulations. Results The highly efficient expression of pVAX1-L1E6Mxx, E7Mxx vector in host eukaryotic cells were demonstrated both by ELISA and immunocytochemistry. The level of specific serum IgG against HPV in experiment groups mice was much higher than that of control group, and intranuscular immunization group had the highest antibody level. Intramuscular immunization groups were superior to intranasal immunization groups in DTH response, splenocyte proliferation and CD8^＋ IFN-γ^＋ cells number, but CD4^＋ IL4^＋ cell number was higher in intranasul immunization groups. The immunization groups using pLXHDmB7.-2 as adjuvant were superior to other groups in immunorespouse. Conclusion These DNA vaccines produce remarkable cellular and humorul immune responses in the mouse and may provide us prophylatic and therapeutic candidates for HPV induced cancer treatment.     

计算机电磁信息泄漏文字再现

设计了针对计算机电磁信息泄漏的接收和再现系统.用宽带天线截获电磁信息泄漏信号后,经带通滤波和放大,再用锁相环电路捕获帧同步与行同步信号.同步信号经模数转换后,得到视频数字信号的输出.然后,用平均滤波法对数字视频信号降噪.最后,用匹配滤波器获得再现的文字.测试结果表明,用平均滤波的方法使同步信号的信噪比提高了18.7 dB,可在12 m范围内获取奔腾486主机及阴极射线管显示器泄漏的文字信息.     

核转录因子激活蛋白-1对PPARδ表达的调控作用

目的研究在过氧化物酶体增长因子活化受体δ(PPARδ)表达中的相关调控因子。方法用RT-PCR扩增人类PPARδ启动子序列,通过Deletion及重组将不同长短的PPARδ启动子序列转化到PGL3-basic载体中,转染LOVO细胞,通过观测各重组体转染活性,确定PPARδ启动子活性区域。再通过电泳迁移率变更分析(EMSA)、突变等方法确定核转录因子激活蛋白-1(AP1)对PPARδ表达的作用。结果Deletion及重组转染后发现PPARδ启动子活性区域在序列3361~3464之间,EMSA、突变发现AP1因子结合位点突变后转染活性明显降低。结论AP1因子结合位点突变后转染活性明显降低,提示AP1是PPARδ的一个增强子。     

Detecting the Resistivity Distribution of Carbon Fiber Reinforced Concrete by Electrical Resistance Tomography Method

According to the principle of electrical resistance tomography （ ERT）, the resistivity distribution of the carbon fiber reinforced concrete （CFRC） in the sensing field can be measured by injecting exciting current and measuring the voltage on the sensor electrode arrays installed on the surface of the object. Therefore, measurement of the resistivity distribution of CFRC is divided into first measuring the boundary conditions and then inversely computing the resistivity distribution. To reach this goal, an ERT system was constructed, which is composed of a sensor array unit, a data acquisition unit and an image reconstruction unit. Simulations of static ERT was performed on set-ups with many objects spread in a homogeneous background, and a simulation of dynamic ERT was also done on a rectangular board, the resistivity of which was changed within a small domain of it. Then, the resistivity distribution of a CFRC sample with a circlar hole as the target was detected by the ERT system. Simulation and experimental results show that the reconstructed ERT image reflects the resistivity distribution or the resistivity change of CFRC structure well. Especially, a small change in resistivity can be identified from the reconstructed images in the simulation of dynamic ERT images.     

全脑缺血再灌注损伤后JUN蛋白在大鼠海马的表达及热休克预处理对其表达的影响

目的研究全脑缺血再灌注损伤后JUN蛋白在大鼠海马的表达及热休克预处理对其表达的影响。方法以四血管法建立全脑缺血再灌注模型。将大鼠置于42℃中15 min行热休克预处理,全脑缺血6 min后行2 h、6 h、12 h、24 h3、d、5 d再灌注后处死,取海马脑组织行HE染色、JUN蛋白免疫组化染色,TUNEL法检测凋亡细胞。结果缺血再灌注后2 h JUN蛋白在CA1区开始表达,6 h达到高峰,5 d时仍有表达;CA3区JUN蛋白的表达弱于CA1区(P<0.05);同时CA1区细胞损伤明显。热休克预处理组JUN蛋白表达在CA1和CA3区相应时点减弱(P<0.05),细胞损伤轻微,凋亡细胞减少(P<0.05)。结论全脑缺血再灌注损伤后JUN蛋白过度表达参与了神经元损伤过程,热休克预处理通过下调JUN蛋白过度表达具有脑保护作用。     

应用免疫组织化学方法评价组织芯片的可靠性

目的探讨组织芯片技术在免疫组化试验中的可靠性和提高组织芯片可信性的方法。方法选择82例人乳腺癌标本石蜡蜡块,利用传统制片技术和自行研制的专用器具分别制作常规石蜡切片和组织芯片,采用免疫组化技术检测雌激素受体(ER)、孕激素受体(PR)的表达。结果采用自行研制的专用器具制备组织芯片,所得样本的可分析率均在92.9%以上,且随着对同一标本取材数量的增加,其可分析标本率也明显上升。采用传统方法检测的82例乳腺癌标本中ER和PR的阳性率分别为61%和58.5%;采用组织芯片技术,一式一份取材,其阳性率分别为51.9%和50.0%,一式两份方式取材,其阳性率分别为53.8%和53.8%,采用一式三份方式取材,其阳性率分别为57.1%和60.7%,且三种不同取材方式的检测结果与传统制片法之间并无统计学差异(P>0.75)。结论在采用统一制备标准并保证组织芯片质量的前提下,挖取直径1.5mm的组织样本制备组织芯片,尽管组织芯片技术与传统方法检测的结果的一致率仍随着对同一标本取材次数的增加而提高,但是三种不同取材方式的检测结果之间并无统计学差异。因此,一式一份取材制备组织芯片完全可替代传统制片技术用于免疫组织化学乃至原位杂交、荧光原位杂交技术的研究,且可保证组织芯片的可信性和高通量特征。     

High-Speed Rail Operations on an Existing Network: An Assessment Model for China

High-speed rail operations have the potential to reduce the long-term decline in rail passenger travel demand for the medium to long distance inter-urban markets. Such decline has been evident through most of the industrialized countries where air and road transport tend to be the dominant modes. In China, the operations of long distance high-speed rail on fully dedicated track is not very easy to implement, due to the high proportion of passengers who travel between high-speed and conventional railways. An alternative approach would be to allow for mixed operations with trains of various speeds on the same track. This article puts forward a simulation model designed to allow an evaluation of the most efficient distance for high-speed rail operations under mixed train speed scenarios. The model takes into account the main operating parameters such as passenger volumes, train speeds, capital and maintenance costs, train operating costs and energy consumption. The distance of high-speed train running on conventional rail that will yield the most economic benefit can be estimated using the model. The article includes the results of using the model for a specific example. It is concluded that large-scale high-speed trains have the potential to be successfully operated on conventional rail networks.     

An assessment of advanced transport telematics evaluation procedures

This paper reviews and critically assesses procedures which have been adopted to evaluate Advanced Transport Telematics (ATT) projects. The importance of such a review at this juncture stems from the changing position of ATT in transport planning. ATT is no longer simply a field for experimentation, where technical feasibility and user acceptance are dominant concerns. Rather it is a potential mainstream contributor to the functioning of road transport systems. For this reason, ATT project appraisal needs to be developed to the same form, level of sophistication and consistency as the appraisal of conventional transport infrastructure investment. Based on the review set out here, we argue that appropriate methods have not yet been established which, in turn, poses a number of challenging questions, since current socio‐economic evaluation procedures are not directly suited to either measuring or evaluating many of the impacts which ATT schemes are implemented to achieve.