×
于琼;杨世翰;吴金钊

标记过渡系统的近似分析。 （英语） Zbl 1394.68259号

数学。问题。工程师。 2015年，文章ID 963597，9 p.（2015）.
摘要：作为最重要的形式化语义模型，标记转换系统被广泛使用，它可以描述一般并发系统或无扰动控制系统。然而，在正常情况下，由于计算量大和状态空间爆炸问题，过渡系统复杂且难以使用。为了克服这些问题，通过不完全上下矩阵分解分解，提出了近似等价的标记转移系统。该技术可以在允许误差的情况下降低计算和计算的复杂性。对于连续时间线性系统，我们提出了一种基于矩阵近似解的近似过渡系统建模方法，为线性系统的近似形式化语义建模和有效分析误差提供了便利。研究了无扰动线性系统的应用实例。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用
\textit{Q.Yu}等人，《数学》。问题。Eng.2015，文章ID 963597，9 p.（2015；Zbl 1394.68259）
全文： 内政部

参考文献：

[1] Kleijn，J。；库特尼，M。；Pietkiewicz Koutny，M.，具有a/sync连接的Petri网区域，理论计算机科学，454，189-198，（2012）·兹比尔1267.68156 ·doi:10.1016/j.tcs.2012.04.016
[2] Milner，R.，《通信系统的微积分》，（1980），美国纽约州纽约市：施普林格，纽约州纽约州美国·Zbl 0452.68027号
[3] Milner，R.，《通信与并发》（1989），美国纽约州纽约市：普伦蒂斯·霍尔，美国纽约市·Zbl 0683.68008号
[4] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号
[5] Baeten，J.C。；Weijland，W.P.，《过程代数》，（1990），英国剑桥：剑桥大学出版社，英国剑桥·Zbl 0716.68002号
[6] Tini，S.，非膨胀型ϵ-概率过程的互模拟，理论计算机科学，411，22-24，2202-2222，（2010）·Zbl 1334.68156号 ·doi:10.1016/j.tcs.2010.01.027
[7] 克莱默，S。；帕拉米德斯，C。；塞加拉，R。；Turrini，A。；Braun，C.，概率过程的定量多弹性逻辑及其在信息获取中的应用，应用非经典逻辑杂志，19，4，489-516，（2009）·Zbl 1186.68325号 ·doi:10.3166/jancl.19.489-516
[8] 乔治耶夫斯卡，S。；Andova，S.，《测试反应性概率过程》，《理论计算机科学电子论文集》，28，99-113，（2010）·Zbl 1456.68118号
[9] 施罗德，M。；Simpson，A.，《使用概率过程表示概率测度》，《复杂性杂志》，22，6，768-782，（2006）·Zbl 1111.60003号 ·doi:10.1016/j.jco.2006.05.003
[10] Oh，S.，用于岩石质量概率评估的地震速度和电阻率数据的地质统计整合，环境地球科学，69，3，939-945，（2013）·doi:10.1007/s12665-012-1978-3
[11] Hennessy，M.，探索概率互模拟，第一部分，计算的形式方面，24，4-6，749-768，（2012）·Zbl 1259.68153号 ·doi:10.1007/s00165-012-0242-7
[12] Andova，S。；乔治耶夫斯卡，S。；Trčka，N.，概率系统的分支互模拟同余，理论计算机科学，413，1，58-72，（2012）·兹比尔12346.8282 ·doi:10.1016/j.tcs.2011年7月20日
[13] 杜，W。；Tang，S.，基于随机过程理论的区域产业结构演化规律，管理科学与工程，5，3，55-60，（2011）
[14] 赫尔曼·雷尼松（Hermann Reynisson），A。；Sirjan，M。；Aceto，L.，《使用定时Rebeca对异步实时系统进行建模和仿真》，《计算机编程科学》，89，41-68，（2014）
[15] Cardell-Oliver，R.，《具有时间自动机规范的实时系统的一致性测试》，《计算的形式方面》，12，5，350-366，（2000）·Zbl 1013.68120号 ·doi:10.1007/s001650070009
[16] Jaghoori，M.M。；de Boer，F.S。；乔提亚，T。；Sirjani，M.，异步实时并发对象的可调度性，《逻辑与代数编程杂志》，78，5402-416，（2009）·Zbl 1188.68085号 ·doi:10.1016/j.jlap.2009.02.009
[17] 兰普卡，K。；Perathoner，S。；Thiele，L.，分析实时分析和时间自动机：嵌入式实时系统性能分析的混合方法，嵌入式系统设计自动化，14，3，193-227，（2010）·doi:10.1007/s10617-010-9055-1
[18] Girard，A。；Pappas，G.J.，离散和连续系统的近似度量，（2005），计算机与信息科学系
[19] 克拉克，E.M。；格伦伯格，O。；Peled，D.A.，《模型检验》，（2000），麻省理工出版社
[20] Kechroud，R。；Soulamini，A。；萨阿德，Y。；Gowda，S.，《有限元法求解亥姆霍兹方程的预处理技术》，《模拟中的数学与计算机》，65，4-5，303-321，（2004）·Zbl 1059.65105号 ·doi:10.1016/j.matcom.2004.01.004
[21] D'Azevedo，E.F。；福赛斯，P.A。；Tang，W.-P.，《朝着一种具有成本效益的高填充ILU预处理剂迈进》，BIT，32，3，442-463，（1992）·Zbl 0761.65017号 ·doi:10.1007/bf02074880
[22] Young，D.P。；梅尔文·R·G。；约翰逊，F.T。；Bussoletti，J.E。；Wigton，L.B。；Samant，S.S.，稀疏矩阵解算器作为有效预条件的应用，SIAM科学与统计计算杂志，10，6，1186-1199，（1989）·Zbl 0684.65023号 ·doi:10.1137/0910072
[23] 杜邦，T。；肯德尔，共和党人。；Rachford，J.，解自共轭椭圆差分方程的近似因式分解方法，SIAM数值分析杂志，559-573，（1968）·Zbl 0174.47603号 ·doi:10.1137/0705045
[24] Gustafsson，T.，一类一阶因式分解方法，BIT数值数学，18，142-156，（1978）·Zbl 0386.65006号
[25] Girard，A。；Pappas，G.J.，离散和连续系统的近似度量，MS-CIS-05-10，（2005），宾夕法尼亚大学计算机信息系统系
[26] Araghi，M.A.F。；Fallahzadeh，A.，解模糊线性方程组的遗传LU分解，软计算，17，1，159-163，（2013）·Zbl 1264.15032号 ·文件编号：10.1007/s00500-012-0908-3
[27] El Kacimi，A。；Laghrouche，O.，基于小波的ILU预处理器，用于高频弹性波散射的PUFEM数值解，计算物理杂志，230，8，3119-3134，（2011）·Zbl 1316.74068号 ·doi:10.1016/j.jcp.2011.01.012
[28] Ewald，G.，组合凸性与代数几何，（1996），Springer·Zbl 0869.52001 ·doi:10.1007/978-1-4612-4044-0
[29] Axelsson，O.，迭代求解方法，（1994），剑桥大学出版社·Zbl 0845.65011号 ·doi:10.1017/cbo9780511624100
[30] Pappas，G.J.，双相似线性系统，Automatica，39，12，2035-2047，（2003）·Zbl 1045.93033号 ·doi:10.1016/j.automatica.2003.07.003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。