CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。     

THE EXPRESSION OF BCL-2 GENE AFTER TRANSIENT FOCAL ISCHAEMIA AND THE EFFECT OF MK-801

Thesequenceofeventsthroughwhichischaemialeadstocelldeathispoorlyunderstood.Anumberofendogenouscomponentshavebeenimplicatedinthesubsequentneurodegenerativeprocess,suchasglutamate,freeradicals,calciumandpolyamines,allofwhichhavebeenshowedtobeelevatedinassociationwithischaemicinsults.Agentssuchasglutamineandcalciumhaveestablishedrapidandpotentphysiologicalactions,thatareexaggeratedduringischaemia,leadingtoamassiveanduncontrolledamplificationoftheirnormaleffects.Animportantcomponentofthephysiologi…     

N_2类载货汽车油耗法规标准的对比与分析

阐明了对当前N2类载货汽车油耗控制的重要性,美国、欧洲及日本的中型汽车油耗法规标准进行了简要的介绍和分析。着重介绍我国现行强制性油耗法规,并将其与世界主流油耗法规标准进行对比和分析,较为详细地阐述了各类油耗法规之间的区别和内在联系。最后展望我国未来N2类载货汽车汽车燃料消耗量的控制方法的发展方向。     

类叶升麻苷通过激活ERK1/2诱导血红素加氧酶-1的表达

目的探讨类叶升麻苷(actesoide)诱导血红素加氧酶-1(HO-1)表达的信号机制。方法类叶升麻苷单独处理体外培养的PC12细胞或运用ERK1/2抑制剂PD98059预处理,提取细胞蛋白,Western blot方法检测pERK1/2和ERK1/2以及HO-1蛋白表达水平。结果与正常对照组相比,类叶升麻苷可以诱导HO-1的表达上调,类叶升麻苷激活ERK1/2,后者激活介导类叶升麻苷诱导HO-1的表达上调,因为PD98059预处理后可以减弱类叶升麻苷引起的HO-1蛋白表达水平降低。结论类叶升麻苷通过激活ERK1/2通路诱导HO-1的表达。     

2型糖尿病患者肠道乳酸菌属和消化链球菌属定量研究及其意义

目的对2型糖尿病患者与健康人肠道乳酸菌属和消化链球菌属进行定量分析,探讨两组人群肠道菌群的差异。方法提取肠道菌群总DNA,利用菌属特异性引物实时荧光定量PCR扩增,制作菌属标准品和标准曲线,定量分析两种优势菌属在糖尿病患者和健康人群中的含量。结果与健康对照组相比,2型糖尿病组肠道消化链球菌的数量均显著减少,而乳酸菌属的数量两组间无统计学差异。结论荧光定量PCR方法可作为研究肠道菌群的一种准确、敏感的检测方法;糖尿病患者肠道优势菌属发生变化,提示肠道优势菌群可能与糖尿病的发生发展有一定的相关性。     

C规划：沧州市步行和自行车友好街巷规划设计

通过比较全球近60座城市的交通发展模式,针对中国中小城市以步行和自行车交通为主的出行特征,提出C模式概念,即步行和自行车导向型交通模式。以河北省沧州市为例,分析C模式下的典型问题与居民出行需求。基于此,提出适应步行和自行车交通发展的C规划3C理念,即具有中国特色、步行和自行车友好、跨越用地边界的街道规划。C规划的重点是利用并连通既有城市支路与街巷,形成步行和自行车优先通行的廊道网络;C设计的重点是基于步行和自行车交通特征和公众意愿,通过跨界设计实现不同出行群体的和谐共生。以沧州市核心区为例进行规划实践并展示典型街巷设计案例。     

FMEA在国产DP3系统工程船舶上的应用

通过对DP2系统的“海洋石油299”船进行改装,将国产DP3系统应用在该船上,完成了DP系统升级,对升级后DP3系统进行了全船的故障模式及影响分析的研究。通过分析各主要功能部件的相互作用,建立了功能框图。对系统中各层次影响进行分析和分类,确定了总体上影响位置保持并引起位置丢失的任意故障模式,并制定了FMEA报告表。介绍了故障模式及影响分析的分析流程及验证程序,通过实船试验,验证了针对国产DP3系统的FMEA分析结果的合理性。     

基于物联网的海上智能通信电网技术

在现代海上电力系统中,智能化通信电网技术已经成为未来船舶电力供电系统的发展方向,从而使供电网络与各个船舶电力系统底层节点建立起自动化连接。而物联网系统中的无线传感网络技术,能很好地解决物与物之间的数据采集及通信问题,适应海上智能电网中通信问题。本文在研究无线传感网络及海上智能电网模型的基础上,提出一种基于海上智能通信的物联网体系结构,最后给出整个系统的网络结构模型设计并进行了系统仿真。     

pH variability and CO2 induced acidification in the North Sea

A coupled carbonate system–marine ecosystem–hydrodynamic model is used to simulate the temporal and spatial variability in pH across the southern North Sea as it relates to the environmental and biological processes affecting CO₂, namely, photosynthesis and respiration, riverine boundary conditions and atmospheric CO₂ concentrations. Annual pH ranges are found to vary from < 0.2 in areas of low biological activity to > 1.0 in areas influenced by riverine signals, consistent with observations and previous studies. It is shown that benthic, as well as pelagic, activity is an important factor in this variability. The acidification of the region due to increased fluxes of atmospheric CO₂ into the marine system is calculated and shown to exceed, on average, 0.1 pH units over the next 50 years and result in a total acidification of 0.5 pH units below pre-industrial levels at atmospheric CO₂ concentrations of 1000 ppm. The potential for measurable changes in biogeochemistry are demonstrated by simulating the observed inhibition of pelagic nitrification with decreasing pH. However, we conclude that there is a lack of knowledge of how acidification might affect the complex interaction of processes that govern marine biogeochemical cycles and a consequent need for further research and observations.     

CTCS-2+ATO系统技术现状与发展展望

介绍CTCS-2+ATO系统的由来、珠三角城际CTCS-2+ATO系统需求、功能及主要技术指标;比选车地通信方案,提出提高列车站内对位停车精度的措施,研究针对CTCS-2+ATO新设的CCS设备的配置原则及TCC、CTC、联锁等设备配套方案;针对CTCS-2+ATO技术特点分析其市场应用前景和需要进一步改进的技术内容,改进技术包括车地通信多样化,提高自动折返效率,降低股道长度,冗余配置LKJ、ZPW-2000轨道电路改进,与站台门接口改进等方面内容。