Computable Models

RAYMOND TURNER

首页> 外文期刊>Journal of logic and computation >Computable Models

【24h】

Computable Models

机译：可计算模型

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a computational model. We explore the notion and provide several case studies.

机译：我们使用数据类型理论研究数学建模。我们为此类理论（TPL）的制定提供了正式的环境，并用它来介绍计算模型的概念。我们探索了这一概念并提供了一些案例研究。

著录项

来源
《Journal of logic and computation》 |2008年第2期|p.283-318|共36页
作者
RAYMOND TURNER;
展开▼
作者单位

Department of Computer Science, The University of Essex, UK.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
specification; types; computable; decidable;

机译：规格;类型;可计算;可确定;

相似文献

外文文献
中文文献
专利

1. Cone beam computed tomography-based models versus multislice spiral computed tomography-based models for assessing condylar morphology [J] . Gomes Liliane Rosas, Gomes Marcelo Regis, Goncalves Joao Roberto, Oral surgery, oral medicine, oral pathology oral radiology . 2016,第1期

机译：基于锥束计算机断层扫描的模型与基于多层螺旋计算机断层扫描的模型评估con突形态
2. Introduction to special issue on sustainable computing for bio-energy: Intelligent computing models and analytics [J] . Sangaiah Arun Kumar, Esposito Christian, Zheng Zhigao, Sustainable Computing . 2018,第DECa期

机译：关于生物能源可持续计算的特殊问题简介：智能计算模型和分析
3. Performance of computed tomography-derived fractional flow reserve using reduced-order modelling and static computed tomography stress myocardial perfusion imaging for detection of haemodynamically significant coronary stenosis [J] . Abdul RahmanIhdayhid, TakuyaSakaguchi, Jesper JLinde, European heart journal cardiovascular Imaging . 2018,第11期

机译：计算机断层摄影衍生的分数流量储备的性能使用依次计算和静态计算断层摄影应力心肌灌注成像，用于检测血管动力学显着的冠状动脉狭窄
4. MODELING OF CYBER-PHYSICAL SYSTEMS AND DIGITAL TWIN BASED ON EDGE COMPUTING, FOG COMPUTING AND CLOUD COMPUTING TOWARDS SMART MANUFACTURING [C] . Qinglin Qi, Dongming Zhao, T. Warren Liao, ASME international manufacturing science and engineering conference . 2018

机译：基于边缘计算，雾计算和云计算的网络物理系统和数字孪生建模
5. Developing High Performance GIS Simulation Models on Geospatial Cyberinfrastructure: A Case Study of Population Change Models with Grid Computing and Cloud Computing Technologies. [D] . Kim, Ick Hoi. 2012

机译：在地理空间网络基础设施上开发高性能GIS仿真模型：使用网格计算和云计算技术的人口变化模型的案例研究。
6. An investigation into the effect of changing the computed tomography slice reconstruction interval on the spatial replication accuracy of three‐dimensional printed anatomical models constructed by fused deposition modelling [O] . Ben Searle, Deborah Starkey 2020

机译：研究更改计算机断层扫描切片重建间隔对融合沉积建模构建的三维打印解剖模型的空间复制精度的影响
7. EDITORIAL - RECENT PROGRESS IN ECONOMIC EQUILIBRIUM MODELING FOR INFRASTRUCTURE PLANNING AND MANAGEMENT: COMPUTABLE GENERAL EQUILIBRIUM MODELS AND COMPUTABLE URBAN ECONOMIC MODELS [O] . Atsushi KOIKE, Tomoki ISHIKURA, Morito TSUTSUMI 2012

机译：基础设施规划与管理经济均衡建模的社论 - 可计算一般均衡模型及可增加城市经济模型

Computable Models

摘要

著录项

相似文献

相关主题

期刊订阅