1) TRSL
时间化RAISE规范语言
1.
This paper provided an approach to derive RTTC from TRSL specification,which was a variant of RSL(RAISE specification language).
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。
2) RAISE Specification Language(RSL)
RAISE规范语言
1.
This paper discusses the way to use RAISE Specification Language(RSL) to describe six kinds of protocol elements.
讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。
3) LOTOS Language of Temporal Ordering Specification
时间排序规范语言
4) language standardization
语言规范化
1.
The mixture usage of literary style and vernacular Chinese style will not conform to the language modernization and the language standardization.
文言和白话夹杂使用的现象,既不符合语言现代化潮流,又不符合语言规范化要求。
2.
Based on modern scientific philosophy and modern linguistics,this paper refocuses on the basic principles and strategies of language standardization and their relation.
本文在现代科学哲学和现代语言学观念的背景下重新讨论语言规范化的基本原则、策略及其相互关系。
5) Language normalization
语言规范化
1.
Language planning and language normalization are always being concerned with by linguists all over the world.
作者运用Rubin & Jernudd，Haugen和Tauli关于语言规划的观点，分析了语言规划与语言规范化的关系，并吸收国内语言界学者的理论成果，指出对语言进行适时的规划和规范化不仅是必要的，而且是重要的。
6) RAISE specification language
RAISE描述语言
补充资料：时间
实际上，时间单位首先从天文观测来确定的，“1平太阳日或1天（1昼夜）”是以地球相对于太阳的自转周期为基准来计量的，一个平太阳日的1/86400为1秒；后来发现地球自转不均匀，1960年国际度量衡大会把时间基准改为以地球绕太阳公转周期，即规定为1900年地球公转周期（回归年）的1/31556925.9747为1秒；随着精确、稳定的原子钟制成，1967年国际度量衡大会规定国际单位制原子时的时间单位“秒（长）是两个超精细能级之间跃进所对应辐射9192631770个周期的持续时间”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条