论文部分内容阅读
文[1]给出了REP表达式类及其典范形式,本文推广了这类表达式并证明其存在的典范形式。
一类表达式及其典型形式的推广
【摘 要】
：
文[1]给出了REP表达式类及其典范形式,本文推广了这类表达式并证明其存在的典范形式。
【机 构】
：
哈尔滨工业大学计算机科学系,哈尔滨工业大学计算机科学系哈尔滨150006,哈尔滨150006,哈尔滨150006
【出 处】
：
软件学报
【发表日期】
：
1992年3期
其他文献
少年儿童是祖国的未来，民族的希望，他们除了在学校的学习外，还要通过课外的阅读来开阔知识面、提高自己的文化修养、培养与发展自己的个性与特长，逐步形成自己的世界观、人生观。
目的观察气泡移动法能否提高静脉穿刺成功率。方法选择60例输液患者，血管条件差，穿刺不易回血者，采取自身对照。对照组：常规行静脉穿刺，是否穿刺成功参照回血及输液者手感。实验组
加强城乡集市贸易的食品卫生管理和食品卫生检查工作是保证食品安全的重要措施之一。作为初级卫生保健工作者应该掌握集市贸易食品卫生质量的鉴定常识,以便对所辖区内的集市
目的探讨细辛脑治疗急性支气管炎疗效及安全性。方法将120例患者随机分为2组，对照组60例采用常规综合治疗。治疗组60例细辛脑治疗。结果对照组总有效率70．0％，治疗组总有效率93．3％，两
患者男性，84岁，木工，2008年4月下旬因胸闷在外院就医，摄胸片发现右下肺结节，当时无发热、咳嗽、痰血、脓痰、胸痛、盗汗等症状。查CT提示右下肺背段小结节，难以确定明确诊断，建议作
目的探讨结核性胸腔积液的最佳治疗方法。方法将130例结核性胸腔积液患者按人院先后顺序随机分为A、B、C三组。A组45例，常规胸腔穿刺；B组43例，在常规胸腔穿刺的基础上，加用胸腔内
在临床护理操作中记录危重患者的24h尿量及每小时尿量，我们常用尿壶（尿壶上标有刻度）来测量，但对于年龄较小的患儿（如：烧伤患儿）及心脏病手术后的患儿不够准确。而尿量的精确测量对
已知一个无向图G(V,E),|V|=n,|E|=m,本文基于SIMD共享存贮模型,运用数据在图中快速传播原理,建议了一个新的求图的连通分支算法,具体来讲,在SIMD—CREW共享存贮模型上,求图的
部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(