×

托勒密

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位作者

按年份引用出版物