数据流图图形编辑工具的主要算法

本文在文的基础上研究并提出了数据流图图形编辑工具的主要算法，包括数据流图目录的算法和数据流线的画线算法。     

数据流图图形编辑工具的设计与实现

本文研究了数据流图图形编辑工具的基本功能和数据结构，提出了一个设计和实现方案，并探讨了数据流图的局部语法问题，给出了相应的局部语法规则集。     

嵌入一致图语法的依赖图

图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.     

分层数据流图的自动生成与布局

本文讨论分层数据流图ＨＤＦＤ的自动生成，布局及其ＯＯＰ实现技术。文中提出了规范化数据流图的概念及基于最佳布局路径和最小进层规则的布局算法。     

数据流分析的图文法途径

数据流分析是计算机科学的重要研究领域，本文通过分析可归纳流图和半结构图文法的特点，提出了使用半结构流图文法进行数据流分析的方法。     

基于实例在软件数据流图模块划分方法的研究

提出了一个基于实例的软件数据流图模块划分的方法和实现过程。该方法是基于系统所记忆的以往的实例来推理解决所面临的数据流图模块划分问题的，它提高了软件数据流图模块划分的有效性，科学性和可操作性。     

控制传布图到结构图的转换算法

控制传布图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文详细讨论了如何从控制传布图转换为结构图,给出了转换算法,从而,该算法与文[4]所提出的控制传布图算法一起完成了数据流图到初始结构图的半自动转换。     

软硬件划分中基于一种新的层次化控制数据流图的粒度变换

在一种控制数据流图定义的基础上,提出了面向软硬件划分中粒度选择的粒度变换方法．变换以层次化结点为中介,包括合并和展开操作,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性．分析表明,这一变换过程简单快速,变换前后功能一致、形式统一,能很好地满足软硬件划分中粒度选择的需要．     

信息系统数据流图描述方法的研究

本文介绍了一种对信息系统数据流图进行描述的方法和实现算法。根据这种描述，可以由计算机自动分析绘制出数据流图和产生数据字典中的基本内容。     

软件图语言的形式描述

本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念，其次研究软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的文法，使图文法更适合于表示软件图语言。本文工作可以作为设计面向软件图语言的软件工具的基础。     

基于DFA将DOS软件Windows化研究

数据流分析（DFA）是软件开发过程中的一项有意义的工作。其成果为软件的数据流图（DFD）。对于早期开发的软件系统,将其由DOS环境升级到Windows环境,一方面是设计友好的用户界面,这可借助于Windows环境下集成化软件开发工具完成;另一方面是实现信息传递、数据处理功能,可基于软件的数据流图从DOS源代码继承过来。文章以TurboC2．0和VisualC＋＋5．0为例,对这一思路进行了初步研究。     

Optical flow estimation for motion-compensated compression

The computation of optical flow within an image sequence is one of the most widely used techniques in computer vision. In this paper, we present a new approach to estimate the velocity field for motion-compensated compression. It is derived by a nonlinear system using the direct temporal integral of the brightness conservation constraint equation or the Displaced Frame Difference (DFD) equation. To solve the nonlinear system of equations, an adaptive framework is used, which employs velocity field modeling, a nonlinear least-squares model, Gauss–Newton and Levenberg–Marquardt techniques, and an algorithm of the progressive relaxation of the over-constraint. The three criteria by which successful motion-compensated compression is judged are 1.) The fidelity with which the estimated optical flow matches the ground truth motion, 2.) The relative absence of artifacts and “dirty window” effects for frame interpolation, and 3.) The cost to code the motion vector field. We base our estimated flow field on a single minimized target function, which leads to motion-compensated predictions without incurring penalties in any of these three criteria. In particular, we compare our proposed algorithm results with those from Block-Matching Algorithms (BMA), and show that with nearly the same number of displacement vectors per fixed block size, the performance of our algorithm exceeds that of BMA in all the three above points. We also test the algorithm on synthetic and natural image sequences, and use it to demonstrate applications for motion-compensated compression.     

一种鲁棒的视频分割算法

无论是在图象识别，还是在基于MPEG－4的图象压缩编码等应用领域，视频对象分割取是其中一个很重要的技术环节，为了在静止背景的情况下，能很好地解决多目标分割的问题，同时能进行单目标的分割，提出了一种鲁棒性较好的视频分割算法，该算法通过对图象序列中每连续3 帧图象进行对称差分，首先检测出目标的运动范围，然后通过对差分结构进行聚类分析来确定该帧图象中视频对象的个数，接着再利用在二值差分图象上收缩的活动轮廓，把视频对象的轮廓精确地包围起来，即得到该帧分割结果；最后利用光流法来对视频对象进行投注跟踪，修正，另外还利用多个图象序列对该方法进行了试验，实验结果表明，在静止背景下，该算法无论是对运动的单目标，还是对运动的多目标，均能较好地从静止背景中分离出来，即能得到理想的分割结果，故具有一定的鲁棒性和实用性。     

Half-sweep imaging for depth from defocus

