简述LOTOS模型中定义了哪些基本算符,并简述这些算符的含义。

题目

简述LOTOS模型中定义了哪些基本算符,并简述这些算符的含义。

参考答案和解析
正确答案: T1〣T2(交替Interleaving):T1和T2两个任务相互独立执行,可按任意顺序执行,但永远不会同步。
T1[]T2(选择Choice):需要在T1,T2中选择一个执行,一旦选择某一个后,必须执行它直到结束,在这中间另一个再无执行机会。任务如何来选择,并没有给出一定的形式化描述。
T1∣[a1,...,an]∣T2(同步Synchronization):任务T1,T2必须在动作(a1,……,an)处保持同步。
T1[>T2(禁止Deactivation):一旦T2任务被执行,T1便无效(不活动)。
T1>>T2(允许Enabling):当T1成功结束后才允许T2执行。
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

位置算符又称邻近度算符,它是()运算符的延伸。

Aand

Bor

Cnot

D()


A

第2题:

主题检索中,当检索结果过多时,可以采用以下哪几种方式减少输出量:()

  • A、用位置逻辑算符替换布尔逻辑算符AND
  • B、用截词符处理检索词
  • C、用布尔逻辑算符AND增加多一个检索词
  • D、用布尔逻辑算符OR增加多一个检索词

正确答案:A,B,C

第3题:

逻辑算符也称布尔算符,用来表示两个检索单元之间的逻辑关系。()


参考答案:√

第4题:

下列哪种运算符号的使用可以扩大检索范围?()

  • A、截词算符
  • B、位置算符
  • C、字段限定符
  • D、“AND”运算符

正确答案:A

第5题:

程序语言的单词符号一般可以分为()。

  • A、基本字
  • B、标识符
  • C、常量
  • D、算符
  • E、界符

正确答案:A,B,C,D,E

第6题:

当某个算符被认为是问题求解的决定步骤时,此算符为()


正确答案:关键算符

第7题:

位置算符又称邻近度算符,它是()运算符的延伸。

  • A、and
  • B、or
  • C、not
  • D、()

正确答案:A

第8题:

布尔逻辑算符不包括()。

A、逻辑或

B、逻辑与

C、位置算符

D、逻辑非


参考答案:C

第9题:

机检时,用以下哪种算符可使文献检出结果增加? ()

  • A、字段限定符
  • B、位置算符near
  • C、截词符
  • D、布尔逻辑符not

正确答案:C

第10题:

CNKI中的专业检索不可以用:用逻辑算符、位置算符、字段限定组成逻辑组配。


正确答案:错误