计算机科学中的数学教育

从计算机科学的研究对象出发，论述了数学在计算机科学的产生和发展过程中的重要性；阐述了数学教育在计算机科学专业人才培养中的地位和作用；分析了目前在计算机科学的数学教育中存在的问题；提出了计算机科学中数学教育的一些具体实施方案．

协同式超媒体智能计算机辅助教学系统设计

提出了一个集智能化、超媒体化、协作化三种特性为一体的协同式超媒体智能计算机辅助教学系统(CHICAI)模型.给出了该系统采用的教学模式、系统的多Agent结构,并介绍了系统功能.着重讨论了系统/教学管理的实施。

浅谈计算机科学本科课程与新技术的融合

如何将计算机领域不断出现的新概念、新方法、新技术结合进本科教学,使学校教学尽可能跟上计算机发展的步伐,是大学本科计算机教育中的一个突出问题。鉴于此,本文提出了将并行计算和面向对象的概念等方法融入整个本科课程的课程体系改革构想,并讨论了可能的实施方案,以和同行探讨。

智能计算机辅助教学系统中 Agent 的构建

通过智能计算机辅助教学研究现状的分析，提出了用多个Ａｇｅｎｔ赋予ＣＡＩ的‘智能’。模拟人类在教学活动中的智能活动过程，构建了具有普适性的通用Ａｇｅｎｔ（ｇＡｇｅｎｔ），并以此为框架，构建了ＩＣＡＩ系统中的两个专用Ａｇｅｎｔ。

6502系列微型计算机故障诊断仿真系统

概述了通过仿真接口对6502系列微型计算机故障进行诊断之原理、途径和系统设计方法.并介绍了诊断程序设计技术和实例.

多媒体技术与计算机辅助制造工程

从人机工程的观卢、简介多媒体技术，介绍多媒体技术在计算机辅助制造工程各个方面的应用和研究，分析和评价了多媒体技术的应用前景和开发工程应用型多媒体技术的意义。

基于Domino的远程录取系统的设计与实现

本文通过对高校远程录取系统的设计思想和设计意图的深入剖析，重点介绍远程录取系统在Ｄｏｍｉｎｏ群件平台上的开发应用系统的主要步骤及关键技术。

基于Rough Set理论的网络入侵检测系统研究

本文提出了一种基于Roug hset理论(Rough Set Theory,RST)的网络入侵检测系统,用于监控网络的异常行为。该方法使用Rough set理论对网络连接数据提取检测规则模型。使用Rough set理论提取规则模型,能有效地处理数据挖掘方法中存在的不完整数据、数据的离散化等问题。实验表明,同其它方法相比,用Rough set理论建立的模型对DoS攻击的检测效果优于其它模型。

电子商务中推荐系统存在的问题及其对策研究

0 引言 电子商务系统随着Internet和WWW的发展而蓬勃兴起,1997年零售业的在线交易是20多亿美元,而预计到2001年有望达到170亿美元[1].电子商务的发展对推荐系统也提出了更高的要求,用于电子商务网站的推荐系统能实时地向顾客提供商品推荐服务,而推荐何种商品则往往取决于该商品的购买率、人口统计学原理及对该顾客过去该网站购物成交记录的分析.这些因素的考虑使这些商业网站具有了个性化色彩,因为对于不同的用户,具有推荐系统的商业网站表现出了一定的自适应性.

MCP多处理机系统研究与设计

一、引言 人工智能(AI)中自然语言处理(理解)的研究在八十年代进入了并行处理阶段,国外已有众多研究成果[1]。进入九十年代,其研究水平已相当高,其中比较成功和有名的有美国卡内基·梅隆大学与南加利福尼亚大学联合研制的SNAP(语义网络阵列处理机),它由160个TMS320C32DSP芯片组成[2],用于机器翻译系统；美国卡内基·梅隆大学与日本NEC公司联合研制的大规模并行联想处理机IXM2,它由64个处理机组成[3],用于大规模并行句法分析。笔者1991年在澳大利亚墨尔本大学成功地用Encore多处理机系统进行了汉语并行句法分析[4]。最近我们承担了“汉藏英机器翻译系统”课题中的部分研究任务,进行了适用于MCP(现代汉语处理)的一种多处理机系统设计。

基于范例推理的进化计算

结合进化计算灵活、并行的特点,将遗传算法引入CBR的基本框架中,提出了基于遗传算法的范例修正模式,讨论了GA中重要的编码、适应值函数问题,并通过具体系统的范例推理原型进行了验证.

编著/教学系统中的知识表示

本文着重介绍编著/教学系统中知识的表示方法及在此基础上的教学控制实现方法。

提高近似推理系统求解速度的方法

一、引言L.A.Zadeh 提出的近似推理(AR)理论,在处理专家系统中不确定性(尤其是模糊性)知识方面获得了广泛的应用。但在具体实现近似推理时,由于它允许规则前提与已知事实间的部分匹配,使得求解效率不高。因此,如何提高 AR 系统的推理速度,是一个令人关注的问题。现在的许多研究,都集中在并行或分布式处理,以及专用硬件等方面。本文则讨论在不增加硬件的情况下,如何使AR 系统的性能得到较大的改善。为便于读者阅读及讨论方便起见,下面先介绍一下 AR 的有关知识和约定。二、AR 理论简介及有关约定在 AR 理论中,规则以标准型(Canonical Fo-

MCS─51系列单片机软件重用的研究

本文在综述软件重用的概念和方法基础上，着重讨论了５１系列单片机软件的重用问题，并提出了实现单片机软件重用的具体方法。

第5届英国多Agent系统研讨会

第5届英国多Agent系统研讨会于2002年12月18～19日在Liverpool大学举行。大会收到论文50篇,其中,全文录用21篇,小组交流5篇,作为poster介绍17篇。有75名教授、专家和学者出席会议,曼彻斯特大学计算机科学系的Han Horrocks作了题为"Logical Foudations for the semantic Web"的特邀报告。大会的交流论文涉及MAS的协调、贸易Agent、拍卖机制、逻辑和形式化方法、通信与交互、实现的理论与实践,此外,还专门对MAS的合同与谈判问题进行了讨论。会议出版了UKMAS2002论文集。

等价关系的一种新的判定方法及其计数

关于等价关系的判定，我们引进了一种新的坐标图判定方法；对于有限集合上的等价关系的个数也给出了计算公式。

从DCS到TPS——就TDC3000系统的发展谈起

本文以世界著名的ＴＤＣ３００系统为线索，阐术ＤＣＳ的有关技术及其发展方向，并就当前最新的“全厂一体化系统（ＴＰＳ）”的相关技术进行了讨论。

超文本系统的概念与进展

讨论了超文本系统的有关概念与特征,介绍了它的一些新进展,并对其将来的发展方向作了探讨.

构建远程ICAI的研究

该文介绍了将远程网络教学与ＩＣＡＩ相结合并构建远程ＩＣＡＩ的研究工作，提出了一个基于远程网络的ＩＣＡＩ模型，以及验证该模型的实验系统中有关知识表示、智能综合集成、协同教学模式和在超文本中增加教学控制描述等问题的解决方法。