【摘 要】
：
1.引言 近年来,小型化的向量巨型机已逐渐商品化,与向量巨型机相比,小型化的向量巨型机的性能价格比大为提高,其价格大大下降,但这种机器具有庞大的内存容量和很高的处理速度
【机 构】
：
中国科学院计算技术研究所,中国科学院计算技术研究所
论文部分内容阅读
1.引言 近年来,小型化的向量巨型机已逐渐商品化,与向量巨型机相比,小型化的向量巨型机的性能价格比大为提高,其价格大大下降,但这种机器具有庞大的内存容量和很高的处理速度,因此,预计将受到广大用户的欢迎而得到普及,考虑到充分利用已有的四代机中很成功的向量巨型机的资源来改进Prolog语言的执行效率,以满足人工智能、专家系统等的应用需要,我们研究了如何利用向量机及Prolog本身所固有的并行、并发性来有效地实现一个Prolog系统——VProlog系统。
其他文献
笔者对仪化聚酯生产中预缩聚反应器气相出口管出现“鼓泡”现象进行了分析和探讨,通过定量分析探讨这一现象的成因,确定了科学合理的处理措施,解决了问题,为聚酯检修中类似情
1995年．几个年轻的白领，毅然放弃外企的优厚待遇，在江西南昌这块红色的土地上，为中国民族饲料工业了点燃了一簇星星之火，11年后．当年的点点星火已经成为一颗耀眼的明星，升腾在中国饲
2015年11月15日,瓮福（集团）有限责任公司年产5万吨黄磷节能环保磷电化一体化项目在贵州省瓮安县开工。瓮安现已探明磷矿36亿吨,占全国五分之一,矿产品位较高,开发前景较好。该
<正> 连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出
创建优良的营销服务体系，以高效、持久地做好销售服务，是饲料企业生存与发展至关重要的环节。现代饲料企业的竞争不仅仅是产品质量与价格间的简单竞争，更重要的是人力资源、产品
小反刍兽疫（Peste des PetitsRuminants,PPR）是由小反刍兽疫病毒引起的一种感染山羊、绵羊和野生小反刍兽的严重的烈性、接触性传染病,特征为发热、口腔及舌粘膜糜烂、流泪、流
本试验研究了无角陶赛特肉羊与湖羊的杂交效果。陶湖F1代羔羊初生体重高于湖羔羊．差异极显著（P〈0.01），6月龄陶湖F1代平均体高于湖羔羊，差异极显著（P〈0.02）。陶湖F1代体长、身高分
根据中国科协国际部的安排,中国电子学会电子计算机学会软件分会接待了以Gio.C.M.Wiederhold为团长的美国Peple to Peple计算机代表团一行89人。计算机学会负责组织安排这次
以常规聚合度聚合的乙烯醇（PVA,聚合度1 700～2 600）为原料,以二甲基亚砜（DMSO）为溶剂,乙醇为凝固剂,甲醇为萃取剂,采用干湿法纺丝制备高强度的PVA纤维,最高强度可以达到19.4 cN/dt
2月26日，国务院国资委规划发展局举行“十一五”国家科技支撑计划项目启动会，宣布国家科技支撑计划——“高性能非金属矿物材料的制备技术研究”项目正式启动。该项目为“十一