下列诗文默写与原文一致的是（  ）

A．夜栏卧听风吹雨，铁马冰河入梦来。

B．问渠那得清如许？为有源头活水来。

C．黄鹤一去不复返，白云千栽空悠悠。

D．八百里分麾下灸，五十弦翻塞外声，沙场秋点兵。

严格定义的方法是在一定假设的前提下形成的，它认为系统的所有需求都能被【 】。