论文部分内容阅读
用Robinson归结进行程序分析虽具有简洁、机械化的优点,但不够直观自然,影响了此法的使用。这里将广义归结技术用于程序分析,使之直观自然,效率提高。
程序分析的归结技术
【摘 要】
：
用Robinson归结进行程序分析虽具有简洁、机械化的优点,但不够直观自然,影响了此法的使用。这里将广义归结技术用于程序分析,使之直观自然,效率提高。
【机 构】
：
郑州大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1992年02期
其他文献
目的探讨多排螺旋CT（MDCT）成像技术评价房室间隔缺损（AVSD）的临床应用价值。方法回顾性分析我院经外科手术或心血管造影确诊的28例AVSD患者的临床及相关影像资料,并将MDCT和超声
脑白质疏松是一组影像学所描述的临床综合征，属于脑小血管病变的一个类型，颅脑计算机断层扫描（computertomography，CT）表现为脑室周围或皮质下区弥漫性低密度影，在磁共振成像（magnet
本文就工业上常遇到的多屏幕显示问题,提出了一种简单而有效的实现方法,不仅从硬件上,而且从软件上也进行了论述,同时对多屏幕显示工业上的实时动态流程图的实现方法也进行了详细的说明。文章阐述了对SVGA4PLUS多屏彩显卡的使用和实时通信对动态流程图制作的作用,并介绍了一个应用实例的应用情况。
本文将运动图像分析技术应用于生物医学领域,进行精子活动能力的定量计算和计算机自动测定。利用病员的新鲜精液,通过显微镜送入计算机,得到图像序列,然后进行分析研究。文章提出了一套图像序列分析算法,能够描出精子的运动轨迹,算出精子的运动速度,并给出诊断结果报告。实验证明,其结果与医学结论相符。
1 病例简介 患者男,80岁,以＂突发言语不能,左侧肢体乏力1h＂于2009年7月20日收住我院.患者发病前一天晚入睡时如常,夜间起床小便1次无明显异常,6：00左右晨起时发现左侧肢体无力,
加强素质教育是我国教育事业的发展方向,素质教育不是一句空话,它急切地呼唤高素质的教师,教师不仅要有广博的知识,过硬的业务能力,而且要乐业、敬业.素质教育任重而道远.
一、使用方法及除草效果1.拉索:在大蒜点种入土后至出苗1～2寸高前均可用药,每亩用48%乳油4～5两加水50公斤左右,均匀喷洒后立即盖膜,对马唐草、狗尾草、
本文介绍了以矩阵分式描述的单变量和多变量控制系统动态补偿器的计算机辅助设计(简称CAD)软件系统。本软件共包括了十种动态补偿器的设计,用户可不必了解其中控制算法的细节及程序结构,便能很快设计出符合要求的控制系统,并可对设计的系统进行仿真运算,给出数值结果和图形显示结果。本软件包括了控制系统多项式矩阵设计理论方面研究的许多新成果,是一个实用的软件设计工具。全部程序均用C语言编写。
文章认为,<诗经>中的"文"作为"文德"之义,是周人的创造,有特定的内涵:是天所不包的伟大精神和襟怀,是人的品德的最高境界."文"起源于"赋",其中有远古宗教色彩,同时也蕴含着深