下列關(guān)于將一個(gè)具體的數(shù)字邏輯轉(zhuǎn)換成抽象的代數(shù)表達(dá)式而加以分析和研究的說(shuō)法正確的是（）。

采用蒙特卡洛（Monte Carlo）方法，計(jì)算1≤x≤3范圍內(nèi)曲線y=1與y=x+sinx之間的近似面積（如下圖陰影部分），那么隨機(jī)數(shù)x，y的取值范圍分別為（）。

下列敘述分別體現(xiàn)了軟件開(kāi)發(fā)的系統(tǒng)化方法需要遵循的基本原則：抽象第一的原則、層次劃分的原則、模塊化原則。請(qǐng)按下列敘述選擇對(duì)應(yīng)的原則（）。（1）對(duì)實(shí)際的事物進(jìn)行人為處理，抽取所關(guān)心的、共同的、本質(zhì)特征的屬性，并對(duì)這些事物及其特征屬性進(jìn)行描述。由于抽取的是共同的、本質(zhì)特征的屬性，從而大大降低了系統(tǒng)元素的絕對(duì)數(shù)量。（2）根據(jù)系統(tǒng)模型說(shuō)明的原因和真實(shí)系統(tǒng)提供的依據(jù)，提出以模型代替真實(shí)系統(tǒng)進(jìn)行模擬實(shí)驗(yàn)，達(dá)到認(rèn)識(shí)真實(shí)系統(tǒng)特性和規(guī)律性的方法。（3）如果一個(gè)系統(tǒng)過(guò)于復(fù)雜，以至于很難處理，那么，就得先將它分解為若干子系統(tǒng)。

在計(jì)算學(xué)科中，采用的數(shù)學(xué)方法主要是離散數(shù)學(xué)的方法，因?yàn)橛?jì)算學(xué)科的根本問(wèn)題是（）問(wèn)題。

Therac-25是加拿大原子能公司（AECL）和一家法國(guó)公司CGR聯(lián)合開(kāi)發(fā)的一種醫(yī)療設(shè)備（醫(yī)療加速器），它產(chǎn)生的高能光束或電子流能夠殺死人體毒瘤而不會(huì)傷害毒瘤附近健康的人體組織。該設(shè)備于1982年正式投入生產(chǎn)和使用。在1985年6月到1987年1月不到兩年的時(shí)間里，因該設(shè)備引發(fā)了6起由于電子流或X光束的過(guò)量使用造成的醫(yī)療事故，造成了4人死亡、2人重傷的嚴(yán)重后果。據(jù)調(diào)查，1985年到1987年間發(fā)生的6起事故是操作員的失誤和軟件缺陷共同造成的。以下哪些結(jié)論正確并與該案例有關(guān)？（）