×

托勒密

swMATH标识： 7459
软件作者： Johan Eker，Jörn W.Janneck，Edward A.Lee，刘洁，刘晓军，Jozsef Ludvig，Stephen Neuendorfer，Sonia Sachs，熊玉红
说明： 托勒密的模块形式语义学。托勒密是一个开源的、可扩展的建模和仿真框架。它提供了异构建模功能，允许以任意方式分层组合不同的计算模型，包括不定时的和定时的。本文提出了托勒密的形式语义学，它是模块化的，在这个意义上，原子行为体及其组成被统一地处理。特别是，所有的参与者都符合一个包含四个功能的可执行接口：fire（根据当前状态和输入生成输出）；postfire（即时更新状态）；最后期限（演员愿意让多少时间过去）；和时间更新（随着时间的推移更新状态）。复合演员是使用合成运算符获得的，在托勒密，被称为导演。不同的控制器实现不同的计算模型。在本文中，我们正式定义了下列计算模型的控制器：同步-反应、离散事件、连续时间、过程网络和模态模型。
主页： http://ptolemy.eecs.berkeley.edu/
相关软件： 大都市;Simulink公司;状态流;埃斯特雷尔;信号;雷奥;乌帕阿尔;莫代利卡;动量2;莫德;马甲;克洛诺斯;Matlab语言;爪哇凡;多时性;SpaceEx公司;数学卫星;仄洛斯;光泽;找不同
参考文献： 64种出版物
其他出版物： http://ptolemy.eecs.berkeley.edu/publications/index.htm
全部的 前5名

159位作者引用

6 我知道，西蒙
6 李，爱德华·阿什福德
4 斯法基斯，约瑟夫
4 塔尔平，让·皮埃尔
4 特里帕基斯，斯塔夫罗斯
三 巴拉诺夫，爱德华德
三 本维尼斯特，艾伯特
三 阿尼鲁达，戈哈勒
三 保罗，勒格尔尼奇
三 勒盖，阿克塞尔
三 Sangiovanni Vincentelli，阿尔贝托L。
三 施密特，道格拉斯·C。
三 王淑玲
三 詹乃俊
2 阿鲁尔，拉吉耶夫
2 巴拉苏布拉曼尼亚，贾甘尼什
2 巴拉苏布拉曼尼亚，克里希纳库马尔
2 Bhattacharyya，Shuvra S。
2 凯劳德，贝诺
2 德拉哈耶，贝诺ît
2 菲亚迪罗，何塞·路易斯
2 弗雷希，戈兰
2 古普塔，拉杰什·库马尔
2 哈，顺浩
2 洛佩斯，安托尼亚
2 梅斯盖尔·瓜伊塔，何塞
2 米诺波利，斯特凡诺
2 Olveczky，Peter Csaba
2 路人，罗伯托
2 普泽，马克
2 熊玉红
1 Abdelwahed，谢里夫
1 Ábrahám，埃里卡
1 阿默尔·鲍利法，R。
1 阿蒂，保罗·C。
1 阿瓦萨，洛克
1 巴杜埃尔，埃里克
1 贝，京敏
1 贝拉诺维奇，帕维尔
1 本萨勒姆，萨德克
1 伯纳德斯基，辛齐亚
1 贝斯纳德，洛伊奇
1 邦达瓦利，安德里亚
1 伯克，蒂莫西
1 博伊德，斯蒂芬·波伊特里斯
1 波兹加，马吕斯
1 伯莱森，韦恩P。
1 卡斯皮，保罗
1 卡特胡，弗兰基·V·M。
1 Chandrashekharapuram，阿伦
1 陈明帅
1 Coe，P.S。
1 科夫兰，J.E。
1 科恩，艾伯特
1 塞尔坦，吉奥尔基
1 库托，图利奥
1 该死，沃纳
1 德西蒙尼，罗伯特
1 邓，甘
1 德普莱特，Ed F.A。
1 多塞特，弗雷德里克
1 爱德华兹，乔治
1 伯纳德，埃斯皮厄
1 埃伊西，埃米卡
1 法朱迪亚，阿明
1 冯，托马斯·惠宁
1 戈蒂埃，蒂埃里
1 哥达德，史蒂夫
1 格雷戈雷蒂，弗朗西斯科
1 格罗苏，拉杜
1 顾，明
1 亨利奥，卢多维奇
1 赫茨伯格，路易斯·奥托
1 豪厄尔，F.W。
1 伊贝特，R.N。
1 贾伯，穆罕默德。
1 扬奇，阿克塞尔
1 杰斐，凯文
1 金向玉
1 乔丹特，M。
1 郑杰荣
1 朱雷斯卡，阿提拉
1 卡佩洛斯，K。
1 卡赛，加博
1 克内尔，巴里F。
1 科恩，米哈尔
1 库特苏科斯，色诺丰D。
1 克里希纳，阿文。
1 库兰基纳，O。
1 拉瓦尼诺，卢西亚诺
1 李，因苏普
1 莱普里，丹妮拉
1 李维斯，保罗
1 林，喜
1 卢布林曼，罗伯托
1 玛德琳，埃里克
1 马德尔，加博
1 马吉克，伊斯特万
1 曼德尔，路易
1 曼恩，维杰
…还有59位作者
全部的 前5名

在30个系列中引用

4 信号、图像和视频技术VLSI信号处理系统杂志
三 计算机程序设计学
三 应用信号处理杂志
2 计算机与系统科学杂志
2 理论计算机科学
2 MSCS公司。计算机科学中的数学结构
2 系统设计中的形式化方法
2
2 计算机基础理论
2 逻辑与代数程序设计杂志
1 信息学报
1 国际系统科学杂志
1 自动
1 计算机杂志。A段/B段
1 并行计算
1 信息与计算
1 国际智能系统杂志
1 计算的形式化方面
1 实时系统
1 美国计算机学会模型和计算机仿真汇刊
1 欧洲控制杂志
1 动力系统的数学和计算机建模
1 通用计算机科学杂志
1 并行与计算：实践与经验
1 应用数学杂志
1 自然计算
1 Kluwer国际工程与计算机科学系列
1 非线性分析。混合动力系统
1 控制科学与工程杂志
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

在10个字段中引用

59 计算机科学（68-XX）
12 系统论；控制（93-XX）
5 数理逻辑与基础（03-XX）
4 信息与通信理论，电路（94-XX）
2 运筹学，数学规划（90-XX）
1 一般性和全局性主题；收藏（00-XX）
1 组合数学（05-XX）
1 序，格，有序代数结构（06-XX）
1 粒子与系统力学（70-XX）
1 生物学和其他自然科学（92-XX）

按年份引用出版物