共查询到20条相似文献，搜索用时 31 毫秒
1.
本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。 相似文献
2.
本文介绍一种设计安全联锁系统的新方法，它的基本思想是采用可编程控制器（ＰＲＯＧＲＡＭＭＡＢＬＥ ＣＯＮＴＲＯＬＥＲ或ＰＲＯＧＲＡＭＭＡＢＬＥＬＯＧＩＣＣＯＮＴＲＯＬＬＥＲ－ＰＬＣ）替代过去的继电器和逻辑的控制，组成分布系统，以提高要靠性和可维护性，增加灵活性，缩短工期，节省人力和资金，一台多媒体ＩＢＭ－ＰＣ兼容机有作业上位机，监控整个系统。 相似文献
3.
一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ... 相似文献
4.
本文介绍一种设计安全联锁系统的新方法，它的基本思想是采用可编程控制器（ＰＲＯＧＲＡＭＭＡＢＬＥＣＯＮ－ＴＲＯＬＬＥＲ或ＰＲＯＧＲＡＭＭＡＢＬＥＬＯＧＩＣＣＯＮＴＲＯＬＬＥＲ—ＰＬＣ）替代过去的继电器和专用逻辑的控制，组成分布式系统，以提高可靠性和可维护性，增加灵活性，缩短工期，节省人力和资金。一台多媒体ＩＢＭ－ＰＣ兼容机用作上位机，监控整个系统。 相似文献
5.
解非线性最小二乘的并行连续极小化算法及其数值试验 总被引：2，自引：0，他引：2
解非线性最小二乘的并行连续极小化算法及其数值试验李庆扬，朱鹏（清华大学）ＡＰＡＲＡＬＬＥＬＣＯＮＴＩＮＵＯＵＳＭＩＮＩＭＩＺＡＴＩＯＮＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＮＯＮＬＩＮＥＡＲＬＥＡＳＴ－ＳＱＵＡＲＥＳＰＲＯＢＬＥＭＳＡＮＤＮＵＭＥＲＩ... 相似文献
6.
林琪 《计算机工程与科学》1997,19(1):68-72
约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会 相似文献
7.
求解非线性矩阵特征值问题的一个三阶收敛的算法陈广义，薛彦才（中国科学院沈阳计算所）ＡＣＵＢＩＣＡＬＬＹＣＯＮＶＥＲＧＥＮＴＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＮＯＮＬＩＮＥＡＲＥＩＧＥＮＶＡＬＵＥＰＲＯＢＬＥＭＳ￥ＣｈｅｎＧｕａｎｇ－ｙｉ；ＸｕｅＹ... 相似文献
8.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
ＳＨＡＰＥＰＲＥＳＥＲＶＩＮＧＩＮＴＥＲＰＯＬＡＴＩＯＮＵＳＩＮＧＰＩＥＣＥＷＩＳＥＣＵＢＩＣＦａｎｇＫｕｉ；ＴａｎＪｉａｎｒｏｎｇＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩＯＮＯＶＥＲＡＲＢＩＴＲＡＲＹＴＲＩＡＮＧＵＬＡＴＩＯＮＳＢＹＳＵＢＤ... 相似文献
9.
统计数据凑整问题的网络流算法金大勇，杨承恩（长沙铁道学院）ＮＥＴＷＯＲＫＡＬＧＯＲＩＴＨＭＳＦＯＲＴＨＥＤＡＴＡＲＯＵＮＤＩＮＧＰＲＯＢＬＥＭ￥ＪｉｎＤａ－ｙｏｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＣｈａｎｇｓｈａＲａｉｌｗａｙＩｎｓｔｉｔｕｔｅ）Ａｂｓｔ... 相似文献
10.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现． 相似文献
11.
两分块K－循环Toeplitz矩阵相乘的快速算法 总被引：5，自引：0，他引：5
余品能 《数值计算与计算机应用》1996,(3)
两分块Ｋ－循环Ｔｏｅｐｌｉｔｚ矩阵相乘的快速算法余品能（南京工程兵工程学院）ＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＣＯＭＰＵＴＩＮＧＴＨＥＰＲＯＤＵＣＴＳＯＦＢＬＯＣＫＫ－ＣＩＲＣＵＬＡＮＴＴＯＥＰＬＩＴＺＭＡＴＲＩＣＥＳ￥ＹｕＰｉｎｎｅｎｇ（Ｉｎｓｔｉ... 相似文献
12.
不连续生产系统的最大加工能力与最优生产安排的强多项式算法杨承恩，梁枢里（长沙铁道学院）ＴＨＥＭＡＸＩＭＵＭＰＲＯＣＥＳＳＩＮＧＣＡＰＡＣＩＴＹＡＮＤＯＰＴＩＭＡＬＳＣＨＥＤＵＬＥＯＦＡＤＩＳＣＯＮＴＩＮＵＯＵＳＰＲＯＤＵＣＴＩＯＮＳＹＳＴＥＭ￥Ｙａｎ... 相似文献
13.
混合型符号几何规划的递归二次规划算法 总被引：1，自引：0，他引：1
混合型符号几何规划的递归二次规划算法张希，张可村（西安交通大学科学计算与应用软件系）ＡＳＵＣＣＥＳＳＩＶＥＱＵＡＤＲＡＴＩＣＰＲＯＧＲＡＭＭＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＭＩＸＥＤＳＩＧＮＯＭＩＡＬＧＥＯＭＥＴＲＩＣＰＲＯＧＲＡＭＭＩＮＧ￥Ｚｈａｎｇ... 相似文献
14.
SPI串行总线在8031单片机应用系统中的实现 总被引：3，自引：0，他引：3
ＭＣＳ５１系列、ＭＣＳ９６系列、ＡＴＭＥＬ８９系列等单片机应用很广,但它们均没有ＳＰＩ串行总线接口,限制了在这些系统中使用具有ＳＰＩ总线接口器件的应用。本文将介绍ＳＰＩ串行总线的性能,并以串行Ｅ２ＰＲＯＭ为例,给出了在８０３１单片机上利用Ｉ／Ｏ线实现ＳＰＩ串行总线的方法和软件设计。 相似文献
15.
变精度初等函数的计算徐国良，李家楷（中国科学院计算中心）ＥＶＡＬＵＡＴＩＯＮＯＦＥＬＥＭＥＮＴＡＲＹＦＵＮＣＴＩＯＮＳＦＯＲＶＡＲＩＡＢＬＥＰＲＥＣＩＳＩＯＮ￥ＸｕＧｕｏ－ｌｉａｎｇ；ＬｉＪｉａ－ｋａｉ（ＣｏｍｐｕｔｉｎｇＣｅｎｔｅｒ，Ａｃａｄｅｍｉ... 相似文献
16.
17.
SPI串行总线在单片机8031应用系统中的设计与实现 总被引：4，自引：0，他引：4
ＭＣＳ５１系列,ＡＴＭＥＬ８９系列等单片机应用很广,但他们没有ＳＰＩ串行总线接口品,限制了在这些系统中使用具有ＳＰＩ总线接口器件的应用,本文将介绍ＳＰＩ串行总线的性能,并以串行Ｅ＾２ＰＲＯＭ为例,给出了在８０３１上利用Ｉ／Ｏ线实现ＳＰＩ串行总线的方法和软件设计。 相似文献
18.
在专用网上实现的中西文兼容Ｖｉｄｅｏｔｅｘ终端的设计任伟利（西安交通大学信息与控制工程系西安７１００４９）ＤＥＳＩＧＮＯＦＣＯＭＰＡＴＩＢＬＥＣＨＩＮＥＳＥ－ＥＮＧＬＩＳＨＶＩＤＥＯＴＥＸＴＥＲＭＩＮＡＬＢＡＳＥＤＯＮＳＰＥＣＩＡＬ－ＰＵＲＰＯＳＥＮ... 相似文献
19.
ＰＲＯＴＥＬ电子ＣＡＤ软件包汉字输入的实现及其绘图功能的开发应用邢观峰福州大学１２９０１信箱（３５０００２）１引言ＰＲＯＴＥＬ（简称ＰＴ）电子ＣＡＤ软件包是澳大利亚ＰＲＯＴＥＬＴＥＣＨＮＯＬＯＧＹ公司推出的多层印制板辅助设计软件，它保持了对ＴＡＮＧＯ... 相似文献
20.
ＯＲＡＣＬＥ关系数据库编程界面ＰＲＯ＊Ｃ的应用北京工业大学高勇秀，徐京晶ＯＲＡＣＬＥ关系数据库被广泛应用于信息管理系统．ＰＲＯ＊Ｃ是ＯＲＡＣＬＥＲＤＢＭＳ提供的应用软件开发工具之一，利用ＰＲＯ＊Ｃ可以实现在Ｃ语言程序中操纵和管理ＯＲＡＣＬＥ数据库。Ｏ... 相似文献