• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL) >A Network Model of Analogue Computation over Metric Algebras
【24h】

A Network Model of Analogue Computation over Metric Algebras

机译：度量代数上的模拟计算网络模型

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continuous clock T. The inputs and outputs of the network are continuous streams u : T ? A, and the input-output behaviour of the network with system parameters from A is modelled by a function Φ : C[T, A]~p x A~r → C[T, A]~q (p,q > 0,r ≥ 0), where C[T, A] is the set of all continuous streams equipped with the compact-open topology. We give an equational specification of the network, and a semantics which involves solving a fixed point equation over C[T, A] using a contraction principle. We analyse a case study involving a mechanical system. Finally, we introduce a custom-made concrete computation theory over C[T, A] and show that if the modules are concretely computable then so is the function Φ.
机译：我们定义了一个模拟模块网络的一般概念，该模块通过通道连接，处理来自度量空间A的数据并相对于全局连续时钟T进行操作。网络的输入和输出是连续流u：T？ A，然后使用函数Φ对具有A的系统参数的网络的输入输出行为进行建模：C [T，A]〜px A〜r→C [T，A]〜q（p，q> 0， r≥0），其中C [T，A]是配备紧凑开放式拓扑的所有连续流的集合。我们给出了网络的方程式规范，以及一种语义，其中涉及使用收缩原理在C [T，A]上求解定点方程。我们分析了涉及机械系统的案例研究。最后，我们在C [T，A]上引入了定制的具体计算理论，并表明，如果模块可具体计算，则函数Φ也是如此。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号