基于Monad的纯函数式语言通道系统设计 被引量：2

1

作者 袁华强 孙永强 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页

本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。

关键词 纯函数式语言 通道系统 设计 文件系统 monad 操作系统 进程

在线阅读 下载PDF 职称材料

一种基于Monad反射语言解释器的构造 被引量：2

2

作者 吕江花 金成植 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2003年第4期487-492,共6页

通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。

关键词 monad方法 反射语言 解释器 HASKELL语言 函数式语言 形式化 程序设计语言 计算反射

在线阅读 下载PDF 职称材料

一种基于组合Monad的纯函数式Lazy I/O操作

3

作者 袁华强 王亚强 孙永强 《计算机工程与科学》 CSCD 2006年第7期119-122,共4页

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。

关键词 纯函数式语言 monad lazy I/O

在线阅读 下载PDF 职称材料

基于Monad的纯函数式程序设计

4

作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1996年第11期683-690,共8页

ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

关键词 函数式 程序设计 纯函数式语言 monad

在线阅读 下载PDF 职称材料

一种基于组合Monad的纯函数式通道系统操作

5

作者 袁华强 孙永强 《计算机工程与应用》 CSCD 北大核心 2004年第25期88-89,95,共3页

Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。

关键词 纯函数式语言 monad

在线阅读 下载PDF 职称材料

基于Monad的非确定性进程网描述方法

6

作者 袁华强 孙永强 《湘潭大学自然科学学报》 CAS CSCD 1997年第3期121-125,共5页

非确定性进程网是纯函数式操作系统中的一个重要的问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Monad，用此Monad在纯函数式语言中描述了非确定性进程网．

关键词 非确定性 monad 程序设计 进程网 操作系统

在线阅读 下载PDF 职称材料

非确定性Monad

7

作者 袁华强 肖倩 孙永强 《计算机学报》 EI CSCD 北大核心 1997年第3期284-288,共5页

纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中描述了非确定性进程网，证明了一些有用的代数性质．

关键词 非确定性 monad 纯函数式语言

在线阅读 下载PDF 职称材料

基于Monad的纯函数式语言文件系统设计

8

作者 袁华强 孙永强 石跃祥 《东莞理工学院学报》 2004年第1期12-18,共7页

本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义。

关键词 monad 纯函数式语言 文件系统 系统设计 状态转换嚣 操作系统

在线阅读 下载PDF 职称材料

一种基于Z规范的纯函数式程序设计方法

9

作者 袁华强 孙永强 《计算机应用与软件》 CSCD 北大核心 2008年第2期117-118,共2页

状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。

关键词 纯函数式语言 Z规范 monad

在线阅读 下载PDF 职称材料

函数式语言中的赋值语句 被引量：7

10

作者 石跃祥 袁华强 +1 位作者 孙永强 陈静 《软件学报》 EI CSCD 北大核心 1999年第3期252-256,共5页

文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义。

关键词 赋值语句 程序设计语言 函数式语言

在线阅读 下载PDF 职称材料

纯函数式语言的I/O系统 被引量：5

11

作者 袁华强 肖倩 孙永强 《计算机科学》 CSCD 北大核心 1996年第6期6-9,共4页

函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所提供的基本函数为止。

关键词 纯函数式语言 I/O系统 程序语言

在线阅读 下载PDF 职称材料

氧化锆全瓷冠与纯钛烤瓷全冠修复牙列缺损的美学效果及对咀嚼功能和语言能力的影响研究 被引量：14

12

作者 王玉玮 李丁新 +2 位作者 赵飞 齐宝明 高志强 《中国美容医学》 CAS 2023年第1期119-123,共5页

目的:探讨氧化锆全瓷冠与纯钛烤瓷全冠修复牙列缺损患者的美学效果及咀嚼功能、语言能力的差异性。方法:选取2018年12月-2021年3月在唐山市协和医院口腔科就诊的106例牙列缺损患者作为研究对象,按随机数字表法将患者分为氧化锆全瓷冠组... 目的:探讨氧化锆全瓷冠与纯钛烤瓷全冠修复牙列缺损患者的美学效果及咀嚼功能、语言能力的差异性。方法:选取2018年12月-2021年3月在唐山市协和医院口腔科就诊的106例牙列缺损患者作为研究对象,按随机数字表法将患者分为氧化锆全瓷冠组和纯钛烤瓷全冠组,每组53例。氧化硅全瓷冠组采用氧化硅全瓷冠修复,纯钛烤瓷全冠组采用纯钛烤瓷全冠修复。对两组的临床疗效进行评价,比较两组患者的咀嚼效率和义齿就位率,对两组患者的舒适度、语言能力、咀嚼力度和美观度评分进行评估,采用金刚探针牙周诊断仪检测两组患者的牙周袋深度,根据菌斑量和厚度积分对患者的牙齿菌斑指数进行评价。观察并记录两组患者修复后基托受损、基托不良、牙周病等不良反应发生情况。结果:氧化锆全瓷冠组的临床疗效优良率90.57%,高于纯钛烤瓷全冠组的69.81%(χ^(2)=7.185,P<0.05);氧化锆全瓷冠组的咀嚼效率(87.22±3.16)%,高于纯钛烤瓷全冠组的(76.22±2.36)%(t=20.305,P<0.05),就位率(96.23%)高于纯钛烤瓷全冠组(83.02%),差异有统计学意义(χ^(2)=4.970,P<0.05);氧化锆全瓷冠组舒适度、语言能力、咀嚼力度和美观度评分均高于纯钛烤瓷全冠组(t=3.019、3.143、3.308、3.042,P<0.05);氧化锆全瓷冠组牙周袋深度和牙齿菌斑指数均低于纯钛烤瓷全冠组,差异均有统计学意义(t=5.590、6.951,P<0.05);氧化锆全瓷冠组基托受损、基托不良、牙周病发生率均低于纯钛烤瓷全冠组,差异均有统计学意义(χ^(2)=4.867、4.711、7.361,P<0.05)。结论:氧化锆全瓷冠修复可有效提升修复效果,改善牙列缺损患者的咀嚼功能,提高其舒适度、语言能力、咀嚼功能以及美观效果,降低不良反应发生率,牙周病防治效果较佳。 展开更多

关键词 氧化锆全瓷冠 纯钛烤瓷全冠 牙列缺损 美学效果 咀嚼功能 语言能力

暂未订购

基于unboxed数据类型的纯函数式I／O系统的实现

13

作者 袁华强 孙永强 《计算机应用与软件》 CSCD 北大核心 2008年第1期93-95,共3页

采用unboxed数据类型实现纯函数式I/O系统,通过一个由unboxed数据类型定义的程序转换系统将纯函数式I/O程序转换为C语言代码,其中着重讨论了基本操作ccall的实现。

关键词 纯函数式语言 I/O系统 unboxed数据类型 C语言代码

在线阅读 下载PDF 职称材料

DDFP语言的归约机实现技术

14

作者 杨祥金 李慧卿 《计算机研究与发展》 EI CSCD 北大核心 1995年第2期5-10,共6页

ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归的语义的、引用透明的、能表达无限数据结构、高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术。本文在［４］的基... ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归的语义的、引用透明的、能表达无限数据结构、高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术。本文在［４］的基础上首先引出了ＬＮＦ演算，而后详细介绍了该语言的归约机实现技术，对结果作了讨论。 展开更多

关键词 DDFP语言 归约机 程序语言

在线阅读 下载PDF 职称材料