论文部分内容阅读
部分求值技术在软件工程与软件自动化领域中起着重要的作用，最近几年中我们在这一领域取得了一定的成果，并实现了几个实验性系统。这其中包括函数式语言的部分求值、过程式语言的部分求值及面向对象式语言的部分求值等。
部分求值新技术
【摘 要】
：
部分求值技术在软件工程与软件自动化领域中起着重要的作用，最近几年中我们在这一领域取得了一定的成果，并实现了几个实验性系统。这其中包括函数式语言的部分求值、过程式语言
【机 构】
：
大学计算机科学系(长春)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
为使维修医疗设备的工程技术人员能掌握步进电机在瑞典ＡＫ－１０血液透析中的应用，我们设计和研制了步进电机硬件控制设备和单片机控制步进电机设备。在实验的基础上，再介绍瑞典ＡＫ－１０血液透析
摘要：現如今我国经济水平的增长速度不断加快，使得建筑行业有了较大进步。人们除了对于施工质量存在要求之外，还希望能够渗透可持续性发展理念。通过采取节能技术，可以有效降低能源损耗，改善人们的生活环境，同时还能推动整个行业不断进步。本篇文章主要描述了建筑行业发展的实际现状，探讨了节能技术应用的主要意义，并对于节能技术的具体应用方面发表一些个人的观点和看法。 关键词：节能技术;建筑工程;施工;应用 现
文章对部分开采中充填体与煤柱之间的交互作用进行了较详尽的分析,比较了充填与否煤柱强度的差异,明确地解析了部分开采中充填体改善煤柱强度和减少地表下沉的机理问题.讨论
上中学的时候曾经学过一篇课文,名字叫《井冈翠竹》。虽然都是纸上读来的东西,但那栩栩如生的描写使我对清脆的竹子充满了梦一般的遐想,于是便对漫山遍野的竹海有了深刻而又
由于经济的快速发展,装配式住宅已经是当前建筑中不可缺少的重要内容,尤其是开放式设计是十分重要的,所以本文主要分析的就是装配式住宅如何更好的应用与研究开放式设计,进而
该文首次提出了部分高斯消元（ＰＧＥ）方法，用于时域内快速仿真含互连线的非线性高速大规模集成电路（ＨＳＶＬＳＩＣ）网络。应用实例表明，部分高斯消元仿真方法具有速度快、精度高和功能强的显著优点。
该文提出了一种利用重定时技术进行部分扫描设计的新方法ＲＥＳＳ。ＲＥＳＳ方法与传统的结构分析法相比，在保证电路测试质量的前提下，有利于降低部分扫描设计的硬件开销。应用这种方法对ＩＳＣＡＳ’８９基准
摘要：土木工程建设中防水防渗施工有着非常重要的地位，且防水防渗施工的重点包括屋面防水、外墙防水、地下室防水及卫生间防水等。防水防渗施工的质量直接关系着土木工程的整体质量及后期使用效果，为此，下文结合某土木工程地下室防水施工实例，针对防水防渗施工技术在土木工程的实际应用展开论述。 关键词：土木工程;防水防渗;地下室;自防水混凝土;防水卷材 1 工程概况 某建筑工程地下室面积16100.2m2，
部分煤气化空气预热燃煤联合循环发电系统是一种把煤气化技术、常压流化床技术与联合循环结合起来的洁净煤发电技术.它通过对压气机排气在常压流化床锅炉中进行预热,同时利用
光纤测量技术优势明显,在岩土工程中的应用越来越广泛,其中光纤可实现传输与传感双重作用,作为岩土工程测量的主要技术,在分析边坡变形位移量等岩土工程测量应用中具有重要作