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

1

作者 张幸儿 朱晓军 《软件学报》 EI CSCD 北大核心 1992年第3期33-39,共7页

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

关键词 规格说明 形式源级转换

下载PDF 职称材料

FORTRAN到C源级转换的研究

2

作者 尉梅 王治和 《甘肃教育学院学报（自然科学版）》 1999年第4期30-33,共4页

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

关键词 规范抽象语法树 源级转换 FORTRAN C语言

下载PDF 职称材料

CTCS-3级列控系统等级转换场景功能安全分析 被引量：2

3

作者 盛昭君 米根锁 《控制工程》 CSCD 北大核心 2019年第2期336-342,共7页

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

关键词 CTCS-3级列控系统等级转换场景 HYBRID UML PHAVer 功能安全分析

原文传递

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

4

作者 刘天予 曲杨 +1 位作者 曹伉 常玉春 《半导体光电》 CAS 北大核心 2024年第4期542-548,共7页

传统的片上全局斜坡发生器电路容易受工艺、电压和温度(PVT)的影响,导致斜坡信号易失真、线性度差;由于寄生电容的影响,片外校准的难度较大。提出了一种可以抗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,与传统斜坡发生器相比具有精度高、功耗低的优点。 展开更多

关键词 图像传感器 高速列级模数转换器 斜坡发生器 逐次逼近算法 定步长搜索算法

原文传递

余热发电两级能量转换系统的研究 被引量：1

5

作者 吴治坚 龚宇烈 +1 位作者 骆超 马伟斌 《可再生能源》 CAS 北大核心 2010年第5期91-95,共5页

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

关键词 余热热水发电 两级能量转换系统 闪蒸系统 双工质循环

下载PDF 职称材料

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

6

作者 谭雪莲 付胤 《成都教育学院学报》 2006年第3期62-63,128,共3页

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

关键词 主语主位 话题主位 语篇翻译 小句级结构转换

下载PDF 职称材料

列控系统级间转换点临时限速区段设置探讨 被引量：6

7

作者 姜明华 《铁道通信信号》 2013年第4期32-33,共2页

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

关键词 列控系统 级间转换 临时限速

下载PDF 职称材料

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

8

作者 张丽 《科技视界》 2013年第3期143-143,共1页

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

关键词 级间转换 用户信息包 编制

下载PDF 职称材料

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

9

作者 张劼 《铁路通信信号工程技术》 2015年第1期4-7,29,共5页

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

关键词 列控系统 应答器 级间转换

下载PDF 职称材料

泥沙颗粒级配转换软件初步开发研究 被引量：1

10

作者 周波 黄双喜 《人民长江》 北大核心 2006年第12期62-64,共3页

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

关键词 泥沙颗粒级配 激光粒度分布仪 级配转换 软件开发

下载PDF 职称材料

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

11

作者 朱春芳 陈小梅 《铁道通信信号》 2008年第11期13-15,共3页

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

关键词 应答器 标准 级间转换

下载PDF 职称材料

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

12

作者 张劼 《铁路通信信号工程技术》 2019年第11期90-96,共7页

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

关键词 列控系统 应答器 级间转换

下载PDF 职称材料

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

13

作者 崔宁宁 《铁道通信信号》 2016年第6期29-30,33,共3页

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

关键词 列控系统 级间转换 临时限速

下载PDF 职称材料

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

14

作者 叶斌 胡雪松 闫涛 《现代建筑电气》 2015年第4期33-36,共4页

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

关键词 CB级、PC级功能一体化自动转换开关电器 传动机构 过电流保护 灭弧系统

下载PDF 职称材料

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

15

作者 张越 《中文科技期刊数据库（引文版）工程技术》 2022年第2期263-266,共4页

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

关键词 自动站间闭塞 列控级间转换 编码方案

下载PDF 职称材料

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

16

作者 王军 《电气制造》 2004年第11期83-84,共2页

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

关键词 PC级自动转换开关电器 ATSE 国家标准 控制线路

下载PDF 职称材料

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

17

作者 王腾 王军 《江苏电器》 2004年第3期29-30,共2页

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

关键词 PC级自动转换开关电器 ATSE 国家标准 短路电流 过电流保护 消防泵

下载PDF 职称材料

CTCS-3级列控车载设备高速适应性关键技术 被引量：24

18

作者 黄卫中 季学胜 +2 位作者 刘岭 李开成 牛道恒 《中国铁道科学》 EI CAS CSCD 北大核心 2010年第3期87-92,共6页

从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等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级之间的平滑动态转换。研究成果已在武广高速铁路上实施,满足了列车高速安全运行的要求,并提高了等级转换时的列车运行效率和旅客舒适度。 展开更多

关键词 列控车载设备 制动模型 测速测距 CTCS-3/CTCS-2级动态转换

下载PDF 职称材料

俄语词语的替代转换

19

作者 王铭玉 《解放军外国语学院学报》 CSSCI 1989年第3期73-82,共10页

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

关键词 词语替代 理性意义 级转换 等义词 名词 同义现象 形容词 俄语 婉词 转换方式

下载PDF 职称材料

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

20

作者 徐金序 《电子与仪表》 1999年第2期25-28,共4页

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

关键词 RF扼流圈 E级转换 换流器 调谐放大器

下载PDF 职称材料