【摘 要】
：
该文从实现软件开发过程并行化的角度研究了并行开发对提高软件生产率所具有的巨大潜力,提出了一种通过分解软件系统需求来实现软件并行开发的方法.首先研究人员研究了现有软
论文部分内容阅读
该文从实现软件开发过程并行化的角度研究了并行开发对提高软件生产率所具有的巨大潜力,提出了一种通过分解软件系统需求来实现软件并行开发的方法.首先研究人员研究了现有软件开发模型,软件开发方法以及软件开发方法以及软件开发环境对软件开发过程中并行性的支持和限定,以及一些研究软件开发过所发现的并行事实和研究人员所提出的软件并行开发模型与相应的管理技术.研究人员认为实现软件并行开发可以从两方面来进行:1)对要开发的软件系统进行分解实现各个部分的并行开发;2)从管理技术上挖掘软件开发过程中的并行性.研究人员综合了两方面的并行性,立足于分解实现各部分的并行开发同时兼顾挖掘单个开发过程中的并行性.其次研究人员分析了实现软件并行开发所要面临的问题并提出了相应的解决办法,其中最关键的问题是怎样从方法学的层次分解一个待开发的软件系统得到可以并行开发的成分,研究人员引入了注工程中研究的热点:脚本(scenario)来描述用户对软件系统的需求.最后研究人员建立了基于脚本的需求模型,给出了完整的形式化定义 ,提出了分解的策略,定义了保证分解前后需求模型等价的标准, 产生了保持并行成分之间的交互信息的方式,在这些基础上实现了划分并行成分的算法.
其他文献
三维人脸重建是一项极具挑战的热门研究课题,涉及应用数学、图像处理和机器视觉等多个学科,在3D动画,生物特征识别等领域具有潜在的应用。随着社会信息化和计算机技术的发展,
该文介绍了幂级数导生的概率型算子的构造原理、逼近定理及饱和性定理,归纳了构造这类算子的方法.该文还系统地研究了W-算子及广义W-Bernstein算子的收敛性、逼近度估计、渐
基于双目视觉人脸重建涉及应用数学、图像处理、计算机视觉等多个领域,已成为应用数学与高新技术紧密结合的热点研究课题,它在人脸识别、人脸动画等方面具有潜在的应用前景。
读了《论官与商的两种规则》一文感触颇深,“三百六十行”,做官是其中一个行当,经商也是一个行当。社会主义社会,官与商是两个不同的概念,行当不同,规则就不同,追求也就不同
广义检验变量和广义P值的概念最初是为了解决单边假设检验问题中由于冗余参数的存在而无法获得传统的P值而提出的。研究表明广义P值的方法在处理一些含有冗余参数的假设检验
该文是针对等式约束化问题提出一种有效算法.该文把无约束Newton-PCG法推广到求解等式约束问题的不精确Newton法,可保持对x具有二次收敛,但算法运算量大大减小.
灰色预测与灰色控制由于深刻的实际背景已经引起了广泛的关注，并取得了丰硕的研究成果。 本文研究了灰色预测在变形预测和PID控制中的应用，给出了相关的改进模型，同时研究了
该文简单地介绍了微分代数系统的实际背景和特性及其Liapunov稳定性的研究现状和意义,着重研究了两类较普遍的微分代数系统:线性时变微分代数系统和线性时滞微分代数系统的稳
微分方程解的性态的研究,历来都是微分方程领域中的重要研究课题之一:一方面,它有着广泛的实际背景,另一方面,有其重要的理论价值,论文研究泛函微分方程与偏微分方程解的性态
高度理论是算术代数几何研究中的重要理论之一,椭圆曲线的高度理论在Mordell-Weil定理及Fermat大定理的证明中起着重要的作用,该文在高权模形式的主调(Motive)上引入了p-adic