无舵驳船拖航稳性及稳定性

主要讨论无舵驳船的拖航稳性 ,横摇加速度对拖航安全的影响 ,并提出风筝式拖尾巴是解决拖航稳定性一种可行的方法。     

明石海峡大桥的施工特点

该文是作者根据在日本访问期间收集的有关工程报告和施工记录等资料撰写而成。文中介绍了明石海峡大桥上部结构施工中的特点以及阪神地震对其产生的影响。     

半刚性基层沥青路面低温收缩开裂性能研究

通过对沥青路面结构温度场和沥青路面低温开裂的形成机理研究,指出沥青路面的低温开裂有低温收缩、温度梯度开裂两种主要形式,其中温度梯度开裂是沥青路面低温开裂的主要原因。文章较详细地分析路面低温开裂的机理和类型。     

宝鸡市交通运输企业扭亏的几点作法

本文主要介绍了宝鸡市县以上交通运输企业近年来积极转变观念，转换机制，深改革，强化企业管理，多种经营，全面发展使企业扭亏初见成效的情况。     

胃癌细胞株SGC—790l及MGC—803中SURVIVIN基因转录与表达的鉴定

目的 探讨胃腺癌细胞株SGC-7901及MGC-803中survivin基因转录与表达情况，为胃癌与survivin基因的相关研究提供帮助。方法 ①利用反转录聚合酶链反应(RT—PCR)及DNA序列测定技术检测两种细胞株中survivin基因mRNA转录情况。②采用免疫组织化学染色鉴定两种细胞株survivin基因有无蛋白表达及其表达程度。结果 从提取的胃癌细胞总RNA中扩增出612bp的DNA片段，与预期的扩增片段大小相符；序列测定显示两细胞株的DNA扩增片段序列与基因库survivin基因mRNA序列完全一致；免疫组织化学染色显示两细胞株中均有survivin蛋白表达产物。结论 中国人胃腺癌细胞株SGC-7901及MGC-803中均存在survivin基因的mRNA转录及蛋白的高表达。     

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

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

一种基于无线传感器网络的安全优先门限敏感分簇路由协议

为构建基于无线传感器网络的铁路防灾安全监控系统,在门限敏感的节能型网络协议(TEEN)基础上,提出1种安全优先门限敏感分簇路由协议(SPTC).确定SPTC的网络架构,基于能量计算公式设计簇头分布算法及簇头和副簇头选举算法,以及路由建立步骤和数据采集流程.在协议中定义副簇头,保证数据路由的可靠性及数据自身传输的安全,提高协议的安全性;在汇聚节点(SN)附近区域布置更小规模的簇,在兼顾剩余能量与节点距离的准则下选择最佳的簇头节点,以提高协议的节能性.采用OMNeT++网络仿真工具对SPTC进行了建模仿真.仿真结果表明:当网络工作了10 000 s时,低能量节点数量比低功耗自适应聚类层次协议(LEACH)减少了60％;当灾害数据采集概率为0.5％时,基于SPTC协议的网络检测周期是基于LEACH的1.7倍.