范少锋
- 作品数：14 被引量：58H指数：5
- 供职机构：北京大学科学研究部更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：文化科学自动化与计算机技术自然科学总论更多>>
- 生成式程序设计研究概述被引量：8
- 2005年
- 随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。
- 范少锋张乃孝
- 关键词：软件复杂度
- 面向语言的领域语言开发方法研究
- 本文从语言和领域两个角度出发，研究了面向语言的领域语言开发方法。主要工作包括：
1.为进一步提高语言定义的重用度和灵活性，提出了“面向语言”的概念：将语言作为第一类值来讨论，语言的每个成分可定义为一个小语言，允...
- 范少锋
- 关键词：领域语言
- 文献传递
- 瞄准新定位 适应新形势 提高863计划申报质量
- 针对“十一五”国家科技发展的新形势，结合北京大学组织中报863计划课题(项目)的具体实践，本文分析了“十一五”863计划的新定位，论述了863计划的组织管理框架，着重讨论了863计划申报过程的几个重要环节，包括选题、撰写...
- 范少锋
- 关键词：863计划经费预算
- 文献传递
- 试论依托单位在科学基金共同体中的地位和作用被引量：13
- 2011年
- 1引言国家自然科学基金是国家创新体系建设中的重要组成部分，是我国科技体制改革的重要成果。国家自然科学基金委员会（以下简称自然科学基金委）成立25年来，在促进基础研究、培养科学技术人才、增强自主创新能力等方面发挥了重要作用。特别值得一提的是，自然科学基金由科学家群体进行自我管理和分配的制度，赢得了科技界的赞誉。
- 蔡晖宿芬曹凯刘超范少锋
- 关键词：共同体国家创新体系自主创新能力
- 浅谈依托单位在科学基金精细化管理中的举措及其作用——以北京大学为例被引量：11
- 2012年
- 1引言国家自然科学基金委员会（以下简称自然科学基金委）早在＂十一五＂期间就提出了卓越管理的管理思想。这一理念从战略的高度,对直接参与国家自然科学基金（以下简称科学基金）工作的各类组织机构和人员提出了管理要求,明确了管理目标。2011年是科学基金实施25周年,也是＂十二五＂发，
- 刘超蔡晖周辉范少锋
- 关键词：管理思想组织机构
- 科技部其他科技计划项目简介
- 2009年
- 为落实《国家中长期科学和技术发展规划纲要（2006-2020年）》（以下简称《规划纲要》）,科技部对国家科技计划体系和资源配置重点进行了调整,建立了“十一五”国家科技计划体系。调整后的国家科技计划体系由重大专项和基础计划两大部分组成。
- 范少锋韦宇
- 基于描述逻辑的特征模型被引量：3
- 2007年
- 由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性。
- 范少锋张乃孝赵新宇
- 关键词：描述逻辑一致性
- 基于获得“杰青”“优青”资助情况分析北京大学“优秀青年人才引进计划”的成效被引量：2
- 2015年
- 北京大学'优秀青年人才引进计划'(简称'百人计划')是北京大学从2005年底开始实施的以优秀青年人才引进为核心的重要人才计划。根据学科规划布局的需要,从国内外引进100名左右已在相关学术领域崭露头角,具有学术发展潜力的优秀青年学者(年龄一般在35岁以下)全职到校工作。北京大学'百人计划'采取个人申请、学院初选、学校专家委员会评审。
- 刘超范少锋孙赵君蔡晖
- 关键词：国家杰出青年科学基金
- 我国科研组织模式发展建议被引量：7
- 2013年
- 科学技术的发展对科研活动的组织模式提出新的要求。我国的科研组织模式经过计划经济时代的研究室模式、改革开放后的项目首席科学家负责制,发展到今天协同化、集约化的科研组织模式。借鉴国际科研组织模式成功案例,建议我国的科研组织模式发展应以科研团队为活动基本单元、以科研基地平台为纵向实体组织、以科研项目为横向纽带,建立网格式的科研组织模式。
- 何洁范少锋周锋马信廖日坤刘超
- 高校和科研院所如何组织参与国家科技支撑计划
- 2009年
- 国家科技支撑计划（以下简称支撑计划）于2006年在厚科技部科技攻关计划（以下简称攻关计划）基础上设立，是国家科技主体计划之一，主要落实《国家中长期科学和技术发展规划纲要（2006—2020）》（以下简称《规划纲要》）确定的重点领域及其优先主题的任务。
- 韦宇范少锋
- 关键词：高校
