首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  免费   0篇
  国内免费   1篇
无线电   1篇
自动化技术   7篇
  1999年   1篇
  1996年   2篇
  1995年   2篇
  1994年   2篇
  1991年   1篇
排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
本文叙述了一个基于面向对象程序设计语言C++的超文本CASE系统的设计与实现过程,并对共内部结构、结点类型说明和应用环境做了详细介绍。  相似文献   
2.
多媒体对象查询语言及其查询处理   总被引:4,自引:0,他引:4  
文章研究了多媒体数据库的查询需求,提出结构化的多媒体对象查询语言MOQL(multi-media object query language).它能够支持基于类型、结构特征、同步关系、时态关系和内容信息的多媒体查询.以DB2数据库为存储机制,定义了一组代数算子和变换规则,利用它们可以将用户定义的MOQL查询变换为代数表达式,进行代数优化,并将代数查询表达式转换为能够在DB2数据库上运行的DB2SQL和C++查询过程.  相似文献   
3.
计算机通信协议辅助设计工具的实现   总被引:3,自引:0,他引:3  
党华锐 《计算机学报》1991,14(7):553-556
1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研究,试图将一些形式化的方法引入协议设计的各个阶段。但这些工作多是提供一种  相似文献   
4.
近年来,基于消息传递的并行处理方式越来越受到重视,PVM(Parallel Virture Machine)正是这  相似文献   
5.
Petri网图形的压缩存储与自动转换   总被引:1,自引:0,他引:1  
本文给出了一种Petri网的计算机表示方法以及其图形的压缩存储/还原算法,并在此基础上对Petri网图形进行自动转换以产生此图的矩阵表示,这为在其上进行可达性分析和验证的自动化提供了极大的方便。  相似文献   
6.
本文介绍了一种交互式Petri网图形系统的设计思想与实现细节,其中包括系统功能;Petri网的数据结构以及其图形的压缩存储/还原算法;从Petri网图形到其矩阵表示的自动转换等。  相似文献   
7.
党华锐 《微机发展》1994,4(5):34-35
本文给出了一个基于C++的超文本CASE子系统在通信协议辅助设计中的应用,同时对该系统的设计与实现过程、其内部结构、结点类型说明等做了介绍.  相似文献   
8.
约束逻辑程序设计综述   总被引:1,自引:0,他引:1  
一、引言 约束逻辑程序设计(Constraint Logic Program-ming.CLP)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction Problem.CSP)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号