基于形式源级转换的可执行规格说明技术

本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。

FORTRAN到C源级转换的研究

介绍了一种以规范抽象语法树为中间语言且基于转换规则制导的ＦＯＲＴＲＡＮ 到Ｃ的源级转换系统，简称ＦＴＯＣ．

CTCS-3级列控系统等级转换场景功能安全分析

针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。

一种用于CIS列级ADC的片上抗PVT变化高精度自适应斜坡发生器

传统的片上全局斜坡发生器电路容易受工艺、电压和温度(PVT)的影响,导致斜坡信号易失真、线性度差;由于寄生电容的影响,片外校准的难度较大。提出了一种可以抗PVT变化,实现自适应校准斜率的斜坡发生器,采用逐次逼近算法细调和定步长搜索法微调相结合的方式,实现对斜坡的两点校正。斜坡校准电路包括电阻型DAC、电流型DAC、逻辑控制、动态比较器等模块。仿真结果表明,自适应斜坡发生器的平均校准周期约为1.143 ms,校准后斜坡微分非线性为+0.00207/-0.00115 LSB,积分非线性为+0.6755/-0.3887 LSB,在不同PVT条件下校准电压误差小于1.5 LSB,平均功耗仅为1.155 mW,与传统斜坡发生器相比具有精度高、功耗低的优点。

余热发电两级能量转换系统的研究

为提高余热发电的经济性,提出余热热水发电的两级能量转换系统,并建立了该系统的两级闪蒸和两级双工质循环的热力计算的数学模型;对电站的功率和效率进行了计算,以此对单级及两级能量转换系统进行了比较。结果表明:在计算所给的热水温度(100～200℃)和冷凝温度下,两级闪蒸比单级闪蒸的发电量多24.8%～31.2%;两级双工质循环比单级双工质循环的发电量多14.5%～24.0%;两级闪蒸比两级双工质循环的发电量多7.2%～67.5%。

从英汉主位差异谈语篇翻译中的小句级结构转换

文章将语篇分析理论中的重要概念———主位结构,运用到英汉翻译研究当中,对两种语言的主位进行对比,并试图分析这种差异在翻译结构转换中的应用。英语是一种主语突显的语言,而汉语则是话题突显,反映在主位结构上的差异便是英语的主位多是主语主位,而汉语多是话题主位,甚至小句中的主语还常被省略。因而,在英汉互译中,主语和话题的转换便是常见的技巧之一。

列控系统级间转换点临时限速区段设置探讨

随着各条高铁、客专的投入运营,新增加了许多不同列控级别间的级间转换点,如果在这些级间转换点设置临时限制速度命令不当,将对列车正常运行产生影响。通过案例对产生故障的原因进行分析,并提出对策。

级间转换用户信息包的编制

随着高速铁路的飞速发展,使用CTCS-2级列控系统的铁路线路越来越多,并在我国形成了较为密集的铁路网,但既有线和各支线仍然大量存在CTCS-0/1级区段,列车在跨线运行时必定要使用级间转换。而级间转换的信息内容是存储在列控系统地面设备的应答器中,因此要对铁路现场级间转换的用户信息包进行编制。

枢纽内CTCS-3向CTCS-2级间转换设置位置的探讨

分析枢纽内特殊情况下CTCS-3向CTCS-2级间转换的问题,结合工程实践提出解决方案。

泥沙颗粒级配转换软件初步开发研究

泥沙颗粒分析作为水文测验项目,其资料对于水文泥沙分析计算和水利工程设计十分重要。对粒径计—吸管结合法(以下简称粒吸法)与激光法颗粒分析成果转换软件开发原则、思路、方法进行了探讨。提出了基于不同河段、不同悬移质颗粒级配建立标准样本库,进而进行级配转换的软件的开发模式。开发的转换软件具有准确性、通用性、操作简便、界面友好等特点,其转换结果能满足水利部行业标准的精度要求。

CTCS-2级与CTCS-3级间转换的初步研究与应用

