diff options
author | Hui Lan <lanhui@zjnu.edu.cn> | 2023-07-07 12:07:26 +0800 |
---|---|---|
committer | Hui Lan <lanhui@zjnu.edu.cn> | 2023-07-07 12:07:26 +0800 |
commit | d015742a558b2f0a3d9af1d17e5db51b97975f4f (patch) | |
tree | 358fba906a28ce90ff1923df5e64841b940c34ac /parnas-a-rational-design-process.rst | |
parent | 2e792ed6de4a89eb6a3cb8f8ded2560ed906d61c (diff) |
融入奚闻嘉、陈彤的改进
Diffstat (limited to 'parnas-a-rational-design-process.rst')
-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 d73a01a..c95ef84 100644 --- a/parnas-a-rational-design-process.rst +++ b/parnas-a-rational-design-process.rst @@ -330,7 +330,7 @@ Page 10 为确保文档的一致性与完整性, 文档组织结构背后必须有一个简单的数学模型。 我们的模型是由我们在实时系统上的工作所启发的。 但因为所有系统都是实时系统, 它是完全通用的。 -我们假设,对于实时控制系统,理想的产品不是纯数字计算机,而是由控制模拟计算机的数字计算机组成的混合计算机。 模拟计算机将输入的连续值转换为连续输出。 当离散事件发生时,数字计算机给由模拟计算机计算的函数带来离散变化???。 实际的系统是该混合系统的数字近似。 与其他工程领域一样,写软件规范时, 我们首先描述“理想”系统, 然后指定允许的误差。 在需求文档中, 我们认为, 输出重要性高于输入。 如果输出值是正确的,即使我们不读取输入,也没人会介意。 因此,在过程第一阶段,关键是 **识别所有输出** 。 我们的需求文档, 其核心是由表格形式表示的数学函数集合。 每个函数都有一组外部状态变量, 且输出单个值。 文献 [8]中给出了以这种方式生成的完整文档例子, [9]中对该例子有讨论。 +我们假设,对于实时控制系统,理想的产品不是纯数字计算机,而是由控制模拟计算机的数字计算机组成的混合计算机。 模拟计算机将输入的连续值转换为连续输出。 当离散事件发生时,数字计算机给由模拟计算机计算的函数带来离散变化???。 实际的系统是该混合系统的数字近似。 与其他工程领域一样,写软件规范时, 我们首先描述“理想”系统, 然后指定允许的误差。 在需求文档中, 我们认为, 输出重要性高于输入。 如果输出值是正确的,即使我们不读取输入,也没人会介意。 因此,在过程第一阶段,关键是 **识别所有输出** 。 我们的需求文档, 其核心是由表格形式表示的数学函数集合。 每个函数都有一组外部状态变量, 且输出单个值。 文献 [9] 中给出了以这种方式生成的完整文档例子, [8]中对该例子有讨论。 .. _B: |