引鈉的分子機構比喻為泵，故稱鈉泵。是R．B．Dean（1941）首先使用鈉泵這個詞，但在細胞膜上作為刺激傳遞機構的泵被假定存在以后（A．L．Hodgkin等，1949），此詞已被廣泛使用，現在已經明確鈉泵的實質是鈉-鉀ATP酶。
生理意義編輯
（1）建立起一種儲能機制。每次動作電位之后保持膜內外Na和K的濃度差正常，是細胞具有興奮性的基礎。
（2）鈉泵活動所貯備的能量也可以完成其他的生理活動，例如小腸上皮細胞對葡萄糖的繼發性主動轉運。
（3）鈉泵造成的細胞內高K是某些代謝反應的基礎。同時 是正規語言，則存在一常數 n > 0 使得語言 L 中每個字串 w 的 |w| ≥ n，而當 w = xyz 時：
1.|xy| ≤ n ，
2.|y| ≥ 1 ，且
3.對所有的 k ≥ 0 ，字串 屬于 L 。
證：若L為正則語言，那么存在一個DFA識別它。設其狀態數為n，那么對于任意字符串w∈ 它被DFA識別時的狀態轉換為： （qn為接受狀態）。因為w≥ n，所以由鴿籠原理存在狀態重復 ，記狀態 所識別的字符串為y，那么易知 （即是將重復狀態重復k次）仍可被此DFA識別，故 ∈ 。
引理應用編輯
例1：字符串集合 ={ | m,n∈N ∧ n>m }不是正則的。[2]
證明：顯然 ∈ ，所以由泵引理知當p足夠大時字符串中存在子串可重復。若該子串中只有0，那么當k>1時將使得0多于1，這將導致矛盾。若同時存在0,1，那么這將使0,1交替出現，同樣導致矛盾。若只出現1，由泵引理知k可為0，而此時將有1不多于0，這也是矛盾的。因此該語言不是正則的。
例2：若 為所有素數的二進制表示的0,1串，那么 不是正則的。[2]
證明：由初等數論易知存在任意大的素數，所以存在素數 使得其二進制串長度大于泵引理閾值。將 表示為 ，由泵引理知 的二進制位串也屬于 ，因此 也是素數。由費馬小定理知 ，所以 即 ，又 （即其可逆）所以 。因此 ，所以 | 這與 為素數矛盾，故 不是正則的。
參考資料
1. Pumping_lemma_for_regular_languages ．en.wikipedia.org[引用日期2013-05-17]
2. INTRODUCTION AUTOMATA THEORY, LANGUAGES, COMPUTATION ．
www.wenku.com．1979[引用日期2013-05-17]
詞條標簽： 文化術語 ， 字詞動泵采用超高強度輕質合金材料制造，高安全性，超輕重量設計，與常規型號相比重量輕50%左右，輕便易攜帶。
特點編輯
1、雙柱塞設計，低壓輸出大流量，高壓輸出小流量，最高壓力輸出可達4000bar（400Mpa），即使達到最高工作壓力時也只需很小的手柄作用力。
2、手壓泵內置雙壓力安全閥以防止壓力過載。
3、手壓泵內置蓄能機構保證壓力穩定。
4、特殊設計油箱蓋，可實現油箱密封防泄漏或透氣以平衡油箱內外氣壓。
當泵頭向下時可在垂直狀態中工作。
配件編輯
密封等核心元件件采用國際頂級產品，國內及國外多家廠商指定配套。
亦有原裝進口超高壓手動泵現貨供應，并提供完善的售后維修服務。
應用編輯
超高壓手動泵主要應用：
1、液壓螺栓拉伸器打壓用泵
2、采煤機液壓螺母打壓用泵
3、過盈配合類軸/軸承/軸套的拆裝
4、輪轂與軸的液壓拆卸
5、輪船舵機、螺旋槳拆裝
6、過盈配合（無鍵連接）類軸承與軸、齒輪與軸的油壓安裝拆卸
技術參數以下簡稱試壓泵），適用于水或液壓油介質，對各種壓力容器、管道、閥門等進行壓力試驗，亦用于作液壓能源，提供所需的壓力，適合于化工、建筑、水暖、石油煤炭、冶煉造船等行業。
應用范圍編輯
閥門，管件，壓力容器等提供靜態和爆破測試
航空航天附件靜態及動態測試。
汽車制動系統及噴油嘴測試
儀器儀表的性能測試及校定
建材試驗機的水壓試驗
高壓清洗及水切割設備的水噴射
注射化學試劑
在危險區域輸送流體
制冷劑的罐裝
機械設備的潤滑系統不油
夾緊、成形、鉆孔、剪切、沖壓等液壓設備的動力
閥門測試時夾緊動力
大型壓力機過載保護，模具緩沖及托起動力
軸，缸套的壓進、壓出動邊壓工具的動力· 鋼筋連接器的動力
液壓工具的動力
性能特點編輯
試壓泵具有結構緊湊、合理、操作省力、整機重量輕、維修方便、防銹、3DSY系列電壓試壓泵采用電機驅動，大大地提高工作效率等特點。
電動試壓泵
電動試壓泵
結構及工作原理編輯
1.檢查水箱中水位，連接電源線。
2.順時針擰緊手輪開關。
3.按啟動按鈕，電機工作，當壓力表指針達到調定的額定壓力時，壓力不會上去。
4.試壓結束后，逆時針擰松開關，介質流回水箱。
使用的材料編輯
泵的材料可以是不銹鋼（SS 316或SS 304），鑄鐵等它取決于泵的應用。316不銹鋼在水工業和制藥應用程序的正常使用，作為不銹鋼在高溫下產生更好的效果。
注意事項編輯
1.使用前，首先將開關順時針擰緊。
2.使用的工作介質必須100目/寸濾網過濾后才能注入水箱，吸入口不能漏出水面。
電動試壓泵組件
電動試壓泵組件
3.不宜在有酸堿、腐蝕性物質的工作場合使用。
4.停止使用后，應用煤油或火油作介質過濾一下。
5.電動試壓泵不能沒有水負載。
故障原因分析和排除方法編輯
1.壓力打不上來
a.檢查濾網是否有垃圾，應清洗濾網。
b.水箱內吸水口是否露出液面，應適當加水。
c.開關是否擠緊。
d.連接管不密封。
e.單向閥門閥口不密封，應拆下單向閥清洗。
2.噪音大
a.軸承損壞，應更換軸承。
b.柱塞頂死，應調松連接體襯套，適當擰松一轉。
c.柱塞偶咬死（更換柱塞偶）。
3. 壓力不穩定
a.開關未關死。
b.連接管不密封。
c.壓力表損壞，修理更換壓力表。
4.水吸不上來
a.將電機垂直倒置，松開件