在总结国内客运专线的相关技术标准、借鉴国际相关标准,参考各列控中心厂家提供方案的基础上,提出了CTCS-2级与CTCS-3级之间相互级间转换的总体技术要求,介绍了CTCS-2级→CTCS-3级和CTCS-3级→CTCS-2级间转换需要的应答器、标志牌设置以及级间转换实现的具体过程。

厦深线接入广深线C0/C2、C2/C0列控级间转换工程设计探讨

分析客专联络线特殊场景下CTCS-0/CTCS-2级间转换的问题,结合工程实践提出解决方案。

列控系统C0/C2级间转换方案的探讨及案例分析

对与既有高速铁路CTCS-2车站相衔接的普速铁路CTCS-0车站的列控系统配置、级间转换及临时限速问题进行分析,提出不同的解决方案,并分析方案间的优缺点。

CB级、PC级功能一体化自动转换开关电器的研究

对比了CB级与PC级自动转换开关电器的设计原理,提出了CB级、PC级功能一体化自动转换开关电器的设计方案,并探讨了一些问题。指出CB级、PC级功能一体化自动转换开关电器能够提供过载、短路保护,具有结构简单、转换速度快、维护方便等优点,为制造厂生产、设计选型及用户使用提供方便。

单线铁路列控级间转换及列控编码方案研究

大理至丽江铁路提速改造工程中,大理东至大理北区间采用自动站间闭塞,区间采用列控编码,大理东IIG向大理北正线发车时,大理东站XII地面信号和机车信号显示不一致。本文介绍了大丽线信号工程设计方案,对单线铁路列控级间转换和列控编码方案进行研究,解决车地信号显示不一致的问题,并提出编码方案优化建议。

浅谈PC级自动转换开关电器（ATSE）的应用

随着社会的发展和人们生活水平的不断提高，进而对电力系统的供电质量也又提出了更高的要求，ATSE的广泛使用也是为了满足这一需求。ATSE是自动转换开关电器的英文简称。国家标准GB／1404481．1-2002及国家标准1EC60947．6．1中将ATSE分为PC级和CB级两个级别。PC级即能够接通和断开负载侧电器的额定电流，并能承载一定的短时耐受电流，但不具备分断短路电流能力的ATSE，

浅谈PC级自动转换开关电器(ATSE)的应用

介绍了自动转换开关电器(ATSE)的特点及应用,就PC级ATSE举出多种常见应用公式,并提出了选型应用过程中应注意的几个问题。

CTCS-3级列控车载设备高速适应性关键技术

从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等CTCS-3级列控车载设备高速适应性关键技术进行研究。根据不同类型测速传感器的特点,采用车轮速度传感器与雷达相结合的方式实现列车速度的安全测量,并运用联合卡尔曼滤波理论提出基于多路传感器数据融合的测速测距算法策略。结合列车移动体的控制特点,在国际铁路联盟UIC 544—1标准的基础上,提出1种改进的分段式减速度计算的列车制动模型,可兼顾行车安全和效率。针对列车运营模式的兼容性与可靠性,采用兼容CTCS-3级和CTCS-2级的双模冗余设计,使CTCS-3级列控车载设备同时具有CTCS-3级控车功能和CTCS-2级控车功能,并通过输入信息共享和等级转换时信息交换等技术手段,实现CTCS-3/CTCS-2级之间的平滑动态转换。研究成果已在武广高速铁路上实施,满足了列车高速安全运行的要求,并提高了等级转换时的列车运行效率和旅客舒适度。

俄语词语的替代转换

词语替代转换的基础是语言的同义现象.由于我们要探讨的是词语在言语教学中“全方位”的相互替换问题,它既包括同一词类词语的替代转换,又包括不同词类词语的替代转换.所以我们要研究的是一种广义的同义现象.

偶数高频共振型E级调谐放大器

提出采用一定值的电感和电容器与场效应管栅极输入的脉冲电压偶数倍的频率共振能得到一种新的电路方式，即最佳Ｅ级动作的转换放大器。