公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

农民工子女语言使用状况的调查及启示被引量：14: 2012年; 本文通过问卷调查和访谈法等社会语言学的田野调查方法,以南京玄武红山外来工子弟学校的学生为代表,对南京农民工子女的语言使用状况,包括语言能力、语言选择、日常语言运用及其进城前后的历时变化,进行了较为全面的研究,并以大量的统计数据对这些方面进行了分析。; 盛林沈楠; 关键词：农民工子女语言能力语言选择语言运用

基于Coq的逆矩阵运算的形式化: 2023年; 矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。; 沈楠陈钢; 关键词：形式化验证 COQ

留学生管理工作中突发事件的预防和处理被引量：1: 2014年; 随着中国综合国力的增强和高等教育的发展,来华留学生人数逐年上升。而由于文化背景、宗教习惯等个体因素差异而导致的留学生突发事件也层出不穷。科学合理地应对、预防各类突发事件,不仅有助于维护校园的安全和稳定,更能促进高校国际化办学的进程,维护社会的和谐安定,乃至于推动国际关系的发展。该文从四个方面,试图探索和研究留学生管理工作中突发事件的预防和管理机制。; 沈楠; 关键词：留学生管理突发事件

一种基于Coq的高斯约旦消元矩阵求逆形式化验证方法: 本发明公开了一种基于Coq的高斯约旦消元矩阵求逆形式化验证方法，具体包括以下步骤：(1)在定理证明器Coq中采用一种基于Record的映射表示法；(2)在定理证明器Coq中采用高斯约旦消元理论实现定义的形式化；(3)矩阵...; 陈钢沈楠

一种基于定理证明器Coq的稀疏矩阵形式化验证方法: 本发明公开了一种基于定理证明器Coq的稀疏矩阵形式化验证方法，通过在定理证明器Coq中对稀疏矩阵进行形式化定义并且验证了稀疏矩阵运算的主要性质，主要包括以下步骤:(1)稀疏矩阵的形式化定义；(2)稀疏矩阵生成的形式化定义...; 陈钢沈楠

关于扩大高校留学生规模的几点思考——以南京航空航天大学为例: 2014年; 本文以南京航空航天大学国际教育学院的招生以及管理实践为例,探索了扩大高校留学生教育规模的途径。认为应注意全面拓宽生源和宣传渠道;深入推进国际化办学的进程;利用互联网及时向国外高校、留学机构和个人公布招生信息;积极组织和参与境内外访问交流;适度提高入学标准并优化管理手段,全面提升留学生就读的满意度。; 沈楠; 关键词：高校留学生教育规模

来华留学研究生招生及管理工作探析: 2015年; 接收外国留学生的数量以及外国留学生占在校大学生的比例是衡量一个国家、一所大学高等教育国际化水平的重要标尺之一；衡量教育国际化最重要的指标不仅仅体现在总量上，更体现在国际学生占全体学生的比例上。本文结合笔者数年的留学生招生以及管理工作经验，探讨扩大留学生尤其是留学研究生招生规模、提升留学研究生生源质量的途径。; 沈楠; 关键词：留学研究生招生生源质量

从“文化休克”到积极融入:来华留学生跨文化适应的探索与实践: 2014年; 近年来,随着中国综合国力的增强和高等教育突飞猛进的发展,越来越多的海外留学生将中国作为留学首选国。而伴随着来华留学人数的逐年上升,留学生在中国的适应问题也渐渐凸显。如何尽量缩短留学生的"文化休克"期,使其更快更好地适应中国的学习生活,是所有留学生管理工作者面临的一大挑战。本文以南京航空航天大学国际教育学院的留学生管理工作为例,探索留学生跨文化适应的方法和途径。; 沈楠; 关键词：留学生管理文化休克跨文化适应

全选清除导出

共1页<1>

沈楠