刘霞
- 作品数：18 被引量：167H指数：7
- 供职机构：中国科学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术天文地球环境科学与工程动力工程及工程热物理更多>>
- 新特提斯洋俯冲起始的地质记录：土耳其南部蛇绿岩和变质底板被引量：3
- 2018年
- 在现行板块构造理论的框架下,板块的初始俯冲是岩浆活动和构造运动发生转变的重要过程,亦是理解板块运动的关键节点。在俯冲起始过程中,主要存在四个方面的地质记录,分别为一系列地球化学成分多样的岩浆活动、SSZ型蛇绿岩、变质底板和玻安岩及其对应的铬铁矿床。特提斯造山带作为公认的研究板块构造理论尤其是初始俯冲的关键场所,一直备受地学界的重视。而土耳其南部构造带作为特提斯造山带的重要组成部分,亦是确定亚欧板块和阿拉伯板块之间缝合线存在的重要标志。该南部构造带是研究新特提斯洋俯冲起始的理想场所,上述关于俯冲初始的四个地质记录均保存良好,且有如下方面的重要特点:1)不同地区的镁铁质岩石甚至同一地区的镁铁质岩石具有不同的地球化学特征,从似洋中脊玄武岩,到过渡型岩石类型和玻安质岩石均有发育; 2)大部分蛇绿岩具有完整的序列,各单元及变质底板岩石中普遍发育侵入的基性岩脉,产状多变,是多期岩浆事件的产物; 3)蛇绿岩下部通常发育一套角闪岩相变质底板,且其年龄与蛇绿岩的形成年龄基本一致; 4)蛇绿岩中普遍发育铬铁矿床,以高Cr型为主,部分蛇绿岩中还赋存高Al-高Cr的过渡型铬铁矿,均被认为是幔源岩浆与地幔橄榄岩反应的产物。因而,这些地质体完整记录了新特提斯洋形成-俯冲-消减的演化过程。
- 陈晨苏本勋陈晨苏本勋林伟褚杨刘霞肖燕
- 关键词：蛇绿岩铬铁矿床
- 基于ISO9000和CMMs的需求开发和需求管理平台框架的研究被引量：19
- 2002年
- 文章通过分析国内外当前软件需求开发和需求管理中的主要技术和存在的主要问题,并在研究ISO9000和SW-CMM、SA-CMM在软件需求开发和需求管理要求的基础上,结合现代软件工程的需求实现技术,提出了基于ISO9000和CMMs的需求开发和管理平台框架,用于指导国内软件组织软件需求开发和需求管理的实践工作。
- 刘霞李怀璋王青李明树
- 关键词：ISO9000SW-CMMCMMS需求管理软件工程
- 软件测试过程管理与质量评价
- 武占春周津慧刘霞杨宗奎邓涛梁松李普孙勇孙勇
- 基于ISO/IEC9126的软件质量评价系统是一个基于ISO/IEC9126和ISO/IEC14598国际标准的面向软件的全生命周期，对产品质量进行有效、客观评价的工具。该工具采用B/S结构实现，适用于国内中小型软件开发...
- 关键词：
- 一种支持软件过程控制和改进的主动度量模型被引量：34
- 2005年
- 提出了一种支持软件过程控制与改进的主动度量模型 AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,给出了确定软件过程度量的原则、方法和步骤.基于该度量模型,软件组织一方面可以依据确定的过程目标,主动导出合适的度量过程;另一方面还可以依据度量的结果,识别过程改进的机会,并主动导出过程改进的方向.为正确的决策和成功的结果提供有效的支持.
- 王青李明树刘霞
- 关键词：软件过程度量决策支持
- 64位中文Linux操作系统Penguin64
- 李明树史兴国王青郭江孙岩杨立光董颖邹勇王继哲张津诗廖渊刘霞马波黄蒙邓涛
- 中国国家高技术发展计划863共创软件联盟和中国科学院软件研究所今天在北京推出全球第一个64位中文LINUX操作系统---中文PENGUIN64。这是由30多家著名高校、科研机构、企业和专业媒体组成的共创软件联盟自今年2月...
- 关键词：
- 关键词：操作系统中文LINUX
- 软件过程技术与质量保障平台
- 王青胡清华王建昌李怀璋何川武占春雷辉蒋晖周津慧于磊刘瑞刚淮晓永李牧陈晔张晓刚赵欣培姜楠杨秋松李娟薛云志袁峰刘霞董斐肖俊超周辉童立靖刘经纬解凡刘旸杨宗奎王巍廖渊邓涛余珂王绍恒朱丹枫
- 该成果提出了一个开放集成软件过程服务框架，形成一个融合过程、人（资源）和开发技术三个方面的、开放的软件过程服务集成管理体系。研制开发的具有开放性和灵活性的软件质量保证平台可支持CMM、CMMI、ISO9000、ISO15...
- 关键词：
- 国产基础软件应用支撑及开发环境研制
- 李明树王青丁治明王永吉周津慧杜栓柱武占春雷辉蒋晖陈烨孙丽霞张宇陈伟王朝辉吴锐舒风笛刘治国胡陈勇李涛王海涛邓涛黄蒙黎巎伍书剑杨秋松李浦姜楠刘豫平陶秋铭阮利曾海涛王秀利薛云志李娟刘霞王继喆
- 基于国产基础软件和相关开源软件，建立了基于国产系统软件的应用支撑环境和国产软件集成开发环境，其中应用支撑环境包括业务规则管理系统、工作流管理系统和数据整合系统；集成开发环境包括项目管理工具、过程管理工具、过程度量与分析工...
- 关键词：
- 关键词：基础软件
- 基于ISO/IEC9126标准的软件质量评价系统被引量：10
- 2004年
- 为量化且客观地对软件质量进行评价,提出了基于ISO/IEC9126标准的软件质量评价系统构架及实现方案.该实现方案贯穿于软件全生命周期,遵循用户质量目标驱动原则.依据用户要求的软件质量目标,选取评价指标集合进行质量评价,并指导用户实施过程改进.
- 杨宗奎周津慧刘霞王青
- 关键词：软件工程
- 一种软件体系结构适应性度量模型研究
- 随着技术、环境和用户需求的不断变化，适应性已经成为软件系统生存和成功的重要因素之一，对软件适应性的研究包括适应性的度量评价越来越成为研究的热点之一。对适应性的度量和评价可以在软件开发生命周期的各个阶段进行，研究表明越早发...
- 刘霞
- 关键词：软件体系结构
- 文献传递
- 基于模糊评价方法的软件质量评价研究被引量：36
- 2004年
- 针对软件质量评价研究中的度量问题建立了基于ISO/IEC 912 6标准的软件质量指标体系模型 ,结合质量评价方法研究中的常见问题 ,运用指标体系模型和模糊数学方法对软件质量评价标准进行模糊化处理 ,以度量数据为基础 ,根据软件质量子特性和指标之间的关系 ,采用模糊综合评价方法评价子特性质量和特性质量 ,通过建立软件质量评价模型 ,有效地解决了软件质量的多指标评价问题 ,可用于指导用户进行软件过程改进。
- 周津慧王宗杨宗奎刘霞
- 关键词：指标体系ISO/IEC
