吴斌
- 作品数：5 被引量：5H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 用方面化特征模块开发OpenRISC1200软核
- 2011年
- 对OpenCores上的OpenRISC1200项目(简称OR1200)的统计发现,条件编译指令的使用高达714次,嵌入在条件编译指令间的代码占代码总量的61.60%。条件编译在硬件开发中被大量使用,但在软件开发时却并不提倡。因此,本文提出用方面化特征模块(AFM)开发硬件系统,以避免条件编译指令的使用。作为案例,本文给出用AFM重新开发OR1200项目的过程,它使得OR1200各features的开发从同时开发变为顺序开发,使得服务于各feature的代码从纠缠在一起变为相互独立,有利于OR1200的维护和调试。最后,基于OR1200的开发过程,本文建立了一套AFM开发方法下的硬件系统的形式化模型,它是进一步的形式化验证工作的基础。
- 吴斌叶俊
- 自适应网构软件的集成开发环境SADE被引量：3
- 2010年
- 网构软件通常驻留在动态、开放的环境中，需根据环境变化展示自适应和自演化能力，代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战.本文介绍了一个基于Agent的网构软件集成开发环境SADE，它建立在一组网构软件关键技术基础之上，包括：基于Agent的网构软件抽象和构造，动态绑定的自适应和自演化机制，基于组织抽象的软件开发方法学ODAM，自适应和自演化策略描述语言SADL等.论文分析了SADE的技术框架以及各个组成部分，包括网构软件分析和设计工具集ODAMTools、编程工具集、运行支撑平台等；最后通过案例分析阐述了如何利用SADE来进行网构软件开发.
- 毛新军李学斯尹俊文董孟高胡翠云吴斌
- 关键词：网构软件AGENT自适应
- 自适应网构软件的集成开发环境SADE
- 网构软件通常驻留在动态、开放的环境中，需根据环境变化展示自适应和自演化能力，代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战．本文介绍了我们所开发的网构软件集成开发环境SADE，它建立在我们...
- 毛新军李学斯尹俊文董孟高胡翠云吴斌
- 关键词：集成开发环境
- 文献传递
- Feature Verilog及IPPL开发方法
- 为提高IP软核的可重用性,IP软核中往往具有较多的可配置项并大量使用条件编译指令实现,这使IP软核的代码混乱,难以理解,给维护和使用都带来了问题。本文首先提出了IP软核产品线/(简称IPPL/)的概念,即针对同一项目开发...
- 吴斌
- 关键词：IP软核软件产品线VERILOG
- 文献传递
- 自适应系统软件传感器设计与实现被引量：2
- 2010年
- 随着Internet的普及应用,越来越多的软件系统运行在开放的环境中,需要感知和适应环境的变化。如何支持这类复杂软件系统的开发和运行已经成为当前软件工程面临的一项重要挑战。针对自适应系统与其驻留环境的交互问题,将自适应系统中的软件实体抽象为自主Agent,提出了自主Agent感知环境变化的软件传感器及其与环境的动态关联思想,给出了软件传感器的设计和实现。不同于已有研究,将软件传感器视为一类特殊的软件Agent。最后通过案例分析展示了上述思想和技术的可行性和有效性。
- 吴斌毛新军董孟高李学斯
- 关键词：自适应AGENT感知软件传感器
