依赖图

作品数:210被引量:387H指数:8
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:孙立镌李必信张迎周苏小红王远志更多>>
相关机构:中国科学院哈尔滨工业大学南京大学北京大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划江苏省自然科学基金黑龙江省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与应用x
条 记 录,以下是1-8
视图:
排序:
Slithice:一个基于系统依赖图的Java程序切片工具被引量:3
《计算机工程与应用》2014年第2期31-34,共4页钱巨 陶彬贤 
国家自然科学基金(No.60903026;No.61100034)
当前程序切片的相关理论已经较为成熟,但针对Java程序的静态切片工具却非常少见。为便于展开切片应用研究,设计并实现了一个基于系统依赖图的Eclipse切片插件——Slithice。该插件支持不同粒度的底层分析和系统依赖图构建,从而可以使切...
关键词:JAVA 程序切片 静态 
特征模型直接操作技术的研究
《计算机工程与应用》2011年第12期146-148,176,共4页孙立镌 王海龙 孙大松 
国家自然科学基金No.60173055~~
目前的语义特征造型系统,由于约束求解的速度比较缓慢,还不能支持直接操作的特性。利用特征依赖图的数据模型来保存和维护特征的信息及其之间的依赖关系,并且提出了约束操作算法和特征操作算法,将特征的操作局限在模型的特定区域内。该...
关键词:语义特征造型 约束求解 直接操作 特征依赖图 
语义特征建模系统中参数范围计算的研究被引量:2
《计算机工程与应用》2011年第5期13-16,共4页金瑛浩 孙立镌 
国家自然科学基金No.60173055~~
在语义特征CAD系统中,特征参数的确定是一个十分耗时且需要反复实验和调整的过程。为了在创建特征的同时能够迅速为设计者给出特征参数值的适当范围,提出了一种改进的方法。该方法使用特征语义表示法来描述产品特征的各种信息,简化了"...
关键词:特征语义 参数范围计算 细胞元模型 计算机辅助设计(CAD) 特征依赖图 
并行程序验证的调度策略被引量:1
《计算机工程与应用》2009年第11期39-41,共3页肖增良 何锫 康立山 
国家自然科学基金No.60473081;武汉大学软件工程国家重点实验室资助项目(No.SKLSE20080701)~~
针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机...
关键词:程序验证 并行调度 语法分析树 依赖图 依赖集 
语义特征造型中特征修改优先准则的研究被引量:1
《计算机工程与应用》2007年第29期36-39,共4页高雪瑶 孙立镌 
国家自然科学基金( the National Natural Science Foundation of China under Grant No.60173055)
特征造型技术是新一代CAD系统的关键技术,是产品模型技术的核心。该文讨论了以细胞元模型为基础的语义特征造型技术。在语义特征造型中用特征依赖图(FDG)的数据模型来保存和维护设计中的各种特征信息及其之间的关系,在此基础上分析了依...
关键词:语义特征造型 细胞元模型 特征依赖图 特征优先级 
协同语义特征造型系统的研究被引量:2
《计算机工程与应用》2007年第15期50-52,192,共4页孙立镌 高雪瑶 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60173055) ;黑龙江省教育厅科学技术开发项目 (the Research Project of Department of Education of Heilongjiang Province of China) 。
针对目前大多数造型系统都是面向单用户环境开发,且造型过程依赖于特征的创建历程,提出以基于细胞元的语义特征造型系统为基础,采用B/S和C/S相结合的方式构造协同框架,进行协同造型的方法。介绍了系统的逻辑设计及网络实现方法。系统可...
关键词:语义特征造型 细胞元模型 特征依赖图 协同设计 
基于ISDG的面向对象程序分片技术研究
《计算机工程与应用》2007年第4期85-89,136,共6页朱炎 蔡国永 
程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待...
关键词:程序分片 系统依赖图 方法分片 面向对象 
一种C++程序的分层切片方法
《计算机工程与应用》2003年第23期132-134,共3页任凌燕 刘坚 
国家部委预研基金资助
该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C+...
关键词:程序切片 分层切片 依赖图 C++程序 
检索报告 对象比较 聚类工具 使用帮助 返回顶部