原创 如何將SQL語句進行自動翻譯

如何將SQL語句進行自動翻譯這裏我們利用SQL-to-Text Generation with Graph-to-Sequence Model一文, 給大家簡單介紹一下如何對SQL語句進行自動翻譯首先我們來談談這個動機, 我覺得最大的動機可

2018-12-14 11:25:27 1

原创 Procedural Noise Adversarial Examples for Black-Box Attacks on Deep Neural Networks論文筆記(1)

Procedural Noise Adversarial Examples for Black-Box Attacks on Deep Neural Networks論文筆記0. 概述如今一些深度神經網絡對於一些對抗性樣本(Adversar

2018-11-09 16:22:49 19

原创 關於強化學習(1)

來源於Simple statistical gradient-following algorithms for connectionist reinforcement learning0. 概述該文章提出了一個關於聯合強化學習算法的廣泛的類

2018-11-07 15:22:59 1

原创 關於強化學習(2)

根據 Simple statistical gradient-following algorithms for connectionist reinforcement learning5. 段落式(Episodic)的REINFORCE算法

2018-11-07 11:27:51

原创 J.Woodcock&J.Davies_UsingZ_1996_C1 閱讀

J.Woodcock&J.Davies_UsingZ_1996_C1 閱讀文章概要隨着軟件的日益發展, 軟件的功能等需求越來越多, 文檔也隨之增加, 組件之間的交互和衝突最後導致系統出現問題, 逐漸偏離了我們的預期. 爲解決該問題, 其中一

2018-10-25 17:28:10

原创 J-R.Abrial_FM_ICES2006 閱讀筆記

J-R.Abrial_FM_ICES2006 閱讀筆記文章概述該篇文章簡要地概述了用B形式化的兩個實際的項目, 主要是說明一種"構造即正確"的思路, 並且分析了其中的困難和優勢.首先是形式化方法, 利用形式化方法可以將需求文檔轉換成可執行代

2018-10-25 15:08:05 4

原创 Energy-efficient Amortized Inference with Cascaded Deep Classifiers論文筆記

Energy-efficient Amortized Inference with Cascaded Deep Classifiers論文筆記0. 概述深度神經網絡在許多AI任務中取得了卓越的成功, 但是通常會造成高的計算量和能量耗費, 對

2018-10-22 16:03:04

原创 軟件測試方法課程筆記(1)

舉某些例子, 軟件測試方法有黑盒測試, 白盒測試 按階段來區分的話有單元測試, 集成測試, 系統測試 按目的來分有性能測試等對於測試來說應給出相應的標準來量化, 對頁面應用等測試(自主進行). 最後是軟件測試的自動化以及測試的管理該課

2018-10-09 14:22:55 2

原创 軟件測試方法課程筆記(2)

軟件測試方法課程筆記(2)2. 黑盒測試2.1 介紹優點:沒有任何的偏向無需開發知識只考慮用戶的看法需求確定就可以測試2.2 等價類劃分爲了產生少量的測試用例, 並且可以測試大部分的情況, 我們可以使用等價類劃分的方法 比如對於輸入值是範

2018-10-09 14:22:54 2

原创 軟件測試方法課程筆記(3)

軟件測試方法課程筆記(3)3. 白盒測試 這是一種驗證技術，軟件工程師可以用它來檢查他們的代碼是否按預期工作。 它考慮到系統或組件的內部機制。 它也被稱爲結構測試，清楚的盒測試和玻璃盒測試。 白盒測試又分爲靜態測試和動態測試 靜態白

2018-10-09 14:18:03 3

原创 圖像增強的幾個方法以及Matlab代碼

1. 灰度線性變換灰度線性變換， 是一種空域的方法， 直接對每一個像素的灰度值進行操作假設圖像爲I則其中每一個像素點的灰度值爲I(x,y)我們利用簡單的線性變換可以得到：I(x,y)^*=k*I(x,y)+b取k=1,b=16可以得到Alt

2018-09-17 15:57:53 12