计算机科学中的共代数方法的研究综述

代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念棗共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从构造的角度研究数据类型,而共代数则从观察的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优越性,可以对系统的行为等价、不确定性等从数学上进行深入的探讨.目前,共代数理论已经逐步应用在自动机理论、并发程序的语义、面向对象程序的规范等领域.对共代数的基本概念、范畴理论基础、共代数逻辑及应用等方面的最新研究成果进行了介绍,以引起国内相关研究领域的学者对计算机科学中的共代数方法的关注.

基于计算机导论课程浅析中美计算机科学教育模式方法

通过分析中国和美国高等教育中,计算机科学导论课程教学的相同与不同的特点、以及教学模式方法,对比中美两国高校计算机科学相关课程的教学模式,包括教学目的和要求、教学内容和时间安排、辅助教学方法和工具、以及课程的考核方法与要求等;阐述了各自的特点和优势;着重分析了实验课程教学对于提高整体教学质量的重要意义,并且设计了导论课程实验教学体系;最后,提出了高校计算机科学教育中课程建设的一些基本原则。

基于自动问答系统的信息检索技术研究进展

自动问答是根据用户以自然语言提出的问题给出一个明确的答案。近年来,自动问答越来越受到信息检索和自然语言处理的研究者的关注。典型的自动问答系统通常包含问题分析、文段检索和答案选择等部件。介绍了自动问答的最新研究进展和相关国际会议情况,着重阐述问题分类、查询扩展、文段检索和答案选择这四个热点技术的主要功能和常用方法,最后提出存在的一些问题和展望。

基于FPGA的计算机组成原理实验教学探索

详细介绍基于FPGA的计算机组成原理实验平台软硬件架构以及基于FPGA的课程实验体系,给出具体实验实例,指出基于FPGA的计算机组成原理课程实验能够明显增强学生的学习设计能力并且提高实验平台的硬件可重用性。

计算机应急响应服务中安全事件分类方法研究

随着互联网的飞速发展,计算机安全事件的出现愈来愈频繁,愈来愈严重,计算机应急响应受到广泛关注。计算机安全事件分类方法的研究对于计算机应急响应体系的建设具有重要的意义。首先报告了计算机安全事件分类方法相关研究的现状。而后从计算机安全事件应急响应组的工作实践出发,提出计算机网络安全和计算机网络安全事件的形式化模型,并在此形式化模型的基础上,提出计算机安全事件的描述方法和分类方法。最后给出了两个具体的应用实例。

C^(++)作为计算机专业入门语言的实践与探讨

随着计算机硬件与通信技术的迅速发展,计算机应用的规模与复杂度不断提高,计算机软件的开发语言、工具与环境也在不断更新。在系统软件与应用软件领域中,面向对象程序设计(简称OOP)语言C^(++)已成为主要开发工具,从微机、RISC作站、小型机到中、大型机的各种软件与硬件平台上均提供了C^(++)语言的开发环境;在管理信息系统、数据处理等结构化方法的传统应用领域中,越来越广泛地应用了客户/服务器体系结构,前端开发工具如Powersoft公司的PowerBuilder、Borland公司的Delphi等均支持OOP;

地理信息系统的技术与发展

本文简要介绍了地理信息系统（ＧＩＳ）的原理，实现地理信息系统的关键技术，地理信息系统的发展过程以及目前它在中国的发展现状。

如何散发理科课程的魅力—从《计算机组成原理》的教学谈起

针对如何使理科课程的讲授更富于吸引力，作者特别推荐了一个秘密武器-趣味性揄，产从操作方法、致胜原理、注意事项等方面作了阐述。

写在新世纪的思考—浅谈《计算机组成原理》课程的特色

《计算机组成原理》作为计算机专业的一门重要的硬件课程，它的学科特色应该体现在哪里？作者针对当前存在的问题提出了几点看法。

时态信息处理技术研究综述

时间是信息的重要属性。随着数据库与信息技术的深入和发展 ,时态信息在信息系统扮演着日益重要的角色。将时态信息研究的起源与发展分成 3个时期 ,简述各个时期研究情况和代表性成果。还分析了国内外时态信息有关研究文献 ,介绍了几种代表性时态数据模型 ,对时态信息技术研究现状与存在的不足 ,以及未来的发展都给出了作者的见解。

