李长德 作品数:5 被引量:33 H指数:2 供职机构: 西北工业大学计算机学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
基于CSP的构件化嵌入式软件能耗分析与评估方法研究 被引量:19 2009年 随着嵌入式系统的发展,构件化软件开发技术已成为嵌入式软件开发的发展趋势.嵌入式系统通常是能源有限系统,如何在构件化嵌入式系统开发前期对其能耗进行分析与评估,发现系统能耗特性设计缺陷,从而提高开发效率,降低开发成本,已成为嵌入式系统设计的一个挑战.文中从构件化嵌入式软件体系结构出发,采用基于路径的系统能耗分析评估方法,在嵌入式系统架构设计阶段对其能耗特性进行分析与评估.在此评估体系中,软件体系结构应用进程代数语言CSP进行形式化描述,能耗特性在构件接口级别定义,最终建立了以CSP迹模型为基础的基于路径的系统能耗分析评估模型.文章最后通过案例分析验证了该模型分析方法的正确性和有效性. 张滕滕 吴晓 李长德 董云卫关键词:接口 体系结构 能耗 X86架构下VxWorks快速启动分析与实现 被引量:1 2007年 一次引导启动可大大缩短X86架构下VxWorks的启动时间,却面临引导映像大小受限的问题。采用程序动态加载的方法,使得系统映像和普通应用模块相分离,依次启动,从而有效控制了引导映像大小,实现紧急任务在VxWorks中的快速启动。 王前 吴晓 李长德 吴勇英关键词:VXWORKS 动态加载 构件化嵌入式软件可靠性预测模型 被引量:1 2011年 由于传统的基于黑盒的可靠性建模方法不适合构件化软件开发,所以如何利用软构件的可靠性,预测分析嵌入式系统的可靠性成为一个亟待解决的问题.考虑到构件开发者与使用者相分离的特征以及构件化软件的组装方式,综合应用构件可靠度属性、用户使用剖面以及系统架构,建立了一个构件化软件可靠度分析预测模型.此模型的核心思想包括:软件的架构建模为离散马尔科夫状态机模型,将并行、冗余、调用等复杂结构通过视图映射转换为状态机模型;构件的开发者给出构件每个接口的可靠性,构件应用者按构件级、接口级两个层次给出构件的使用剖面,据此可计算出构件在不同应用场景的可靠度. 李长德 周兴社 董云卫关键词:可靠性 架构 嵌入式软件 基于粒度进化计算的KDD技术分析 2009年 知识发现(KDD,Knowledge Discovery in Databases)是从数据中获取知识的一种智能信息处理技术。从分析进化计算的产生根源入手,探讨了以人类进化为核心的文化进化机制,提出粒度进化的两个层次群进化和超群进化,并将两者有机结合。文中在深入研究现有的知识发现的基础上,对"发现用户感兴趣的知识"、提高分类效率和准确性等问题进行了研究,提出了部分解决方法和思路。 齐勇 李长德 王前关键词:知识发现 智能体 XML数据存储方式的性能评价研究 被引量:12 2006年 论文介绍了文件系统、NativeXML数据库和XML-enabled数据库三种XML数据存储方式的基本原理,提出了以查询响应时间为性能指标、以XMark为基准测试工具的性能评价方法,设计并完成了对比文件系统和Xindice系统的实验,分析了结论。 於志勇 杨志义 於志文 李长德关键词:XML 查询 性能评价