
發(fā)布
注冊(cè)
/
登錄Wolfram Language
關(guān)注創(chuàng)建者:墨光科技 創(chuàng)建時(shí)間:2020-03-30

Wolfram Language的實(shí)例教程
GO BANANAS WITH IMAGES
您知道 Wolfram|Alpha 擁有 150 種水果的營(yíng)養(yǎng)數(shù)據(jù)嗎?
使用 ImageCollage (http://reference.wolfram.com/language/ref/ImageCollage.html)函數(shù),您可以快速創(chuàng)建 Wolfram 知識(shí)庫(kù)(https://www.wolfram.com/knowledgebase/)中許多水果的彩色快照。
幾年前,作為一名QA(質(zhì)量檢測(cè))開(kāi)發(fā)人員,我為 Wolfram 語(yǔ)言創(chuàng)建了 MUnit 單元測(cè)試框架,這是一個(gè)用于編寫(xiě)和運(yùn)行語(yǔ)言單元測(cè)試的框架。從那時(shí)起,我創(chuàng)造了更多的工具來(lái)幫助開(kāi)發(fā)人員編寫(xiě)更好的 Wolfram 語(yǔ)言代碼,同時(shí)在這個(gè)過(guò)程中檢查出錯(cuò)誤。
編寫(xiě)好的測(cè)試需要大量的知識(shí)和大量的時(shí)間。由于我們需要能夠盡快測(cè)試和解決問(wèn)題,以便按期發(fā)布新功能,我們轉(zhuǎn)向靜態(tài)分析,以便能夠做到這一點(diǎn)。
什么是靜態(tài)分析
靜態(tài)分析是在運(yùn)行源代碼之前對(duì)其進(jìn)行檢查的過(guò)程,以試圖預(yù)測(cè)其行為并發(fā)現(xiàn)問(wèn)題。作為一種測(cè)試方法,它是非常有用的。在代碼運(yùn)行時(shí)發(fā)現(xiàn)問(wèn)題并不總是可行的。運(yùn)行代碼的成本也很高--如果代碼失敗了,那就更是如此。
考慮到構(gòu)成 Wolfram 語(yǔ)言的大量代碼(有120萬(wàn)行的內(nèi)核啟動(dòng) Wolfram 語(yǔ)言代碼,橫跨1900個(gè)文件,還有85萬(wàn)行的程序包 Wolfram 語(yǔ)言代碼,橫跨3700個(gè)文件),必須要有一個(gè)策略來(lái)測(cè)試所有這些代碼的錯(cuò)誤。Wolfram 公司對(duì) Wolfram 語(yǔ)言的每一個(gè)角落都有專(zhuān)門(mén)的測(cè)試(其中有些是我寫(xiě)的!)
CodeInspector paclet 是那些重要的靜態(tài)分析工具之一,它使開(kāi)發(fā)人員能夠完成更好的工作。CodeInspector 包含在最近發(fā)布的 Mathematica 12.2中,它可以掃描 Wolfram 語(yǔ)言代碼并報(bào)告問(wèn)題,而不需要用戶手動(dòng)運(yùn)行 paclet。CodeInspector 與 CodeParser 和 CodeFormatter 一起構(gòu)成 CodeTools 套件,供內(nèi)部和外部用戶使用,以提高其 Wolfram Language 代碼的質(zhì)量。
一般來(lái)說(shuō),靜態(tài)分析不能發(fā)現(xiàn)程序中所有可能的 bug (這是通過(guò) Rice 定理對(duì)停止問(wèn)題的不可控性所產(chǎn)生的結(jié)果)。
展開(kāi) 在樹(shù)莓派 4發(fā)布之際,我們很自豪地宣布,當(dāng)您獲得Raspberry Pi 4時(shí),即可使用我們的最新產(chǎn)品——Mathematica和Wolfram語(yǔ)言第12版。
Mathematica 12是Wolfram團(tuán)隊(duì)30多年來(lái)的一個(gè)重要里程碑。Mathematica的應(yīng)用領(lǐng)域顯著拓展,并引入了一系列新功能,包括數(shù)值、數(shù)學(xué)和幾何計(jì)算、音頻和信號(hào)處理、文本和語(yǔ)言處理、機(jī)器學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)的重大擴(kuò)展等等。版本12為Mathematica用戶提供了更卓越的性能和效率。整個(gè)系統(tǒng)有數(shù)千個(gè)更新,并在103個(gè)領(lǐng)域推出了278種新的函數(shù),詳情請(qǐng)?jiān)L問(wèn):版本12.0的新功能概要。
與先前的Mathematica版本相比,版本12在Raspberry Pi 4上的運(yùn)行速度要快得多。就平均而言,在進(jìn)行的15項(xiàng)基準(zhǔn)測(cè)試中,我們發(fā)現(xiàn)Raspberry Pi 4運(yùn)行Mathematica 12時(shí)速度提高了100%,在某些測(cè)試中的表現(xiàn)甚至更好!和以前一樣,用戶使用新的Mathematica 12和Raspberry Pi 4開(kāi)發(fā)出了令人驚嘆的程序和應(yīng)用程序?;鶞?zhǔn)測(cè)試的完整表格請(qǐng)見(jiàn)下圖:
與Raspberry Pi合作五年多來(lái),我們共同打造了Wolfram Language Projects for Raspberry Pi:
詳情請(qǐng)?jiān)L問(wèn):https://www.wolfram.com/raspberry-pi/。這是一些中小型項(xiàng)目,適用于任何水平的Mathematica和Wolfram語(yǔ)言用戶,其中包括創(chuàng)建天氣儀表板、使用機(jī)器學(xué)習(xí)(如情緒分析)構(gòu)建工具,或使用AI進(jìn)行面部識(shí)別等。如果您想深入研究,還可以運(yùn)行命令行腳本,甚至進(jìn)行并行計(jì)算。
展開(kāi) 在2016年Wolfram技術(shù)大會(huì)上,她親眼目睹了Wolfram語(yǔ)言可用于計(jì)算思維的各種創(chuàng)新方式(參見(jiàn)“
Stephen Wolfram 的博客:如何訓(xùn)練孩子們的計(jì)算思維“
),她深受啟發(fā), 創(chuàng)辦了計(jì)算思維俱樂(lè)部。最初的俱樂(lè)部, 稱(chēng)為Wolfram語(yǔ)言研討會(huì)(Wolfram Language Workshops), 大約每月舉行兩次非正式會(huì)議, 并使用Stephen Wolfram的《Wolfram語(yǔ)言入門(mén)》作為他們?cè)谟?jì)算世界探索的指南。
但問(wèn)題來(lái)了,不僅是沒(méi)有定期安排的會(huì)議時(shí)間,俱樂(lè)部學(xué)生領(lǐng)袖的早期高年級(jí)倦怠癥也漸漸顯現(xiàn)。Abby發(fā)現(xiàn), 她需要為俱樂(lè)部提供比《Wolfram 語(yǔ)言入門(mén)》所能提供的更強(qiáng)大的結(jié)構(gòu)和動(dòng)力。參加Wolfram 語(yǔ)言研討會(huì)的學(xué)生需要更好地了解計(jì)算思維的更大圖景,以便從書(shū)里提供的示例中找到靈感。要做到這一點(diǎn),Abby 實(shí)際上需要準(zhǔn)備另一門(mén)課。
由于這些挑戰(zhàn),俱樂(lè)部一直處于停滯狀態(tài),直到Abby參加了2017年的Wolfram技術(shù)會(huì)議,她在會(huì)上獲得了重啟俱樂(lè)部所需的動(dòng)力和工具。俱樂(lè)部重新更名為"CT@TP"。為了避免重蹈覆轍,Abby知道俱樂(lè)部必須每周活動(dòng)一次。她將每周會(huì)議歸類(lèi)為 "活動(dòng)" 或 "探索"主題,讓新的學(xué)生領(lǐng)袖幫助她計(jì)劃和組織活動(dòng), 并且大力支持新加入俱樂(lè)部的學(xué)生。
Abby為自己的新活動(dòng)潛心積慮,并利用公益網(wǎng)站Computational Thinking Initiatives的AI Adventures填寫(xiě)活動(dòng)時(shí)間表(https://www.computationinitiative.org)。俱樂(lè)部通過(guò)計(jì)算思維對(duì)話 (包括機(jī)器學(xué)習(xí)、圖像處理、交互式動(dòng)畫(huà)、文本分析和3D打印等主題) 和實(shí)時(shí)編碼而蓬勃發(fā)展。隨著出席率的提高, 俱樂(lè)部成員開(kāi)始在數(shù)學(xué)課上使用他們的Mathematica知識(shí)。
展開(kāi) 【13.2.1中英文 Wolfram 軟件】
請(qǐng)?jiān)u論區(qū)留言申請(qǐng)

