亚历山大·斯坦尼格尔；阿德琳德·M·乌尔马赫。 变结构模型中的内涵耦合：基于多层次DEVS的探索。 （英语） Zbl 1368.68324号 ACM事务处理。模型。计算。模拟。 26，第2号，第9条，第27页（2016年）. 引用于1文件 MSC公司： 68岁20岁 模拟（MSC2010） 93A30型 系统数学建模（MSC2010） 关键词：开发与虚拟现实；ML-DEVS公司；耦合方案；动态接口；分层建模；密集耦合；模块化建模；可变结构模型 软件：系统建模语言 PDF格式BibTeX公司 XML格式引用 \textit{A.Steiniger}和\textit{A.M.Uhrmacher}，ACM Trans。模型。计算。模拟。26，第2号，第9条，第27页（2016年；Zbl 1368.68324） 全文： 内政部 参考文献： [1] 保罗·C·阿蒂和南希·A·林奇。2013.动态输入/输出自动机：动态系统的形式化和组合模型。技术报告。马萨诸塞州剑桥市计算机科学和人工智能实验室·Zbl 1344.68114号 [2] Jos C.M.Baeten。2005.进程代数简史。理论计算机科学335，2–3，131–146。内政部：http://dx.doi.org/10.1016/j.tcs.2004.07.036 ·Zbl 1080.68072号 ·doi:10.1016/j.tcs.2004.07.036 [3] 费尔南多·乔西·巴罗斯。1995。动态结构离散事件系统规范：动态结构建模和仿真的新形式。《1995年冬季模拟会议论文集》，C.Alexopoulos、K.Kang、W.R.Lilegdon和D.Goldsman（编辑）。IEEE，新泽西州皮斯卡塔韦，781-785。内政部：http://dx.doi.org/10.1145/24401.224731 ·数字对象标识代码：10.1145/224401.224731 [4] 费尔南多·乔西·巴罗斯。1996年。动态结构离散事件系统规范形式。国际计算机模拟学会学报13，1，35–46。 [5] 费尔南多·乔西·巴罗斯。1997。动态结构系统的建模形式。ACM建模与计算机仿真汇刊7，4，501–515。内政部：http://dx.doi.org/10.1145/268403.268423 ·Zbl 0916.93012 ·数字对象标识代码：10.1145/268403.268423 [6] 费尔南多·乔西·巴罗斯（Fernando Josi Barros）、玛丽亚·特蕾莎·门德斯（Maria Teresa Mendes）和伯纳德·菲利普·齐格勒（Bernard Phillip Zeigler）。1994.可变DEVS—；变结构建模形式：一种自适应计算机体系结构应用。第五届人工智能和高度自治系统规划年会论文集。IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，185–191。内政部：http://dx.doi.org/10.109/AIHAS.1994.390474 ·doi:10.1109/AIHAS.1994.390474 [7] 费德里科·贝杰罗（Federico Bergero）和埃内斯托·科夫曼（Ernesto Kofman）。2014.大规模系统建模和并行仿真的矢量DEVS扩展。模拟90、5、522–546·doi:10.1177/0037549714529833 [8] 唐纳德·托马斯·坎贝尔。1974年，等级组织生物系统中的向下因果关系。弗朗西斯科·何塞·阿亚拉（Francisco Jose Ayala）和狄奥多西斯·格里戈里耶维奇（Theodosius Grigorievich Dobzhansky）主编的《生物学哲学研究：还原及相关问题》。加利福尼亚大学出版社，加利福尼亚州奥克兰，179-186·doi:10.1007/978-1-349-01892-5_11 [9] Alex ChungHen Chow和Bernard P.Zeigler。1994.并行DEVS：一种并行、分层、模块化建模形式。在1994年冬季模拟会议记录中，J.D.Tew、S.Manivannan、D.A.Sadowski和A.F.Seila（编辑）。IEEE，新泽西州皮斯卡塔韦，716–722。内政部：http://dx.doi.org/10.109/WSC.1994.717419 ·doi:10.1109/WSC.1994.717419 [10] Alex ChungHen Chow、Bernard P.Zeigler和Doo Hwan Kim。并行DEVS形式的抽象模拟器。第五届人工智能和高度自治系统规划年会论文集。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，157-163。内政部：http://dx.doi.org/10.109/AIHAS.1994.390488 ·doi:10.10109/AIHAS.1994.390488 [11] 欧文·M·科皮和卡尔·科恩。2005年，《逻辑导论》（第12版）。Pearson Education，Inc.，新泽西州Old Tappan·Zbl 1121.03300号 [12] Fatih Deniz、M.Nedim Alpdimer、Ahmet Kara和Halit Oğ；uztü；zü；2012年第1期。使用仿真建模体系结构（SiMA）支持动态仿真：基于离散事件系统规范的建模与仿真框架。simulation 88，6，707–730。内政部：http://dx.doi.org/10.1177/0037549711428233 ·doi:10.1177/0037549711428233 [13] 基思·J·德夫林。1993.《集合的乐趣：当代集合论基础》（第二版）。Springer-Verlag，纽约州纽约市·Zbl 0792.04001号 ·doi:10.1007/978-1-4612-0903-4 [14] Jasmin Fisher、David Harel和Thomas A.Henzinger。2011年a。生物作为反应性。ACM 54、10、72–82的通信。内政部：http://dx.doi.org/10.1145/2001269.2001289 ·doi:10.1145/2001269.2001289 [15] 贾斯敏·费舍尔（Jasmin Fisher）、托马斯·汉津格（Thomas A.Henzinger）、德扬·尼科维奇（Dejan Nickovic）、尼尔·皮特曼（Nir Piterman）、安莫尔·辛格（Anmol V.Singh）和莫舍·瓦尔迪。2011年b。动态反应模块。在CONCUR 2011中，Joost-Pieter Katoen和Barbara Kö；nig（编辑）。计算机科学课堂讲稿，第6901卷。柏林施普林格，404-418。内政部：http://dx.doi.org/10.1007/978-3642-23217-6_27 ·Zbl 1343.68167号 ·doi:10.1007/978-3642-23217-6_27 [16] Olaf Hagendorf、Thorsten Pawletta和Christina Deatcu。2009.扩展动态结构DEVS。《第21届欧洲建模与仿真研讨会论文集》，R.Aguilar、A.Bruzzone和M.Piera（编辑），第1卷。36–45. [17] 大卫·哈雷。状态图：复杂系统的可视化形式主义。计算机程序设计科学8，3，231-274。内政部：http://dx.doi.org/10.1016/0167-6423(87)90035-9 ·Zbl 0637.68010号 ·doi:10.1016/0167-6423（87）90035-9 [18] Dominikus Herzberg和André；马伯格。2001.状态机建模：从同步状态到同步状态机。在OMER—；中；嵌入式实时系统（LNI）的面向对象建模，Peter P.Hoffmann和Andy Schü；rr（编辑）。GI，175–185。 [19] Jan Himmelspach和Adelide M.Uhrmacher。2006.PDEVS模型的顺序处理。在第三届欧洲建模与仿真研讨会论文集中，Agostino G.Bruzzone、Antoni Guasch、Miquel Angel Piera和Jerzy Rozenblit（编辑）。西班牙巴塞罗那LogiSim，239-244。 [20] Jan Himmelspach和Adelide M.Uhrmacher。2007.插件模拟。第40届年度模拟研讨会论文集。IEEE计算机学会，华盛顿特区，137-143。内政部：http://dx.doi.org/10.109/ANSS.2007.34 ·doi:10.1109/ANSS.2007.34 [21] 胡晓林（Xiaolin Hu）、伯纳德·P·齐格勒（Bernard P.Zeigler）和索拉巴·米塔尔（Saurabh Mittal）。2005年，基于DEVS组件的建模和仿真中的可变结构。模拟81、2、91–102。内政部：http://dx.doi.org/10.1177/0037549705052227 ·doi:10.1177/0037549705052227 [22] 马蒂亚斯·约翰，Cé；dric Lhoussaine和Joachim Niehren。2009.祈使句中的动态分隔符&pi-微积分。在系统生物学的计算方法（计算机科学讲义）中，Pierpaolo Degano和Roberto Gorrieri（编辑）。柏林施普林格，235-250。内政部：http://dx.doi.org/10.1007/978-3642-03845-7_16 ·Zbl 05609279号 ·doi:10.1007/978-3-642-03845-7_16 [23] Frank Krü；戈尔、亚历山大·斯坦尼格尔、塞巴斯蒂安·巴德和托马斯·柯斯特。2012.使用计算因果行为模型评估活动识别的稳健性。Anind K.Dey、Hao-Hua Chu和Gillian Hayes（编辑），《2012年ACM普及计算会议论文集》。ACM出版社，纽约州纽约市，1066-1074。内政部：http://dx.doi.org/10.1145/2370216.2370443 ·数字对象标识代码：10.1145/2370216.2370443 [24] 米伦·利夫尼。1983年。分散分布式处理系统负载平衡算法研究。博士论文。以色列Rehovot魏兹曼科学研究所。 [25] 卡斯滕·毛斯。2008年。基于成分的RNA结构折叠建模。系统生物学计算方法。《计算机科学讲义》，莫妮卡·海纳和阿德琳德·穆赫马赫（编辑），第5307卷。柏林施普林格，44-62。内政部：http://dx.doi.org/10.1007/978-3-540-88562-7 ·Zbl 1146.68317号 ·doi:10.1007/978-3-540-88562-7 [26] Carsten Maus、Stefan Rybacki和Adelinde M.Uhrmacher。2011.基于规则的细胞生物系统多级建模。BMC系统生物学5166。内政部：http://dx.doi.org/10.1186/1752-0509-5-166 ·doi:10.1186/1752-0509-5-166 [27] 亚历山大·穆齐（Alexandre Muzy）和伯纳德·菲利普·齐格勒（Bernard Phillip Zeigler）。2014.使用单点封装控制功能的动态结构离散事件系统规范。国际建模、仿真和科学计算杂志5，3，1450012。内政部：http://dx.doi.org/10.1142/S1793962314500123 ·doi:10.1142/S1793962314500123 [28] 对象管理组。2012年，OMG系统建模语言（SysML）1.3版。语言规范。OMG.250页。2015年12月22日检索自http://www.sysml.org/docs/specs/OMGSysML-v1.3-12-06-02.pdf。 [29] Park君声、Lee Jungsul和Chulhee Choi。2011年。线粒体网络通过切换线粒体间信使确定细胞内活性氧动力学和对氧化应激的敏感性。公共图书馆ONE 6，8，e23211。内政部：http://dx.doi.org/10.1371/journal.pone.0023211 ·doi:10.1371/journal.pone.0023211 [30] Pinkesh K.Patel、Orian Shirihai和Kerwyn Casey Huang。2013年。空间分布线粒体网络质量控制的最佳动力学。《公共科学图书馆·计算生物学》9，7，e1003108。内政部：http://dx.doi.org/10.1371/journal.pcbi.1003108 ·doi:10.1371/journal.pcbi.1003108 [31] 科拉多·普里亚米。1995.随机pi-calculus。《计算机杂志》38、7、578–589。内政部：http://dx.doi.org/10.1093/comjnl/38.7.578 ·Zbl 05478217号 ·doi:10.1093/comjnl/38.7.578 [32] Corrado Priami和Paolo Quaglia。2005.生物相互作用的β粘合剂。《系统生物学中的计算方法：2004年CMSB国际会议》，2004年5月26日至28日，法国巴黎，修订论文集。计算机科学讲稿，文森特·达诺斯和文森特·沙赫特（编辑），第3082卷。柏林施普林格，20-33岁。内政部：http://dx.doi.org/10.1007/b107287 ·Zbl 1088.68646号 ·doi:10.1007/b107287 [33] 奥列娜·罗戈夫琴科和雅克·马伦芬特。2010年。自主机器人组件模型中的组合和组合。《软件组合学报：第九届国际会议》（SC'10）。计算机科学课堂讲稿，Benoî；t Baudry和Eric Wohlstadte（编辑）。柏林施普林格，34-49岁。内政部：http://dx.doi.org/10.1007/978-3-642-14046-4_3 ·Zbl 05767688号 ·doi:10.1007/978-3642-14046-43 [34] Mathias Rö；hl。2006.仿真模型组件的平台无关规范。在《第20届欧洲建模与仿真会议论文集》（ECMS’06）中，Wolfgang Borutzky、Alessandra Orsoni和Richard Zobel（编辑）。ECMS，英国诺丁汉，220-225·doi:10.7148/2006-0220 [35] Mathias Rö；hl和Adelind M.Uhrmacher。2008.离散事件模型的组成结构定义和分析。在2008年冬季模拟会议论文集中，S.J.Mason，R.R.Hill，L.Mö；奥利弗·罗斯（Oliver Rose）、T·杰斐逊（T.Jefferson）和J·W·福勒（J.W.Fowler）（编辑）。IEEE公司，新泽西州皮斯卡塔韦，942-950。内政部：http://dx.doi.org/10.109/WSC.2008.4736160 ·doi:10.1109/WSC.2008.4736160 [36] Jerzy W.Rozenblit和Bernard Phillip Zeigler。1993年。使用系统实体结构概念表示和构建系统规范。在1993年冬季模拟会议记录中，G.W.Evans、M.Mollaghasemi、E.C.Russell和W.E.Biles（编辑）。IEEE，新泽西州皮斯卡塔韦，604-611。内政部：http://dx.doi.org/10.1145/256563.256742 ·数字对象标识代码：10.1145/256563.256742 [37] Alexander Steiniger，Frank Krü；ger和Adelind M.Uhrmacher。2012.在多层DEVS中建模代理及其环境。在2012年冬季模拟会议记录中，Christoph Laroque、Jan Himmelspach、Raghu Pasupathy、Oliver Rose和Adelide M.Uhrmacher（编辑）。IEEE，新泽西州皮斯卡塔韦，233·doi:10.1109/WSC.2012.6465113 [38] 克劳迪娅·萨博和雍梦涛。2007.关于语法可组合性和模型重用。在第一届亚洲建模与仿真国际会议的会议记录中，David Al-Dabass、Richard Zobel、Ajith Abraham和Steve Turner（编辑）。IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，230-236。内政部：http://dx.doi.org/10.1109/AMS.2007.74 ·doi:10.1109/AMS.2007.74 [39] 卡斯滕·托马斯。1994年。面向界面的DEVS模型分类。第五届高自主系统人工智能、仿真和规划年会论文集。IEEE出版社，加利福尼亚州洛斯阿拉米托斯，208–213。内政部：http://dx.doi.org/10.109/AIHAS.1994.390472 ·doi:10.1109/AIHAS.1994.390472 [40] 阿德琳德·玛丽亚·乌尔马赫。1995.关于改变结构的推理：生态系统的建模概念。应用人工智能：国际期刊9，2，157-180。内政部：http://dx.doi.org/10.1080/08839519508945472 ·Zbl 05387182号 ·doi:10.1080/08839519508945472 [41] 阿德琳德·M·乌尔马赫。2001.建模和仿真中的动态结构：一种反射方法。ACM建模与计算机仿真汇刊11、2、206–232。内政部：http://dx.doi.org/10.1145/384169.384173 ·doi:10.1145/384169.384173 [42] 阿德琳德·M·乌尔马赫、罗兰·埃瓦尔德、马蒂亚斯·约翰、卡斯滕·莫斯、马蒂娅斯·杰斯克和苏珊娜·比尔曼。2007年，在计算生物学DEVS中结合微观和宏观建模。在2007年冬季模拟会议的会议记录中，S.G.Henderson、B.Biller、M.H.Hsieh、J.Shorte、J.D.Tew和R.R.Barton（编辑）。IEEE出版社，新泽西州皮斯卡塔韦，871-880。内政部：http://dx.doi.org/10.109/WSC.2007.4419683 ·doi:10.1109/WSC.2007.4419683 [43] Adelind M.Uhrmacher，Jan Himmelspach，Mathias Rö；hl和Roland Ewald。2006.在DEVS中引入用于细胞生物建模的可变端口和多耦合。在2006年冬季模拟会议的会议记录中，L.Felipe Perrone、Frederick P.Wieland、Jason Liu、Barry G.Lawson、David M.Nicol和Richard M.Fujimoto（编辑）。IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，832-840。内政部：http://dx.doi.org/10.1109/WSC.2006.323165 ·doi:10.1109/WSC.2006.323165 [44] 阿德琳德·M·乌尔马赫和科拉多·普里亚米。2005.系统生物学中的离散事件系统规范；讨论随机pi演算和DEVS。在2005年冬季模拟会议的会议记录中，M.E.Kuhl、N.M.Steiger、F.B.Armstrong和J.A.Joines（编辑）。新泽西州皮斯卡塔韦IEEE，317–326。内政部：http://dx.doi.org/10.109/WSC.2005.1574266 ·doi:10.1109/WSC.2005.1574266 [45] 阿德琳德·M·乌尔马赫（Adelide M.Uhrmacher）和丹尼·韦恩斯（Danny Weyns）（编辑）。2009年，《多智能体系统：仿真与应用》（第1版）。CRC出版社。 [46] 亚历山大·维尔布雷克。2004.基于组件的分布式仿真。前进的道路？。在第18届并行和分布式仿真研讨会（PADS'04）的会议记录中。IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯，141-148。内政部：http://dx.doi.org/10.109/PADS.2004.1301295 ·doi:10.1109/PADS.2004.1301295 [47] 伯纳德·菲利普·齐格勒。1984.多面建模和离散事件模拟（第1版）。学术出版社，加利福尼亚州圣地亚哥·Zbl 0566.68082号 [48] 伯纳德·菲利普·齐格勒（Bernard Phillip Zeigler）、赫伯特·普雷霍夫（Herbert Praehofer）和塔戈·金（Tag Gon Kim）。2000.建模与仿真理论（第二版）。学术出版社，加利福尼亚州圣地亚哥。 [49] 萨宾·津恩。2011.连续时间微观模拟和迈向人口学多层次方法的第一步。博士论文。德国罗斯托克罗斯托克大学。2015年12月22日检索自http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000760。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。