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

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

拟双线性方程(组)的展开算法及其求解*

本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项，直至新的常数项不再增加为止的这一迭代过程有可能不终止，并提出了改进办法，将拟双线性方程的等价变换定理推广至拟双线性方程组，根据拟双线性方程组等价变换定理以及改进的拟双线性方程展开算法设计了拟双线性方程组的展开算法．     

合成型语言FOPL的语义研究

函数式面向对象程序设计语言ＦＰＯＬ，是笔者设计并实现的一种同时支持函数式程序设计和面向对象程序设计的合成型智能语言。本文在一个全称抽象域上描述了它的指称语义，进而讨论了一个和该指称语义计算一致的按值调用的操作语义。     

并行计算模型GAMMA概述

程序设计中的并行性可以区分为逻辑并行性和物理并行性,前者是一种程序构造工具,它通过任务复合来描述程序;后者涉及实现技术,它关心的是任务如何在处理器集合上的分配。本文将介绍一种新的并行计算摸型GAMMA,其使用多重集转换技术,允许在较高的抽象层次上开发逻辑并行性,已被证明是一种有效的并行程序构造方法。     

方程式语言及其实现

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。     

对象式Lambda演算的自作用部分计值

讨论了一个对象式Lambda演算的部分计值器.对象式Lambda演算在Lambda演算的基础上添加了对象机制.部分计值器的构造是采用传统的三步法,首先定义对象式Lambda演算的元解释器;然后提出对象式Lambda演算的约束时间分析方法(binding-timeanalysis),约束时间分析决定哪些计算可以在编译时完成,哪些计算需留在运行时执行;最后定义部分计值器,同时,给出了元解释器和部分计值器的正确性证明.     

桥梁工程施工的质量问题及对策

1 桥面面层一次摊铺平整度控制 桥面面层一次摊铺平整度控制是桥面施工一大难点。通常桥面沥青混凝土面层一次摊铺平整度的提高,有赖于桥面混凝土铺装平整度的提高。为提高面层施工质量,创新开发了桥面混凝土可调高胀管螺栓角钢侧模系统施工新工艺,精确控制桥面铺装层顶面标高。每幅铺装层纵向分成合适块数,弹线预埋螺栓,采用角钢打椭圆孔,固定在螺栓上,用上F螺母精确调整侧模顶面高程,按正式混凝土路面施工工序施工。保证其实测混凝土铺装层表面平整度误差〈1mm（每1m）,这样能大大提高一次摊铺施工的沥青混凝土面层施工质量。     

某铀矿床露天开采经济合理剥采比研究

努和廷铀矿床矿体赋存条件与产状平缓的煤矿相似,地下开采技术方案和矿石选冶技术方案还需要深入研究。研究国内铀矿开采平均水平、矿床采出矿石品质、矿床所在地区差异、矿石最低盈利要求等因素,提出了针对努和廷矿床露天开采矿石"售价"的测算公式,采用考虑最低盈利要求的价格法计算露天开采经济合理剥采比是合适的。     

非圆数控车削中大量数据的存储

在DOS操作系统下，使用虚拟内存技术，使得非圆车削数控程序突破了640KB常规内存的限制，既解决了非圆车削中大量数据的存储难题，又保证了数控加工的实时性。     

生长压力对MOCVD GaN材料晶体质量的影响

使用氮化物MOCVD外延生长系统,采用传统的两步生长法在76.2 mm c面蓝宝石衬底上生长了不同压力的GaN薄膜样品.研究发现提高高温GaN的生长压力,初期的三维生长时间增长,有利于提高GaN薄膜的晶体质量.同时采用XRD、PL谱和湿化学腐蚀方法研究了样品的位错特性,结果表明高压生长的样品能够降低位错密度,起到改善G...