论文部分内容阅读
本文讨论了一类自身具有有效，完备公理系统的空值环境下的模板依赖，给出了模板依赖的强，弱保持条件。
空值环境下模板依赖的研究
【摘 要】
：
本文讨论了一类自身具有有效，完备公理系统的空值环境下的模板依赖，给出了模板依赖的强，弱保持条件。
【机 构】
：
东北重型机械学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1994年8期
【基金项目】
：
国家自然科学基金,黑龙江省自然科学基金
其他文献
1花期开甲即环状剥皮,切断韧皮部,暂时中断有机营养下运,满足开花坐果及幼果早期生长发育的需要,可提高坐果率20%以上,并促进果实成熟一致,提高枣果品质.
本文简要介绍了钢纤维增强混凝土的几种原材料，包括钢纤维、水泥、细集料、粗集料、水、外加剂和掺合料等的配制，以及配制过程中水灰比、钢纤维体积率、单位体积用水量和水泥用
镁合金的阻尼性能很好,但强度低。位错阻尼机制是镁合金的主要阻尼机制。通过合金化强化、形变强化、热处理强化等强化方法可提高镁合金的强度,但对镁合金的阻尼性能有不同程
唐玉林研究员简介唐玉林，男，1932年生人，研究生导师。1957年毕业于清华大学铸造专业，同年到沈阳铸造研究所工作至今。
由于苹果腐烂病的病菌是一种真菌,因此选用对真菌具有快速杀灭和高效抑制作用的消毒剂和高分子有机成膜剂配伍进行防治苹果腐烂病试验,取得了较好的效果.
霞艳苹果品种8月上旬成熟,平均单果重230 g左右,外观浓红艳丽,风味浓甜,品质上等.适应性,抗病性均强.在深州市定植第3年即可结果,大树高接第3年667 m2产2 375kg左右,早实而丰
肿瘤免疫－基因治疗是随着现代分子生物学研究进展而出现的新方法。１９８８年至１９９０年间，以Ｒｏｓｅｈｂｅｒｇ为代表的肿瘤学家提出了一系列免疫－基因治疗的设想和方案，引起了极大的反响和急议，提出了以下问题：（１）ＴＩＬ细
潍坊甜油桃现在主要栽培的品种有２０多个，分极早熟（早红珠、丹墨、艳光）、早熟（早红艳、潍坊甜油桃１号）、中熟（红珊瑚、潍坊甜油桃３号）等。特点是果实大，艳丽而味甜，早果性和丰产性能强。定
解决I/O 有限与百里挑一的两类问题,都需要大量的磁盘I/O 操作。如果把磁盘读出的数据在传送到主机之前就在磁盘一侧进行部分或全部的处理,就可有效地克服磁盘I/O 通道阻塞的
随着人民物质生活水平的提高，人们对生活环境的质量要求也越来越高，对城市中的园林要求也越来越高，园林是为人们工作之余提供的一个休闲、文化娱乐、亲近大自然、满足人们回归自