舒风笛
- 作品数：33 被引量：208H指数：8
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划北京市科技计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向嵌入式实时软件的需求规约语言及检测方法被引量：10
- 2004年
- 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.
- 舒风笛毋国庆李明树
- 关键词：嵌入式实时软件可达图
- 面向开发阶段的软件缺陷分类方法研究被引量：8
- 2008年
- 提出一种面向开发阶段的软件缺陷分类方法Phase-DC,将缺陷和软件开发各阶段相关联,计算阶段及过程的缺陷排除有效性,并结合缺陷的类型和表现形式等详细信息分析开发过程的质量,以帮助软件组织促进并实施过程改进活动。通过实例说明了该方法在过程改进中的应用,并对方法的完备性、正交性和一致性进行了分析验证。
- 车美儒姜楠勾朗张荣辉舒风笛
- 软件工作量最优线性组合估算方法被引量：6
- 2008年
- 软件工作量估算的方法和技术众多且各有千秋,没有一种方法被证明在各种情况下的估算都是最精确的。组合估算是一种非常有效的估算方法,它避免了选择单一的最优估算方法这一难题,而是充分利用各种估算方法提供的信息来达到提高估算精确度和稳定性的目的。将系统的"外部"组合预测方法介绍到软件工作量估算领域,基于最具代表性的组合估算方法:最优线性组合方法,提出了软件工作量估算的最优线性组合方法,该方法中即使是估算效果"较差"的技术或者方法也能为估算精度和稳定性的提高做出贡献。
- 李奇舒风笛伍书剑刘雪强
- 关键词：组合预测多重共线性
- 图象数据关联规则挖掘被引量：31
- 2001年
- 本文在介绍了多媒体数据挖掘基本思想和图象数据主要特征基础之上 ,对图象数据关联规则挖掘进行了讨论 .首先对关联规则挖掘有关问题加以描述和分析 ,针对图象数据 ,定义了新的关联规则及其有关概念 ,并给出考虑项数量的原子特征和空间关系关联规则挖掘算法 Max Occur和 MAR- Spatial。
- 舒风笛毋国庆王敏
- 关键词：多媒体数据挖掘关联规则图象数据多媒体数据库
- 个性化领域知识支持的用户主导需求获取方法被引量：12
- 2007年
- 应用软件的需求获取与应用领域的特征密切相关,用户的参与日益受到重视,然而用户对系统的认识通常模糊且不完整,且对于多用户系统,需要拥有局部需求的多用户进行协同,才能得到完整、一致的需求.提出一种用户主导的需求获取方法,根据用户特征及其上下文环境,为用户进行需求定义提供个性化的领域知识支持,包括领域需求资产推荐和对多用户协同需求获取的建议.应用实例说明了该方法的可行性,且对于提高用户参与程度、改进领域知识重用效果,从而最终提高需求获取的质量具有积极意义.
- 舒风笛赵玉柱王继喆李明树
- 关键词：用户主导领域知识个性化用户偏好
- 一种软件缺陷报告分流方法及其系统
- 本发明公开了一种软件缺陷报告分流方法及其系统，属于计算机软件领域。本发明的方法为：首先从缺陷报告数据库中提取缺陷报告的报告标题、缺陷描述和重现步骤信息；然后将提取的每个缺陷报告中的上述信息建立成该报告的自然语言形式文本，...
- 李明树林中鹏舒风笛杨叶王青
- 文献传递
- 对象管理的空间连接策略与算法被引量：5
- 1998年
- 空间连接是空间数据库对象管理研究的一个至关重要问题，也是近年来研究的热点之一．本文讨论了对象管理的空间连接策略与过滤机制，并在G树的基础上提出一种新的空间连接算法，有效地解决了空间对象连接的效率问题．
- 曹加恒赵莉舒风笛舒风笛
- 关键词：对象管理面向对象空间数据库
- 嵌入式实时软件系统的需求规约与验证
- 该文针对嵌入式实时软件系统的需求规约和验证问题,提出了系统建模语言RTRSM,并以该语言为基础,展开全文,包括模型性质描述语言RITL的提出和相关规约验证问题的研究.需求属于问题空间,因此其研究应面向特定应用领域.针对E...
- 舒风笛
- 关键词：可达图
- 文献传递
- 一种基于缺陷驱动的迭代项目量化监控方法及其系统
- 本发明公开了一种基于缺陷驱动的迭代项目量化监控方法及其系统，属于计算机软件工程领域。本发明方法为：1)从软件过程数据库中提取稳定的历史过程，来建立迭代项目过程性能基线；2)利用迭代项目过程性能基线估算各次迭代的工作量、进...
- 王青勾朗姜楠李明树舒风笛
- 文献传递
- 一种面向嵌入式实时软件的需求建模语言
- 2005年
- 针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。
- 舒风笛毋国庆
- 关键词：嵌入式实时软件操作语义交互行为嵌入式实时系统形式语义
