Using Continuous Real Functions to Model Timed Histories
Using Continuous Real Functions to Model Timed Histories
复制标题
使用连续实函数对定时历史建模
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
I. Hayes
中科院分区：
文献类型：
--
作者：
Brendan P. Mahony;I. Hayes
连续的实际功能是描述随时间的物理过程演变的重要工具。使用拓扑理论，这种连续性概念可以推广到任意数据类型。本文表明，（拓扑）连续性可以是描述随时间的数字过程演变的有用工具。给出了几个示例，用于在建模和指定系统行为中使用连续功能。数字电路经过验证，以证明来自真实分析的证明技术的实用性。
Continuous real functions are an important tool in describing the evolution of physical processes through time. Using the theory of topology, this notion of continuity may be generalised to arbitrary data types. This paper demonstrates that (topological) continuity can be a useful tool in describing the evolution of digital processes through time. Several examples are given of the use of continuous functions in modelling and specifying system behaviour. A digital circuit is verified to demonstrate the utility of proof techniques from real analysis.