Wolfram Language的相關(guān)專(zhuān)題、標(biāo)簽、搜索
Wolfram Language的最新內(nèi)容
Language 這樣的書(shū)籍會(huì)使用 ISBN-13書(shū)號(hào):
13
當(dāng)我在寫(xiě)《Wolfram 語(yǔ)言入門(mén)》(An Elementary Introduction to the Wolfram Language,一書(shū)時(shí),這一點(diǎn)變得特別明顯。在這本書(shū)的開(kāi)頭,我很容易就能寫(xiě)出用英語(yǔ)描述所需內(nèi)容的練習(xí)。但隨著內(nèi)容開(kāi)始變得越來(lái)越復(fù)雜,這也變得越來(lái)越困難。作為 Wolfram 語(yǔ)言的"流利"用戶,我通??梢?立即想出如何用 Wolfram 語(yǔ)言表達(dá)我想要的東西。
這也是設(shè)計(jì)和編寫(xiě) Wolfram 語(yǔ)言包(https://reference.wolfram.com/language/tutorial/ModularityAndTheNamingOfThings.html)的一種方法的示例。
在接下來(lái)的一周里,我花了一些時(shí)間調(diào)整應(yīng)用程序,讓用戶選擇單詞被限制在哪個(gè)詞性,以及讓他們選擇單詞的長(zhǎng)度是 4、5、6 還是 7 個(gè)字符長(zhǎng)。
Mathematica筆記本
關(guān)于 Mathematica .NET 接口—— .NET/Link 的更多信息,請(qǐng)查看鏈接: http://reference.wolfram.com/language/NETLink/tutorial/Overview.html ,或通過(guò)運(yùn)行中的Mathematica 筆記本的幫助系統(tǒng)來(lái)查看。
首先,找到 FoodTypeGroup (https://reference.wolfram.com/language/ref/entity/FoodTypeGroup.html)"Fruits" 中的所有 FoodType (https://reference.wolfram.com/language/ref/entity/FoodType.html)實(shí)例:
接下來(lái),獲取每個(gè)水果的圖像
CodeInspector 與 CodeParser 和 CodeFormatter 一起構(gòu)成 CodeTools 套件,供內(nèi)部和外部用戶使用,以提高其 Wolfram Language 代碼的質(zhì)量。
一般來(lái)說(shuō),靜態(tài)分析不能發(fā)現(xiàn)程序中所有可能的 bug (這是通過(guò) Rice 定理對(duì)停止問(wèn)題的不可控性所產(chǎn)生的結(jié)果)。
最初的俱樂(lè)部, 稱(chēng)為Wolfram語(yǔ)言研討會(huì)(Wolfram Language Workshops), 大約每月舉行兩次非正式會(huì)議, 并使用Stephen Wolfram的《Wolfram語(yǔ)言入門(mén)》作為他們?cè)谟?jì)算世界探索的指南。
但問(wèn)題來(lái)了,不僅是沒(méi)有定期安排的會(huì)議時(shí)間,俱樂(lè)部學(xué)生領(lǐng)袖的早期高年級(jí)倦怠癥也漸漸顯現(xiàn)。
基準(zhǔn)測(cè)試的完整表格請(qǐng)見(jiàn)下圖:
與Raspberry Pi合作五年多來(lái),我們共同打造了Wolfram Language Projects for Raspberry Pi:
詳情請(qǐng)?jiān)L問(wèn):https://www.wolfram.com/raspberry-pi/。