基于属性集值不完备信息系统的Rough集方法

论文使用基于一般关系的Rough集理论和方法,研究了具有“属性集值”的不完备信息系统。通过研究由属性集值产生的不完备信息系统上的三种基本关系相容关系、非对称相似关系和拟序关系,建立了相应Rough近似集合的某种“单调”关系。在此基础上,讨论了系统属性约简及其实现算法。

广义Rough近似关系基本性质及其计算

讨论了基于相似关系的广义Rough近似关系。通过提出一系列基本概念,研究了广义Rough近似关系的"自反性"、"对称性"、"传递性"和"广义反对称性"等基本性质,同时探讨了广义Rough关系的相关计算问题。

新世纪科学技术的特点及高校科技管理的对策

对新世纪科学技术的特点进行了分析,阐明了在新世纪下,高校科技管理所面临的挑战,并针对当前我国高校科技管理的现状提出了若干建议和对策。

软件体系结构与组件技术

在理论上 ,软件体系结构和基于组件的开发是理想的匹配 ;另一方面 ,软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型 ,才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素 ;然后讨论软件组件技术与软件体系结构方法相互之间的要求 ,并探论了将软件体系结构与软件组件结合起来的可能途径。

基于Web的新型IT服务管理信息系统的实现

新型的基于W eb企业级IT服务管理信息系统,为广大IT工作人员建立了一个基于网络的自动化管理信息平台,它是由客户端、W eb服务器、应用服务器和数据库组成的,实现的功能主要包括配置管理、问题管理、变更管理和资产管理等7个功能模块单元。该系统的实施大大减轻了IT工作人员的工作量,使企业IT服务管理工作规范化、流程化和信息化。

关联规则挖掘在中医证候信息数据库系统中的应用

关联规则挖掘是数据挖掘的一个重要研究方向,它可以揭示数据之间有趣的关联或者相关联系。在此基础上结合特定系统的用户行为数据,还可以进行用户行为分析。本文以一个开发的中医证候信息数据库系统为基础,结合中医数据挖掘实际,论述了在此系统架构下关联规则挖掘算法的成功运用,并提出了一个高效的中医数据挖掘模型。系统运行状况表明,在该模型指导下的系统在智能和用户使用人性化方面都比原系统有明显的优势。

在Web应用系统中利用COM技术定制Office应用

简述了COM的主要技术规范对软件复用的支持.根据MicrosoftOffice软件产品的强大功能以及拥有大量用户群的特点,给出了在Web应用系统中利用COM定制Office应用,将数据库的查询结果输出到Excel文件中的实例.

基于RISC技术的指令流水虚拟系统

文章在“软件模拟硬件”思想指导下 ,实现基于RISC技术的指令流水虚拟机 ,突出介绍了利用VisualC + +的面向对象开发环境实现虚拟机器的基本构思、设计方法和过程 ,在虚拟机的设计和实现中应用了RISC与指令流水线两大技术 .该虚拟机的实现表明 ,在计算机上建立虚拟系统应用于实验、教学和进一步的研究中是具有可行性的 .

SMARXO:一个优秀的信息共享和信息安全的体系结构

本文提出一个叫做SMARXO的框架,采用RBAC(基于角色访问控制)、XML和面向对象数据库解决多媒体应用中的安全。对比其它现存的安全模型或者工程,SMARXO能够处理更复杂的环境。首先,图像对象层次的安全和视频场景/低层次安全可以很容易就实现。其次,为达到访问控制的目的设计一个时间限制和IP地址限制的模型。最后,可以执行XML查询,如管理员可以通过安全角色和策略找回有用的信息。

疫情地理信息系统的研究与实现

通过一个已完成的广东疾控中心的Web GIS系统(DC-GIS),介绍了如何构建基于J2EE平台的Web GIS,并在中间件MapXtreme Java基础上建立了一个扩展性和重用性好的地图服务处理的基础软件类包,从而实现了疾病领域的疾病数据可视化处理。