【摘 要】
：
本文提出了一个新的逻辑式程序设计语言的并行执行的理论模型CCS,它能够有效地解决提高与并行推理功效性的关键问题。CCS 模型的主要特点是:1.信道段作为与并行计算单位;2.段
【机 构】
：
复旦大学计算机科学系上海,200433
论文部分内容阅读
本文提出了一个新的逻辑式程序设计语言的并行执行的理论模型CCS,它能够有效地解决提高与并行推理功效性的关键问题。CCS 模型的主要特点是:1.信道段作为与并行计算单位;2.段内计算的顺序性与不中断性;3.段内的内部通信性与段间的外部通信性;4.不同信道段计算的半序性;5.动态控制的简单性;6.父子关系的松散性;7.优化尾递归程序的与并行执行。
其他文献
1 选好苗木要严格进行苗木分级,剔除病、虫、伤苗和等外苗,选择根系发达、生长正常、须根较多、茎干粗壮和芽眼完整、饱满的苗木.
临猗县位于山西南部地区,迄今苹果栽培面积已超过4.6万hm2,其中红富士苹果栽培面积占3.5万hm2.1996年以来,每年春夏大旱,秋分以后降雨量才逐渐增多,临近采收期,遇雨果面即发
本文叙述了“天马”通用型集成式专家系统开发环境中的演绎数据库系统CE-DDE 及其演绎推理机的结构、功能和对关系数据库的数据的演绎及其实现方法。
分析了网络技术对制造业产生的影响,阐述了我国制造业中网络技术应用的现状,并根据我国国情和制造业的实际现状,深入研究和探讨了在我国制造业实施网络化制造的一些基本策略
传统Fortran语言的编译程序一直沿用手工方式编制,本文旨在介绍利用Unix的实用工具Yacc,Lex来实现KJ8920大型计算机的向量Fortran语言的语法分析程序KJFOR的一些经验。KJFOR
1 核桃适生范围与品种选择核桃是多年生深根性喜光树种,为达到优质、丰产和高效益,必须以适地适栽为原则,在对当地的气候、地势、土壤等方面考察的基础上,结合核桃品种特征、
本文提出的知识获取方法是在基础上,利用PCP心理学理论和较新的知识表达方式-知识矩阵的概念,结合实例阐述了一种模糊关系合成算法公式-三角点积以及模糊关系图绘制RGDII算法
目前的智能机研究多是考虑如何从体系结构上支持逻辑程序设计语言的高效实现。这些结构不能支持大规模的知识管理。元组导向的策略对KBMS亦不太适用。因此,本文从新的角度研
1 诊断1.1首先表现在老叶上 氮缺乏时,叶面积小,叶色变黄,新梢生长量小,树势衰弱,果小,易早落或早熟;磷缺乏时,光合产物不能及时转化为磷酸化糖输送到果实或根部,而累积在叶