fp

fp

函數式程序設計
FP全名為(Functional Programming函數式程序設計 )函數式程序設計是一種設計、編制和調試函數式程序的技術。函數式程序是由一些原始函數、定義函數和函數型組成的函數表達式。《Foreign policy》(《外交政策》)被公認為世界上最有影響力的國際時事刊物之一,創始人是美國政治學“泰鬥”亨廷頓。通常是在短時間内通過便捷的網絡形式尋找到志同道合的玩伴,利用發達的交通工具結伴前往另一城市旅遊,或者就在當地結伴郊遊、聚會、運動、K歌、聚餐等,旅遊啦論壇為廈門閃玩族最喜歡的網站。
  • 中文名:函數式程序設計
  • 外文名:Functional Programming
  • 别名:
  • 簡稱:fp

特性介紹

傳統程序設計語言中的賦值等概念,在函數式程序設計語言中消失。函數式程序的一個最本質的特性,就是函數值唯一地由其參數值所确定。隻要使用相同的參數值,對此程序的不同的調用總是得到相同的結果。

這種性質稱為引用透明性,有助于程序的模塊化。函數式程序設計語言具有較強的組織數據結構的能力,可以把某一數據結構(如數組)作為單一值處理;可以把函數作為參數,其結果也可為函數,這種定義的函數稱為高階函數。這些由函數表達式所表示的程序簡明、緊湊和易于維護。

過去,這種程序設計稱為應用性程序設計。1977年,J.巴克斯提出函數式程序設計的概念。一般認為表處理語言(LISP)是最早的函數式程序設計語言。但是,LISP的重點是将函數應用于對象,以産生新的對象,必要時再上升為函數。巴克斯所提出的函數式程序設計,則是引用函數型産生新函數,程序設計時從一般的對象空間上升到函數空間,因而具有優越的數學性質,有助于程序的理解、推理和驗證。

基本用途

由于函數式程序設計語言的簡明性和獨特的表達能力,可用它來研究傳統程序設計語言的語義。一種方法是用于确定一個解釋程序的定義,作為被研究的語言的語義;另一種方法是将被研究的語言寫成的程序轉換成與之等價的函數式程序。在人工智能領域中,需要用複雜的算法去處理一些複雜的(通常是符号的)數據結構。

LISP語言成功地應用于這一領域,說明了函數式程序設計的獨特優越性。巴克斯分析了傳統程序設計語言的缺陷,認為這些缺陷主要是由于諾伊曼式系統結構所造成的。他所提出的函數式程序設計(簡稱FP),擺脫了傳統的諾伊曼計算機結構,需要一種新的非諾伊曼式的系統結構為後援。

一些具有新概念的計算機,如歸約機、數據流機,以及專為某種函數式語言(如FP)設計的計算機正在研究和發展中。現代既需要研究在諾伊曼式計算機上如何更有效地實現函數式程序設計語言的問題,也需要研究适應這種語言的新型計算機結構。

重要性

函數式程序設計受到重視的原因是:首先由于産生了“軟件危機”,人們企圖探讨一種擺脫這種困境的新型程序設計方式,而函數式程序設計具有不少獨特之處。其次,超大規模集成電路技術的發展,為發揮函數式程序設計語言的潛在并行性提供了物質基礎。可以預期,一些具有諸如高度并行性等特點的非諾伊曼式計算機将會出現。

随着硬件技術的發展、軟件方法的研究,以及應用範圍的不斷擴大,函數式程序設計将得到發展,并在新一代計算機系統中起重要作用。

Foreign Policy

《Foreign policy》(《外交政策》)被公認為世界上最有影響力的國際時事刊物之一,創始人是美國政治學“泰鬥”亨廷頓。誕生在1970年的《外交政策》雜志專門鼓勵所有對美國外交政策上面臨的至關重要的問題而引發的争論。至今,這本以美國首都華盛頓為總部的雜志已經成為了一個雲集有深度讨論的論壇和新主張、新觀念的信息來源。

Function Piont

功能點,在軟件工程項目管理中用來測量軟件的規模和成本 FP=UFC*TCF

Flash point

簡稱fp物質化學性質:閃點

Free Pascal

簡稱fp,是一種編程工具,界面和Turbo Pascal類似。使用pascal語言(delph

i也是pascal語言)。

由于是一種免費的軟件,所以被信息學奧賽使用。

高速閃燈

又稱High-speed Sync,以高于一般閃燈同步的速度,甚至是相機最高快門速度,閃燈也能配合。但是閃燈指數會随快門速度提高而減弱

Flash Play

中文譯名“閃玩”,簡稱fp,在國外非常流行。通常是在短時間内通過便捷的網絡形式尋找到志同道合的玩伴,利用發達的交通工具結伴前往另一城市旅遊,或者就在當地結伴郊遊、聚會、運動、K歌、聚餐等,旅遊啦論壇為廈門閃玩族最喜歡的網站。

Feature Park

Symbian智能手機操作系統的特征添加包,類似于WindowsOS的Service Park(補丁包)。

例如SymbianOS ver.9.3 Servers60 3rd Edition with Feature Park 2,簡稱塞班S60第三版FP2,諸如Nokia N96,N79,E72,5320XpressMusic,5630XpressMusic,6730classic等等,均搭載塞班操作系統S60第三版平台FP2特征包。

這種特征包通常會給系統以及UI帶來些許的改變,比如增加慣性滑動、系統主題動畫特效、BUG修正等。

flat package

扁平封裝。表面貼裝型封裝之一。QFP或SOP的别稱。部分半導體廠家采用此名。

風味剖面

風味描述分析又稱風味剖面(FP),是一種定性的描述檢驗方法,用于描述産品詞彙(包括産品味道、風味、化學因子、混合的或單一的化合物等)和産品評價本身。

