论文部分内容阅读
本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
具有代数算子的λ演算系统的模型构造
【摘 要】
：
本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
【机 构】
：
上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1990年3期
【基金项目】
：
国家自然科学基金
其他文献
目的探讨利多卡因减轻华蟾素注射液对血管刺激性作用。方法对120例随机抽取的接受华蟾素注射液治疗的患者分成对照组和治疗组,各组60例。治疗组同时加用2%利多卡因5 mL,观察1
利用含有不同误差水平的DEM数据的50%随机采样作为输入数据,解算了4种常用数据网格化方法的插值效果和滤波效果,并对4种方法的抗差性及鲁棒性进行了分析。结果显示,最小曲率方法(MC)的抗差性最好,克里格(Kriging)方法、径向基函数法(RBF)和基于线性插值的三角网法(TLI)的滤波标准差和插值标准差的差异较为微弱,而最小曲率方法(MC)的插值效果要稍强于滤波效果;通过计算附加±15m误差的D
高职教学重视应用性和实践性，就是要学以致用，在课程和教学内容中加大可操作性知识的容量，减少抽象的理论成分。突出职业教育特色。针对高职教育实践教学存在设备短缺、师资匮乏
目的分析淮北市结核病控制项目10年的效果以及取得成效的原因。方法收集、分析1998-2007年淮北市结核病控制项目资料。结果1998～2007年发现活动性肺结核病人12058例，其中涂阳肺
目的总结8例心脏穿透伤救治经验教训。方法回顾性分析8例心脏穿透伤临床资料。结果本组8例心脏穿透伤患者中，成功救治5例，死亡3例。结论早期诊断，及时手术开胸缝合心脏伤口是心
男性，25岁，汉族，武警某部队战士。因活动后胸闷1周，伴晕厥1次入院。入院前1周在下楼时突觉胸闷，随之出现意识丧失，呼之不应，约2min后自行清醒。血D-二聚体3.2mg／L（正常〈0.3mg／L）。胸片：
恶性胸腔积液是恶性肿瘤侵及胸膜的常见晚期表现。传统采用反复胸腔穿刺抽液、胸腔内注药等，但效果不佳。我科自2007年1月至2008年12月，应用电视胸腔镜术（video—assisted thora
蛋白质组是后基因组时代出现的一个新兴研究领域。蛋白质组的研究主要是先通过双向凝胶电泳等方法分离蛋白质，然后用质谱等技术进行鉴定。它是后基因组重要的研究方向之一，具有
蛋白质的磷酸化与去磷酸化过程，调控着包括信号转换、基因表达、细胞周期等诸多细胞过程。因此，对蛋白质磷酸化修饰的分析是蛋白质组研究中的重要内容。但由于磷酸化蛋白的丰度