具有代数算子的λ演算系统的模型构造

本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。     

可聚合非离子乳化剂对丙烯酸酯乳胶性能的影响

合成了可聚合非离子乳化剂烯丙基脂肪醇聚氧乙烯醚(al-AEO₁₂),并用其制备了丙烯酸酯乳胶,考察了乳化剂用量对乳胶固含量、凝胶率、粒径分布、乳胶膜吸水率等性能的影响。结果表明：随着乳化剂用量的增加,乳胶固含量提高,凝胶率降低,平均粒径减小,乳胶膜吸水率降低,乳胶性能提高。将al-AEO₁₂与阴离子乳化剂SDS复配使用,且两者质量比为2∶1时乳胶性能最优,乳胶膜吸水率最低,此时乳胶粒径分布较窄,在透射电镜下可以观察到明显的核壳结构。     

神木双山小井眼钻井液的应用

神木一双山区块作为长庆气田主要产建区块之一,目前该区块常规井普遍为小井眼,该区块小井眼施工中存在延长组坍塌严重、石千峰组和石盒子上部地层易造浆,山西、太原组煤层易坍塌,严重制约该区块小井眼常规井提速和电测成功率。该体系针对神木一双山地层特点,进行了延长组的防塌、双石层防泥包,电测防遇阻等方面钻井液技术研究。从针对神木双山地层特点进行性能细化、完钻封井保证电测等方面,初步形成一套该区块小井眼安全快速钻井液技术。     

浅谈黑龙江垦区灌溉渠道防渗防冻胀的工程技术措施

黑龙江垦区下属农场大部分位于地域偏北侧的地区,由于负温的作用,已建成的渠道衬砌与防渗工程都不同程度地受到冻胀破坏,必须根据当地具体情况,采取必要的冻害防治措施,减轻或避免冻害破坏,充分发挥渠道衬砌与防渗工程的效益。     

函数式语言对数字电路的描述,综合及模拟

本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。     

线性逻辑和逻辑式程序设计

所谓的逻辑式程序设计它涉及两个逻辑层次：外部逻辑和内部逻辑，前者描述对象之间的逻辑关系，而后者涉及目标求解遵循的逻辑法则。如PROLOG，它的外部逻辑是古典逻辑，而其计算遵循的，我们将证明可以使用线性逻辑中的记法加以刻画。本文从从证明论角度出发，研究PROLOG目标求解成功或失败的公理性，并说明对任一给定的程序P，可定义一个线性理论LT（P），关于该理论，PROLOG目标求解是正确且完备的。     

沃卡河一级水电站土建工程施工质量控制

沃卡河一级水电站地处西藏高寒缺氧地区，具有施工环境恶劣、工程地质条件差、建筑物结构复杂、施工管理难度大等特点。施工中根据工程实际，采取了以“预控为主”等一系列质量控制措施，保证了土建工程的施工质量及施工进度。     

复杂断裂带高精度地震采集技术及效果

"十一五"期间,江苏油田相继在GY凹陷的HL、ZW和WB断裂带部署了YA、ZD、ZI和CB共4块高精度三维地震采集区域.3个断裂带断层发育,构造破碎,火成岩对下伏地层能量屏蔽严重,地震资料品质较差;地表条件复杂,激发、接收条件横向变化大.为此,从观测系统、激发和接收3方面入手开展方法研究,形成了面向目标的观测系统优化技...     

聚丙烯酸甲酯齐聚物的合成及乙氧基化

以四氩呋喃为溶剂,正十二硫醇为链转移剂,采用自由基溶液聚合的方法合成了聚丙烯酸甲酯齐聚物.考察了单体滴加时闻对黏均分子量的影响,确定滴加时间为40 min可以得到较低黏均分子量的聚丙烯酸甲酯齐聚物.在自制的插入式酯基乙氧基化催化荆MCT-09催化下成功地对聚丙烯酸甲酯齐聚物进行了乙氧基化反应.反应结果显示,随着反应进行...     

Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实