检索结果-维普期刊中文期刊服务平台

自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO: 1; 作者刘江林郭金庚朱继红《小型微型计算机系统》 CSCD 北大核心 2000年第6期661-663,共3页; 本文介绍了一个扩展关系模型数据库系统 ERDB和在该系统之上开发的一个 GIS系统 .重点讨论了 GIS中的拓扑表示和递归查询问题 ,并从中说明这种扩展的重要意义 .; 关键词扩展关系模型递归查询数据库系统 GIS DEMO; 在线阅读下载PDF 职称材料

未知时序电路状态图生成算法及状态间路径的递归导出被引量：7: 2; 作者徐仑峰熊光泽 +1 位作者刘锦德肖梓祥《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1998年第2期173-179,共7页; 运用数字系统自动化设计的基本理论和技术，可采用逻辑反向设计法分析未知逻辑电路．本文为分析未知时序逻辑提出一种适合多状态、复杂同步时序电路的数据采集方法，并引入状态网络和基于状态网络的路径导出算法，使时序机数据采集有较... 展开更多; 关键词时序电路状态图生成算法状态间路径; 在线阅读下载PDF 职称材料

一种可靠的微机通信技术: 3; 作者邹旭楷郭玉东《郑州大学学报（理学版）》 CAS 1993年第3期24-27,共4页; 本文介绍一种可靠的微机通信技术,该技术采用了帧、超时、应答、奇偶校验等方法,无论从原理上还是从实现上都很好地解决了通讯中存在的问题,为微机在更深入,更广泛领域的应用提供了有效的途径。; 关键词网络通信帧奇偶校验超时应答; 在线阅读下载PDF 职称材料

隐稳定矩阵的特征被引量：1: 4; 作者王华《工程数学学报》 CSCD 北大核心 1999年第4期121-124,共4页; 讨论了低阶隐稳定矩阵扩充高阶后仍保持隐稳定的问题，得到几个关于隐稳定矩阵的新特征。; 关键词符号稳定生态学隐稳定矩阵特征值; 在线阅读下载PDF 职称材料

多处理机并行处理模拟器的设计与实现: 5; 作者程东年王淑英《小型微型计算机系统》 CSCD 北大核心 1996年第6期41-46,共6页; “多处理机并行处理模拟器”是旨在帮助使用者巩固和加深对典型的并行计算机系统──ＭＩＭＤ多处理机系统──进行并行处理基本工作过程的理解，通过实际编写并行应用程序并对其模拟执行的过程进而引导其进行更为深入研究与开发的计算... 展开更多; 关键词并行处理多处理机模拟器并行计算机; 在线阅读下载PDF 职称材料

对SLD-消解完备性定理的质疑和改进: 6; 作者庞建民《计算机工程与应用》 CSCD 北大核心 1992年第1期47-49,共3页; 本文指出,被广大热心于逻辑程序设计的工作人员经常引用的“SLD-消解完备性定理”(见《计算机工程与应用》1987年专辑《逻辑程序设计基础》约翰·劳埃德著,颜松远译)的叙述形式应该改变,否则,存在反例。本文给出了这个反例,对该定... 展开更多; 关键词逻辑程序设计叙述形式 SLD-消解完备性定理; 在线阅读下载PDF 职称材料

题名自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO: 1; 作者刘江林郭金庚朱继红; 机构解放军信息工程学院计算机工程系; 出处《小型微型计算机系统》 CSCD 北大核心 2000年第6期661-663,共3页; 基金河南省教委自然科学基金资助; 文摘本文介绍了一个扩展关系模型数据库系统 ERDB和在该系统之上开发的一个 GIS系统 .重点讨论了 GIS中的拓扑表示和递归查询问题 ,并从中说明这种扩展的重要意义 .; 关键词扩展关系模型递归查询数据库系统 GIS DEMO; Keywords Extended relational model GIS Topology Recursive query; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论] P9 [天文地球—自然地理学]; 在线阅读下载PDF 职称材料

