您的位置： 专家智库 > >

陈璐希

作品数：8 被引量：0H指数：0
供职机构：上海交通大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 7篇体系结构
  • 6篇软件体系结构
  • 2篇动态重配置
  • 2篇形式化
  • 2篇形式化定义
  • 2篇软件生命周期
  • 2篇图文法
  • 2篇重配置
  • 2篇理想解
  • 2篇马尔科夫
  • 2篇马尔科夫链
  • 2篇故障树
  • 2篇规约
  • 1篇信息熵
  • 1篇设计缺陷
  • 1篇失效模式
  • 1篇树模型
  • 1篇体系结构描述...
  • 1篇贴近度
  • 1篇普适计算

机构

  • 8篇上海交通大学

作者

  • 8篇陈璐希
  • 7篇黄林鹏
  • 4篇李晨
  • 2篇付晓宇
  • 2篇苏冠男
  • 1篇陈俊清
  • 1篇杜思奇

传媒

  • 1篇中国科技论文

年份

  • 1篇2018
  • 1篇2017
  • 2篇2016
  • 3篇2015
  • 1篇2012
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
面向软件体系结构模型的可信性评估方法
本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breez...
黄林鹏陈璐希李晨吴惜文
文献传递
面向体系结构的综合化风险优先数计算方法
本发明提供了一种面向体系结构的综合化风险优先数计算方法，通过在软件体系结构层级利用模糊数对FMEA中的三个风险因子(出现频度、严重程度和发现指数)进行评估；其中，出现频度和发现指数通过结合构件复杂度和专家经验来确定，同时...
黄林鹏付晓宇陈璐希苏冠男
面向软件体系结构模型的可信性评估方法
本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breez...
黄林鹏陈璐希李晨吴惜文
文献传递
一种面向普适计算的动态更新模型
2012年
首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性。
杜思奇黄林鹏陈俊清陈璐希
关键词：普适计算分布式进程代数
面向网构软件的系统建模与质量保障技术研究
网构软件诞生于开放、难控的新型互联网环境下，具有动态多变、自适应演化、多目标性等特征，给传统软件开发过程带来了新的挑战，受到国内外研究者的广泛关注。为适应网构软件的发展需求，需要探讨新型网络环境下网构软件系统内在的基本规...
陈璐希
关键词：网构软件体系结构描述语言
文献传递
面向体系结构的综合化风险优先数计算方法
本发明提供了一种面向体系结构的综合化风险优先数计算方法，通过在软件体系结构层级利用模糊数对FMEA中的三个风险因子(出现频度、严重程度和发现指数)进行评估；其中，出现频度和发现指数通过结合构件复杂度和专家经验来确定，同时...
黄林鹏付晓宇陈璐希苏冠男
文献传递
利用支持体系结构动态变化的图文法验证体系结构的方法
本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素...
黄林鹏李晨陈璐希吴惜文
文献传递
利用支持体系结构动态变化的图文法验证体系结构的方法
本发明提供了一种利用支持体系结构动态变化的图文法验证体系结构的方法，通过对通用图文法中图的形式化定义进行扩展，引入了接口、接口标签集、状态及附加属性，能够从高层抽象软件系统的组成结构、连接方式以及系统结构配置及属性等要素...
黄林鹏李晨陈璐希吴惜文
文献传递
全选 清除 导出
共1页<1>
聚类工具0