diff options
author | Lan Hui <1348141770@qq.com> | 2025-05-16 15:31:16 +0800 |
---|---|---|
committer | Lan Hui <1348141770@qq.com> | 2025-05-16 15:31:16 +0800 |
commit | 368892dfcee55fee7cb82e3d003391a1f10ed378 (patch) | |
tree | bf3d3dbdedc3b5c667703d728524bf8619a680e2 | |
parent | 6e512400774fb256ebb59a2fb74a23be30aac87c (diff) |
改进翻译
-rw-r--r-- | parnas-a-rational-design-process.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst index c93ed6c..9156593 100644 --- a/parnas-a-rational-design-process.rst +++ b/parnas-a-rational-design-process.rst @@ -302,7 +302,7 @@ A. 建立并记录需求 (Page 10) -为确保文档的一致性与完整性, 文档组织结构背后必须有一个简单的数学模型。 我们的模型是由我们在实时系统上的工作所启发的。 但因为所有系统都是实时系统, 它是完全通用的。 +为确保文档的一致性与完整性, 文档组织结构背后必须有一个简单的数学模型。 我们的模型是由我们在实时系统上的工作所启发的, 但因为所有系统都是实时系统, 它是完全通用的。 我们假设,对于实时控制系统,理想的产品不是纯数字计算机,而是混合计算机,它由控制模拟计算机的数字计算机组成。 模拟计算机将输入的连续值转换为连续输出。 当离散事件发生时,数字计算机使由模拟计算机计算的函数发生离散变化。 实际的系统是该混合系统的数字近似。 与其他工程领域一样,写软件规范时, 我们首先描述“理想”系统, 然后指定允许的误差。 在需求文档中,比起输入,我们更看重输出。 如果输出值是正确的,即使我们不读取输入,也没人会介意。 因此,在过程第一阶段,关键是 **识别所有输出** 。 我们的需求文档, 其核心是由表格形式表示的数学函数集合。 每个函数将单个输出的值指定为与应用程序相关的外部状态变量的函数。 文献 [9] 中给出了以这种方式生成的完整文档例子, [8]中对该例子有讨论。 |