对动态软件体系结构的形式化描述通常有（）、（）、（）三种方法。
参考答案：图形化方法；进程代数方法；逻辑描述方法
一定温度下恒容的密闭容器中，反应A2（g）+B2（g）⇌2AB（g）达到平衡的标志是（ ）
A．正反应速率和逆反应速率相等且都为零
B．容器内气体的总压强不随时间变化
C．单位时间内生成2n mol AB的同时生成n mol B2
D．容器内气体的平均相对分子质量不随时间变化
颞下颌关节关节窝顶
A．颧弓的后续部分B．鳞鼓裂C．蝶骨嵴D．以薄骨板和颅中窝相隔E．关节结节
