摘要：设计模式是设计级的软件重用 .由于缺乏比较成熟的设计模式规范描述和规范匹配方法 ,设计模式的获取和使用基本上是手工方式 ,依赖于用户自身的知识和经验 〔5〕.随着设计模式的不断开发 ,这一现状必将限制设计模式的应用 .本文提出了一种使用规范匹配进行设计模式自动获取的方法 ,该方法使用规范语言对设计模式的数据、结构、行为和功能进行形式化的描述 ,使用其功能规范的匹配来对设计模式进行获取 .

摘要：提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.

摘要：软件避错是提高软件可靠性的主要方法之一,它包含程序检验,测试,正确性证明等技术,然而。

摘要：并行程序设计是并行计算的难点之一 提出了一种将设计模式用于程序精化演算的并行程序设计方法 它通过在Z语言的Schema演算体系中扩充并行的概念和表示 ,使用设计模式 ,将问题求解和并行开发的知识进行形式化的定义与描述 ,通过扩充的Schema演算将其与模型规范进行复合 ,逐步精化得到抽象并行程序

摘要：并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 .

摘要：通过对并行遗传算法的4种并行模型和基于骨架的编程模型的对比研究,设计并实现了一个并行遗传算法骨架,用以简化并行遗传算法应用程序的开发过程。透明的并行机制,使得用户只需编写个体适应度函数的顺序程序,再调用该算法骨架就可以完成并行遗传算法程序开发;开放的算法骨架结构,可以吸收遗传算法研究领域众多优秀成熟的改进算法;多种编码方式的支持为用户提供的更自由的选择空间。该算法骨架通过调用现有的结构骨架实现具体的并行,从而与并行计算平台相独立,具有很高的重用性和灵活性。

摘要：决策树分类方法是实现数据挖掘中分类任务的一种有效方法,但在大规模测试数据集上运行时其实现性能受到严重影响。本文设计和实现一种基于MapReduce架构的并行决策树分类算法。实验结果表明:基于MapReduce的决策树分类算法比同类算法在其他并行编程模型下的实现在计算节点较多的情况下能得到更优的性能。

摘要：在对现有并行编程方法研究的基础上,提出一种基于模式的CPPVM并行编程方法。介绍该方法中并行编程模式的设计与实现,以2个典型应用实例说明使用其进行问题的并行求解与并行程序开发的过程。该方法对于降低并行程序的开发难度,提高并行编程的可靠性与开发效率具有重要意义。

摘要：设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。

摘要：利用MapReduce模式设计并实现了粒子群投影寻踪算法的并行化,以提高算法的效率.在分类阶段使用了基于MapReduce的KNN分类算法并行,实验结果表明:基于MapReduce实现的粒子群投影寻踪模型能够有效地寻找到较好的投影方向,确保分类效果;并且与其串行算法相比,在实现效率上有较大的提高.