False Positive

假陽性。統計學術語,可簡單理解為誤判。相對概念假陰性(False Negative),意為漏判。

Frame Protocol

通信技術:

Iub FP(frame protocol)消息

Node B應用部分(NBAP)主要處理Iub接口的信令,FP則處理各接口的數據傳輸

Iub接口協議棧包含3個協議平面,分别是無線網絡控制平面、傳輸網絡控制平面和用戶平面,分别對應3個協議的信令流程,即NBAP(Node B application part,Node B應用部分)、ALCAP(access link control application protocol,接入層鍊路控制應用協議)、Iub FP(frame protocol)消息。FP所承載的協議包括無線資源控制(radio resource control,RRC),包數據集中協議(packet data convergence protocol,PDCP)等。

這3個協議有着緊密的聯系,當無線網絡控制器(radio network controller,RNC)發起傳輸信道管理或者無線連接管理相關過程的時候,是通過NBAP協議的相關過程來實現,比如Common Transport Channel Setup,Radio Link Setup,Radio Link Addition等。

但同時需要對用戶平面鍊路進行分配或删除,在Iub接口上,用戶數據(FP)通過ATM結構中的AAL2傳送,此時需要建立控制機制,ALCAP定義了與用戶面建立、釋放傳輸承載的方式,因此需要ALCAP協議來完成這些操作。一般情況下,如果不涉及到用戶平面時,Iub接口中就隻有NBAP過程的消息。當涉及到用戶平面的時候,情況要複雜得多。

Relation graph of Iub interface

RNC在以下2種情況下将涉及到用戶平面的操作:一種是對小區的公共傳輸信道做操作的時候;另一種是為UE提供專用信道的時候。在對傳輸信道做操作的過程中,用戶平面隻有FP同步消息,不會有RRC消息。

當RNC涉及到對UE操作時候,需要先在RNC和UE之間建立一個無線連接(RRC連接),建立過程大緻如下:UE先向RNC請求建立RRC連接,RNC收到請求後根據具體情況選擇是否為該UE建立專用信道。

如果要建立專用信道(dedicated channel,DCH),RNC将通過NBAP協議請求建立無線鍊路或者重配置無線鍊路,Node B成功應答後,RNC将通過ALCAP協議分配DCH所需的AAL2鍊路,成功分配後RNC通過前向接入信道(forward access channel,FACH)發送RRC建立成功消息。

如果不需要為該UE建立專用信道,那麼就沒有上述NBAP和ALCAP過程,RNC将直接通過FACH發送RRC建立成功消息,該消息将指示UE隻能通過公共傳輸信道傳輸所有的消息給RNC。圖2顯示了Iub接口中可能會出現的消息種類。

Front Panel

Front Panel是前面闆的意思,在有些産品屬性标示常簡稱為FP.

FP

FP:單頁

FrontPage

FrontPage是一種強大的網頁制作工具。詳見FrontPage...

First Piece

服裝外貿加工業務中,工廠大貨開始生産,從流水線上出來的第一件樣衣,稱之為大貨首件,作為該批服裝的一個質量參考

Fuel Pump 油泵

Fuel oil pump 汽車電子用語——燃油泵

Flying Platform

在交響詩篇AO中出現的機體,全名為“Flying Platform(飛行平台)”。屬于空中的汽車,跟汽車一樣有不同的型号,以光粒子為主要動力。

Fluorescent Protein 熒光蛋白

FP

是CF(穿越火線)中的一種新的模式,即集結密令版本中,新增了戰友系統,同時上線的還有一個全新貨币單位FP點,下面就介紹FP點的獲得方法。

新玩家進入遊戲後,可推薦一名老玩家為自己的戰友(每個新玩家隻能推薦一名戰友),推薦成功後,新玩家獲得一定的道具獎勵及經驗加成,被推薦的老玩家在新玩家獲得經驗時按一定比例獲得FP點數,FP點數可購買稀有道具。新玩家等級到達少尉後,雙方戰友關系自動結束,成為榮譽戰友。

函數語言

函數語言以λ-演算為其語義基礎,它的基本機制是函數對參數的作用,函數是程序的基本項,程序的編制便是函數的遞歸構造過程。從數學觀點看,函數是從一個域(定義域)到另一個域(值域)的映射,即函數描述了兩個域上元素的對應關系。

因此,函數語言是一種描述性語言,它隻給出需求解問題的定義而不需給出具體的求解過程和細節。求解過程是語言本身經過應用一系列重寫規則實現的。λ-演算作為一個重寫系統滿足合流性,即一個項若有範式,則不同的重寫策略将導緻相同範式,從而保證程序求解的唯一性。

由上可知,函數語言具有相當清晰簡明的指稱語義和重寫操作語義,這對程序正确性驗證尤為重旁。函數語言的主要優點是:

(1)數學優美性,

(2)簡單性,

(3)引用透明性。

正是由于這些優點,所以易于語言編寫程序,且程序易讀易維護,程序也很短小簡練。特别地,程序具有較好的代數性質,易于程序演繹和正确性驗證。引用透明性帶來的另一個主要優點是程序具有天生的并行性。

最早的函數語言可數Lisp,是McCarthy在1960年創立的,其初始動機是為考慮匿名函數的表示,開發一個用于Al的代數表處理語言。

應該說在Lisp開發早期蔔演算的影響甚微,但由于Lisp本身有很好的數學優美性,它對函數語言的發展産生了重大影響。Lisp至今仍是最流行的函數語言,主要用于智能系統的編程。出于效率的考慮,它現已變成一種不純的、有副作用的函數語。

上一篇:商品流通企業會計

下一篇:北京市市民社會服務一卡通

相關詞條

相關搜索

其它詞條