期刊文献+
共找到91篇文章
< 1 2 5 >
每页显示 20 50 100
基于模型驱动的分治并行函数式程序生成及自动验证
1
作者 王昌晶 王忠文 +2 位作者 潘丞 黄箐 左正康 《信息安全学报》 CSCD 2023年第3期85-102,共18页
并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨... 并行计算作为人工智能发展的动力,使得并行算法的可解释性和安全性成为人工智能领域重要研究方向。形式化方法以数理逻辑为基础,已经成为复杂安全苛求系统可信构建的重要方法,而函数式编程则在算法领域中具有更强的数学表达性。本文旨在提出一种基于模型驱动的分治并行函数式程序生成及自动验证方法,融合形式化方法,以解决目前分治并行程序生成和验证中缺乏可解释性、易错、低可信度等问题。首先,采用分划递推法和循环不变式等新策略推导出串行算法;然后,利用辅助函数和算法连接函数将其提升为并行算法,并使用我们提出的并行算法设计语言Radl+进行描述;进而,采用同态定理验证框架在Isabelle中验证算法连接函数满足同态定理,即提升后的算法可并行化;最后,提出了Radl+→Haskell转换规则,设计了“Radl+→Haskell并行程序生成系统”软件原型。实验结果表明,本文能够生成和验证一系列算法的并行函数式程序,并且能够产生良好的加速比。本文方法不仅具有一定的可解释性,而且自动验证减少了传统手工验证易错性和繁琐的工作量,保证算法正确性和提高安全性,对大幅度提升高可信并行函数式程序的开发效率具有重要意义。 展开更多
关键词 模型驱动 分治并行 函数程序 程序生成 自动验证
下载PDF
函数型程序的并行计算模型及任务划分 被引量:2
2
作者 周一萍 郑守淇 白英彩 《软件学报》 EI CSCD 北大核心 1998年第12期932-936,共5页
通过分析得出了函数型程序的并行计算模型——任务树,并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响,提出了优化的任务划分算法。
关键词 函数程序 任务划分 并行计算模型 计算机
下载PDF
函数式程序模板元编程的元建模实现方法 被引量:1
3
作者 祝义 黄志球 +1 位作者 周航 刘林源 《计算机工程与应用》 CSCD 北大核心 2018年第7期1-10,共10页
针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包含Datatype与Funct... 针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法。基于ATS模板元编程给出从枚举类型Datatype到Function的生成实例;通过元建模构造了包含Datatype与Function定义的ATS元模型;详细描述了Datatype模型到Function模型的转换;最后以一个基于元建模的ATS模板元编程为例,讨论了该方法的使用效果。实验结果表明该方法可以提高ATS模板元编程的通用性。 展开更多
关键词 函数程序 应用类型系统 模板 元编程 模型转换
下载PDF
函数式程序的分层λ抽象 被引量:2
4
作者 廖湖声 《计算机学报》 EI CSCD 北大核心 1989年第12期892-899,共8页
本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.
关键词 函数程序 程序设计语言
下载PDF
论高校计算机专业开展函数式程序语言教学的必要性 被引量:1
5
作者 余珊珊 易法令 苏锦钿 《计算机教育》 2014年第15期34-38,共5页
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的... 针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。 展开更多
关键词 函数程序语言 命令式程序语言 HASKELL Lambda演算
下载PDF
函数程序设计语言用于快速原型
6
作者 梅宏 孙永强 《计算机科学》 CSCD 北大核心 1992年第1期39-42,共4页
函数程序设计对减少大型软件系统开发的开销有着较大的潜力。本文讨论了函数程序设计在软件工程中的作用和地位,论述了函数语言作为规范原型工具的合适性,最后用一个例子展示了用函数语言建立系统原型的过程。
关键词 函数程序设计 快速原型 软件工程
下载PDF
并行函数/逻辑程序设计语言PRFUNLOG
7
作者 金海 李智勇 张运桢 《计算机工程与设计》 CSCD 北大核心 1992年第6期13-17,共5页
PRFUNLOG语言是基于顺序RFUNLOG语言基础之上开发的一种并行函数/逻辑型程序设计语言,本文介绍了PRFUNLOG系统的设计思想、系统结构、系统流程以及PRFUNLOG系统较之其他并行系统的特点。
关键词 并行程序设计 程序设计语言 函数程序设计
下载PDF
函数式程序的离散式延迟输入输出流
8
作者 廖湖声 吴晶 《计算机学报》 EI CSCD 北大核心 1995年第7期554-557,共4页
函数式程序的离散式延迟输入输出流廖湖声,吴晶(北京工业大学计算机学院北京100044)ADISCRETELAZYSTREAMFORINPUTANDOUTPUTINFUNCTIONALLANGUAGES¥LiaoHus... 函数式程序的离散式延迟输入输出流廖湖声,吴晶(北京工业大学计算机学院北京100044)ADISCRETELAZYSTREAMFORINPUTANDOUTPUTINFUNCTIONALLANGUAGES¥LiaoHushengandWuJing(Com... 展开更多
关键词 函数程序 函数式语言 输入输出流 延迟
下载PDF
函数式程序设计语言的教学研究与探讨 被引量:2
9
作者 陈付龙 《福建电脑》 2010年第6期23-23,30,共2页
本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。
关键词 函数程序设计语言 OCaml Lambda演算
下载PDF
余弦函数程序涂渍色谱柱的研究
10
作者 袁晓燕 易卫红 陈贻文 《湖南大学学报(自然科学版)》 EI CAS CSCD 1999年第3期21-24,93,共5页
程序涂渍色谱柱内固定液和载体的比例按余弦函数程序改变.从理论上推导出程序效应与各变数之间的关系,对其色谱柱的特性进行了探讨.
关键词 气相色谱法 余弦函数程序 程序涂渍色谱柱
下载PDF
Comonads理论及其在函数式程序语言Haskell中的应用
11
作者 苏锦钿 余珊珊 《计算机科学》 CSCD 北大核心 2011年第7期144-147,156,共5页
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has... 函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Haskell的具体实现;接着探讨Comonads的CoKleisli三元组和CoKleisli范畴,通过实例说明如何将其应用于上下文依赖计算的描述和推理中;最后进一步研究Comonads与Monads之间的分配律,指出如何通过分配律将效果计算与上下文依赖计算有机地融合起来。 展开更多
关键词 Comonads 函数程序语言 HASKELL 上下文依赖计算 范畴论
下载PDF
提高Haskell函数程序设计基础课程完成率的翻转课堂探讨
12
作者 乔海燕 周晓聪 杨永红 《软件导刊》 2022年第5期229-232,共4页
Haskell函数程序设计基础是使用函数式语言讲解程序设计的本科生入门公选课。针对选修人数少、课程难、学生退课率高等问题,通过进行线下线上相结合、电子教室等技术手段的翻转课堂教学实践,更多学生坚持学完了课程;通过设计典型案例展... Haskell函数程序设计基础是使用函数式语言讲解程序设计的本科生入门公选课。针对选修人数少、课程难、学生退课率高等问题,通过进行线下线上相结合、电子教室等技术手段的翻转课堂教学实践,更多学生坚持学完了课程;通过设计典型案例展示函数程序设计特色和简洁之美,更多学生喜欢上了程序设计。统计显示,实施线上线下相结合教学的学年,完课学生人数较上学年增加了20%,学生平均成绩、及格率和优秀率也比往年有较大提高。 展开更多
关键词 Haskell函数程序设计基础 课程完成率 翻转课堂 慕课 在线测评
下载PDF
函数式程序的调试及跟踪
13
作者 施智敏 孙永强 《计算机应用与软件》 CSCD 1991年第4期18-23,共6页
由于函数式程序设计与传统程序设计的风格不同,从而程序的调试和跟踪方法也存在很大的差异。本文着重介绍了函数式程序的调试和跟踪方法,并且介绍了我们在MicroVAX-II 机器上实现的GFP 系统的调试方法及实现技术。
关键词 函数程序 程序调试 程序跟踪
下载PDF
函数程序设计在软件开发中的应用
14
作者 张毅 《南京林业大学学报(自然科学版)》 CAS CSCD 1996年第1期93-95,共3页
从函数程序设计的角度对速成原型方法进行研讨,采用形式方法解释其在应用上的优劣。并结合林业实例,说明该方法的优越性。
关键词 函数程序设计 速成原型 规范 软件开发 林业
下载PDF
基于函数程序设计与基于逻辑程序设计的软件开发
15
作者 余金山 《计算机科学》 CSCD 北大核心 1992年第3期61-67,共7页
一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性... 一、引言逻辑程序设计(LP)与函数程序设计是当今两种杰出的、主要的软件新技术。基于它们的语言被称为是两类最主要的和最有前途的说明性超高级语言。这两类语言的一些共同特点是:具有简单良好的数学基础、高度抽象(即非过程性或说明性)、表达能力强。从软件工程的观点看,它们对提高软件生产率、降低高昂的软件开发成本,保证软件质量具有巨大的潜力。实际上,函数式语言就是为了解决“软件危机”由著名的计算机科学家 Backus 加以发展的。但是这两类语言自诞生后。 展开更多
关键词 逻辑程序设计 函数程序设计 软件开发 软件生产率 软件危机 函数式语言 软件质量 说明性 计算机科学家 软件工程
下载PDF
程度函数及其可靠性
16
作者 孟庆茂 《心理学报》 CSSCI CSCD 北大核心 1995年第2期133-138,共6页
通过实验及理论分析,验证并给出了:1.程度函数a的可靠性θ的取值范围为:1/m≤θ≤1/m∑bkyjp。θ值的大小与可靠性呈反向变化:a的可靠性大,θ值小,a的可靠性小θ值大,一般情况下的θ值,为θ的上界与下界之和的... 通过实验及理论分析,验证并给出了:1.程度函数a的可靠性θ的取值范围为:1/m≤θ≤1/m∑bkyjp。θ值的大小与可靠性呈反向变化:a的可靠性大,θ值小,a的可靠性小θ值大,一般情况下的θ值,为θ的上界与下界之和的一半;2.采用集值统计模型和一般统计模型处理多级估量法多人次结果,所得到的程度函数平均数几乎相等,而且相关系数高达0.977.非常显著.分组数据计算、单一数据计算或全部数据统一计算的程度函数a及可靠性θ值也都相等.3.一般统计模型处理多级估量法多人次结果所得到的标准差σ,只反映各被试的程度函数之间的变异,与程度函数可靠性无关(相关系数0.0024,非常不显著).如果个人结果中按公式θ=1/m∑ej再计算可靠性θ值,然后再求其平均数及标准差,还可进一步了解可靠性θ值的变异情况. 展开更多
关键词 多级估量法 程序函数 可靠性 集值统计 心理计量
下载PDF
纯函数式I/O的操作语义 被引量:8
17
作者 袁华强 孙永强 《计算机学报》 EI CSCD 北大核心 1998年第11期1009-1014,共6页
目前被人们广泛采用的处理函数式I/O的机制有三种:Monad,Dialogue,CPS.本文采用CCS的理论和方法,把互模拟等价作为I/O程序的相等关系,描述了这三种I/O机制的操作语义,推导出这三种I/O机制相互之间的转换关系,从而证明了这三... 目前被人们广泛采用的处理函数式I/O的机制有三种:Monad,Dialogue,CPS.本文采用CCS的理论和方法,把互模拟等价作为I/O程序的相等关系,描述了这三种I/O机制的操作语义,推导出这三种I/O机制相互之间的转换关系,从而证明了这三种I/O机制在语义上是等价的. 展开更多
关键词 函数程序设计 I/O 操作语义
下载PDF
简述几种计算器统计模式下的应用程序
18
作者 胡继发 卢刚 《华中科技大学学报(医学版)》 CAS CSCD 北大核心 1994年第S2期183-184,共2页
关键词 可编程序函数计算器 统计模式 应用程序
下载PDF
函数式语言中赋值语句(之二) 被引量:1
19
作者 石跃祥 袁华强 《湘潭大学自然科学学报》 CAS CSCD 2001年第1期8-11,6,共5页
为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .
关键词 函数程序设计语言 赋值操作 输入/输出 指称语义 赋值语句 引用透明性
下载PDF
函数式语言泛型特性的研究与实现
20
作者 李阳 于尚超 王朋 《计算机工程与应用》 CSCD 2012年第28期71-76,共6页
对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行... 对于泛型程序设计来说,类型的参数化多态是其理论框架,参数化多态引入了类型变量,使得类型参数化,支持类型上的抽象,从而可以大大提高软件的复用程度。泛型编程思想已经在多种语言中得到运用,并已取得了不小的成果。在函数式语言上进行泛型的研究与应用,Haskell语言是函数式语言中较为经典的一种语言,它的计算模型简单,语法清晰,易于编写,易于维护,拥有很大的发展空间。利用一些规则对Haskell语言的语法进行相关扩展,同时引入泛型的思想,研究与运用定义泛型函数的方法,在Haskell语言上实现了泛型功能。 展开更多
关键词 泛型编程 类型抽象 函数程序设计 语法扩展
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部