您的位置: 专家智库 > >

赵娜

作品数:59 被引量:176H指数:7
供职机构:云南大学更多>>
发文基金:国家自然科学基金云南省教育厅科学研究基金国家精品课程建设项目更多>>
相关领域:自动化与计算机技术文化科学轻工技术与工程交通运输工程更多>>

文献类型

  • 26篇期刊文章
  • 25篇专利
  • 6篇学位论文
  • 1篇会议论文
  • 1篇科技成果

领域

  • 27篇自动化与计算...
  • 6篇文化科学
  • 3篇轻工技术与工...
  • 2篇经济管理
  • 2篇交通运输工程
  • 2篇医药卫生
  • 2篇自然科学总论
  • 1篇电子电信
  • 1篇电气工程
  • 1篇语言文字
  • 1篇理学

主题

  • 13篇网络
  • 7篇软件工程
  • 6篇课程
  • 6篇复杂网
  • 6篇复杂网络
  • 5篇精品课
  • 5篇精品课程
  • 5篇加权
  • 5篇CDIO
  • 4篇国家精品课
  • 4篇国家精品课程
  • 4篇E-CD
  • 4篇IO
  • 4篇PETRI网
  • 3篇日志
  • 3篇软件演化过程
  • 3篇删除
  • 3篇社交
  • 3篇社交网
  • 3篇社交网络

机构

  • 59篇云南大学
  • 8篇昆明理工大学
  • 2篇云南省交通科...
  • 2篇云南电网有限...
  • 1篇北京大学
  • 1篇电子科技大学
  • 1篇曼彻斯特大学
  • 1篇昆明市儿童医...
  • 1篇交通大学
  • 1篇中国计算机学...
  • 1篇云南电网有限...

作者

  • 59篇赵娜
  • 17篇郁湧
  • 16篇李彤
  • 14篇王剑
  • 11篇谢仲文
  • 11篇李杰
  • 10篇于倩
  • 8篇杨燕
  • 8篇刘金卓
  • 7篇王剑
  • 7篇张璇
  • 7篇王炜
  • 6篇代飞
  • 5篇刘前
  • 5篇康雁
  • 5篇林英
  • 4篇秦江龙
  • 4篇钱晔
  • 3篇赵莹
  • 3篇赵锦新

传媒

  • 4篇电子科技大学...
  • 4篇云南大学学报...
  • 4篇计算机教育
  • 3篇计算机科学
  • 2篇计算机工程与...
  • 2篇计算机应用研...
  • 2篇计算机科学与...
  • 1篇高等工程教育...
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇云南电力技术
  • 1篇第八届全国微...

年份

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