一旦T2任务被执行，T1便无效（不活动），LOTOS模型中定义是（）。……

单项选择题LOTOS模型中定义的基本算符，T1∣∣∣T2表示（）。

A.需要在T1，T2中选择一个执行
B.T1和T2两个任务相互独立执行，可按任意顺序执行，但永远不会同步
C.任务T1，T2必须在动作处保持同步
D.一旦T2任务被执行，T1便无效（不活动）

判断题GOMS模型中的选择规则就是一个随机的选择，不需要预测可能会使用哪个方法。

判断题GOMS模型中的方法是描述如何完成目标的过程。一个方法本质上来说是一个内部算法，用来确定子目标序列及完成目标所需要的操作。

多项选择题常见的行为模型包括（）。

A.目标操作方法和选择行为模型（GOMS）
B.时序关系说明语言（LOTOS）
C.用户行为标注（UAN）
D.任务模型表示法（CTT）

判断题任务金字塔描述了不同层次的任务之间的关系，任何一个任务都可能包括若干子任务，从而构成金字塔状的结构。