李波
- 作品数:13 被引量:54H指数:5
- 供职机构:解放军信息工程大学更多>>
- 发文基金:国家高技术研究发展计划河南省科技创新杰出青年基金国家部委资助项目更多>>
- 相关领域:自动化与计算机技术天文地球文化科学自然科学总论更多>>
- “以学生为中心”教育理念的理念的理论解说与践行策略被引量:7
- 2012年
- 在教育国际化的背景下,"以学生为中心"的教育理念正影响着我国高等教育。分析"以学生为中心"教育理念的历史渊源与理论内涵,探寻"以学生为中心"教育理念的实践途径,对于深化高等教育改革、提升高等教育质量具有重要的理论价值和实践意义。一"以学生为中心"教育理念的历史演变19世纪末20世纪初期,美国实用主义哲学家杜威将卢梭"以天性为师,而不以人为师"的教育理念付诸实践,提出以"以儿童为中心"取代"以教师为中心",强调学生学习的需要、兴趣、主动性等。"儿童中心论"深入人心,在全世界掀起了新教育的浪潮。1952年,在哈佛大学教育学院举办的"课堂教学如何影响人的行为"学术研讨会上,美国心理学家卡尔·罗杰斯首次提出"以学生为中心"的观念。
- 曾庆洋李波刘彬唐华
- 关键词:教育理念教育国际化教育活动
- 基于Oracle 9i Spatial的海量空间影像数据管理被引量:14
- 2003年
- 利用Oracle 9iSpatial组件提供的模型和功能 ,研究了海量空间影像数据的管理技术。实验表明 ,采用规则分块技术和构建影像金字塔可以实现对超大空间影像的有效管理 ,并为高性能并行数据服务提供了实现基础。
- 邓雪清张永生李波巩丹超
- 关键词:空间查询金字塔结构
- 湖泊水下数字高程模型建模方法及应用模型被引量:5
- 2003年
- 介绍了当前湖泊水下地形测量的一般方法和作业过程。针对逐点插入构建不规则三角网算法,本文提出了效率改正算法和格网索引号快速计算算法。基于不规则三角网,给出了湖泊水下数字高程模型的一般应用模型———任意点高程计算、填挖方计算模型及等深线计算模型。
- 邓雪清张永生李波班业胜
- 关键词:湖泊水下地形不规则三角网数字高程模型
- 面向用例安全关键系统开发方法研究被引量:1
- 2013年
- 面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了系统开发的质量和效率。
- 王飞郭渊博郝耀辉李波
- 关键词:安全性用例模型
- WIN32下电子地图制图与应用系统设计被引量:5
- 2001年
- 探讨了电子地图制作和分析应用的相关技术 ,并认为电子地图已从“只读”系统向“分析”系统发展 ,电子地图的应用分析功能将成为今后研究的重点。
- 杨春成李波谢俊峰陈双军
- 关键词:电子地图拓扑重构信息查询最短路径缓冲区分析
- 自定义多端业务建模方法被引量:1
- 2010年
- 在网络仿真中,网络协议仿真建模的工作量大、开发周期长。针对该缺点,提出自定义多端业务建模方法,对应用层协议与Diffie-Hellman密钥交换协议进行仿真建模。仿真结果表明,与进程模型建模方法相比,该方法简单高效、可重用性高,具有较高实际应用价值。
- 李波苏锦海张传富
- 关键词:仿真
- 基于UMLsec的软件安全需求建模方法研究被引量:1
- 2013年
- 安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。
- 李波刘伟王飞
- 关键词:安全需求建模方法
- UMLsec自动分析验证工具的研究与设计
- 2014年
- 在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证<>的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求。
- 王飞李波郭渊博郝耀辉
- 关键词:安全关键系统
- 融合角色机制的强制访问控制模型被引量:3
- 2007年
- 传统的BLP模型能够提供良好的信息保密机制,但是由于过于严苛的约束规则造成其在可用性方面存在着一定的缺陷,RBAC模型提供了很好的可用性,但在信息安全保证方面存在一定的不足。从分析BLP模型和RBAC模型入手,通过引入角色安全标签机制,提出了一个BLP和RBAC的融合机制,形成了一个全新的信息模型RBLP.RBLP模型不但能够提供良好的信息保密机制,同时有着很好的可用性。
- 陈四清王家耀李波夏鹏万
- 关键词:强制访问控制角色访问控制安全标签
- 基于OPNET的Email流量建模研究及仿真被引量:3
- 2010年
- 网络仿真是一种全新的网络规划、设计和分析技术,它能够验证实际方案的有效性和比较多个不同的设计方案,为网络的规划设计提供可靠的定量依据。针对网络仿真中的关键问题—流量仿真与建模,对网络仿真软件OPNET的流量建模机制进行了研究分析,并就网络仿真中Email业务前景流量数学模型的建立做了研究,最后基于OPNET平台对仿真模型进行了仿真验证。
- 李波苏锦海张传富
- 关键词:网络仿真仿真模型OPNETEMAIL