陈燕
- 作品数：8 被引量：28H指数：2
- 供职机构：复旦大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- GDSS的评价研究
- 1998年
- 本文综合了GDSS的概念及概念结构;然后在概念基础上,提出了对GDSS进行评价的三阶段方法:初期的易学易用性评价,对于GDSS来说尤其是指在个体的易学易用性基础上群体的协调使用;中期的功能性评价,可以从沟通支持、模型支持和机器诱导的沟通模式三个层次或从GDSS的组成部件-模型和推理部件、数据和知识部件、界面和通讯部件来进行评价;和后期的影响性评价,着重从GDSS的社会性考察系统对群体和群体素质的影响(如群体自学习能力)以及对群体行为的影响,这将对系统的决策支持发挥作用。
- 陈燕刘雪岩薛华成
- 关键词：决策支持系统GDSSDSS
- 嵌入式系统模型驱动设计方法被引量：1
- 2006年
- 提出基于模型驱动构架的嵌入式系统模型驱动设计方法·首先建立UMLforSystemC语言元模型,以扩充UML对硬件平台相关模型的描述能力;然后分析模型变换的映射规则;最后基于系统平台结构模型和软硬件划分提供模型变换实现·该方法能自动地生成不同实现的SystemC系统模型,以加速系统设计空间搜索效率,支持嵌入式系统的快速开发和验证·
- 陈燕邱卫东杜玄彭澄廉
- 关键词：嵌入式系统模型驱动构架UMLSYSTEMC
- 一种实时异构嵌入式系统的任务调度算法被引量：23
- 2004年
- 异构分布式系统已被广泛应用在实时嵌入式系统中,而调度算法是在进行嵌入式系统综合时,确保系统实现性能目标的一个关键问题,这是一个NP-完全问题.现有的算法主要是启发式算法,性能还有待提高.提出了一个异构分布式系统的动态BLevel优先(dynamic BLevel first,简称DBLF)算法,算法选择就绪任务中动态BLevel值最大的任务进行调度,用插入法为任务分配处理器,遵循以下3个插入原则:满足任务先后顺序关系;任务的最早完成时间(earliest-finish-time,简称EFT)最小;在EFT相等时,优先分配到利用率较低的处理器上.与现有算法比较可以看出,DBLF算法可以有效降低调度长度.
- 邱卫东陈燕李洁萍彭澄廉
- 关键词：异构系统列表调度调度长度
- 非限定的概念获取表征重述方法被引量：2
- 2006年
- 基于知识的问题求解需要一个丰富而相对完备的概念系统,尤其是当任务具有领域非限定特征时。本文以认知心理学领域的表征重述模型为理论基础,提出了一种基于对象表征的概念系统表征与发展方法,详细研究了概念在4种不同水平下的表征和发展过程。该研究突破了人工智能和认知心理学领域在这一问题研究上的局限性,有助于提高基于知识的系统的推理能力和问题求解能力。
- 陈燕危辉
- 关键词：概念化语义系统
- 概念获取的框架表征重述方法被引量：1
- 2007年
- 基于知识的问题求解需要一个丰富而相对完备的信念系统,尤其是当任务具有领域非限定特征时。经典知识工程关于知识获取、表示与使用的方法只能适应领域受限问题,因为它不是从概念发展的角度来建构概念系统的,面临着Framework Problem。针对认知心理学对概念系统发展与表征问题研究有一定的认知深度同时又缺乏系统构造与实现机制研究的情况,提出了一种基于框架表征的概念系统表征与发展方法,详细研究了概念在内的隐水平I、外显水平E1、外显水平E2和外显水平E3上的表征和发展过程。这一研究对于提高基于知识的系统推理能力和问题求解能力具有显著意义。
- 施芸虹危辉陈燕
- 关键词：概念化知识表示语义系统
- GDSS会议组织者(facilitator)工作研究
- 1998年
- GDSS的发展是技术支持和组织扁平化的结果,本文提出了对会议组织者工作内容研究;会议组织工作、会议进程的计划与设计、会议的准备与开始、会议的进程控制。
- 陈燕刘雪岩
- 关键词：决策支持系统
- 基于SystemC描述的嵌入式系统的自动化验证被引量：2
- 2004年
- 基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .
- 陈燕杜玄彭澄廉
- 关键词：嵌入式系统面向方面编程自动化
- UML模型到代码的自动生成——Together开放API的应用
- 2004年
- 本文介绍了Borland Togetherld开放API(Together Open API)内容和velocity的模板技术，并且结合两个技术给出了UML模型到代码的自动转换实例。
- 杜玄陈燕
- 关键词：UML模型代码自动生成开放API自动转换
