摘要：并行计算技术的飞速发展给软件测试带来了新的要求．并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试．文中所介绍的并行软件的测试工具——ＰａｒＣＴ （ｐａｒａｌｌｅｌＣ－ｌａｎｇｕａｇｅ ｔｅｓｔｉｎｇｔｏｏｌｓ）主要是面向控制流的．文中介绍了ＰａｒＣＴ的运作机制及其主要功能：通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度，从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标．在此基础上，还对并行测试工具所面临的一系列新课题，诸如进程的实时跟踪、面向控制流的测试产生（ｔｅｓｔｇｅｎｅｒａｔｉｏｎ）算法、面向多线程的测试工具、并行程序的时序测试（ｔｉｍ ｉｎｇ ｓｅｑｕｅｎｃｅ ｔｅｓｔｉｎｇ）等。

摘要：提出一个支持并发处理和透明存取的分布式系统模型,并讨论数据分布策略和支持数据库并行操作的数据组织方法.这一计算模式适宜于“企业级”分布式网络信息系统的设计与建设.

摘要：针对存储系统中对存储容量和存储带宽的要求不断提高,设计了一款高性能的超大容量数据存储器。该存储器采用NAND Flash作为存储介质,单板载有144片芯片,分为3组,每组48片,降低了单片的存储速度,实现了576 Gbyte的海量存储。设计采用FPGA进行多片NAND Flash芯片并行读写来提高读写带宽,使得大容量高带宽的存储器得以实现。针对NAND Flash存在坏块的缺点,提出了相应的管理方法,保证了数据的可靠性。

摘要：针对营养钵苗机器人嫁接工序繁多和时间长的问题 ,为了提高嫁接速度 ,采用双CPU系统对机器人进行控制。设计的机器人控制系统按功能划分为识别和嫁接 2个子系统 ,识别子系统主要实现取苗及子叶方向和生长点高度的识别 ,嫁接子系统控制对砧木和穗木进行搬运、切削、接合、固定及排苗等。通过I/O接口 ,2个CPU可互通信息 ,以协调动作 ,实现了对嫁接机器人的并行控制。样机作业试验结果表明 ,采用该控制系统的嫁接机器人作业速度可达 36 0～ 4 80棵 /h ,与传统的单CPU顺序控制系统相比 ,工作效率提高了将近 1倍。

摘要：针对谐波检测系统中FFT运算器实时性差和精度低的问题,基于FPGA采用了浮点运算、并行操作和流水线结构相结合的方法,最大限度地提高谐波检测的精度和速度。FFT运算器用VHDL语言设计实现,采用EP2C35F672C6芯片进行综合实现,通过quartus II7.2工具进行时序仿真。仿真结果表明,当系统工作频率为100MHz时,完成1 024点浮点数的FFT需要67μs,此处理时间远小于1 024点序列的采样时间,满足了谐波检测系统实时性的要求。

摘要：本文介绍了多线程技术的概念及其基本工作过程。讨论了它在高性能电子设计自动化领域的实际应用、发展潜力及其所带来的良多益处。

摘要：本文针对数据中心等信息设备集中环境下,单路键盘/鼠标/显示器的KVM设备在多信息设备同时管理维护时效率较低且易误操作等不足,设计实现了一款基于FPGA的多路KVM切换器,该KVM切换器可完成多路PS/2键盘鼠标信号与视频信号在多主机间的快速切换,并支持PS/2键盘、鼠标设备热插拔。与当前主流的KVM切换器仅支持1套键盘、鼠标、显示器进行串行运维操作相比,本文设计的KVM切换器支持2套键盘、鼠标、显示器并行操作,能够有效提升运维效率。

摘要：本文提出了区间时序逻辑的一个变种——投影时序逻辑，给出了它的语法规则和语义定义，并建立了该逻辑系统的模型理论。在该逻辑系统中，我们引入了一个新的投影操作符(prj)。这使得我们不仅能够在不同的时间层次上控制进程的并行操作，而且可以以该操作符为基础定义顺序操作符(chop)和并行操作符(‖)。因此，该逻辑系统比区间时序逻辑具有更强的表达能力。同时，本文也给出了与投影操作相关的一些性质。

摘要：多线程是指一个进程可以划分为多个线程,每个线程轮流占用CPU运行时间和资源,或者说,把CPU时间划成片,每个片分给不同的线程,这样,每个线程轮流的"挂起"和"唤醒",由于时间片很小,给人的感觉是同时运行的。多线程带来如下好处:避免瓶颈、并行操作及提高效率;在多线程中,通过优先级管理,可以使重要的程序优先操作,提高了任务管理的灵活性。本次设计的多线程下载器设计主要解决如下问题:(1)通过多线程技术,实现多线程下载,提高网络下载速度。(2)通过线程监听实现断点续传,可分时段下载。