论文部分内容阅读
本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。
基于CCS模型的半智能回溯
【摘 要】
：
本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1990年10期
其他文献
本文提出了一种非常简单的自动生成矢量汉字库的原理和算法。其方法可普遍地用于将各种线体点阵汉字库转化得到相应的矢量汉字库。 文中提出的算法我们已在IBM PC XT上实现,并在很短的时间内生成了一个矢量汉字库,效果是令人满意的。
近年来，以全面质量管理为核心的现代质量管理理论认为，产品质量是性能、可靠性、经济性、外观以及售前和售后服务等方面的综合体现，它形成并始终贯穿于产品生命周期的全过程，与人
建造CAD DBMS的一个简便、可行的方法就是扩充和改进商用DBMS,GOODDBMS是一个CAD DBMS,它建立在INGRES之上,利用面向对象的概念对它进行了扩充,同时,还联接了图形系统GKS,实现了图形功能。
主持人：我们首先请台上的嘉宾讲一讲他们在资本运营方面的做法。下面请六和集团黄炳亮先生谈一谈六和在资本运营方面的情况，可能的话也谈一谈担保公司方面的情况。
1979年，正大康地（深圳）有限公司成立，拉开了我国现代饲料工业的序幕。纵观我国20多年的饲料发展史，饲料营销开创了一片辽阔的蓝海，我国一举成为世界第2饲料大国。
在20世纪八九十年代，精益化生产管理走进国门．在冲击电子、汽车、化工等行业现场管理的同时．也对饲料企业的生产现场造成了一定影响，许多饲料企业引进了6S等现场管理方法。但一段
近几年来，高产奶牛产后不发情或屡配不孕等繁殖问题日益突出，对奶牛养殖效益影响很大。据调查统计，约有20％～40％的奶牛存在繁殖障碍，位居奶牛3大常见病之首。提高奶牛繁殖性能已成为
计算机代数与符号演算语言CASC是一种高级程序设计语言,它可用于编制推演数学公式的程序。它是我们设计并用PASCAL在IBM-PC/XT上实现的。CASC还是一个数学专家系统,可解四十