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至今仍是最流行的函数语言,主要用于智能系统的编程。出于效率的考虑,它现已变成一种不纯的、有副作用的函数语。

相关词条

相关搜索

其它词条