摘要:基于对产品数据管理的含义、主要功能和开放性的讨论，提出了产品数据管理系统层次化的构造框架和相应层应当遵从的主要标准.在这一模型基础上,提出并分析了实现产品数据管理系统的3种不同的方法：基于网络数据库管理系统的方法、基于群件平台的方法及基于Intranet和Web技术的方法.

摘要:定性推理能为信息不完全的复杂系统产生行为预测,但推理分支可能出现组合爆炸,限制了它的应用.传统的算法不仅产生无法控制的推理分支,并且占用了大量的内存,不仅使用户不易理解推理的结果,而且甚至导致推理的失败.在LSIM方法的基础上提出了一种基于分层因果关系的定性推理方法LCQR(layered causal qualitative reasoning),旨在解决这一问题,使提取出的变量间的因果关系层次化,并应用于定性推理,取得了较满意的结果.

摘要:根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型,设计并实现了一种新的多媒体编著语言MAL(multimedia authoring language),该语言具有抽象描述、同步描述、逐步求精设计的描述等能力,将多媒体节目中媒体对象的建模和多媒体节目的设计过程在一个统一的框架内进行描述.以该语言实现为核心，研制了一个交互式可视多媒体编著环境.

摘要:提出一种便于异构数据源集成的公共数据模型——OIM对象模型.它基于带根连通有向图，图中可出现环路，因而能自然地描述复杂对象与其成员对象间的引用关系和WWW上HTML文件间的链接关系.它的每个对象含有描述符，特别适合于描述那些没有显式模式或模式无法预知的数据对象.OIM对象代数提供对象并、差、选择、投影、粘贴及切削6种操作.比关系代数具有更大的灵活性，可作为查询分解和优化的形式化基础.

摘要:对现有超媒体系统中常用的几种导游机制进行了介绍和分析.借鉴PFNET(pathfinder网)这种网状模型，根据超媒体系统中的节点、链和用户使用习惯，提出了两类导游图，以期对用户浏览信息起到真正的导游作用，解决超媒体系统中的迷路问题.

摘要:SAQ系统是一个进行软件规约获取、检验和复用的实验系统，其中以上下文无关文法表示的概念是规约的一部分.SAQ要求将概念的词法和句法定义结合在一个上下文无关文法中.如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法，则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去(这种描述方法称为朴素表示法),使得语法描述很累赘.为此，作者设计了一种特殊的上下文无关文法,它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化.用这种文法可以相对简洁地描述程序语言和自然语言等复杂概

摘要:特征子集选择问题是机器学习和模式识别中的一个重要问题.最优特征子集选择问题已被证明是NP难题.然而,目前的特征子集选择的启发式算法是基于正反例一致的,没有考虑到实际应用中的噪音数据影响,使得选择一个较好的特征子集非常困难.首先从统计学的角度分析了噪音对特征子集选择的影响,给出含有错误率的一致特征子集概念,然后利用信息熵和拉普拉斯错误估计函数构造了特征子集选择启发式算法EFS(entropy based feature subset selection).将该算法应用于两个实际领域的学习问题,并与GFS(g

摘要:首先给出了任务间次并行性存在的条件,讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程.此外,还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明.

摘要:提出了在二元约束满足问题中以搜索结点个数为衡量标准的求解开销模型,该模型被应用于随机二元约束满足问题的求解开销相变分析中,并且比较了模型所导出的理论开销和实际中的搜索结点个数、约束检查次数、求解时间3种衡量标准的开销之间的相似性.在模型的基础上，探讨了求解启发式减少求解开销的作用，给出了一个新的变量选择启发式.

摘要:研究了数据仓库中一般的实视图选取策略，定义一种利益代价图——BC图(Benefits Cost Graph)，并以BC图为基础给出了选取实视图集的算法.最后，将BC图扩展为BC^＋图，解决带索引的实视图的选取问题.

摘要:通过分析得出了函数型程序的并行计算模型——任务树，并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响，提出了优化的任务划分算法，最后给出了在一个分布符号处理系统PARLisp中的实现结果.

摘要:数据挖掘(Data Mining)被认为是解决“数据爆炸”和“数据丰富，信息贫乏(Data Rich and Information Poor)”的一种有效方法.关联规则(Association Rules)是数据挖掘的重要研究内容.提出了多层次关联规则的挖掘算法——AR_SET，利用集合“或”、“与”运算求解频繁模式(Frequent Itemset)，提高了挖掘的效率和速度.实验结果表明,算法AR_SET是有效的,并对AR_SET算法的几个变种进行了讨论.

摘要:定义了备查点间隔之间的先于关系，并对分布式系统执行的语义正确性进行了约束，证明了逆时先于现象是产生多米诺效应的本质，提出了多米诺避免、多米诺检测与消除、多米诺容忍三大解决策略.

摘要:针对一类典型的约束满足问题——Job-Shop调度问题，在深度优先搜索算法的基础上，给出了形式化的约束一致性实施、操作选择策略和开始时间选择策略以及启发式的约束一致性实施和不完全回跳策略，从而提高了求解Job-Shop调度问题的效率.