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

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

改性低毒脲醛树脂的合成及性能研究

采用六亚甲基四胺做催化剂，加入聚乙烯醇（PVA）、三聚氰胺和硫脲作为改性剂，通过降低甲醛与尿素物质的量比、采用尿素分批加入的合成方法，制备出改性低毒的脲醛树脂（UF），使游离甲醛质量分数低于0．30％；采用捏合和模压成型方法，将改性和普通UF树脂分别与剑麻纤维（SF）制备UF／SF共混复合材料，研究了复合材料的力学性能和吸水性能。结果表明，甲醛和尿素物质的量比为1．1时，游离甲醛质量分数降低到0．16％；甲醛和尿素物质的量比为1．2时，三聚氰胺、PVA及硫脲加入量分别为尿素总量的2．0％，1．5％，1．0％（质量分数）时，游离甲醛质量分数降低到了0．10％，粘度达到0．41Pa·S，贮存期大于80d；改性UF／SF复合材料的性能比普通UF／SF复合材料的冲击性能和耐磨性能分别提高了114％和261％。     

改性低毒脲醛树脂的固化研究

研究了非等温过程中改性低毒脲醛树脂固化体系和未改性脲醛树脂固化体系的固化行为，并研究了不同固化剂施用量对改性树脂固化的影响，对不同树脂体系固化后的结构进行了表征。结果表明，改性的UF树脂固化后的交联度大于未改性树脂固化后的交联度。     

医药微胶囊技术

综述了医药微胶囊的结构、制备和应用。介绍了喷雾干燥法、喷雾冻疑法、空气悬浮法、相分离法、粉末床法、界面聚合法的制备原理和方法。     

支持依赖修复的热部署技术

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。为了解决这个问题,介绍一种支持依赖修复的热部署技术。在首次部署应用的各模块时,用该技术建立模块之间的依赖关系。而在其更新时,通过查找依赖关系,找出受到更新影响的模块,修复依赖并进行局部的热部署,避免重启应用服务器的代价。最后通过实验表明,该热部署技术可以保证依赖注入下的应用正确性;在实际工程应用的场景下,该技术也能够大幅度提升应用服务器的性能和运行效率。     

学校类建筑分时供暖节能潜力分析

学校类建筑的使用具有明显的分时段性,采用分时供暖有很大的节能潜力,以天津某大学的一个教学楼为例,结合天津市典型年的气象参数,绘制了全天热负荷随时间变化图,将分时供暖与传统供暖全天所需热量作比较,分析了分时供暖的节能潜力．     

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

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

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

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

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

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