并行程序设计中粒度的组合和调度

从程序粒度的概念出发，介绍粒度的表示，以及程序的粒度图．在此基础上，进一步探讨粒度的组合与程序的并行调度．     

直接模拟蒙特卡罗方法的并行方案设计

针对直接模拟蒙特卡罗方法（Direct Simulation Monte Carlo,DSMC)方法的特点，提出了3种DSMC程序的并行方案，同时，对3种并行方案各自的优缺点进行了论述，并选择了各节点间程序相关性最小的并行方案，将其应用于稀薄气体二维微通道问题的求解，结果表明，串行程序与并行程序的计算结果完全吻合，并且得到了较高的并行效率，且并行效率随节点数的变化并非单调，而是有一个峰值。     

基于因果关系复合的结构化并行程序设计

基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ理论，提出了一种结构化并行程序设计方法，以支持不同并行平台的“通用”并行程序设计方法．因果关系复合的范式定理的证明在理论上保证了采用“ＳＥＱＯＦＰＡＲ”形式进行结构化并行秩序设计的可行性；良好的代数性质也使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其他并行程序设计模型和方法相比，提供了一种非常自然地综合描述数据并行和控制并行的途径；特别是基于代数变换的程序变换技术，提供了一种既独立于具体的体系结构又可高效实现的可能性．     

电火花线切割机床数据输入系统的改进

用通用计算机模拟程控机头，通过计算机的并行打印端口将加工程序输入到线切割机床控制器的内存中，极大地减少程序输入的误码率，提高生产率和改善了工作条件，对加工形状复杂的工件有重要意义。     

基于数据依赖关系的程序自动并行化方法

针对目前大量串行遗产程序无法在高性能并行计算机上高效运行的问题,提出一种基于数据依赖关系分析技术的程序自动并行化方法,采用数据依赖关系分析技术对串行程序进行分析,将串行程序中基本块分成两类:彼此间具有依赖关系的基本块和彼此间无依赖关系的基本块,通过对无依赖关系的基本块进行并行处理实现串行程序的自动并行化,从而解决了在对串行程序自动并行处理时开销增大的缺点,并得到较好的并行优化结果.实例分析结果表明,该方法可以识别出可并行执行的基本块,实现串行程序的自动并行化.     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

离心泵性能测试系统的设计与实现

本文介绍了该离心泵性能测试系统的测试原理及测试过程，给出了该系统硬件电路的方案设计，将计算机硬件接口电路与数字电路相结合，以实现离心泵性能检测控制的目的。系统的软件设计包括3部分：数据采集程序；数据处理程序；绘性能曲线并实现打印、打印预览程序。     

基于DFS的并行粒度计算模型及其应用

针对粒度计算在并行计算中的工作机理,基于动态模糊集理论给出并行粒度计算模型和算法,并进行范例系统分析,结果表明该算法是有效的,从而进一步丰富了粒度计算的内容。     

基于任务量划分的紧嵌套循环自动并行化方法

采用计算任务量大小的方法,解决了在紧嵌套循环自动并行化过程中存在循环并行化的并行粒度确定问题以及循环自动并行化中数据划分的数据访问局部性问题,在多核系统中实现了紧嵌套循环自动并行化时的数据访问局部性方案和并行化方法,从而构造了一个基于任务量划分的循环自动并行化模型,降低了程序自动并行化中小任务量并行带来的开销.     

串行程序的并行划分算法研究

提出了将串行程序并行化的方法．首先对串行程序进行分段,提出并行划分模型,基于这个模型提出一种并行划分算法PDMA;然后给出了相关程度的定义,并根据程序段之间相关程度,提出了一种对PDMA进行改进的并行划分方法RPDMA;最后对这两种算法进行了比较和时间复杂度分析．     

多核平台上基于可声明并行性的程序优化框架

针对多核体系平台上充分、有效地发掘目标程序中各种可用并行性的需求,通过引入"层次关系"、"等价关系"和"特性权重"的支持,提出了一种扩展的TStreams模型,并在此基础上实现了一个基于可声明并行性的程序并行优化框架(FAPOF).该框架支持用户对算法的并行特性进行多角度、多粒度的描述并指定适用的各类并行优化规则.基于...     

并发程序模型的可信性研究

讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析－首先提出了种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进上步限制每一与语名相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＣＲ程序的交替计算结果与实际的重叠执行结果一致的     

用沉降法测定白土粒度和粒度分布

粒度和粒度分布对白土的质量有很大的影响。本文用沉降天平测定白土的粒度和粒度分布,并用TI-58C可编程序计算器进行曲线拟合,得出数学表达式。运算速度快,误差小。     

程序升温条件下煤炭自燃特性

通过程序升温实验研究了煤炭的自燃特性，测定了不同粒度煤样在不同温度下产生CO，CO2等气体的浓度，讨论了指标气体的选择，分析了CO，CO2等气体浓度随温度的变化规律，得到了耗氧速度与煤温及煤温及煤体粒度的关系，结果表明，煤体粒度越小，温度越高，则煤氧复合的强度越大，本实验的研究结果对煤矿火灾的防治具有指导作用。     

双鸭山集贤煤矿煤样自燃性程序升温实验研究

采用程序升温实验装置，研究双鸭山集贤矿不同粒度煤样在不同温度条件下与氧反应的特性。通过实验分析，得出双鸭山集贤矿煤自燃预测预报的主要指标气体为CO。通过计算得出不同粒度煤样的耗氧速度和CO，CO2，CH4等气体的产生速率，以及这些特性参数随煤温和粒度的变化规律。进而分析得出该矿煤样自燃的临界温度为65～75℃。为双鸭山集贤矿煤自然火灾的预测预报提供依据。     

基于Excel VBA的图解粒度参数计算

计算粒度参数较常用的图解法一般要通过手工绘制粒度概率累积曲线,从中读取百分位数,不利于计算大量样品.作者利用Excel函数将正态概率坐标转化为线性坐标,再进行线性插值,通过Excel VBA直接调用Excel内置的丰富函数,编写了粒度参数计算程序.该程序可不通过作图,直接利用图解法的原理批量计算粒度参数.与手工绘图计算相比,该方法精度较高,极大地提高了工作效率.     

开放多线程事务处理——并行面向对象程序设计事务模型

本书描述了如何将事务集成到并行面向对象程序设计，以及如何将事务在程序语言级开放给程序员。作者描述了现存的各种事务模型，分析了它们对于先行编程语言的支持度，并且引入了“开放多线程事务”模型。此模型不仅提供了控制程序对象和线程的特性，而且和程序的错误处理集成在了一起，从而达到容错的目的。本书还介绍了实现多线程事务模型的面向对象框架，并列举了Ada语言的程序实例。     

基于超顶点交流策略的并行蚁群算法

通过分析影响并行蚁群算法性能的诸多因素，以提高算法效率减少通信量为主旨，提出了1种基于超顶点交流策略的并行蚁群算法．在该算法中，处理机之间交流的内容不再是最优解或信息素矩阵，而是由若干个顶点组合成的超顶点，从而改变了计算粒度；其次，又提出了1种更忠实于真实蚁群信息系统的基于信息素递减的信息素更新方法，减少了最优解对蚂蚁后选择路径上信息素的影响．通过对TSP进行的实验表明，与其他交流策略的并行蚁群算法相比，该算法有较强的全局收敛性和更快的寻优速度．     

一个块同步并行（BSP）的改进I／O代价模型

提出了一个改进的BSP的I／O代价模型,不但易于实现,而且利用该模型能减少I／O,通信及同步时间,显著地提高BSP程序的运行效率,给出了在这两种模型下实现并行排序算法的时间代价比较。     

基于TMS320C6713的Flash烧写及BootLoad程序设计

在一些脱机运行的DSP应用中,通常需要在系统加电后自行将代码从外扩存储器中装载到内部DSP中去执行,实现此种功能的系统称为引导装载系统.这是DSP开发中的重点和难点之一,关系到系统的可靠性和处理速度.在分析T1公司TMS320C6713 DSP的引导加载过程及原理基础上,设计并实现了主机利用仿真器通过JTAG口实现对DSP外部配置的FLASH存储器的在线编程,并以TI公司的DSP结合ST公司的FLASH存储器(SST39VFSOOA)为例,叙述了从FLASH引导程序的实现方法,并针对其中重要的命令文件和用户引导程序,给出了相应的示例文件和部分源代码.