基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究

作为CTCS-3级列控系统的核心安全功能,速度-距离模式曲线具有参数输入域规模大、故障模式复杂等特点,如何完备地测试列控车载设备速度-距离监控曲线功能异常困难。提出了一种基于输入等价类划分测试理论的CTCS-3级列控车载目标速度监控曲线完备性测试用例生成方法。首先,结合CTCS-3级列控系统需求规范,建立了满足司机制动优先和设备制动优先两种不同制动优先级情况下的TSM有限状态机模型,并利用反应式状态迁移系统的形式化语义,描述了不同输入情况下模型的内部状态迁移过程。其次,利用I/O等价原理和等价类划分理论,得到了两种不同制动优先情况下的输入等价类划分。在此基础上,通过引入了被测系统的故障模型和故障域范围,采用W-method测试用例集生成方法,在满足模型故障域的条件下,最终得到两种不同制动优先的目标速度监控曲线模型完备测试集。设备制动优先情况生成的测试用例数量高于司机制动优先约33.3%,且所需测试时间和内存消耗更多。     

GENETIC POLYMORPHISM OF SIX Y CHROMOSOMAL STR IN CHINESE HUI ETHNIC GROUP

Objective To study genetic polymorphism of 6 Y chromosomal STR in Hui ethnic group living in Ningxia Hui ethnic autonomous region, in order to evaluate their usefulness in forensic science and enrich the Chinese genetic information resources. Methods We investigated 101 unrelated, healthy, male individuals of Hui ethnic group and studied their allelic frequency distribution and haplotype diversity of 6 Y chromosomal STR. Primer for each loci was labeled with the fluorescent by FAM (blue) or TAMRA(yellow). The data of Hui ethnic group were generated coamplification, GeneScan, genotype, and genetic distribution analysis. Results 31 alleles and 43 phenotype(DYS385) were detected, with the frequencies ranging from 0. 0099- 0. 7129. Out of a total of 101 individuals, 96 showed different haplotypes; 91 were unique; 5 were found 2 times. The haplotype diversity for 6 Y-STR loci was 0. 9990. Conclusion The date obtained can be valuable for individual identification, paternity testing in forensic fields and for population genetics because of 6 Y-STR loci high polymorphism.     

基于MTSP的机车周转图编制模型与算法

为了提高机车的工作效率，探讨了机车周转图编制模型与算法．对于给定的列车运行图，综合考虑机车使用台数最少和图形均衡性，提出了一种编制机车周转图的新算法．将机车周转图编制问题转化为多旅行商问题（MTSP）并建立数学模型，从而求得问题的最优解．最后，用列车运行图实际数据进行了验证，证明了该算法的有效性．     

超声诊断SD大鼠非酒精性脂肪肝的价值

目的评价超声诊断非酒精性脂肪肝(non-alcoholic fatty liver,NAFL)的价值。方法48只SD大鼠随机分成正常对照组(6只)和高脂饮食组(42只),正常对照组饲养8周;高脂饮食组分为7组,每组6只,每隔2周处死1组,处死后观察肝组织学改变,处死前1 d行超声检查。结果超声对脂肪肝阳性诊断准确率是78.2%,其中轻度脂肪肝诊断准确率约为70%,中度脂肪肝诊断准确率为90%。结论超声是诊断脂肪肝的首选方法。     

慢性盐缺乏、盐负荷对血清内源性哇巴因水平的影响

目的观察慢性盐缺乏和盐负荷对内源性哇巴因(EO)分泌的影响,探讨在慢性盐缺乏或盐负荷状态下EO对SD大鼠钠代谢和血压的调节作用。方法以含0.02%(低盐)、0.5%(普食)及8%(高盐)的普通加碘盐饲料喂养SD大鼠8周,原子吸收分光光度法检测尿液中钠离子、钾离子浓度,酶联免疫吸附法(ELISA)检测EO水平。结果高盐组SD大鼠血压较同期普食组和低盐组显著性升高(P<0.01)。高盐组24 h尿钠排泄量较普食组和低盐组显著增加(P<0.01)。高盐组24 h尿钾排泄量显著低于对照组和低盐组(P<0.01)。高盐组与普食组比较血清EO水平无统计学差异,低盐组于第4周开始血清EO水平高于普食组和高盐组,有统计学差异(P<0.01)。结论慢性盐缺乏时SD大鼠EO水平升高,提示其为慢性盐缺乏状态下维持血压的调节因子;而慢性盐负荷时血压明显升高,但未发现EO显著升高。     

K190пк钢轨焊机新型程控调压系统的研究

针对Ｋ１９０пк钢轨焊机电源系统所存在的问题，采用大功率晶闸管和可编程序控制器配置Ａ／Ｄ模块和触发控制电路，研制了一种新型实用、性能可靠的程控调压系统，实现了焊接电压无触点控制和无级调节。该系统具有调压范围宽、精度高、抗干扰性强、网压自动补偿及成本低廉等特点。经现场试用，效果良好。     

轴瓦套张开位移的有限元计算

汽轮机在运行过程中,轴推压轴瓦套,使轴瓦套中产生应力和应变,在上下轴瓦套之间产生的一定的张开量.采用ABAQUS软件,建立有限元物理模型,对实际工况进行仿真,计算出上下轴瓦套之间的张开量,并进行应力分析,确定该工况下所产生的张开量是符合要求的.在建立有限元模型过程中,充分考虑轴瓦与轴、轴瓦与螺栓以及上下轴瓦套之间的接触效应,螺栓的联接和螺栓预紧力的作用.     

3D Nonlinear Numerical Simulation of Intact and Debonded Reinforced Concrete Beams

To study the behaviour of reinforced concrete (RC) structures with sections of concrete removed and the reinforcement exposed, 3D nonlinear numerical analysis was performed upon both intact and debonded RC beams by using finite element techniques. The deformational characteristics and the ultimate loads were obtained through numerical models, as well as crack and stress distributions. The failure modes can also be deduced from computational results. Compared with intact beams, the normal assumptions of plane section behaviour is not hold true and the patterns of stress and strain are different in debonded RC beams. The numerical results show good consistency with experimental data. This kind of numerical simulation is a supplement to existing codes.     

神经内镜治疗颅内病变的临床应用

目的探讨神经内镜的临床适应证、操作要点及其优缺点。方法采用神经内镜治疗颅内各种病变69例,其中垂体腺瘤6例,蛛网膜囊肿21例,脑积水18例,透明隔囊肿6例,颅内表皮样囊肿8例,血管网织细胞瘤9例,颅内多发性转移瘤1例。结果69例患者术后临床症状和体征均有不同程度的恢复或好转,头颅CT、MRI复查颅内病灶明显改善。结论神经内镜对于颅内多种病变的治疗具有手术创伤小、术后反应轻和患者恢复快的特点,是目前微创神经外科治疗的首选方法。     

郑州市客运交通结构发展研究

城市客运交通结构发展模式的研究是城市战略规划的核心问题之一，不同的客运交通结构的运行效率、能源消耗、道路资源的占有以及对环境的影响程度等都是截然不同的，同时它还影响着城市的布局形态与城市的活力。