论文部分内容阅读
分层逻辑程序的启发式不动点语义
【机 构】
：
贵州大学
【出 处】
：
全国程序设计语言发展与教学学术会议
【发表日期】
：
1994年期
其他文献
对钢铁厂炼钢－连铸计划与调度中的炉次计划建立了一个最优炉次计划混合整数规划模型．为了用遗传算法求解这一带约束条件的混合整数规划模型，提出了一种染色体的构造策略和交叉、
该文介绍闻ＮＥＣ Ｐ７点阵打印机的控制码及其等效指令码，并介绍了一个用这种打印机按页打印英文ＷｏｒｄＳｔａｒ文本文件的Ｔｕｒｂｏ Ｐｒｏｌｏｇ程序。等效码的使用为用户输入控制码提供了极大方便，打印程序可以快速地按
该文提出的用于体外肾结石爆破治疗的微机图象处理系统能减少患者在治疗中所受的X光照射及提高结石图象的清晰度。图象处理系统的硬件能满足512×512象素图象的实时动态处理
该文从软件生命期入手，分析了软件开发的三种观点，即传统的软件开发观点、Cperational开发观点、快速放样（Rapidprototype）开发观点。在传统观点下、按不同分类分析了八种软件开