1) operating language model
操作语言模型
1.
The operation model on multidatabase in CSCW environment was put forward,and a kind of operating language model for interoperability in multidatabase system and its implemental schema were proposed.
结果表明，ＣＳＣＷ环境下对多个数据库的操作语言模型具有较好的性能。
2) language operation
语言操作
1.
The conceptual thinking is in essence a process of language operation that is humanly universal.
人思维的语言操作可以分为三个层次:1)具体物指性语言操作,其问题形态是“这是什么”,其语义的真假具有验证刚性;2)抽象概念性语言操作,其问题形态是“这个概念是什么”,其语义的真假具有验证弹性;3)纯语言反思性操作,其问题形态是“什么‘在(是)’”,其语义没有可验证性,但其价值就在于追问。
4) operational semantics model
操作语义模型
1.
The compositional protocol of Yahalom and Denning-Sacco is modeled as operational semantics model.
通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击。
5) operating system simulation language
操作系统模拟语言
6) operator language
操作员语言
补充资料：语言模型
数理语言学中模拟语言客观事实的抽象的数学模型。它不完全等同于语言客观事实，只是语言客观事实的某种近似物。在语言模型与语言客观事实之间，可以建立某种对应关系，但是，语言模型不能完全充分地描写语言客观事实，它只抽象描写语言中个别成分（词、句子等等）的性质及关系（句法、形态等等）。
语言模型与语言客观事实之间的关系，如同数学上的抽象直线与具体直线之间的关系。
语言模型是一个单纯的、统一的、抽象的形式系统，语言客观事实经过语言模型的描述，比较适合于电子计算机进行自动处理，因而语言模型对于自然语言的信息处理具有重大的意义。
语言模型主要有三种类型：①生成性模型，②分析性模型，③辨识性模型。
生成性模型从一个形式语言系统出发，生成语言的某一集合，如N.乔姆斯基的形式语言理论和转换语法。
分析性模型从语言的某一集合开始，根据对这个集合中各个元素的性质的分析，阐明这些元素之间的关系，并在此基础上用演绎的方法建立语言的规则系统，如苏联数学家O.C.库拉金娜和罗马尼亚数学家S.马尔库斯用集合论方法提出的语言模型。
在生成性模型和分析性模型的基础上，把二者结合起来，便产生了一种很有实用价值的模型，即辨识性模型。辨识性模型可以从语言元素的某一集合及规则系统出发，通过有限步骤的运算，确定这些元素是一堆乱七八糟的词还是语言中合格的句子。 如Y.巴尔-希列尔用数理逻辑方法提出的句法类型演算模型。
语言模型与语言客观事实之间的关系，如同数学上的抽象直线与具体直线之间的关系。
语言模型是一个单纯的、统一的、抽象的形式系统，语言客观事实经过语言模型的描述，比较适合于电子计算机进行自动处理，因而语言模型对于自然语言的信息处理具有重大的意义。
语言模型主要有三种类型：①生成性模型，②分析性模型，③辨识性模型。
生成性模型从一个形式语言系统出发，生成语言的某一集合，如N.乔姆斯基的形式语言理论和转换语法。
分析性模型从语言的某一集合开始，根据对这个集合中各个元素的性质的分析，阐明这些元素之间的关系，并在此基础上用演绎的方法建立语言的规则系统，如苏联数学家O.C.库拉金娜和罗马尼亚数学家S.马尔库斯用集合论方法提出的语言模型。
在生成性模型和分析性模型的基础上，把二者结合起来，便产生了一种很有实用价值的模型，即辨识性模型。辨识性模型可以从语言元素的某一集合及规则系统出发，通过有限步骤的运算，确定这些元素是一堆乱七八糟的词还是语言中合格的句子。 如Y.巴尔-希列尔用数理逻辑方法提出的句法类型演算模型。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条