确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

一种异步多线程的Web数据流高效处理模型

提出并实现了异步多线程的Web数据流高效处理模型．主要工作包括：(1)分析了传统web数据流处理模式并发处理机制的不足,用大流量并发请求和复杂数据流环境的实验揭示了传统模式的弱点;(2)提出了一种新的基于分而治之思想的多线程缓冲处理模型MTBP(Multithreads-buffering Processing Model),它利用异步处理机制高效灵活地处理各类复杂的web数据流;(3)提出了MTBP模式用于处理并发可串行化事务的调度算法CSTS;(4)实验验证MTBPCSTS对大量并发数据流请求的处理速度提高到2倍以上,对复杂数据流处理的响应速度提高到1个数量级以上．     

两种有代表性软件图自动布局的研究

研究软件图自动生成中的软件图自动布局问题．把软件图分为无向的和有向的两大类，对于无向软件图，选择Ｅ－Ｒ图作为其代表；对于有向软件图，选择数据流图作为代表．对这两种图，分别给出其可读性准则，并建立了Ｅ－Ｒ图的行列整齐对联结式布局算法和数据流图的主流向式布局算法     

Dynamically Computing Approximate Frequency Counts in Sliding Window over Data Stream

This paper presents two one-pass algorithms for dynamically computing frequency counts in sliding window over a data stream-computing frequency counts exceeding user-specified threshold ε. The first algorithm constructs subwindows and deletes expired sub-windows periodically in sliding window, and each sub-window maintains a summary data structure. The first algorithm outputs at most 1/ε ＋ 1 elements for frequency queries over the most recent N elements. The second algorithm adapts multiple levels method to deal with data stream. Once the sketch of the most recent N elements has been constructed, the second algorithm can provides the answers to the frequency queries over the most recent n （ n≤N） elements. The second algorithm outputs at most 1/ε ＋ 2 elements. The analytical and experimental results show that our algorithms are accurate and effective.     

图书发行自动化集成系统

文章分析了一套针对图书发行工作设计的自动化管理系统，其中包括数据维护，查询统计，报表打印和系统管理等功能模块，通过E—R模型和关系模式的建立，以及数据流图，面向对象等方法，利用VisualFoxPro语言，实现了一系列的实用新技术及人性化功能，具有一定的可移植性和推广价值。     

多通道中频采样数字下变频应用技术研究

针对多通道数字接收中幅相一致性和大带宽的难点,提出了一个20通道中频采样数字下变频的技术方案。该方案为多通道数字下变频的数据流同步和通道间幅相一致性问题提供了保证措施,对IQ不平衡进行了分析,实现了20通道80MHz中频采样20 MHz带宽的实时数字下变频处理。测试结果表明,系统各通道具有良好的数据同步性、通道间幅相一致性和IQ平衡性。     

数据流上异常数据的在线检测与修正

给出了带有遗忘因子改进的Kalman滤波预测算法,能够检测未来时刻的异常数据;提出了一种新颖的数据流上的异常数据修正方法,应用插值小波根据连续异常数据数量的不同,实现了可变插值尺度的异常数据修补,能够自适应修正精度.在实际电力负荷数据上的仿真实验证明这种方法可以在线准确地检测到异常数据,并能提供精确的异常数据修正.     

数据流窗口查询语义的局限性及改进方法

在数据流处理系统普遍使用滑动窗口查询模型来解决数据流的持续查询问题.对一些特殊的查询类型,在使用滑动窗口查询时无法完全达到查询要求,通过引入条件窗口对滑动窗口模型进行更一般化的扩展和改进,可以解决滑动窗口语义在处理这一类型查询中的局限性.