腦部量子共振
腦部神經細胞內的微管通過量子同調組合成人的靈魂。腦部量子作用來自量子同調的波函數突變或者波函數崩塌function collapse。因為腦部的濕熱環境,波函數突變一閃而過,維持時間只有約萬份之一秒。未出現波函數突變時,微管內的粒子在超位置,即是沒有確定轉動方向,不會有任何決定和行動。波函數突變時,粒子出現轉動方向。波函數突變結果無法以量子力學計算出來,只知道機會率。由於甚麼情況都可能出現,產生自我思維和決定。這樣的量子運算和結果就產生感覺、決策和反應,這就是靈魂。一般情況下,腦神經細胞微管的波函數突變不是一齊發生。太多微管一齊出現波函數突變令腦部同一時間得到太多數據和決定,因而癱瘓腦部量子功能,產生癲癎抽搐。每個人的量子同調頻率有輕微差異,在不同頻率之下有不同反應。例如以某一頻率閃動的閃光,有些人看了會發生癲癎,有些人沒事。眼睛將閃光頻率直接輸入腦部以腦細胞微管進行量子處理。由於這頻率與量子同調頻率吻合產生共振,所有微管量子作用一齊出現,量子處理無法進行出現檔機。
量子同調現象經常在日常生活出現。當然,要突入靈界闖進第四空間量子世界,不使用最尖端科技絕對辦不到。可是,要在日常生活中體驗量子同調,沒有甚麼困難。有些環境令人感到舒服、興奮或者不安。有時候,我們會莫明其妙地對某人或者某團體產生歸屬感或者厭惡感。當我還是學生的時候,去到上環很古老的地方。那裡十分安靜,老樹盤根,所有建築物和樹木都有懷舊感覺。一下子,時間好像停下來,仿佛回到一百年前的香港。這就是環境的量子同調。宇宙萬物都有振動頻率,一切來自振動。當腦部量子同調頻率和環境一致,相關的靈魂感覺就會互相影響。那就是說,人可以通過環境和物件感受到量子振動及產生反應。如果兩個人有幾乎一樣的量子同調頻率,他們不必說話,可以眉目傳情,心靈相通。
有沒有想過為何人類喜歡音樂,每個人喜歡的調子並不一樣。那是因為音樂傳遞韻律和節拍,將頻率送入腦部。只要音樂頻率配合腦部量子同調頻率,這個人會在音樂之中如痴如醉,好像失去自我那樣。頻率完全配合的話,當然產生抽搐。看看派對和音樂會的人如何陶醉就知道量子振動對靈魂的影響有多大。
頻率振動可以令人開心也可以令人痛苦。走近高頻率電機設備會令一些人頭痛失眠,有些人不受影響。
量子同調共振有缺陷,那就是容易產生共振,很難清除。日常生活中,很多事情產生量子同調共振,如果這些共振不停發展下去,必然傷害腦部。因此,人要每天睡覺而且要花人生1/3時間睡覺。只有睡覺才能調整或者清除個別粒子的量子同調共振。冥想也可以重組量子同調,但是,效果和睡眠有點分別,不能完全取代睡眠。
冷凍可以令人冷靜下來,因為冷凍可以壓低粒子振動頻率截停太強的量子同調共振。溫度太低會讓量子同調完全停止進入冬眠狀態或者假死狀態。強光令人難以入睡,黑暗容易入睡。因為強光振動幅度較大,增強量子振動,令共振更容易維持下去。
同時也有184部Youtube影片,追蹤數超過4萬的網紅吳老師教學部落格,也在其Youtube影片中提到,Python基礎程式語言應用證照班第7次上課 01_重點回顧與308題增加外迴圈 02_308題改為for_each的寫法 03_308題改用餘數與除除方法 04_310迴圈公式計算解答 05_402不定數迴圈最小值解答 06_402不定數迴圈改用串列完成 07_404數字反轉判斷用文字串接解答 ...
反函數運算 在 Taipei Ethereum Meetup Facebook 的最佳貼文
📜 [專欄新文章] 區塊鏈管線化的效能增進與瓶頸
✍️ Ping Chen
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
使用管線化(Pipeline)技術可以提升區塊鏈的處理效能,但也可能會產生相應的代價。
Photo by tian kuan on Unsplash
區塊鏈的擴容方案
說到區塊鏈的效能問題,目前討論度最高的應該是分片(sharding)技術,藉由將驗證者分成多組的方式,可以同時分別處理鏈上的交易需求,即使單分片效能不變,總交易量可以隨著分片/驗證者集的數量線性增加。
除了分片,另一個常用來提升程式效能的方案是將計算步驟拆解,以流水線的方式將複雜的運算攤平,降低系統的閒置時間,並大幅提升工作效率。為了達到管線化預期的目的,會需要先知道系統的瓶頸在哪。
區塊鏈的效能瓶頸
熟悉工作量證明設計哲學的人應該會知道,區塊鏈之所以需要挖礦,並不是為了驗證交易的正確性,而是要決定交易的先後順序,從而避免雙花和帳本分裂的發生。可以說,區塊鏈使用低效率的單線程設計,並付給礦工高額的成本,都只為了一件事,就是對交易的全局排序產生共識。
在這樣的基礎之上,區塊鏈在一段時間內可以處理的交易數量是有限的,這之中包含許多方面的限制,包括 CPU 效能、硬碟空間、網路速度等。其中,關於 TPS(每秒交易數) 提升和對硬體的要求大致上是線性增加的,但在設計共識演算法時,通訊複雜度常是平方甚至三次方的關係。
以現在的目標 TPS 來說,處理交易和生成一個合法的區塊並不困難,只是因為區塊鏈的特性,新區塊需要透過洪水法的方式擴散到全網路,每個節點在收到更新請求的時候都要先執行/驗證過區塊內的交易,等於整個廣播的延時會是「驗證區塊時間×經過的 hop 數量」這麼多。似乎網路越分散、節點越多,我們反而會需要降低計算量,以免讓共識不穩定。
管線化的共識機制
使用權益證明取代工作量證明算是行業發展的趨勢,除了環保或安全這些比較顯然的好處之外,權益證明對產生共識的穩定性也很有幫助。首先,權益證明在同一時間參與共識的節點數是已知的,比較容易控制數量級的邊界;其次,權益證明的出塊時間相較工作量證明固定很多,可以降低計算資源不足或閒置的機率。
相較於工作量證明是單一節點出塊,其餘節點驗證,權益證明的出塊本身就需要很多節點共同參與,瓶頸很像是從驗證轉移到通訊上。
以 PBFT 為例,每次產新區塊都需要經過 pre-prepare, prepare, commit 三個階段,你要對同意驗證的區塊簽名,還要對「你有收到某人的簽名」這件事簽名,再對「你有收到 A 說他有收到 B 的簽名」這件事簽名,過程中會有很多簽名飛來飛去,最後才能把一個區塊敲定。
為了降低每兩個區塊間都需要三輪簽名造成的延遲,後來的共識演算法包括 HotStuff 和 Casper FFG 採用了管線化的區塊驗證過程。也就是對區塊 T 的 pre-prepare 同時是對 T-1 的 prepare 和對 T-2 的 commit。再加上簽名聚合技術,出塊的開銷在複雜度等級和係數等級都降低許多。
然而,要保持管線化的區塊生產順利,需要驗證者集合固定不變,且網路通訊狀況良好。如果會經常更動驗證者集合或變換出塊的領導者,前後區塊間的相依性會是個大問題,也就是 T 的驗證者集合取決於 T-1 裡有沒有會導致刪除或新增驗證者的交易,T-1 的合法性又相依於 T-2,以此類推。
當激烈的分叉出現的時候,出塊跟共識的流水線式耦合就從優雅變成災難了。為了避免這種災難,更新的共識演算法會限制驗證者變更的時機,有些叫 epoch 有些叫 checkpoint,每隔一段時間會把前面的區塊徹底敲定,才統一讓驗證者加入或退出。到這些檢查點的時候,出塊的作業流程就會退化成原本的三階段驗證,但在大部分時候還是有加速的效果。
管線化的狀態更新
另一個可以用管線化加速的是區塊鏈的狀態更新。如前所述,現在公鏈的瓶頸在於提高 TPS 會讓區塊廣播變慢,進而導致共識不穩定,這點在區塊時間短的以太坊上尤其明顯。可是如果單看執行一個區塊內的交易所花的時間的話,實際上是遠遠低於區塊間隔的。
只有在收到新區塊的時候,節點才會執行狀態轉移函數,並根據執行結果是否合法來決定要不要把區塊資訊再廣播出去。不過其實只要給定了交易集合,新的狀態 s’ = STF(s, tx) 應該是確定性的。
於是我們有了一個大膽的想法:何不乾脆將交易執行結果移出共識外呢?反正只要大家有對這個區塊要打包哪些交易有共識,計算的結果完全可以當作業留給大家自己算吧。如果真的不放心,我們也可以晚點再一起對個答案,也就是把這個區塊執行後的新狀態根包在下個區塊頭裡面。
這就是對狀態更新的管線化,在區塊 T 中敲定交易順序但暫不執行,區塊 T+1 的時候才更新狀態(以及下一批交易)。這麼做的好處十分顯而易見,就是將原本最緊繃的狀態計算時間攤平了,從原本毫秒必爭的廣播期移出來,變成只要在下個塊出來之前算完就好,有好幾秒的時間可以慢慢來。新區塊在廣播的每個 hop 之間只要驗證交易格式合法(簽名正確,有足夠的錢付手續費)就可以放行了,甚至有些更激進的方案連驗簽名都省略了,如果真的有不合法交易混進去就在下個區塊處罰礦工/提案者便是。
把負擔最重的交易執行移出共識,光用想的就覺得效能要飛天,那代價呢?代價是區塊的使用程度會變得不穩定。因為我們省略了執行,所以對於一筆交易實際用掉多少 gas 是未知的。本來礦工會完整的執行所有交易,並盡可能的塞滿區塊空間,然而在沒有執行的情況下,只能以使用者設定的 gas limit 當作它的用量,能打包的交易會比實際的上限少。
緊接著,下一個問題是退費困難。如果我們仍然將沒用完的手續費退還給使用者,惡意的攻擊者可以透過發送 gas limit 超大,實際用量很小的交易,以接近零的成本「霸佔」區塊空間。所以像已故區塊鏈 DEXON 就直接取消 gas refund,杜絕濫用的可能。但顯然這在使用者體驗和區塊空間效率上都是次優的。
而最近推出的 smartBCH 嘗試擬了一套複雜的退款規則:交易執行後剩餘的 gas 如果小於 gas limit 的一半(代表不是故意的)就退款;如果剩餘量介於 50%-75% 可以退一半;超過 75% 推斷為惡意,不退款。乍看是個合理的方案,仔細一想會發現製造的問題似乎比解決的還多。無論如何,沒用掉的空間終究是浪費了,而根據殘氣比例決定是否退款也不會是個好政策,對於有條件判斷的程式,可能要實際執行才知道走哪條路,gas limit 一定是以高的情況去設定,萬一進到 gas 用量少的分支,反而會噴更多錢,怎麼想都不太合理。
安全考量,退費大概是沒希望了。不過呢,最近以太坊剛上線的 EIP1559 似乎給了一點方向,如果區塊的使用程度能以某種回授控制的方式調節,即使偶爾挖出比較空的區塊似乎也無傷大雅,也許能研究看怎麼把兩者融合吧。
管線化方案的發展性
考慮到以太坊已經堅定地選擇了分片的路線,比較激進的單鏈高 TPS 管線化改造方案應該不太有機會出線,不過管線化畢竟是種歷史悠久的軟體最佳化技巧,還是很有機會被使用在其他地方的,也許是 VDF 之於信標鏈,也許是 rollup 的狀態轉換證明,可以坐等開發者們表演。
倒是那些比較中心化的 EVM fork/sidechain,尤其是專門只 for DeFi 的鏈,管線化加速可以在不破壞交易原子性的前提下擴容,確實是有一些比分片優秀的地方可以說嘴,值得研究研究,但這就要看那些機房鏈們有沒有上進心,願不願意在分叉之餘也投資發展自己的新技術了。
給我錢
ping.eth
區塊鏈管線化的效能增進與瓶頸 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
反函數運算 在 數學老師張旭 Facebook 的最佳解答
本週的播放清單如下
週一:向量函數的積分
週二:曲面分析與面積分
週三:旋轉體分析
週四:三變數函數的積分
週五:向量函數的極限、連續與微分
以下是可以許願的清單
記得只能許願某個重點,不能直接許一整章
若是有人許過你想許的主題
可到 YT 許願
youtube.com/post/UgxOAnbloHj78w6vjI14AaABCQ
若是想買完整課程請到
👉 https://www.changhsumath.cc
【積分(前篇)】
重點一 定積分直觀觀念
重點二 奇偶函數的積分
重點三 定積分正式定義
重點四 積分運算性質
重點五 微積分基本定理 I - 先微再積型
重點六 不定積分與反導數
重點七 雙曲函數
重點八 微分表II
重點九 四大積分基本方法之一:變數變換法
重點十 四大積分基本方法之二:三角置換法
重點十一 四大積分基本方法之三:分部積分法
重點十二 積分表
重點十三 四大積分基本方法之四:部分分式法
【積分(後篇)】
重點一 進階積分技巧:高次倍角三角函數積分
重點二 特殊積分形式之其一:含絕對值的積分
重點三 特殊積分形式之其二:含無窮的積分 (瑕積分)
重點四 微積分基本定理 II - 先積再微型
重點五 旋轉體積分
【數列與級數】
重點一 數列與數列的極限
重點二 數列極限的運算性質
重點三 數列連續化求極限法
重點四 夾擠定理
重點五 單調數列與有界數列
重點六 級數
重點七 級數的運算性質
重點八 級數審斂法一:等比級數
重點九 級數審斂法二:p-級數
重點十 級數審斂法三:比較審斂法
重點十一 級數審斂法四:極限比較審斂法
重點十二 級數審斂法五:比值審斂法
重點十三 級數審斂法六:根值審斂法
重點十四 級數審斂法七:積分審斂法
重點十五 級數審斂法八:交錯級數審斂法
重點十六 絕對收斂和條件收斂
重點十七 冪級數
重點十八 冪級數的運算
重點十九 泰勒級數與泰勒定理
【多變數函數的微積分】
重點一 多變數函數
重點二 二變數函數的極限
重點三 二變數函數極限特殊求法
重點四 二變數函數極限運算定理
重點五 二變數函數的連續
重點六 二變數函數的偏微分
重點七 高階偏微分
重點八 偏微分運算律
重點九 多變數函數的微分量 (全微分)
重點十 方向導數
重點十一 梯度與等高線
重點十二 等值面與切平面
重點十三 相對極值、絕對極值和鞍點
重點十四 拉格朗日乘數法
重點十五 二變數函數的積分:二重積分
重點十六 二重積分的極座標轉換
重點十七 二重積分的應用
重點十八 三變數函數的積分:三重積分
重點十九 柱座標與球座標
重點二十 三重積分的應用
【向量微積分】
重點一 向量函數的定義
重點二 向量函數的極限、連續與微分
重點三 向量函數的積分
重點四 曲線分析
重點五 旋轉體分析
重點六 向量場與保守場
重點七 線積分
重點八 微積分基本定理 for 線積分
重點九 格林定理
重點十 梯度、旋度、散度
重點十一 曲面
重點十二 曲面分析與面積分
重點十三 散度定理
重點十四 史托克定理
以上就是能許願的清單
統計到本周六晚上 10 點
結果會在本周日晚上公告
然後下周一至五晚上 6 點在我頻道限時首播
反函數運算 在 吳老師教學部落格 Youtube 的精選貼文
Python基礎程式語言應用證照班第7次上課
01_重點回顧與308題增加外迴圈
02_308題改為for_each的寫法
03_308題改用餘數與除除方法
04_310迴圈公式計算解答
05_402不定數迴圈最小值解答
06_402不定數迴圈改用串列完成
07_404數字反轉判斷用文字串接解答
08_404數字反轉用List反轉輸出
09_重點回顧與預告
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
教學論壇(之後課程會放論壇上課學員請自行加入):
https://groups.google.com/g/tcfst_python_2021_2
證照基礎程式語言 (Python 3)證照
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elifPython 第3類:迴圈敘述
技能內容:while、for…inPython 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
上課用書:
Python 3.x 程式語言特訓教材(第二版)
作者: 蔡明志, 財團法人中華民國電腦技能基金會
出版社:全華
出版日期:2018/12/20
定價:490元
吳老師 110/9/2
EXCEL,VBA,Python,自強工業基金會,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境
反函數運算 在 吳老師教學部落格 Youtube 的最佳解答
Python基礎程式語言應用證照班第7次上課
01_重點回顧與308題增加外迴圈
02_308題改為for_each的寫法
03_308題改用餘數與除除方法
04_310迴圈公式計算解答
05_402不定數迴圈最小值解答
06_402不定數迴圈改用串列完成
07_404數字反轉判斷用文字串接解答
08_404數字反轉用List反轉輸出
09_重點回顧與預告
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
教學論壇(之後課程會放論壇上課學員請自行加入):
https://groups.google.com/g/tcfst_python_2021_2
證照基礎程式語言 (Python 3)證照
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elifPython 第3類:迴圈敘述
技能內容:while、for…inPython 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
上課用書:
Python 3.x 程式語言特訓教材(第二版)
作者: 蔡明志, 財團法人中華民國電腦技能基金會
出版社:全華
出版日期:2018/12/20
定價:490元
吳老師 110/9/2
EXCEL,VBA,Python,自強工業基金會,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境
反函數運算 在 吳老師教學部落格 Youtube 的最佳解答
Python基礎程式語言應用證照班第7次上課
01_重點回顧與308題增加外迴圈
02_308題改為for_each的寫法
03_308題改用餘數與除除方法
04_310迴圈公式計算解答
05_402不定數迴圈最小值解答
06_402不定數迴圈改用串列完成
07_404數字反轉判斷用文字串接解答
08_404數字反轉用List反轉輸出
09_重點回顧與預告
完整教學
http://goo.gl/aQTMFS
吳老師教學論壇
http://www.tqc.idv.tw/
教學論壇(之後課程會放論壇上課學員請自行加入):
https://groups.google.com/g/tcfst_python_2021_2
證照基礎程式語言 (Python 3)證照
Python 第1類:基本程式設計
技能內容:變數與常數、指定敘述、標準輸入輸出、運算式、算術運算子、數學函式的應用、格式化的輸出Python 第2類:選擇敘述
技能內容:if、if...else、if…elifPython 第3類:迴圈敘述
技能內容:while、for…inPython 第4類:進階控制流程
技能內容:常用的控制結構、條件判斷、迴圈Python 第5類:函式(Function)
技能內容:函式使用、傳遞參數、回傳資料、內建函式、區域變數與全域變數
上課用書:
Python 3.x 程式語言特訓教材(第二版)
作者: 蔡明志, 財團法人中華民國電腦技能基金會
出版社:全華
出版日期:2018/12/20
定價:490元
吳老師 110/9/2
EXCEL,VBA,Python,自強工業基金會,EXCEL,VBA,函數,程式設計,線上教學,PYTHON安裝環境