共查询到20条相似文献,搜索用时 62 毫秒
1.
数据流图描述语言的研究与设计 总被引:6,自引:0,他引:6
数据流图是软件设计开发过程中概念模型设计的重要图形表示法,作为一种需求分析的通用方法它直观而且简洁。文章对数据流图设计一个形式化描述语言,并给出示例说明此语言的使用,将图示的数据流图以语言的方式进行描述。用该语言可对用户需求进行语义描述,以此获取用户需求的知识。研究的目的既给用户提供易于理解需求分析的方法也为下一步的逻辑设计提供依据。 相似文献
2.
本文给出了一个数据流图的存贮模型。并在此基础上,给出了数据流图的操作算法。可以解决SA方法中的文档管理。 相似文献
3.
由于De Marco的数据流图缺乏形式化的描述方法,本文提出了一种使用的综合知识表示模型MAS来形式化描述DDFD的新方法。使用此方法,能方便地建立一些有关DDFD的知识规则,并能对DDFD自动进行一致性和完全性检查。 相似文献
4.
数据流图模型在SOPC上的应用 总被引:1,自引:0,他引:1
介绍了基于DFG(数据流图)模型的分析和优化,用于数字仪器设计的SOPC系统的软硬件协同设计方法,这种方法基于数字信号处理算法的数据流图模型,并应用SOPC技术实现.DFG模型能帮助设计者将系统功能分别划分为硬件和软件,给出的便携式逻辑分析仪SOPC系统级和电路级的优化表明,DFG模型不仅对于结构优化和降低功耗非常有效,对于软硬件协同设计也很有用. 相似文献
5.
介绍了一个面向对象的智能的数据流图辅助生成系统,简述了系统的功能,系统的对象结构以及主要对象的数据结构,并提出了数据流图的形式化定义,在此基础上讨论了数据流图完整性约束条件的定义与完整性约束机制的实现。 相似文献
6.
《信阳师范学院学报(自然科学版)》2020,(4)
针对数据流环境中混合多种类型概念漂移问题,提出了基于图模型的数据流分类算法.该算法通过对数据块上的实例集进行概念表示,检测概念的变化度来衡量概念漂移,并引入了一个动态自适应阈值,为每个待分类实例合理选择基分类器模型,充分利用基分类器模型潜在的多样性并降低漂移恢复期间的分类误差.实验表明,本文提出的算法性能在多数数据集上优于其他算法,在复杂概念漂移环境下具有较好的适应性. 相似文献
7.
数据流图是软件需求分析阶段十分有用的图形化工具,在面向MIS的CASE的环境的开发与研究中,数据流图编辑器的设计与实现是其中一项主要内容。本文介绍了数据流图编辑器的各种处理技术,并给出了编辑器系统的框架,该系统采用BOLANDC^#编程实现。 相似文献
8.
9.
10.
11.
以内聚耦合准则为基础.在常规数据流图转换为结构图的设计方法中引入模糊聚类思想.把静态相似矩阵与动态模糊聚类方法相结合.进行数据流图向程序结构图的择优转换.避免了常规设计方法中因多种因素变化而涉及的大量重复的组合和运算工作. 相似文献
12.
在软硬件协同设计中,将数据流图作为软硬件划分问题的输入,建立了以数据流图为基础的软硬件划分数学模型.对于规模较大的划分问题,为了满足系统性能,达到功耗和成本最小化,提出了0-1背包分解算法,采用并行求解的方式,排除了绝大多数无最优解的子问题,从而改善了大规模划分问题的求解效率.实验结果表明在大规模问题和硬件约束条件下,该算法能获得行之有效的划分方案. 相似文献
13.
在带反馈环的数据流图的高层次综合调度中。提出了一种基于时间约束并考虑资源约束的调度算法.该算法利用了数据流图中的迭代内及迭代间的优先约束,采用retiming和流水线操作来进行并行的构造调度.提出的基于待调度稍点的retiming算法可以缩短常规的对调度空间搜索最优解的时间,从而快速地完成满足时间和空间约束的调度. 相似文献
14.
赵东范 《吉林大学学报(信息科学版)》1997,(2)
以形式化的方法论述了程序数据流分析的基本原理,给出了数据流表达式的概念。并在此概念的基础上,给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强,运用本算法不难开发出相应的程序测试辅助工具,具有一定的实用价值 相似文献
15.
16.
17.
利用神威OpenACC在"太湖之光"上成功移植了Silicon-Crystal应用,针对控制流驱动的OpenACC无法有效解决访存密集型应用带宽访存优化和跨时间迭代问题,通过数据流驱动的任务图并行化方法挖掘任务迭代间的并行性,利用任务间的错峰访存提高访存带宽。实验结果表明,神威OpenACC移植单核组获得2.26倍加速;时间步长为1时,任务图并行化移植后的该应用可获得2.52倍加速,性能较OpenACC提升11.5%;时间步长扩展至20时,任务图规模随之增加,任务的乱序调度使错峰访存的优势进一步扩大,整体应用达到3.2倍性能加速,性能较OpenACC提升42%。 相似文献
20.
高层综合中一种新的控制/数据流图表示形式 总被引:2,自引:1,他引:1
提出了一种新的控制/数据流图(CDFG)的格式,这种CDFG与过去一般所使用的CDFG的最大区别在于这里的CDFG引入了布尔节点的概念。文中介绍该这种新格式的具体细节;并给出了该CDFG的实例和表示它的数据结构,然后分析了由此带来的诸如提高综合速度等优点。 相似文献