以计算机问题求解为核心 积极推进人才创新能力培养

<正>计算机专业具有学科发展速度快、创新能力培养要求高、人才培养目标多样化的特点。在这样的背景下,南京大学计算机科学与技术系在总结长期办学经验的基础上,创造性地提出了"以计算机问题求解为核心,开展计算机专业人才创新能力培养"新思路。针     

面向问题求解的计算机专业基础课程的重构与实践

现行计算机学科专业基础教学中,课程体系以层次结构组织知识,教学模式以知识传授为主要目的,而能力培养却没有得到充分重视。文章介绍南京大学计算机科学与技术系近年来在此方面的教学改革,改革的基本内容包括在课程体系上以算法和平台为两条主线进行面向问题求解的基础课程重构,在教学过程中探索以"学生自学习+教师深入引导"为主的教学模式。     

ARDF：一种用于应用迁移的资源描述框架

针对个人用户的应用无缝迁移是普适环境特征之一。此方面现有的工作大多表现为针对某个特定应用的迁移能力,较难满足实际需求。给出了一个具有一定普遍意义的应用资源描述框架,该框架可用于描述与应用相关的系统和用户资源的状态,从而支持需迁移的应用状态的获取和重建。在此基础上,在自行设计和实现的FollowMe普适空间中,实现了一个针对个人Office办公需求的应用迁移示范应用。     

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。     

一种新的E—mail应用模式的研究

1 引言在Internet飞速发展的带动下,电子邮件E-mail成为了网络环境中异步通讯的基本手段之一,被应用在现实工作、生活中的方方面面,比如:传递消息、发送通知、投递文章、发表新闻、传输文件和共享资源等等。广泛的使用使得邮件量剧增,邮件处理成了相当繁琐的问题。为了减轻人们处理邮件的负担,一些网络软件产品如Netscape Messenger、Outlook和Foxmail等被     

多Agent系统的上下文感知增强

如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.     

Mogent系统迁移机制的设计和实现

移动agent计算模式将成为未来网络计算的主流模式,迁移技术 是移动agent的核心技术之一,受到了广泛的关注,在分析现有agent系统迁移机制的基础上,提出一种结构化的agent迁移机制,该机制提供了任务级迁移,采用结构化旅行计划三月分离移动信息和agent功能体,在降低agent开发复杂度的同时保证了较高的灵活性和表达能力,最后,结合自笔研制的移动agent系统-Mogent系统,讨论了该机制的实现工作。     

ND-Polya类比实现技术

从认识论和方法论的角度来看,分类不是认识事物解决问题的唯一方法,类比同样十分重要．然而传统的继承只体现分类的方法．自行设计的面向对象语言ＮＤ－Ｐｏｌｙａ通过引入新的继承机制——柔性继承来支持类比方法．使用柔性继承机制,程序员能以描述事物或问题间相似性的方式进行软件开发．文中简要介绍了ＮＤ－Ｐｏｌｙａ的柔性继承设施,并在此基础上具体地讨论了该机制的类比实现技术．     

面向动作的上下文感知应用的规约与运行时验证

面向动作的上下文感知（AOCA）应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相比于在开发阶段描述全局信息的开发方法,AOCA应用的开发可能由不同开发者在不同时间共同参与,这可能会导致较多的不一致等问题,且难以在开发阶段被发现.我们围绕使用运行时验证手段提高AOCA应用可靠性这一目标展开了研究.本文给出了对于AOCA应用运行状态进行形式化规约、对于系统级和应用级性质进行描述的方法.进一步地,我们设计实现了AOCA应用监控器.最后,通过案例分析以及性能评估证实该方法的有效性.     

普适计算应用时空性质的运行时验证

运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时验证带来了特有的挑战.一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic在真值不确定等情况下不能很好支持有限轨迹中时间性质的描述.为支持普适计算应用时空性质的运行时验证,本文引入三值逻辑语义,提出了AL₃（3-valued Ambient Logic）;并在此基础上设计实现了基于AL₃的性质检验算法和运行时监控器.最后,通过案例分析和运行效率实验阐明了所提方法的有效性和可行性.