信息科学与技术作为信号物理学的应用
摘要：科学方法被采用，提出了一个理论模型作为信息科学与技术的基础，该模型扩展了现有的信号理论：一个事实f只有在测试f成功后才会在物理系统中变得已知，这些测试主要由人类传感器执行，并应用于进一步进行测试的（物理）现象。测试是现象，并对现象进行分类。现象占据时间和空间，事实和推断具有物理对应物，这些对应物是指定类别的现象。诸如f之类的标识符是约定的，由人类分配；事实（f'、f''）报告了一般类f'的测试成功，报告的应用类别f''更详细地分类了成功的测试。因此，事实只存在于受测试结构设计限制的形式结构中。该模型解释了为什么实时系统的响应不是唯一可预测的，以及为什么需要对其中的推断并发性进行限制。本文总结了基于该模型并可在软件生命周期中应用的改进方法。在文献中没有找到相似工作的报告。
作者：A. P. Young
论文ID：0901.2723
分类：Other Computer Science
分类简称：cs.OH
提交时间：2009-02-01