赵海燕
- 作品数：57 被引量：198H指数：8
- 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 《寓山注》研究——围绕寓山园林的艺术创造与文人生活
- 园林始于秦汉、兴于魏晋,发展于唐宋。而文人园林则发轫于宋、元,至明中期形成成熟形态。明清之际,文人园和诗、画乃至中国传统哲学、美学思想等相渗透,从外在的形式和精神上,都达到了水乳交融的状态,这一时期的文人园出现了前所未有...
- 赵海燕
- 关键词：艺术创造文人生活祁彪佳
- “职业规划与领导力发展”对话录
- 2009年
- 课堂对话,是讲者与听者最为直接的思维碰撞;职业素质,是企业与毕业生最为关注的热点焦点。为此,我们总结了"职业规划与领导力发展"课程最为精彩的课堂交流环节,一边是久经商场的IT精英、主讲教师,一边是蓄势待发的未来求职者、听课学生,这样的对话将擦出什么样的火花,"思维碰撞"栏目将连续两期刊出"课堂对话录",为即将迈入职场尤其是将要走向IT领域的求职者解惑答疑。
- 张铭赵海燕
- 关键词：IT领域毕业生碰撞求职
- 从机场转债看上市公司可转换公司债券融资
- 赵海燕
- 关键词：可转换公司债券期权价值
- 基于二分决策图的特征模型验证方法被引量：2
- 2010年
- 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高.
- 闫华张伟张伟赵海燕
- 关键词：DECISION软件复用
- 多智能体在物理空间中的成形方法
- 本发明公开了一种多智能体在物理空间中的成形方法，应用于智能体系统的分布式控制技术领域，具体步骤包括如下：将连续的物理空间离散化为网格空间，并定义多智能体成形问题；每一个智能体向协调器报告在网格空间中的位置；在接收到每个智...
- 张伟赵海燕褚文杰金芝梅宏
- 基于反馈控制的软件适应性需求的识别与分析被引量：10
- 2015年
- 适应性需求的识别与分析是开发自适应软件系统的基础,它将明确软件系统在运行过程中所可能面临的环境变化以及应对这些变化系统应采取的措施.但是,当前的适应性需求识别与分析方法一方面缺乏对环境的分析导致无法系统性地识别环境变化,另一方面也缺乏有效的框架来同时考虑如何应对已知的环境变化和未知的环境变化.针对这些问题,提出了基于反馈控制的适应性需求识别与分析方法.该方法将自适应软件与其作用的环境看作为一个自适应控制系统,将适应性需求的识别与分析转化为对该控制系统所应具有的反馈回路的识别与分析.通过将环境看作软件的控制对象,它不仅突出了软件的环境,同时还可以通过确定环境感知反馈回路和需求感知反馈回路来分别应对已知的环境变化和未知的环境变化.最后,用一个实例说明所提出方法的可行性.
- 刘春张伟张伟赵海燕
- 关键词：自适应软件
- 北京大学“数据结构与算法”教学设计被引量：21
- 2008年
- 本文介绍了“数据结构与算法”课程的教学理念、教学设计、教学方法和手段的改革与创新。根据ACM/IEEE CC2005和教育部计算机教指委CCC2006学科规范，从问题求解出发，在基础理论、抽象和设计的三个层次组织课程内容体系，特别强调以知识与能力培养为导向的教学目标和定位。
- 张铭赵海燕王腾蛟宋国杰高军
- 关键词：数据结构教学体系
- 心理学视角中当代大学生思想政治教育的创新
- 大学生思想政治教育创新是加强和改进大学生思想政治教育的当务之急。本文通过查阅大量调查资料，分析了当代大学生的思想和心理现状以及在大学生思想政治教育中存在的不足。本文探讨了西方主要心理学流派的理论对我国当代大学生思想政治教...
- 赵海燕
- 关键词：大学生思想政治教育心理学
- 基于特征模型的软件产品自动导出方法综述被引量：6
- 2016年
- 在针对特定领域的软件复用中,产品导出是主要活动之一.产品导出指的是,开发人员基于领域中可复用的软件制品开发出所需的软件产品.在产品导出过程中,产品导出效率决定了软件复用的收益.在诸多影响产品导出效率的因素中,手工进行产品导出是拉低产品导出效率的主要因素之一,其最终会导致软件复用收益降低.为了提高产品的导出效率,相关研究提出了一些自动导出软件产品的方法.在这些方法中,一种普遍采用的指导思想是基于特征模型自动导出软件产品.在诸多使用该思想进行产品导出的方法中,各方法所使用的实现方式差异很大.为了给基于特征模型自动导出软件产品提供更好的支持,基于现有研究,提出了一个分类框架,并使用该框架对现有基于特征模型自动导出软件产品的方法进行了分类和比较.另外,还进一步指出了现有研究中的不足,并提出解决这些不足的设想.
- 于文静赵海燕张伟张伟
- 关键词：软件复用
- 尿激酶在体外对血小板功能的影响
- 赵海燕
- 关键词：溶栓治疗尿激酶血小板活化血小板聚集率
