排序方式: 共有29条查询结果,搜索用时 15 毫秒
11.
软件开发实践中存在的隐合成分和无法回避的"不够完美",就是现实软件开发项目中的无法控制或未知部分,这违反现存的大部分软件开发方法的基础,如一致性.完美球却是基于二重性,把微观世界的一些成分和复杂系统相映射.这是探索先进的西方科学技术和古代东方哲学的产物.分析由"陈述","思想"和"客观事实"组成的三角形,以说明完美点相区别的三角形.分布系统的测不准关系阐明:代码(代表可用产品)和目标(代表软件产品的性能)不能同时确定.在解释软件系统与人体间的联系中表明在气功哲学概念和软件开发概念之间可建立的某种映射关系.在完美球范畴下的软件开发强调生动活跃的学习行为,而不仅看重的自动机行为.用完美球替代特定目标点或动态可修改的目标点.系统复杂性日益增加,逐步减少概率论和预定计划影响.列举完美球少许应用. 相似文献
12.
该文以实现时间最短为目标,全面考虑影响任务集实现开销的各种因素,建立了异构型结点集中带偏序关系的任务集的均衡调度模型及其随机搜索算法。调度模型将任务集实现过程分成:执行、传递和等待,强调执行和传递的并行性,降低因等待而发生的费用。算法在统计意义下为多项式时间复杂度。这一模型在工作时限要求较高的领域应用前景广泛。 相似文献
13.
周之英 《计算机研究与发展》1963,(11)
在解决动力用原子反应堆的功率计算时,常常采用所谓正推方法。由于沸水堆的物理特性,汽泡空洞的分布使计算极为繁烦、工作量很大。而且很难得到良好的结果。在第二届和平利用原子能的日内瓦会议上,吴国发表的“沸水堆物理学”一文中对二组近似的扩散方程,使用了反推法,可以使计算工作量大大减少,我们利用了这一反推的想法,提出了对三组近似的扩散方程使用的反推迭代法,并进行了计算,结果表明迭代收歛,整个工作量已减少不少,且最后得到了相当理想的功率分布,基本上克服了正推法的缺点。本文分二部分:第一部分简单介绍反推法的实质。第二部分讨论了收歛性,找到一个收歛条件。 相似文献
14.
IDEF0,IDEF1X软件辅助工具:1994年7月3日收到 总被引:1,自引:0,他引:1
IDEF0,IDEF1X方法辅助软件工具通过计算机的交互操作,帮助IDEF方法用于完成信息建模工作,从而保证建模的质量和效率。促进计算机在制造业及其它企事业中的应用。本文简要介绍IDEF方法及IDEF0和IDEF1X方法辅助软件工具的主要功能及特点。 相似文献
15.
16.
P-F方法在工作流系统中的应用研究 总被引:1,自引:0,他引:1
P-F方法是作者正在进行的一项过程建模和过程改进的方法论研究,作为一种支持过程建模、控制和改进的方法,P-F方法同样可以应用于工作流系统中。P-F方法由概念模型和实施模型组成,概念模型包括Petrinet和形式化的PAB表,它可以应用于工作流的建模;P-F方法的复用机制支持工作流建模过程的复用;P-F引擎提供了工作流管理,并支持运行时的工作流模型的动态修改。论文在工作流和P-F方法的概念后,讨论了如何将P-F方法应用于工作流系统以及将P-F方法应用于工作流系统所带来的优点。 相似文献
17.
现代应用软件的测试策略与工具 总被引:1,自引:0,他引:1
现代应用软件有许多新的特性,这样注对软件测试提出了新的要求,如要求测试工作更有效、进行面向用户的测试等,这些要求是传统的测试策略所不能解决的,本文提出了一种基于应用操作覆盖的测试方法来解决这些问题,这种方法的基本分析工具是导航图和事件记录序列,本文最后还给出了相应的自动测试工具。 相似文献
18.
IDEF0,IDEF1X方法辅助软件工具通过计算机的交互操作,帮助IDEF方法用户完成信,包建模工作,从而保证建模的质量和效率,促进计算机在制造业及其它企事业中的应用。本文简要介绍IDEF方法及IDEF0和IDEF1X方法辅助软件工具的主要功能及特点。 相似文献
19.
周之英 《计算机研究与发展》1984,(7)
随着大规模集成电路的发展,计算机的价格日益下降,而其功能和应用范围日益扩大。计算机不仅用来解决大量科学计算问题,更为重要的,是要处理大量非数值问题。因此,研究算法成为计算机科学的最重要研究领域之一。在用计算机解决大规模及超大规模集成电路设计、线性规划、图形识别、人工智能、网络理论、数据库统计问题时,都产生了与几何图形有关的问题,需要寻求高速算法。目前计算机界用“计算几何”来代表与几何图形有关的算法(特别是要处理大量 相似文献
20.
平面点集凸壳的实时算法 总被引:7,自引:1,他引:6
本文提出平面点集凸壳的实时算法。该算法利用平衡二叉树来代表凸壳的顶点序列,使每次更新凸壳所需计算复杂度为O(log m)。因而n个点的凸壳的计算复杂度为O(n log m),空间复杂度为O(log m),当点服从均匀分布时,算法期望的计算复杂度为O(n)。 相似文献