一路甘苦与快乐来——记中山大学排课系统原型的诞生

微软技术俱乐部是微软亚洲研究院与高校合作培养人才的一种探索。俱乐部本着"学习先进技术,开拓创新思维,体验多元文化,成就一流人才"的宗旨,在各高校团委指导下,通过学术讲座、技术沙龙、兴趣小组、大型比赛、参观访问等活动,活跃学生学术气氛,丰富校园活动。目前,全国共有30个微软学生技术俱乐部。自2002年第一个实践项目申请开始,微软亚洲研究院已经收到1500多个实践项目申请,微软亚洲研究院已经资金支持了300多个项目,将近10000名学生在这些项目实践中得到锻炼。学生不仅在实践项目中很好地与学生的课堂学习形成互补,同时学生可以把在课堂上学到的理论、知识在实践项目过程中得到运用和进一步的理解。另外,在实践项目过程中,培养学生的团队合作精神。通过这个栏目,不仅将微软技术俱乐部的优秀创新创业案例展示出来,更重要的是要通过它引导大学生自觉培养创新精神和实践能力。

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

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

师资管理计算机辅助系统的设计

从四个方面介绍了开发师资管理计算机辅助系统的设计思想与技术要点．该系统是中山大学人事处为把师资管理工作提高到适应新世纪的新水平而组织力量。

连环图：一种新的多计算机系统通信体系结构

本文根据Ｃａｖｌｅｙ图模型，提出了一种新的互连网络，它具有预点对称性、固定的顶点度、易于路由、通信延迟小以及容错等特点．本文给出了这种互连网络的路由算法和容错路由算法，证明了其连通度为３．

系统参数的计算机识别方法

讨论二阶常微系统。ｕ＂＋ｋ２ｎ（ｘ）ｕ＝０．得出一种由输入、输出数据识别系统参数ｎ（ｘ）的方法．经计算机验证。当ｎ（ｘ）为常数时，运用该方法计算的结果是精确的．

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

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

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

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

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

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

广义de Bruijn多计算机互连网络

（ｄ，ｍ）ｄｅＢｒｕｉｊｎ多计算机系统互连网络限制网络的规模必须为ｄｍ．本文把（ｄ，ｍ）ｄｅＢｒｕｉｊｎ网络推广到了任意顶点情形，提出了广义ｄｅＢｒｕｉｊｎ网络，研究了广义ｄｅＢｒｕｉｊｎ网络的自路由性质，设计了路由算法，研究了广义ｄｅＢｒｕｉｊｎ网络顶点度的性质和容错特性．

顺应软件技术潮流 加快课程改革步伐——C＋＋作为计算机专业程序设计入门语言的实践与探讨

随着计算机硬件与通信技术的迅速发展，计算机应用的规模与复杂度不断提高，计算机软件的开发语言、工具与环境也在不断更新。在系统软件与应用软件领域中，面向对象程序设计(Obiect-Oriented Programming，简称OOP)语言C++已成为主要的开发工具，从微机、

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

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

科研项目管理系统的设计与实现

提出了基于Browser/Server的多层次结构建立科研项目管理系统的设计思想和体系结构,给出了数据输入、数据维护、浏览查询、统计分析报表生成等模块的实现方法和具体的实现过程。

有界模型检测同步多智体系统的时态认知逻辑

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数的方法获得同步系统的智能体知识,避免了为时间域而扩展通常的时态认知模型的状态及迁移关系编码.ECKLn的时态认知表达能力强于另一个逻辑CTLK.给出该算法的技术细节及正确性证明,并用火车控制系统实例解释算法的执行过程.

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

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

基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型 ,基于BCDM模型 ,建立了一种双时态关系代数 首先 ,对时态数据库事务时间和有效时间进行规范化的定义 ,给出BCDM中时间元素的规范化定义和演算描述 ;而后 ,定义时态映射 ,用以描述BCDM中的双时态元组 ,并形式描述时态映射的演算 ;最后 ,用时态映射定义的元组对双时态关系进行定义 。

基于Web服务的敏捷供应链管理系统

针对敏捷供应链动态异构的特点,采用信息集成技术来构建供应链管理系统,从而实现供应链内的信息共享和交互,是敏捷供应链研究的一个重要课题。Web服务是新兴的分布式技术,介绍了将Web服务技术应用于敏捷供应链的可行性和优点,提出了一个基于Web服务的敏捷供应链管理系统的集成框架,并指出了实现中的一些具体问题和进一步研究的方向。

PROLOG—DBMS系统实现中的子句间优化技术

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而，从数据库中提取冗余数据不但严重地影响系统的效率，而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．

典型数据库应用系统问题模式及其应用

针对中小型数据库应用系统特点，我们提出一种实用的中小型数据库应用系统开发模式ＴＤＢＡＭ。本文简要介绍该模式的基本框架，分析典型问题模式，介绍其开放性及两种有效技术，介绍了用“大众数据库”ＦｏｘＰｒｏｆｏｒＷｉｎｄｏｗｓ实现的范例模型及其应用。最后，提出进一步研究课题。

时态变量“Now”语义及相应时态关系运算

讨论了时态变量“Now”的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.