×
海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid Hansen先生;Rutten，一月

信号流图的代数特征。 （英语） Zbl 1407.68183号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 124-145 (2014).
摘要：Prakash Panangaden的第一份出版物之一是关于数字网络的组合语义，早在1984年。数字网络将输入信号流转换为输出信号流。如果网络组件的输出流是其输入流的函数，那么整个网络的行为可以用递归流函数很好地描述。在本文中，我们考虑通过组合放大器、合并器、复印机和延迟器获得的信号流图，即具有反馈的开放同步数字网络。我们给出了由信号流图计算的递归流函数的两个特征：一个是多项式模局部化的代数，另一个是Mealy机器的余代数。我们的主要结果是这两个特征是一致的。
关于整个系列，请参见[Zbl 1287.68011号].

引用于4文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
18B20型 机器、自动机的类别
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
PDF格式BibTeX公司 XML格式引用
\textit{H.Basold}等人，Lect。注释计算。科学。8464，124--145（2014；Zbl 1407.68183）
全文： 内政部 链接

参考文献：

[1] Atiyah，M.，MacDonald，I.G.：交换代数导论。Addison-Wesley数学系列。韦斯特维尤出版社（1994）
[2] Bartels，F.：《关于广义归纳和概率规范格式》。阿姆斯特丹Vrije大学博士论文（2004年）
[3] Bonsange，M.M.、Rutten，J.J.M.M.和Silva，A.：共模逻辑和Mealy机器的合成。收录：Amadio，R.M.（编辑）FOSSACS 2008。LNCS，第4962卷，第231-245页。斯普林格，海德堡（2008）·Zbl 1137.68034号 ·doi:10.1007/978-3-540-78499-9_17
[4] Bonsangue，M.M.，Milius，S.，Silva，A.：联合大脑语言等价的健全和完整公理化。ACM计算逻辑学报14（1），7–57（2013）·兹比尔1353.68186 ·doi:10.1145/2422085.2422092
[5] Chen，W.-K.：关于线性代数方程的流图解。SIAM应用数学杂志142136-142（1967）·Zbl 0152.35304号 ·数字对象标识代码：10.1137/0115010
[6] Crochiere，R.，Oppenheim，A.：线性数字网络分析。IEEE 4，581–595会议记录（1975）·doi:10.1109/PROC.1975.9793
[7] Davis，A.L.，Keller，R.M.：数据流程序图。计算机15（2），26–41（1982）·doi:10.1109/MC.1982.1653939
[8] 艾森巴德：《交换代数：代数几何的观点》。数学系列研究生论文。斯普林格（1995）·Zbl 0819.13001号 ·doi:10.1007/978-1-4612-5350-1
[9] Hansen，H.H.：《后继换能器：联合大脑的观点》。信息与计算208（12），1368–1397（2010）·Zbl 1209.68297号 ·doi:10.1016/j.ic.2009.10.008
[10] Hansen，H.H.，Rutten，J.J.M.M.：基于算术比特流函数的Mealy机器符号合成。《计算机科学科学年鉴》20，97–130（2010）
[11] Kahn，G.：用于并行编程的简单语言的语义。信息处理74，471–475（1974）
[12] Keller，R.M.，Panangaden，P.：包含不确定运算符的网络语义。摘自：Brookes，S.D.、Winskel，G.、Roscoe，A.W.（编辑）并发研讨会。LNCS，第197卷，第479-496页。斯普林格，海德堡（1985）·Zbl 0565.68004号 ·文件编号：10.1007/3-540-15670-423
[13] Keller，R.M.，Panangaden，P.：包含不确定模块的数字网络的语义。分布式计算1（4），235-245（1986）·doi:10.1007/BF01660035
[14] Lam，T.Y.：关于模和环的讲座。在：数学研究生课文。斯普林格（1999）·Zbl 0911.16001号 ·doi:10.1007/978-1-4612-0525-8
[15] Lambek，J.：完备范畴的不动点定理。Mathematische Zeitschrift数学研究103（2），151-161（1968）·Zbl 0149.26105号 ·doi:10.1007/BF0101110627
[16] Mason，S.J.：反馈理论：线性流图的一些性质。摘自：IRE 41会议记录，第1144–1156页（1953年）·doi:10.1109/JRPROC.1953.274449
[17] Massay，J.L.，Sain，M.K.：代码、自动机和连续系统：显式互连。IEEE传输。自动控制12（6），644-650（1967）·doi:10.1109/TAC.1967.1098736
[18] Massay，J.L.，Sain，M.K.：线性时序电路的逆。IEEE传输。计算。 17, 330–337 (1968) ·Zbl 0169.01501号 ·doi:10.1109/TC.1968.229392
[19] Milius，S.：有限流电路的完善演算。摘自：LICS 2010年会议记录，第421-430页。IEEE（2010）·doi:10.1109/LICS.2010.11
[20] Parhi，K.K.，Chen，Y.：信号流图和数据流图。摘自：《信号处理系统手册》，第791-816页。施普林格（2010）·doi:10.1007/978-1-4419-6345-1_28
[21] Rutten，J.J.M.M.：宇宙余代数：系统理论。理论计算机科学249（1），3-80（2000）·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[22] Rutten，J.J.M.M.：流的共推演算。计算机科学中的数学结构15（1），93–147（2005）·Zbl 1068.68061号 ·doi:10.1017/S0960129504004517
[23] Rutten，J.J.M.M.：共导流演算和信号流图教程。理论计算机科学343（3），443–481（2005）·Zbl 1077.68032号 ·doi:10.1016/j.tcs.2005.06.019
[24] Rutten，J.J.M.M.：理性之流是联合的。计算机科学中的逻辑方法3（9），1-22（2008）·Zbl 1147.68024号
[25] Scherba，M.B.，Roesser，R.P.：线性时序电路的转移矩阵的计算。IEEE传输。计算机22（4），427–428（1973）·Zbl 0252.94020号 ·doi:10.1109/T-C.1973.223735
[26] Turi，D.，Plotkin，G.：走向数学操作语义学。摘自：1997年LICS会议记录，第280-291页。IEEE计算机学会（1997）·doi:10.1109/LICS.1997.614955
[27] Vidyasagar，M.：控制系统综合。因子分解方法。麻省理工学院出版社（1988）·Zbl 0655.93001号
[28] Wilf，H.S.：生成功能学，第2版。学术出版社（1992）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。