题名未知时序电路状态图生成算法及状态间路径的递归导出被引量：7: 2; 作者徐仑峰熊光泽刘锦德肖梓祥; 机构电子科技大学微机所解放军信息工程学院计算机系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1998年第2期173-179,共7页; 文摘运用数字系统自动化设计的基本理论和技术，可采用逻辑反向设计法分析未知逻辑电路．本文为分析未知时序逻辑提出一种适合多状态、复杂同步时序电路的数据采集方法，并引入状态网络和基于状态网络的路径导出算法，使时序机数据采集有较理想的时空开销．; 关键词时序电路状态图生成算法状态间路径; Keywords data collecting state network state driving; 分类号 TN791 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名一种可靠的微机通信技术: 3; 作者邹旭楷郭玉东; 机构郑州大学计算机科学系解放军信息工程学院计算机科学系; 出处《郑州大学学报（理学版）》 CAS 1993年第3期24-27,共4页; 文摘本文介绍一种可靠的微机通信技术,该技术采用了帧、超时、应答、奇偶校验等方法,无论从原理上还是从实现上都很好地解决了通讯中存在的问题,为微机在更深入,更广泛领域的应用提供了有效的途径。; 关键词网络通信帧奇偶校验超时应答; Keywords network communication frame odd-even check overtime request-answer; 分类号 TP [自动化与计算机技术] 73.87; 在线阅读下载PDF 职称材料

题名隐稳定矩阵的特征被引量：1: 4; 作者王华; 机构解放军信息工程学院计算机工程系; 出处《工程数学学报》 CSCD 北大核心 1999年第4期121-124,共4页; 文摘讨论了低阶隐稳定矩阵扩充高阶后仍保持隐稳定的问题，得到几个关于隐稳定矩阵的新特征。; 关键词符号稳定生态学隐稳定矩阵特征值; 分类号 Q141 [生物学—生态学]; 在线阅读下载PDF 职称材料

题名多处理机并行处理模拟器的设计与实现: 5; 作者程东年王淑英; 机构解放军信息工程学院计算机系; 出处《小型微型计算机系统》 CSCD 北大核心 1996年第6期41-46,共6页; 文摘 “多处理机并行处理模拟器”是旨在帮助使用者巩固和加深对典型的并行计算机系统──ＭＩＭＤ多处理机系统──进行并行处理基本工作过程的理解，通过实际编写并行应用程序并对其模拟执行的过程进而引导其进行更为深入研究与开发的计算机辅助教学系统。通过对ＭＩＭＤ多处理机系统体系结构、编译器和操作系统基本特征的模拟，实现了对作业／作业步和ＤＯ循环级并行性的显式及隐式开发，依据“单独并行段”和“主动抽取”策略可对并行代码高效模拟执行。我们还将“回声”技术引入该模拟器，使其可自动检测系统的配置规模并准确定位连接故障。; 关键词并行处理多处理机模拟器并行计算机; Keywords Parallel processing MIMD Simulation Computer-aided education; 分类号 TP338.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对SLD-消解完备性定理的质疑和改进: 6; 作者庞建民; 机构解放军信息工程学院计算机系; 出处《计算机工程与应用》 CSCD 北大核心 1992年第1期47-49,共3页; 文摘本文指出,被广大热心于逻辑程序设计的工作人员经常引用的“SLD-消解完备性定理”(见《计算机工程与应用》1987年专辑《逻辑程序设计基础》约翰·劳埃德著,颜松远译)的叙述形式应该改变,否则,存在反例。本文给出了这个反例,对该定理的叙述形式进行了改进,并给出了证明。; 关键词逻辑程序设计叙述形式 SLD-消解完备性定理; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO	刘江林郭金庚朱继红	《小型微型计算机系统》 CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料
2	未知时序电路状态图生成算法及状态间路径的递归导出	徐仑峰熊光泽刘锦德肖梓祥	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	1998	7	在线阅读下载PDF 职称材料
3	一种可靠的微机通信技术	邹旭楷郭玉东	《郑州大学学报（理学版）》 CAS	1993	0	在线阅读下载PDF 职称材料
4	隐稳定矩阵的特征	王华	《工程数学学报》 CSCD 北大核心	1999	1	在线阅读下载PDF 职称材料
5	多处理机并行处理模拟器的设计与实现	程东年王淑英	《小型微型计算机系统》 CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
6	对SLD-消解完备性定理的质疑和改进	庞建民	《计算机工程与应用》 CSCD 北大核心	1992	0	在线阅读下载PDF 职称材料