论文部分内容阅读
Ｅｌｅｃｔｒｏｎｉｃ ｂｏｏｋ ｓｙｓｔｅｍ是本文作者研究开发的一个超媒体实验系统，主要用于编写及阅读超媒体电子书，本文介绍了ＥＢＳ的写作研究，重点是系统的层次结构处理思想及实现。
一个基于层次结构的超媒体写作系统
【摘 要】
：
Ｅｌｅｃｔｒｏｎｉｃ ｂｏｏｋ ｓｙｓｔｅｍ是本文作者研究开发的一个超媒体实验系统，主要用于编写及阅读超媒体电子书，本文介绍了ＥＢＳ的写作研究，重点是系统的层次结构处理思想及实现。
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
模型描述语言NUMDL是智能决策系统JSEIDSS的一个重要组成部分,它为系统模型的建立和管理提供了很好的工具。NUMDL语言功能强,描述概念和数学公式简明,易写易读,且有一定的特
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理
真菌性气管支气管炎是侵袭性肺真菌病的一种特殊类型，其临床症状、体征和X线表现大多缺少特征性，常易误诊。我科近4年经支气管镜活检诊断真菌性气管支气管炎5例，报道如下。
如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根
在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数
儿童少年的生长发育状况是评价儿少健康水平的一个重要标志,过去我县未作过这方面的调查。为了给我县开展初级卫生保健工作提供基础资料,并为今后评价我县儿童少年生长发育水
恶性胸腔积液是晚期肿瘤的常见并发症，当积液量较大时，患者常出现胸闷、气促、呼吸困难等胸水压迫症状。有效的控制这类积液，对改善症状和提高生存质量至关重要。2005年11月～2007
本文提出的ＯＯＫＢ系统的数据模型既有知识推理的逻辑基础，又支持类、对象，消息、继承入复合对象等面向对象机制；其存储管理是把类和对象按“堆项”方式组织，使内外存格式相同，同时用数据
至今被公开的ω有穷自动机的接受条件有６个即Ｃ１－Ｃ６，寻找新的接受条件和研究ω－有穷自动机关于新接受条件接受ω－语言能力是ω有穷自动机理论中的一个重要课题。本文定义了ω有穷自动机