在△ABC中，OA=(2cosα，2sinα)，OB=(3cosβ，3sinβ)

在支持多线程的操作系统中，假设进程P创建了若干个线程，那么（）是不能被这些线程共享的。

A．该进程的代码段

B．该进程中打开的文件

C．该进程的全局变量

D．该进程中某线程的栈指针

我国煤炭资源主要集中在（）、（）、（）三省

计算机中地址线数目决定CPU可直接访问存储空间的大小。若某计算机地址线数目为32，则其访问的存储空间大小为（）MB

关于支气管哮喘发作的临床表现，下列哪项不正确( )

A．强迫端坐位

B．出现严重呼气性呼吸困难

C．呼吸动度增大、呈吸气位

D．语音震颤减弱

E．大汗淋漓伴发绀

程序正确性证明是用______来证明程序正确性的方法。