赵娜 作品数:65 被引量:185 H指数:8 供职机构: 云南大学 更多>> 发文基金: 国家自然科学基金 云南省教育厅科学研究基金 国家精品课程建设项目 更多>> 相关领域: 自动化与计算机技术 文化科学 轻工技术与工程 交通运输工程 更多>>
一种多方位捕蝗装置 本实用新型公开了一种多方位捕蝗装置,包括伸缩固定主杆;其特征在于,所述伸缩固定主杆上有若干个伸缩节口,水平于伸缩节口安装有若干个固定限位横杆II,伸缩固定主杆的两端分别水平安装有若干个固定限位横杆I,且每个固定限位横杆I... 赵娜 杨燕 陈琳洁 王剑 李杰 钱晔 孙吉红 康雁 王炜 景铭 彭西阳 王鑫锴 文俊杰 柴焰明文献传递 基于SE-CDIO的人才培养创新实验区的建设经验 被引量:3 2018年 针对当代软件产业的发展情况,基于CDIO理念,提出采用SE-CDIO模式建设人才培养创新实验区,以达到教育的开展与产业相结合的目的。结合当前软件工程专业的特性和实际情况,不断完善适合软件工程教学的SE-CDIO模式。该模式的运用不仅提高了学生的编程能力,同时锻炼了团队合作能力,让学生完全融入学习的氛围中,很好地诠释了"做与学相结合"的理念,对培养创新实验区的建设起到了举足轻重的作用。 赵娜 唐旭光 王炜 郁湧 谢仲文 周廷宇 王剑一种软件演化过程模型的代数语义 被引量:13 2012年 随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证. 代飞 李彤 谢仲文 于倩 卢萍 郁涌 赵娜关键词:软件演化过程 代数语义 PETRI网 COMMUNICATING 基于CDIO的“软件项目开发入门”综合技能实践课程 被引量:6 2011年 本文将CDIO教育理念引入"软件项目开发入门"综合技能实践课程进行教学设计和教学活动安排。从计算机学科工程性的特点着手,讨论如何以CDIO人才培养模式指导课程建设,采用问题驱动教学、实用案例教学及工程项目教学等多种教学方法,建立理论与实践相结合、多维度、立体化的课程内容体系。给出本教学团队在"软件项目开发入门"综合技能实践课程建设的措施和方法。 赵娜 王剑 秦江龙 朱艳萍 刘宇 张云春关键词:CDIO 一种加权网络节点重要性确定方法及系统 本发明涉及一种加权网络节点重要性确定方法及系统。所述方法包括:获取待处理的加权网络;对所述加权网络中的边的权重值进行预处理,生成处理后边的权重值;根据所述处理后边的权重值计算所述加权网络中节点对应的中间概率;根据所述中间... 赵娜 陈琳洁 景铭 李杰 龙镇 黄群芳 王剑 马耀飞 王浩 方凌芸 王鑫锴 王莹港文献传递 CDIO软件人才培养教学团队建设 被引量:13 2011年 文章介绍云南大学软件学院建立以CDIO为指导思想的软件人才培养模式,以国际化、高层次、实用型、复合型人才培养为目标,以工程项目的构思、设计、实现和实施为导向,以课程、课程群、实践环节、毕业设计、学生课外科技活动、教学改革活动、教学管理活动为单位,将CDIO人才培养理念贯穿教学各个环节,为将本团队建设成为在CDIO教学改革方面具有国际影响的教学团队所做的努力和经验总结。 李彤 赵娜关键词:精品课程 软件工程 CDIO 基于MOOC嵌入式教学的数据挖掘教学改革初探 被引量:6 2015年 针对大数据、网络教学等新形势下数据挖掘课程的教学现状,提出通过借鉴国外知名大学软件人才培养的模式和理念,从课程教学和项目实践两方面进行改革,以课堂教学、MOOC嵌入式课程和项目实践相结合的方式,推进数据挖掘课程在大数据环境下的教学和实践,为培养国际一流的软件人才服务。 张云春 薛岗 何婧 赵娜关键词:数据挖掘 嵌入式教学 一种改进的TextRank关键词提取方法及装置 本申请公开了一种改进的TextRank关键词提取方法及装置。在该方法中,首先构建文本的词共现网络,接着基于词共现网络并引入节点的度中心性和聚类系数两项复杂网络统计特征,得到节点的初始权重。然后依据相邻节点对节点的重要程度... 赵娜 杨燕 王莹港 郁湧 王剑 康雁 王鑫锴 张强荐 胡盛 柴焰明 龙镇 文俊杰 马伟云文献传递 基于构件的软件演化波及效应分析 被引量:1 2013年 随着新技术的采用和系统环境的变化,构件和软件系统的演化在所难免,演化会影响系统的整体行为。分析了基于构件的软件系统中的耦合性对演化波及效应的影响,对软件系统中构件内部各种依赖关系、构件与连接件之间的各种耦合关系进行矩阵表示,提出一种能够防止波及效应扩大化的软件系统动态演化的波及效应方法,实现了对软件系统的构件和连接件的演化波及效应研究。在基于构件的软件系统的动态演化中,可以根据波及效应的分析获得需要进行重新修改或演化的构件和连接件,从而保证动态演化的一致性和连续性。 郁湧 王丽霞 赵娜基于关联矩阵的软件演化过程结构验证 2015年 软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量。 刘金卓 于倩 赵娜 谢仲文 郁湧 杭菲璐 金运志关键词:软件演化过程 关联矩阵