甲乙之间的贷款合同纠纷，经过法院判决，甲应向乙偿还10万元借款。甲没有依照判决的规定履行自己的义务，乙向法院申请强制执行。在执行过程中，发现甲没有财产可供执行，但是查知甲对丙有一到期债权，下列哪个说法是正确的()

A．乙直接起诉丙，要求丙偿还对甲的到期债务

B．乙向法院申请，由法院通知丙向乙履行债务

C．甲不能提出对于丙的财产进行执行的申请

D．如果丙也无力清偿，但是丙对丁有到期债权，此时，乙可以向丁要求履行债务

BIM在绿色建筑设计中的应用途径主要有（）。

A.BIM核心模型增加相应信息，在BIM模型创建完成后，通过统计功能判定是否达到绿色建筑评价相应条文要求

B.基于BIM技术结合有限元分析软件对建筑结构进行计算分析

C.基于BIM技术对建筑进行仿真性环境模拟

D.第三方模拟分析软件共享BIM核心模型，通过在核心模型中提取所需信息，进行专项计算分析

E.基于BIM技术进行热工分析