论文部分内容阅读
在基于语义网络的超媒体模型基础上，通过引入数据库模式，模式约束图以及分层模式依赖图等概念，提出了一种基于模式匹配的超媒体查询模型，给出了图形代数的形式化定义，并证明了该模型的查询能力，该模型具有较高的表达能力，能有效地降低用户的认知负载。
一种基于模式匹配的超媒体查询模型
【摘 要】
：
在基于语义网络的超媒体模型基础上，通过引入数据库模式，模式约束图以及分层模式依赖图等概念，提出了一种基于模式匹配的超媒体查询模型，给出了图形代数的形式化定义，并证明了该模
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
2002年7期
【基金项目】
：
国家自然科学基金资助项目(69503005),,安徽省自然科学基金资助项目(99043302)
其他文献
本文就死锁的概念、必要条件和若干可能发生死锁的问题作了深入浅出的分析、讨论,希望本文的讨论有利于读者对死锁问题的深刻理解,并深入研究解决死锁问题的方法.
讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的
本文主要是针对网络广告的特点,即广告要适于网络传输的特点,介绍了目前几种流行的网络广告设计软件:Photoshop、Fireworks、GIF Animator以及Dreamweaver软件,对比分析了它
目的：比较LipofectAMINE2000与Fugene6转染细胞的效果。方法：将含有Firefly和Renilla荧光素酶基因的质粒分别用LipofectAMINE2000和Fugene6转染293T、HepG2和DLD-l细胞，于48h后
小RNA（sRNA）或非编码RNA（ncRNA）在原核生物和真核生物中广泛分布。迄今,在各种细菌中共发现超过150种sRNA,在大肠杆菌中发现了约80种sRNA。sRNA通过与靶mRNA配对而发生作用,导致m
一、调查和分析为了更好地了解藏族学生的自主阅读习惯和自主阅读能力,笔者以课外阅读(因为课外阅读都是基于学生自觉自愿的自主阅读)为切入点,设计了一份调查问卷,对高一第
提出一种对传统的系统依赖图进行面向对象扩充的方案.把传统的系统依赖图和类依赖子图、类层次子图相结合,从而构成了适合描述面向对象程序的面向对象系统依赖图.详细说明了
网络通信中的软件开销是目前影响机群系统性能的瓶颈,为了提高机群系统的通信性能,提出了一种用于机群系统的用户层快速消息传递机制ULFM(user-level fast message),并在TH-G
支持向量机(support vector machine，简称SVM）是一种基于结构网络最小化原理的分类技术，也是一种新的具有很好泛化性能的回归方法。提出了一种将回归问题转化为分类问题的新思想