1) LOTOS Language of Temporal Ordering Specification
时间排序规范语言
2) 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),提出一种可信软件实时性测试用例集生成方法。
3) TSL Time Series Language
时间序列语言
4) specification language
规范语言
1.
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
2.
By specifying security protocols using Common Authentication Protocol Specification Language,then convert CAPSL specification into formal inputs for other analysis tools by connector.
提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。
5) language norm
语言规范
1.
Using what king of expression style should depend on news content and column and also should follow one basic principle that is language norm.
但都不能违背一个基本原则,即语言规范,表述清楚,并符合受众审美需求。
2.
The paper primarily discusses the problems on influential discourse and language norm.
本文主要讨论权势话语与语言规范问题。
3.
The paper points out that though these theoretical bases can somewhat explain the language norm, they are at a lower level and have some deviations and limitations.
语言规范的原则可以大别为二 ,一个是理性原则 ,一个是习性原则。
6) language standard
语言规范
1.
To solve these problems, it should start from several aspectsas: change people s conception of the language standard; make statute about language writing; enhance the research of the standard.
大学生书信形式活泼、内容丰富,但在字、词、语法、格式以及标点符号等方面存在着很多问题,这些问题的产生有主观原因,也有客观原因,要解决这些问题,应该从以下几个方面入手:给语言文字立法、加强规范的研究以及改变人们对语言规范的认识。
补充资料：时间
实际上，时间单位首先从天文观测来确定的，“1平太阳日或1天（1昼夜）”是以地球相对于太阳的自转周期为基准来计量的，一个平太阳日的1/86400为1秒；后来发现地球自转不均匀，1960年国际度量衡大会把时间基准改为以地球绕太阳公转周期，即规定为1900年地球公转周期（回归年）的1/31556925.9747为1秒；随着精确、稳定的原子钟制成，1967年国际度量衡大会规定国际单位制原子时的时间单位“秒（长）是两个超精细能级之间跃进所对应辐射9192631770个周期的持续时间”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条