Depth from defocus (DFD) is a technique that restores scene depth based on the amount of defocus blur in the images. DFD usually captures two differently focused images, one near-focused and the other far-focused, and calculates the size of the defocus blur in these images. However, DFD using a regular circular aperture is not sensitive to depth, since the point spread function (PSF) is symmetric and only the radius changes with the depth. In recent years, the coded aperture technique, which uses a special pattern for the aperture to engineer the PSF, has been used to improve the accuracy of DFD estimation. The technique is often used to restore an all-in-focus image and estimate depth in DFD applications. Use of a coded aperture has a disadvantage in terms of image deblurring, since deblurring requires a higher signal-to-noise ratio (SNR) of the captured images. The aperture attenuates incoming light in controlling the PSF and, as a result, decreases the input image SNR. In this paper, we propose a new computational imaging approach for DFD estimation using focus changes during image integration to engineer the PSF. We capture input images with a higher SNR since we can control the PSF with a wide aperture setting unlike with a coded aperture. We confirm the effectiveness of the method through experimental comparisons with conventional DFD and the coded aperture approach.     

一种优化的数据流驱动的微服务化拆分方法

近年来,微服务架构已经成为软件工程领域比较流行的架构风格,其天然支持DevOps和持续交付、以及可伸缩性、可扩展性好等特性驱动着业界实践者纷纷向微服务架构迁移.然而,采用微服务架构也面临诸多挑战,其中最关键的是缺乏自动化、一体化的解决方案来高效支持面向微服务的拆分设计以及候选微服务架构的评估.为了应对该挑战,本文对已有的数据流驱动的服务拆分方法的局限问题（例如,效率和灵活性）进行改进,在此基础上提出了一种优化的服务拆分方法（DFD-A）.该方法通过动静态分析相结合的方式实现了更加高效的数据流信息自动化收集,同时采用了两阶段的聚类算法来取代完全基于自定义规则的服务拆分算法.本文同时实现了原型工具来支持从数据收集分析、服务拆分到候选微服务架构评估的完整且自动化的过程.案例研究结果表明本文所提出优化方法DFD-A及其原型工具在保证拆分结果有效性的基础上,可以更加高效且灵活地支持面向微服务的自动化拆分与评估.     

从数据流图到模块结构图的自动转换系统

本文论述了从数据流图（ＤＦＤ）到模块结构图（ＭＳＣ）自动转换系统的设计与实现。提出了用于中间转换的有向控制图（ＤＣＤ）的概念，旨在实现从ＤＦＤ导出ＭＳＣ的自动化。     

DFDL—辅助结构分析的软件工具

本文讨论了结构分析的软件民具数据流图语言（ＤＰＤＬ）的设计和实现。ＤＦＤＬ具有结构简单、实现方便、易学易懂等特点。同时，它解决了用图形方式编辑、修改ＤＦＤ所遇到的困难。ＤＦＤＬ是软件开发的有利工具。     

超大规模集成电路可调试性设计综述

随着硬件复杂度的不断提高和并行软件调试的需求不断增长,可调试性设计已经成为集成电路设计中的重要内容.一方面,仅靠传统的硅前验证已经无法保证现代超大规模复杂集成电路设计验证的质量,因此作为硅后验证重要支撑技术的可调试性设计日渐成为大规模集成电路设计领域的研究热点.另一方面,并行程序的调试非常困难,很多细微的bug无法直接用传统的单步、断点等方法进行调试,如果没有专门的硬件支持,需要耗费极大的人力和物力.全面分析了现有的可调试性设计,在此基础上归纳总结了可调试性设计技术的主要研究方向并介绍了各个方向的研究进展,深入探讨了可调试性结构设计研究中的热点问题及其产生根源,给出了可调试性结构设计领域的发展趋势.     

Proposing an information flow analysis model to measure memory load for software development

System analysis is used to develop application software. However, the conventional approach has difficulty to ensure that the software has high user-satisfaction. This research uses the user's memory load to measure the degree of satisfaction of application software. An information flow analysis model is proposed for analyzing the degree of memory load. Ten types of operations, including six internal operations and four external operations, are adopted to measure the memory load. The conventional data flow diagram (DFD) and state transition diagram (STD) are modified by adding more functional components to estimate the memory load. The information flow analysis is demonstrated by building a qualitative analysis software which requests heavier mental works but has simple software architecture.     

A two-stage MMSE multiuser decision feedback detector using successive/parallel interference cancellation

In this paper, we present a novel two-stage minimum-mean-squared-error (MMSE) multiuser decision feedback detector (DFD) for code division multiple access systems working in the frequency-selective multipath fading environment. The first stage of the proposed cascaded structure is the noise-predictive successive DFD (NP-S-DFD), in which the active users are detected successively using the conventional bell labs layered space-time (BLAST) ordering criterion. The second stage includes an adaptive successive/parallel DFD (SP-DFD), which uses the tentative decisions obtained at the first stage for multiuser interference cancellation and data detection. Therefore, the proposed two-stage DFD may be called noise-predictive successive SP-DFD (NP-S-SP-DFD). Simulation results are presented to demonstrate the substantial improvement in the bit error rate performance of NP-S-SP-DFD over the conventional single-stage and cascaded DFDs. It may be inferred that the proposed DFD provides additional performance gain, when the order in which the users are detected is optimized according to the BLAST ordering based on MMSE criterion.