计算机辅助教学讲授平台的研制与典型课件设计

随着计算机辅助教育的迅速发展 ,计算机辅助教学 ( CAI)要求课件设计工具既要内容丰富 ,又要简单易用。文章介绍的计算机辅助教学讲授平台 ( CI)具备这两个特点。通过介绍讲授平台 CI组成、课元制作 ,课元库组织 ,课件设计 ,可以看出该平台具有广泛的使用范围以及课件设计的发展趋势。

基于知识的复杂计算机网络故障检测模型的研究

讨论了常用故障检测方法及基于OSI模型的故障检测方法,提出了基于知识的故障检测模型,该模型采用正反向混合推理机制,提供决策。

计算机图形学的高级建模技术

几种不同类型的计算机图形学高级建模技术 .这些技术包括分形、基于语法的模型、容积程序模型、隐式表面、微粒系统 .这些技术是过程性的而非方程式的 ,旨在提供一种简洁、有效、灵活和可控制的机制 ,产生出复杂物体和自然现象的详尽且生动的模型 .

因特网搜索引擎评价系统

因特网搜索引擎的评价对因特网用户十分重要 ,但目前还缺乏很科学的评价方法。本文根据系统工程的基本思想 ,对此进行了初步探讨 ,并且利用层次分析法对各指标的权重进行了计算 ,提出了因特网搜索引擎评价指标体系 。

粒子系统方法及其应用

介绍了粒子系统方法的基本思想、生成粒子系统某瞬间的画面的基本步骤 ,并讨论了 3 D Stu-dio MAX3 .0中的粒子系统及其应用。

基于软件体系结构的软件重用技术

软件体系结构是近年来软件工程的一新的研究领域，本文概述了几种基于软件体系结构的重用技术——管道／过滤器风格。基于事件的隐式风格，层次系统风格，仓库风格。

本体中继承关系的形式化表示及其应用

本体关系中最重要的关系是子类/父类关系(继承关系),在子类/父类关系中,存在着除了继承以外丰富的语义关联。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些关系,然而这样的解释通常是有歧义的。为了严格、准确描述这些语义关联,基于本体研究了它们的形式化描述,同时扩展UML,可视化地表示它们,并在此基础上,应用它们判定知识库中的某些错误。

计算理论研究的核心问题与方向

论述了计算理论的发展历史 ,核心研究工作 (包括计算模型、算法设计和分析 ) ,最近取得的新成果 ,一些尚未解决的问题及其发展趋势。

基于向量的相似度计算方案

在网络信息检索中 ,基于文档向量空间的分类、聚类、排序与相关性反馈需要计算相似度。本文就基于向量的相似度计算方案进行探讨 ,并论述了相似度在文档分类、聚类、排序与相关性反馈中的应用。

整体与部分关系中的语义传播机制研究

为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。

基于UML的整体与部分关系的可视化表示研究

整体/部分(whole/part,简称为WP)关系在计算机领域建模中无处不在。在WP关系中,整体对象具有管理和控制部分对象的功能,所以WP关系存在着许多复杂的语义关联。但是除了聚集和组合以外,UML没有直接提供除此以外的其它更多的语义特征。因此本文通过分析WP关系的特征,阐明UML在描述WP关系方面的不足之处,扩展UML使其能清晰、准确地描述WP关系。

基于本体的子类/父类关系的分类体系形式化表示

目前,在对本体的研究中,存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析,用代数语言给出了四种概念分类的形式化描述。并扩展UML,可视化地表示这四种概念分类。同时,用OWL实现了概念分类的描述。

超文本关系数据库实验模型

设计并实现了一个超文本关系数据库实验模型HRDBEM ,对超文本技术与数据库技术的结合做了有益的尝试。HRDBEM可以在Internet环境下运行 ,具有友好的人机界面 ,提供SQL命令方式或填表方式对数据进行数据定义、数据操纵和数据查询等操作。

VSAT卫星通信系统内向信道多址接入协议性能分析

文章在介绍 VSAT网络模型的基础上 ,提出了一种多重码预约 Slotted ALOHA协议。利用离散时间、离散状态的 Markov链来分析 VSAT网络上行信道的性能 。

周期查询完全、门限服务系统性能解析

文章采用嵌入Markov链和概率母函数的方法,对离散时间型、非对称的周期查询完全服务、门限服务系统进行分析,得到了系统的一阶和二阶特性,给出了信息分组平均排队队长和平均等待时间的精确解。

使用Lotus Notes5.0办公自动化系统的研制

文章首先介绍目前较流行的办公自动化软件 Lotus Notes 5.0的特点。主要介绍应用 LotusNotes 5.0办公自动化软件为计算机科学与信息技术学院进行办公自动化应用系统的开发过程和开发思想 ,及对用户需求的分析、应用系统的结构框图及运行环境设计。

VSAT系统改进冲突分解算法研究

文章提出一种新的改进隔离型随机N叉树形冲突分解算法,对VSAT随机接入多址接入系统中冲突分解进行了研究。给出了冲突信息分组分解所需平均时隙数和系统吞吐量的解析式,进一步给出了信息分组冲突分解的实验值。

基于本体的整体与部分关系的形式化表示及其错误检查研究

整体/部分WP(whole/part)关系在计算机领域建模中无处不在。在一个WP关系中,由于整体对象具有管理和控制部分对象的功能,因此WP关系存在着许多其它关系没有的特征。但本体的研究中,存在着形式化程度不够的问题,人们常用自然语言解释这些特征,然而这样的解释通常是不准确的。另一方面,由于知识处于不断的增加与更新之中,难免造成知识库中知识的错误,导致知识库维护困难。因此本文首先基于本体对WP关系的特征进行形式化描述,在此基础上,根据WP关系的特征提出了一系列相关知识的形式判定规则。

多媒体信源时隙式随机多址系统研究

本文对多媒体信源时隙式随机多址系统进行研究 ,提出一种新的接入机制 ,得出系统吞吐量的解析表达式 ,在此基础上研究有关系统性能 。

多Agent系统中依赖关系的研究

多Ａｇｅｎｔ 系统是分布式人工智能研究的一个重要分支。本文详细讨论了多Ａｇｅｎｔ 系统中死锁依赖的性质以及三种解决死锁依赖的方法，为多Ａｇｅｎｔ 系统中稳定性和活性的研究提供了有效的途径。