张静怡;马淑萍 用多面体方法研究离散非齐次奇异半马尔可夫跳跃系统的鲁棒稳定性。 (英语) Zbl 07824513号 J.富兰克林研究所。 361,第4号,文章ID 106645,18页(2024).MSC公司:93D09型 93E15型 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{S.Ma},J.Franklin Inst.361,No.4,文章ID 106645,18 p.(2024;Zbl 07824513) 全文: 内政部
弗吉尼亚州富斯科;大卫·萨尔扎诺;大卫·菲奥雷;马里奥·迪·贝尔纳多 使用可调遗传系统对细胞生长进行嵌入式控制。 (英语) 兹布尔07804091 国际J鲁棒非线性控制 33,第9号,4893-4907(2023).MSC公司:92C70型 92D25型 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Fusco}等人,《国际鲁棒非线性控制》33,No.9,4893--4907(2023;Zbl 07804091) 全文: 内政部
丹尼尔·克里斯托法罗·加迪纳;翁贝托·赫里涅维奇;迈克尔·哈钦斯;刘慧 用两个简单的Reeb轨道接触三个流形。 (英语) Zbl 07777471号 地理。白杨。 27,第9期,3801-3831(2023).MSC公司:57公里33 第53页第10页 37J39号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cristofaro-Gardiner}等人,Geom。白杨。27,第9号,3801--3831(2023;Zbl 07777471) 全文: 内政部 arXiv公司
克里斯托弗·莱伦菲尔德;保罗·斯托克 嵌入式Trefftz间断Galerkin方法。 (英语) Zbl 07772283号 国际期刊数字。方法工程。 124,编号17,3637-3661(2023).MSC公司:65新元 35Jxx型 6500万 PDF格式BibTeX公司 XML格式引用 \textit{C.Lehrenfeld}和\textit{P.Stocker},国际期刊数字。方法工程124,编号17,3637-3661(2023;Zbl 07772283) 全文: 内政部 arXiv公司 OA许可证
彭志超;丹尼尔·阿佩尔;刘爽 无小单元刚度的通用AMG加速嵌入边界法。 (英语) 兹伯利07754876 科学杂志。计算。 97,第2期,第40号论文,第29页(2023年). 审核人:Denys Dutykh(《Lac报》) MSC公司:6500万06 65号06 65M55型 65牛顿50 65个M12 65岁15岁 65D12号 65D05型 65层10 80A22型 76D05型 2010年第49季度 35兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.Peng}等人,《科学杂志》。计算。97,第2号,第40号论文,第29页(2023;Zbl 07754876) 全文: 内政部 arXiv公司
巴勃罗·克鲁帕;丹尼尔·利蒙;阿拉莫、特奥多罗;阿尔贝托·本普拉德 有效求解谐波模型预测控制公式。 (英语) Zbl 07746880号 IEEE传输。自动。控制 68,编号9,5568-5575(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{P.Krupa}等人,IEEE Trans。自动。对照68,编号9,5568-5575(2023;Zbl 07746880) 全文: 内政部 arXiv公司
A.Yu奥尔洛夫。 τ函数的积分:圆舞τ函数和多重矩阵积分。 (英语。俄文原件) Zbl 1516.37103号 西奥。数学。物理学。 215,编号3,784-792(2023); 来自Teor的翻译。材料Fiz。215,第3期,377-387(2023年)。MSC公司:37K20码 37K10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Orlov},Theor(西奥)。数学。物理学。215,编号3,784--792(2023;Zbl 1516.37103);来自Teor的翻译。材料Fiz。215,编号3,377-387(2023) 全文: 内政部
艾米丽·伯恩;菲利普·莱勒;凯萨琳娜·科尔曼;卡罗拉·克鲁斯;弗吉尼亚州格兰吉拉德;亚曼·Güçlü;Kühn,Martin J。;乌尔里奇·吕德;埃里克·桑纳德吕克;埃多亚多·佐尼 托卡马克几何上类泊松方程的解算器比较。 (英语) Zbl 07697004号 J.计算。物理学。 488,文章ID 112249,26 p.(2023).MSC公司:65新元 35Jxx型 7.6亿 PDF格式BibTeX公司 XML格式引用 \textit{E.Bourne}等人,J.Compute。物理学。488,文章ID 112249,第26页(2023;Zbl 07697004) 全文: 内政部 链接
蒙蒂·埃弗里;路易斯·加勒诺 扩展Fisher-KPP方程中临界前沿的谱稳定性。 (英语) Zbl 1510.35042号 Z.安圭。数学。物理学。 74,第2期,第71号论文,25页(2023年).MSC公司:35B35型 35B25型 35C07型 35K25码 35P05号 37升15 PDF格式BibTeX公司 XML格式引用 \textit{M.Avery}和\textit{L.Garénaux},Z.Angew。数学。物理学。74,第2号,第71号论文,第25页(2023年;Zbl 1510.35042) 全文: 内政部 arXiv公司 哈尔
唐玉涛;朱奎 基于输出反馈的不确定高阶多智能体系统的最优一致性。 (英语) Zbl 07769344号 国际J鲁棒非线性控制 32,第4期,2084-2099(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Tang}和\textit{K.Zhu},Int.J.鲁棒非线性控制32,No.4,2084--2099(2022;Zbl 07769344) 全文: 内政部 arXiv公司
艾哈迈德·阿里·迪布;法拉·沙胡德 基于图像的目标检测方法将用于机器人导航的嵌入式系统。 (英语) Zbl 07743365号 Russ.J.非线性动力学。 18,编号5,787-802(2022).MSC公司:68T40型 68T45型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Deeb}和\textit{F.Shahhoud},Russ.J.非线性动力学。18,编号5,787--802(2022;Zbl 07743365) 全文: 内政部 MNR公司
卡内蒂·乔斯纳;维贾亚·拉克斯米(Vijaya Laxmi),皮卡拉(Pikkala);维贾亚·库马尔·普拉蒂 分析\(GI/M/1/N\)和\(GI/Geo/1/N\)队列中的停顿和休假中断。 (英语) Zbl 1524.60233号 数学杂志。模型。 10,第4号,569-585(2022).MSC公司:60K25码 68平方米 90B22型 PDF格式BibTeX公司 XML格式引用 \textit{K.Jyothsna}等人,《数学杂志》。模型。10,编号4,569--585(2022;Zbl 1524.60233) 全文: 内政部
穆静;田凤;白晓军;王长元;程建联 自适应Masreliz-Martin分数嵌入容积卡尔曼滤波器。 (英语) Zbl 1510.93324号 电路系统。信号处理。 41,第11期,6051-6074(2022).MSC公司:93E11号机组 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{J.Mu}等人,《电路系统》。信号处理。41,编号11,6051--6074(2022;Zbl 1510.93324) 全文: 内政部
大卫·B·斯坦。 利用函数强度求解光滑几何中非均匀椭圆偏微分方程的谱精确解。 (英语) Zbl 07599626号 J.计算。物理学。 470,文章ID 111594,25 p.(2022).MSC公司:65新元 6500万 35Jxx型 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Stein},J.计算。物理学。470,文章ID 111594,25 p.(2022;Zbl 07599626) 全文: 内政部 arXiv公司
吉奥瓦尼·吉达;戴维·法维拉托;马可·科拉贝拉;吉安卢卡·布诺莫 使用一种新的多模型方法对电池的鲁棒充电状态和健康状态进行估计。 (英语) Zbl 1500.93150 控制理论技术。 20,第3期,418-438(2022).MSC公司:93E35型 93E11号机组 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{G.Guida}等人,《控制理论技术》。20,第3号,418--438(2022;Zbl 1500.93150) 全文: 内政部
吕培培;安德烈亚斯·鲁普;Guido Kanschat公司 嵌入间断Galerkin方法的均匀多重网格。 (英语) Zbl 1502.65249号 比特币 62,第3期,1029-1048(2022).MSC公司:65号55 65N30型 65牛顿50 65层10 65N12号 35J05型 35B65毫米 PDF格式BibTeX公司 XML格式引用 \textit{P.Lu}等人,BIT 62,No.3,1029--1048(2022;Zbl 1502.65249) 全文: 内政部 arXiv公司
约翰·古根海默 嵌入表面主要叶理的延续方法。 (英语) Zbl 1506.37108号 J.计算。动态。 9,第3期,371-392(2022). 审核人:Joseph Páez Chávez(瓜亚基尔) MSC公司:37米20 37G10型 37C86号 65升06 53A05型 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{J.古根海默},J.计算机。动态。9,第3号,371--392(2022;Zbl 1506.37108) 全文: 内政部
朱利安尼,A。;阿尔姆格伦。;贝尔,J.B。;M.J.伯杰。;Henry de Frahan,麻省理工。;D.兰加拉扬。 嵌入式边界网格的加权状态重分布算法。 (英语) Zbl 07540352号 J.计算。物理学。 464,文章ID 111305,17 p.(2022).MSC公司:6500万 35磅 7.6亿 PDF格式BibTeX公司 XML格式引用 \textit{A.Giuliani}等人,J.Compute。物理学。464,文章ID 111305,17 p.(2022;Zbl 07540352) 全文: 内政部 arXiv公司
孟庆乐;白,郑健;刁、淮安;刘洪宇 弹性力学中嵌入障碍物的有效介质理论及其在反问题中的应用。 (英语) Zbl 1495.35024号 SIAM J.应用。数学。 82,第2期,720-749(2022). 审核人:逸仙高(长春) MSC公司:35B34型 35甲15 35J57型 第35页 35兰特 74J20型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Meng}等人,SIAM J.应用。数学。82,编号2,720--749(2022;Zbl 1495.35024) 全文: 内政部 arXiv公司
劳拉·布鲁斯滕加;格奥尔赫·克雷西恩;Sorea,Miruna-ötefana公司 伪装的复曲面动力系统。 (英语) Zbl 1485.14106号 J.纯应用。代数 226,第8期,文章ID 107035,24 p.(2022). 审核人:弗拉基米尔·科斯托夫(尼斯) MSC公司:14第05页 第14页 2014年第30季度 34D23个 34C08(二氧化碳) 37E99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brustenga i Moncusí}等人,J.Pure Appl。代数226,第8号,文章ID 107035,24 p.(2022;Zbl 1485.14106) 全文: 内政部 arXiv公司
Karen Godary-Dejean;赫莱内·勒鲁;大卫·安德烈 解释了时间Petri网的同步扩展。定义、语义和形式分析。 (英语) Zbl 1489.93071号 离散事件动态。系统。 32,编号1,27-64(2022).MSC公司:93元65角 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{K.Godary-Dejean}等人,离散事件动态。系统。32,编号1,27--64(2022;Zbl 1489.93071) 全文: 内政部
沃姆莱顿,B。 代数能力。 (英语) Zbl 07437394号 选择。数学。,新序列号。 28,第1号,第9号论文,45页(2022年).MSC公司:53天35分 53D05型 14C20型 53D42号 53立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Wormleighton},塞尔文。数学。,新序列号。28,第1号,第9号论文,45页(2022;Zbl 07437394) 全文: 内政部 arXiv公司
González Yilian,里博特;杰弗里·内里森;爱德华多·托瓦尔 Ndimnoc:实时D维NoC。 (英语) Zbl 07699454号 Brandenburg,Björn B.(编辑),第33届实时系统欧洲微观会议,ECRTS 2021,虚拟会议,2021年7月5日至9日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。196,第5条,22页(2021年)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Y.Ribot}等人,LIPIcs——莱布尼茨国际程序。通知。196,第5条,22 p.(2021;Zbl 07699454) 全文: 内政部
文森特·胡米利埃 A(C^\infty)结束引理(在Asaoka和Irie之后)。(Un lemme de fermeture\(C^\infty)(阿育王和艾琳)。) (法语) Zbl 1502.37063号 塞米纳伊尔·布尔巴吉。2019/2021年第1期。1166-1180年博览会。1948/49年至2019/21年期间的平均姓名表。巴黎:法国数学协会(SMF)。Astérisque 430,55-92,Exp.No.1168(2021)。MSC公司:37J39号 37J11号机组 37E30型 37J46号 53D42号 第53页第10页 28甲12 PDF格式BibTeX公司 XML格式引用 \textit{V.Humilière},阿斯特里斯克430,55-92,实验编号1168(2021;Zbl 1502.37063) 全文: 内政部
彼得·萨博;约格·西克曼 基于广义嵌入的E-统一。 (英语) Zbl 1489.68117号 数学。结构。计算。科学。 31,第8号,898-917(2021).MSC公司:2012年第68季度 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{P.Szabo}和\textit{J.Siekmann},数学。结构。计算。科学。31,第8号,898--917(2021;Zbl 1489.68117) 全文: 内政部
安娜·索菲·博内特·本·迪亚;哈扎德,克利斯朵夫;弗洛里安·蒙特盖蒂 具有角点的平面亚波长粒子的复杂等离子体共振的复标度方法。 (英语) Zbl 07512376号 J.计算。物理学。 440,文章ID 110433,29 p.(2021).MSC公司:35Jxx型 78轴 35件 PDF格式BibTeX公司 XML格式引用 \textit{A.-S.Bonnet-Ben-Dhia}等人,《计算杂志》。物理学。440,文章ID 110433,29 p.(2021;Zbl 07512376) 全文: 内政部 哈尔
哈迪·苏珊托;Boris A.Malomed。 二次谐波产生晶格中的嵌入孤子。 (英语) Zbl 1496.34030号 混沌孤子分形 142,文章ID 110534,9 p.(2021).MSC公司:34A33型 第35季度53 37公里40 PDF格式BibTeX公司 XML格式引用 \textit{H.Susanto}和\textit{B.A.Malomed},混沌孤子分形142,文章ID 110534,9 p.(2021;Zbl 1496.34030) 全文: 内政部 arXiv公司
摩根·威勒 面积守恒环微分的周期轨道的平均作用。 (英语) Zbl 1490.53098号 J.白杨。分析。 13,第4号,1013-1074(2021).MSC公司:53天35分 37J12号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Weiler},J.Topol。分析。13,第4号,1013--1074(2021;Zbl 1490.53098) 全文: 内政部 arXiv公司
牛、腾;翟金刚;尹洪超;冯恩敏;刘崇阳 基于状态相关切换系统的非耦合微生物补料分批发酵优化。 (英语) 兹比尔1480.92132 国际生物数学杂志。 14,第4号,文章ID 2150025,22 p.(2021).MSC公司:92立方厘米75 93立方 90立方厘米 90立方厘米 49N90型 PDF格式BibTeX公司 XML格式引用 \textit{T.Niu}等人,国际生物数学杂志。14,第4号,文章ID 2150025,第22页(2021;Zbl 1480.92132) 全文: 内政部
马可·波扎;安东尼奥·西科诺尔菲 网络上的折扣哈密顿-雅可比方程和渐近分析。 (英语) Zbl 1481.35125号 印第安纳大学数学。J。 70,编号3,1103-1129(2021).MSC公司:35层21 35卢比 35B51型 49升25 37K55美元 PDF格式BibTeX公司 XML格式引用 \印第安纳大学数学系textit{M.Pozza}和\textit{A.Siconolfi}。J.70,No.3,1103--1129(2021;Zbl 1481.35125) 全文: 内政部 arXiv公司 链接
田永晓;颜怀成;张浩;詹西生;彭燕 具有不完全半马尔可夫核的线性半马尔可夫跳跃系统的弹性静态输出反馈控制。 (英语) Zbl 1471.93104号 IEEE传输。自动。控制 66,编号9,4274-4281(2021).MSC公司:93B52号 93C55美元 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tian}等人,IEEE Trans。自动。控制66,编号9,4274--4281(2021;Zbl 1471.93104) 全文: 内政部
米盖尔·洛佩兹·蒙蒂尔;奥罗斯科·罗萨斯(Orozco Rosas)、尤利西斯(Ulises);莫伊斯·桑切斯·阿达姆;基尼亚皮科斯;奥斯卡·蒙蒂尔 评估在嵌入式系统上实现的交通标志检测的深度学习算法。 (英语) Zbl 07392099号 Melin,Patricia(编辑)等人,基于软计算的混合智能系统的最新进展。查姆:斯普林格。螺柱计算。智力。915, 95-115 (2021).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Lopez-Montiel}等人,研究计算。智力。915,95-115(2021;Zbl 07392099) 全文: 内政部
布鲁诺·诺盖拉;埃里克·巴博萨 基于FPGA的连续GRASP加速体系结构。 (英语) Zbl 1481.68051号 计算 103,第7期,1333-1352(2021).MSC公司:68瓦35 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{B.Nogueira}和\textit{E.Barboza},《计算》103,第7期,1333--1352(2021;Zbl 1481.68051) 全文: 内政部
马蒂恩·亨德里克斯;马克·盖伦;古森、基斯;罗伯·德容;吐温·巴斯滕 质量和资源管理的接口建模。 (英语) Zbl 07379290号 日志。方法计算。科学。 17,第2号,第19号论文,第34页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Hendriks}等人,日志。方法计算。科学。17,第2号,第19号论文,第34页(2021;Zbl 07379290) 全文: 内政部 arXiv公司
安东尼奥·罗德里格斯。;罗兰·帕斯托里诺;安吉尔·卡罗·拉戈亚;卡尔·詹森;米盖尔·阿尔·纳亚。 实时嵌入式应用程序多体仿真的硬件加速。 (英语) Zbl 1470.70011号 多体系统。动态。 51,第4期,455-473(2021).MSC公司:70E55型 70至10 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Rodríguez}等人,《多体系统》。动态。51,编号4,455--473(2021;Zbl 1470.70011) 全文: 内政部
安东·图佐夫 刚性常微分方程的三阶隐显方法。 (英语) Zbl 1474.65206号 马特·维森。 73,第2期,119-130(2021).MSC公司:65升04 65升05 65L20英寸 PDF格式BibTeX公司 XML格式引用 \textit{A.Tuzov},马特·维森。73,编号2,119--130(2021;Zbl 1474.65206) 全文: 链接 链接
杨玉星 三元立方体的嵌入连接性。 (英语) Zbl 1482.05321号 西奥。计算。科学。 871, 121-125 (2021).MSC公司:05C82号 05C40号 68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \发短信{Y.Yang},Theor。计算。科学。87121-125(2021;Zbl 1482.05321) 全文: 内政部
亨特·约翰斯顿;丹尼尔·莫塔里 混合系统边值问题的最小二乘解。 (英语) Zbl 1471.65087号 J.计算。申请。数学。 393,文章ID 113524,19 p.(2021).MSC公司:65升10 PDF格式BibTeX公司 XML格式引用 \textit{H.Johnston}和\textit{D.Mortari},J.Compute。申请。数学。393,文章ID 113524,19 p.(2021;Zbl 1471.65087) 全文: 内政部 arXiv公司
阿列克谢·雷布金 正束缚态对KdV溶液的影响:案例研究。 (英语) 兹比尔1462.35340 非线性 34,第2期,1238-1261(2021).MSC公司:第35季度53 55年第35季度 35A09型 35页第10页 34L40码 37K15型 47B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rybkin},非线性34,No.2,1238--1261(2021;Zbl 1462.35340) 全文: 内政部 arXiv公司
彼得·马韦德尔 嵌入式系统设计。嵌入式系统是网络物理系统和物联网的基础。第4次更新和修订版。 (英语) Zbl 1457.68003号 嵌入式系统查姆:施普林格(ISBN 978-3-030-60909-2/hbk;978-3-0.30-60910-8/电子书)。xxii,433页。,开放存取(2021年)。MSC公司:68-01 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Marwedel},嵌入式系统设计。嵌入式系统是网络物理系统和物联网的基础。第4次更新和修订版。查姆:斯普林格(2021;Zbl 1457.68003) 全文: 内政部
帕特里克·查伯 嵌入式系统的带神经逼近的快速非线性模型预测控制算法:初步结果。 (英语) Zbl 07828868号 Bartoszewicz,Andrzej(编辑)等人,《高级当代控制》。2020年10月14日至29日,波兰科托德第20届波兰控制会议(PCC 2020),KKA 2020会议记录。查姆:斯普林格。高级智能。系统。计算。1196, 1067-1078 (2020).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{P.Chaber},高级情报。系统。计算。11961067-1078(2020;Zbl 07828868) 全文: 内政部
阿方索·罗德里格斯,兰斯;S.Roy Choudhury 新的拉格朗日层次,广义变分常微分方程,以及正则和嵌入孤立波族。 (英语) Zbl 1519.37075号 《物理学杂志》。A、 数学。西奥。 53,第37号,文章ID 375701,15页(2020年).MSC公司:37K10型 70S05号 70S10型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alfonso-Rodriguez}和\textit{S.R.Choudhury},J.Phys。A、 数学。西奥。53,第37号,文章ID 375701,15页(2020;Zbl 1519.37075) 全文: 内政部 arXiv公司
金·列杰厄斯;罗曼·波曼;埃里克·T·菲普斯。;托比亚斯·魏斯纳(Tobias A.Wiesner)。;马滕·阿恩斯特 具有嵌入式集成传播的GMRES,用于计算模型不确定性量化中参数线性系统的有效解。 (英语) Zbl 1506.65056号 计算。方法应用。机械。工程师。 369,文章ID 113188,31 p.(2020).MSC公司:65层10 60-08 PDF格式BibTeX公司 XML格式引用 \textit{K.Liegeois}等人,计算。方法应用。机械。工程369,文章ID 113188,31 p.(2020;Zbl 1506.65056) 全文: 内政部 链接
威廉·霍尔斯;维克拉姆·克里希纳穆尔西;帕塔纳亚克、库纳尔 理性的不注意反向强化学习解释了YouTube的评论行为。 (英语) Zbl 1525.68112号 J.马赫。学习。物件。 21,第170号论文,39页(2020年).MSC公司:68T05型 2015年1月62日 62H30型 62第20页 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{W.Hoiles}等人,J.Mach。学习。第21号决议,第170号文件,第39页(2020年;兹bl 1525.68112) 全文: arXiv公司 链接
于德米扬诺维奇。英国。 流形上的自适应Haar型小波。 (英语。俄文原件) Zbl 1453.42033号 数学杂志。科学。,纽约 251,第6期,797-813(2020年); Probl的翻译。材料分析。107,23-37(2020年)。MSC公司:42立方厘米 46E30型 PDF格式BibTeX公司 XML格式引用 \textit{Yu.K.Dem'yanovich},J.数学。科学。,纽约251,No.6,797--813(2020;Zbl 1453.42033);Probl的翻译。材料分析。107, 23--37 (2020) 全文: 内政部
张燕;迈克尔·M·扎夫拉诺斯。 定点算法下的增广拉格朗日优化。 (英语) Zbl 1452.90247号 Automatica公司 122,文章ID 109218,6 p.(2020).MSC公司:90C25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{M.M.Zavlanos},Automatica 122,文章ID 109218,6 p.(2020;Zbl 1452.90247) 全文: 内政部 arXiv公司
宁泽鹏;张丽仙;阿里·梅斯巴;帕特里齐奥·科拉内里 离散时间非齐次半马尔可夫跳跃线性系统的稳定性分析和镇定:一种多面体方法。 (英语) Zbl 1448.93341号 Automatica公司 120,文章ID 109080,14 p.(2020).MSC公司:93E15型 93C55美元 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ning}等人,Automatica 120,文章ID 109080,14 p.(2020;Zbl 1448.93341) 全文: 内政部
尼科·休布纳;尼尔斯·施温;迈克尔·苏里亚;文森特·休夫林;托马斯·雷布弗里德 带储能的交直流电网安全约束动态最优潮流的多区域协调。 (英语) Zbl 1447.93132号 Bertsch,Valentin(编辑)等人,《能源系统优化进展》。第二届能源系统优化国际研讨会论文集,2018年10月10日至11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。数学趋势。,27-40 (2020).MSC公司:93B70型 93甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Huebner}等人,in:能源系统优化进展。第二届能源系统优化国际研讨会论文集,2018年10月10-11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。27-40(2020年;兹比尔1447.93132) 全文: 内政部
马可·金托利;苏珊·施密特 输电网中嵌入HVDC的安全性分析。 (英语) Zbl 1447.93131号 Bertsch,Valentin(编辑)等人,《能源系统优化进展》。第二届能源系统优化国际研讨会论文集,2018年10月10日至11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。数学趋势。,13-25 (2020).MSC公司:93B70型 93甲15 93-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Giuntoli}和\textit{S.Schmitt},in:能源系统优化进展。第二届能源系统优化国际研讨会论文集,2018年10月10-11日,德国卡尔斯鲁厄,ISESO 2018。查姆:Birkhäuser。13-25(2020年;Zbl 1447.93131) 全文: 内政部
A.扎内利。;A.多马希迪。;J·赫雷斯。;M.莫拉里。 FORCES NLP:多阶段非线性非凸程序的内点方法的有效实现。 (英语) Zbl 1430.93069号 国际J.控制 93,第1期,13-29(2020年).MSC公司:93B45码 93立方厘米10 90立方 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanelli}等人,国际期刊控制93,No.1,13-29(2020;Zbl 1430.93069) 全文: 内政部
基里尔·尼基丁。;鲁斯兰·扬巴里索夫(Ruslan M.Yanbarisov)。 多孔介质流动的单调嵌入离散裂缝方法。 (英语) 兹比尔1434.65220 J.计算。申请。数学。 364,文章ID 112353,15 p.(2020).MSC公司:65号08 76S05号 76个M12 35B50型 39甲12 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{K.D.Nikitin}和\textit{R.M.Yanbarisov},J.Compute。申请。数学。364,文章ID 112353,15 p.(2020;Zbl 1434.65220) 全文: 内政部
鲍里斯拉夫·尼科利奇;罗宾·霍夫曼;恩斯特·罗尔夫 实时NoC的基于时隙的传输协议–SBT-NoC。 (英语) Zbl 07559360号 Sophie Quinton(编辑),第31届欧洲微型实时系统会议,ECRTS 2019,德国斯图加特,2019年7月9日至12日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。133,第26条,第22页(2019年)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{B.Nikolic}等人,LIPIcs——莱布尼茨国际程序。通知。133,第26条,第22页(2019年;Zbl 07559360) 全文: 内政部
穆罕默德·阿蒂亚 基于符号引擎的传感器融合设计与仿真。 (英语) Zbl 1485.93580号 数学。计算。模型。动态。系统。 25,第1号,40-62(2019).MSC公司:93E11号机组 93立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{M.Atia},数学。计算。模型。动态。系统。25,第1号,40-62(2019年;Zbl 1485.93580) 全文: 内政部
别伊·柯特林;安德烈·乔治·弗洛里亚 膜计算模型和机器人控制器设计、当前结果和挑战。 (英语) Zbl 1469.68025号 J.成员。计算。 第1期,第4期,262-269页(2019年).MSC公司:2007年第68季度 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{C.Buiu}和\textit{A.G.Florea},J.Membr。计算。1,第4号,262--269(2019;Zbl 1469.68025) 全文: 内政部
马哈拉尼,马哈拉尼;Niken拉腊萨蒂;阿卜杜拉·萨利;瓦利·马什瓦尼·汗 具有嵌入式插值和外推模型的Lanczos型算法,用于求解大型线性方程组。 (英语) Zbl 1453.65060号 国际期刊计算。科学。数学。 10,第5号,429-442(2019).MSC公司:65平方英尺 65D05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Maharani}等人,《国际计算杂志》。科学。数学。10,第5号,429--442(2019;Zbl 1453.65060) 全文: 内政部
彭超;曾海波;马尔科·迪纳塔莱 使用状态模型和有向图模型进行同步FSM可调度性分析的可调度性分析方法的比较。 (英语) Zbl 1436.68071号 实时系统。 55,第3号,598-638(2019).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Peng}等人,《实时系统》。55,第3号,598--638(2019;Zbl 1436.68071) 全文: 内政部
康,伍丘;钟,Jaeyong DeepRT:针对网络物理系统的可预测深度学习推理。 (英语) Zbl 1436.68321号 实时系统。 55,第1号,106-135(2019).MSC公司:2017年10月68日 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{W.Kang}和\textit{J.Chung},实时系统。55,编号1,106--135(2019;Zbl 1436.68321) 全文: 内政部
博里斯拉夫·尼科利奇;塞巴斯蒂安·托布沙特;利安德罗·索尔斯·英德鲁西亚克;恩斯特·罗尔夫;艾伦·伯恩斯 具有任意缓冲区大小和路由器延迟的优先级抢占式NoC的实时分析。 (英语) Zbl 1436.68069号 实时系统。 55,第1号,63-105(2019).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{B.Nikolić}等人,实时系统。55,编号1,63-105(2019;Zbl 1436.68069) 全文: 内政部 链接
伊比西姆·马卢切;阿米拉·凯里吉;Faouzi Bouani 在高性能微控制器中实时实现的自动模型预测控制代码生成。 (英语) Zbl 1447.93094号 Derbel,Nabil(编辑)等人,《系统、自动化和控制》。根据2018年莱比锡国际多人会议上的演讲选择的论文。柏林:De Gruyter/Oldenbourg高级系统。信号设备9,25-40(2019)。MSC公司:93B45码 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{I.Malouche}等人,高级系统。信号设备9,25--40(2019;Zbl 1447.93094) 全文: 内政部
马,燕;段鹏;何鹏才;张,范;陈,洪 电动汽车锂离子电池SOC估计的扩展卡尔曼滤波器的FPGA实现。 (英语) Zbl 1432.93349号 亚洲J.控制 21,第4号,2126-2136(2019).MSC公司:93E11号机组 93C83号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}et al.,Asian J.Control 21,No.4,2126--2136(2019;Zbl 1432.93349) 全文: 内政部
阿卜杜勒瓦希德·塞尔马尼;穆罕默德·奥塔努特;Hassan Oubehar,哈桑;埃德·达哈克(Ed-Dahhak),阿卜杜拉利(Abdelali);阿布德斯拉姆·拉赫哈布;穆罕默德·古尔巴伊;Benachir Bouchikhi 基于级联模糊逻辑控制器的嵌入式太阳能灌溉系统。 (英语) Zbl 1432.93198号 亚洲J.控制 1941-1951年第4期21号(2019年).MSC公司:93立方厘米 93C83号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Selmani}等人,《亚洲杂志》第21期,第4期,1941-1951年(2019年;Zbl 1432.93198) 全文: 内政部
安迪·哈默林德尔;拉斐尔·波特里 具有中心稳定圆环的系统分类。 (英语) 兹比尔1440.37039 密歇根州数学。J。 68,第1号,147-166(2019). 审核人:谢尔盖·余(Sergei Yu)。皮柳金(圣彼得堡) MSC公司:37天30分 第37页第10页 37立方厘米 PDF格式BibTeX公司 XML格式引用 \密歇根州数学textit{A.Hammerlindl}和\textit{R.Potrie}。J.68,No.1,147--166(2019;Zbl 1440.37039) 全文: 内政部 arXiv公司 欧几里得
托拜厄斯·恩格尔;安德烈亚斯·沃尔兹;费利克斯·梅斯默;Sönke莱茵;克努特·格雷琴 使用基于梯度的增广拉格朗日方法(GRAMPC)的嵌入式非线性模型预测控制的软件框架。 (英语) Zbl 07123819号 最佳方案。工程师。 20,第3号,769-809(2019).MSC公司:65Kxx美元 35Kxx美元 35Jxx型 65新元 6500万 35K15型 65M60毫米 65千5 65N30型 35J25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Englert}等人,Optim。工程20,编号3,769--809(2019;Zbl 07123819) 全文: 内政部 arXiv公司
穆罕默德·哈提卜;马吉德·扎马尼 时序契约下互连嵌入式控制系统的验证和综合。 (英语) Zbl 07120156号 第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16日至18日。纽约州纽约市:计算机协会(ACM)。208-217 (2019).MSC公司:65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Al-Khatib}和\textit{M.Zamani},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。208-217(2019;Zbl 07120156) 全文: 内政部
弗兰克·福斯特内里 球中适当嵌入的全纯圆盘,具有有限面积和致密边界。 (英语) Zbl 1426.32009年 数学。安。 373,编号1-2,719-742(2019). 审核人:马雷克·贾尼基(克拉科夫) MSC公司:32时02分 37J55型 第53页第10页 PDF格式BibTeX公司 XML格式引用 \textit{F.Forstnerič},数学。附录373,编号1--2,719--742(2019;Zbl 1426.32009) 全文: 内政部 arXiv公司
丹尼尔·莫塔里;亨特·约翰斯顿;利迪亚·史密斯 非线性微分方程的高精度最小二乘解。 (英语) Zbl 1462.65153号 J.计算。申请。数学。 352, 293-307 (2019).MSC公司:65M60毫米 6500万06 65个M12 65层10 65N22型 76S05号 92年第35季度 35卢比 PDF格式BibTeX公司 XML格式引用 \textit{D.Mortari}等人,《计算杂志》。申请。数学。352、293--307(2019年;Zbl 1462.65153) 全文: 内政部 链接
萨利姆·卡拉;Riadh Hocine公司;哈穆迪·卡拉;Abderrezak乔基 用于减少容错嵌入式系统中电池寿命抖动的优雅降级。 (英语) Zbl 1482.93432号 国际期刊系统。科学。,普林克。申请。系统。集成。 49,第11号,2353-2361(2018).MSC公司:93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Kalla}等人,国际期刊系统。科学。,普林克。申请。系统。集成。49,No.11,2353--2361(2018;Zbl 1482.93432) 全文: 内政部
莱昂妮·阿伦茨;苏菲·昆顿;托马斯·博罗斯克;恩斯特·罗尔夫 验证交换网络中流量流的弱硬实时特性。 (英语) Zbl 1497.68057号 Altmeyer,Sebastian(编辑),第30届实时系统欧洲微观会议,ECRTS 2018,2018年7月3日至6日,西班牙巴塞罗那。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。106,第15条,第22页(2018年)。MSC公司:68平方米 68M10个 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ahrendts}等人,LIPIcs——莱布尼茨国际程序。通知。106,第15条,22 p.(2018;Zbl 1497.68057) 全文: 内政部
恩里科·卡努托;卡洛·诺瓦拉;路易吉·科朗基罗 嵌入式模型控制:协调现代控制理论和基于误差的控制设计。 (英语) Zbl 1438.93079号 控制理论技术。 16,第4期,261-283(2018).MSC公司:93亿B50 93立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Canuto}等人,《控制理论技术》。16,第4号,261--283(2018;Zbl 1438.93079) 全文: 内政部
维克多·唐奈;丹尼尔·维斯彻 用Anosov测地线流证明嵌入曲面的存在性。 (英语) Zbl 1410.37032号 规则。混沌动力学。 23,第6号,685-694(2018).MSC公司:37D40型 37D20型 53D25个 PDF格式BibTeX公司 XML格式引用 \textit{V.Donnay}和\textit{D.Visscher},Regul。混沌动力学。23,第6号,685--694(2018;Zbl 1410.37032) 全文: 内政部 arXiv公司
唐玉涛 一类动态未知的高阶非线性多智能体系统的分布式优化。 (英语) Zbl 1408.93076号 国际J鲁棒非线性控制 28,第17号,5545-5556(2018).MSC公司:93C40型 93D21号 93立方厘米10 93立方厘米 93甲14 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tang},Int.J.鲁棒非线性控制28,No.17,5545--5556(2018;Zbl 1408.93076) 全文: 内政部 arXiv公司
多根·乌卢斯;奥德·马勒 使用时序逻辑指定定时模式。 (英语) Zbl 1409.68175号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。167-176(2018年)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ulus}和\textit{O.Maler},in:第21届ACM混合系统国际会议论文集:计算和控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。167--176(2018年;Zbl 1409.68175) 全文: 内政部
穆罕默德·库拉姆·巴蒂;奥兹,伊西尔;莎拉·阿明;玛丽亚·穆斯塔克;乌默·法鲁克;康斯坦丁·波波夫;Brorsson,Mats公司 同构并行计算系统的局部感知任务调度。 (英语) Zbl 1398.68062号 计算 100,第6号,557-595(2018).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Bhatti}等人,Computing 100,No.6,557--595(2018;Zbl 1398.68062) 全文: 内政部 链接
杨嘉庆;张波;张海文 嵌入物体的穿透障碍物逆声散射和电磁散射的唯一性。 (英语) Zbl 1408.78006号 J.差异。方程 265,第12号,6352-6383(2018). 审核人:托米·布兰德(特隆赫姆) MSC公司:78A46型 35兰特 78A45型 60年第35季度 35J05型 35J25型 35J57型 35卢比 35B45码 35A01型 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,J.Differ。方程式265,No.12,6352--6383(2018;Zbl 1408.78006) 全文: 内政部 arXiv公司
T·宋。;梅因,A。;G.斯科瓦齐。;Ricchiuto,M。 双曲线系统的位移边界法:线性波和浅水流的嵌入域计算。 (英语) Zbl 1392.76010号 J.计算。物理学。 369, 45-79 (2018).MSC公司:76D27型 76立方米 35克35 35L50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Song}等人,J.Compute。物理学。369、45-79(2018;Zbl 1392.76010) 全文: 内政部 哈尔
马宇哲;何坤;约翰·霍普克罗夫特;石、潘 通过局部多维缩放实现邻域保持降维。 (英语) Zbl 1393.68154号 西奥。计算。科学。 734, 58-71 (2018).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人,Theor。计算。科学。734,58-71(2018;Zbl 1393.68154) 全文: 内政部
阿尔贝托,科卡那费尔南德斯;何塞·拉尼拉;罗伯托·吉尔·皮塔;卢西亚诺·桑切斯 基于成本意识模糊规则分类器的多准则设计。 (英语) Zbl 1469.68079号 国际期刊不确定性。模糊知道-基于系统。 25,补遗1,141-159(2017).MSC公司:68T05型 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{A.CocañA-Fernández}等人,《国际不确定性杂志》。模糊知道-基于系统。25、141--159(2017;Zbl 1469.68079) 全文: 内政部
瓦尔德马尔·穆查 ARM微控制器上的实时有限元仿真。 (英语) 兹伯利07328069 J.应用。数学。计算。机械。 16,第1号,109-116(2017).MSC公司:65N30型 PDF格式BibTeX公司 XML格式引用 \textit{W.Mucha},J.应用。数学。计算。机械。16,第1号,109--116(2017;Zbl 07328069) 全文: 内政部
Eligijus Sakalauskas;阿列克塞库斯·米哈尔科维奇;阿尔吉曼塔斯文丘斯卡斯 改进的基于矩阵幂函数的非对称密码具有可证明的安全性。 (英语) Zbl 1412.94205号 对称 9,第1号,第9号论文,第10页(2017年).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Sakalauskas}等人,Symmetry 9,No.1,论文编号9,10 p.(2017;Zbl 1412.94205) 全文: 内政部
尼古拉斯·普斯;丹尼斯·金格拉斯;多米尼克·格鲁耶 使用分析冗余和非线性变换的智能车辆嵌入式传感器故障检测和隔离。 (英语) Zbl 1400.93234号 控制科学杂志。工程师。 2017年,文章ID 1763934,10 p.(2017).MSC公司:93立方厘米 93立方厘米10 93C73号 93B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Pous}等人,《控制科学杂志》。Eng.2017,文章ID 1763934,第10页(2017;兹bl 1400.93234) 全文: 内政部
丹尼尔·莫塔里 线性微分方程的最小二乘解。 (英语) Zbl 1402.65060号 数学 5,第4号,第48号论文,18页(2017年).MSC公司:65升05 65升10 34A30型 34个B05 PDF格式BibTeX公司 XML格式引用 \textit{D.Mortari},数学5,第4期,论文48,18页(2017;Zbl 1402.65060) 全文: 内政部 arXiv公司
穆罕默德·阿什贾伊;尼玛·哈利勒扎德;萨阿德·穆贝;莫里斯·贝纳姆;英戈·桑德;路易斯·阿尔梅达;托马斯·诺尔特 在可预测的分布式嵌入式系统中设计端到端资源预留。 (英语) Zbl 1476.68022号 实时系统。 53,第6号,916-956(2017).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Ashjaei}等人,《实时系统》。53,第6号,916--956(2017;Zbl 1476.68022) 全文: 内政部
蔡丽刚;刘英杰;刘志峰;陈国英;杨从斌;王倩蕾 基于刚度控制的六轴工业机器人无力控制模型。 (中文。英文摘要) Zbl 1399.93172号 J.北京工业大学。 43,第7期,1037-1044(2017).MSC公司:93C85号 70E60型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cai}等人,J.北京理工大学。43,编号7,1037--1044(2017;Zbl 1399.93172) 全文: 内政部
加布里埃尔·加林;图尔库·奥兹卢姆·塞利克;阿诺·蒂塞兰德 基于FPGA的Kummer HECC架构级优化。 (英语) 兹比尔1429.94058 Patra,Arpita(编辑)等人,《密码学进展——INDOCRYPT 2017》。2017年12月10日至13日在印度钦奈举行的第18届印度密码学国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10698, 44-64 (2017).MSC公司:94A60型 14G50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gallin}等人,Lect。票据计算。科学。10698,44-64(2017年;Zbl 1429.94058) 全文: 内政部 哈尔
孟、董;苗玲娟;邵海军 复合嵌入式容积卡尔曼滤波器。 (英语) 兹比尔1383.93087 国际期刊改编。控制信号处理。 31,第12号,1743-1753(2017).MSC公司:93E11号机组 93E10型 93C55美元 93立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{D.Meng}等人,国际期刊改编。控制信号处理。31,第12号,1743-1753(2017;Zbl 1383.93087) 全文: 内政部
张健;周志强;Lee,Tony T。;Ye,Tong(叶,童) 三状态马尔可夫信道的时延分析。 (英语) Zbl 1383.60093号 岳武义(主编)等,排队论与网络应用。2017年8月21日至23日,第十二届QTNA国际会议,中国秦皇岛。诉讼程序。商会:施普林格出版社(ISBN 978-3-319-68519-9/pbk;978-3-319-68520-5/ebook)。计算机科学课堂讲稿10591101-117(2017)。MSC公司:60K25码 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,Lect。票据计算。科学。10591、101-117(2017;Zbl 1383.60093) 全文: 内政部
A.D.索洛维耶夫。;V.N.索博列夫。 一个批量到达的服务器队列。 (英语) Zbl 1383.60091号 Rykov,Vladimir V.(编辑)等人,《概率论中的分析和计算方法》。2017年10月23日至27日在俄罗斯莫斯科举行的2017年ACMPT第一届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-71503-2/pbk;978-3-3169-71504-9/电子书)。计算机科学课堂讲稿10684,97-108(2017)。MSC公司:60K25码 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Soloviev}和\textit{V.N.Sobolev},莱克特。票据计算。科学。10684,97-108(2017;Zbl 1383.60091) 全文: 内政部
H.Okan Isguder;乌梅Uzunoglu Kocer 具有两个异构服务器的K容量排队系统分析。 (英语) Zbl 1383.60082号 Rykov,Vladimir V.(编辑)等人,《概率论中的分析和计算方法》。2017年10月23日至27日在俄罗斯莫斯科举行的2017年ACMPT第一届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-71503-2/pbk;978-3-3169-71504-9/电子书)。计算机科学课堂讲稿10684,23-30(2017)。MSC公司:60K25码 68平方米 60 K15 PDF格式BibTeX公司 XML格式引用 \textit{H.O.Isguder}和\textit{Uzunoglu Kocer},莱克特。票据计算。科学。10684,23-30(2017;Zbl 1383.60082) 全文: 内政部
金,菲尔苏 基于切比雪夫插值积分的改进切比雪夫配点法。 (英语) Zbl 1384.65044号 Kyungpook数学。J。 57,第2期,287-299(2017).MSC公司:65升05 65升60 65升04 第34页 65升70 65L20英寸 PDF格式BibTeX公司 XML格式引用 \textit{P.Kim},京畿数学。J.57,第2287-299号(2017年;Zbl 1384.65044) 全文: 内政部
詹乃军;王淑玲;赵恒军 Simulink/Stateflow图的正式验证。演绎法。 (英语) Zbl 1412.68006号 查姆:施普林格(ISBN 978-3-319-47014-6/hbk;978-3-316-47016-0/电子书)。第十五章,258页。(2017). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68-02 68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人,Simulink/Stateflow图的形式验证。演绎法。商会:施普林格(2017;兹比尔1412.68006) 全文: 内政部
杰拉德·F·赫尔明克。;弗兰克·特威特 椭圆函数的牛顿流。二: 结构稳定性:分类和表示。 (英语) Zbl 1375.05158号 欧洲数学杂志。 3,编号3,691-727(2017).MSC公司:05C45号 05C75号 30立方厘米 30天30分 30F99型 33E05号 34天30分 37立方厘米 第37页第20页 37立方厘米70 49英里15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Helminck}和\textit{F.Twilt},欧洲数学杂志。3,第3号,691--727(2017;Zbl 1375.05158) 全文: 内政部 arXiv公司
彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩,马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 (英语) Zbl 1375.68081号 正式Asp。计算。 29,第5期,911-931(2017).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人,《形式语法》。计算。29,第5号,911--931(2017;Zbl 1375.68081) 全文: 内政部 arXiv公司
史蒂芬·张;亚历克斯·科诺;本·格林曼 将系统键入为宏。 (英语) Zbl 1380.68081号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。694-705 (2017).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chang}等人,in:第44届ACM SIGPLAN编程语言原理研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。694--705(2017;Zbl 1380.68081) 全文: 内政部
Park,Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安,Sojin;Choi,Jin-Young先生;康英业 一种用于分层实时系统的可调度性分析和工作负载抽象的过程代数方法。 (英语) Zbl 1373.68162号 J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Log。阿尔盖布。方法计划。92、1-18(2017年;Zbl 1373.68162) 全文: 内政部 链接
黄,Kyongmi;Kim、Dohyun;李京植;李,Chungmok;松秀公园 使用符号分类的嵌入式变量选择方法。 (英语) Zbl 1419.62151号 安·Oper。物件。 254,编号1-2,89-109(2017).MSC公司:62H30型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Hwang}等人,Ann.Oper。第254号决议,第1--2、89-109号(2017年;Zbl 1419.62151) 全文: 内政部
穆罕默德·哈提卜;安托万·吉拉德;Thao Dang先生 定时合同下嵌入式控制器的调度。 (英语) Zbl 1369.93359号 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。131-140 (2017).MSC公司:93C57 65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Al-Khatib}等人,《第20届ACM混合系统国际会议论文集:计算与控制》,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。131-140(2017年;兹比尔1369.93359) 全文: 内政部 哈尔
克里斯托弗·拉卡卡斯;聂青 随机微分方程的自适应方法,通过自然嵌入和带记忆的拒绝采样。 (英语) Zbl 1366.65005号 离散连续。动态。系统。,序列号。B 22,第7号,2731-2761(2017).MSC公司:65立方米 60 H10型 60时35分 34F05型 65升06 PDF格式BibTeX公司 XML格式引用 \textit{C.Rackauckas}和\textit{Q.Nie},离散Contin。动态。系统。,序列号。B 22,编号7,2731--2761(2017;Zbl 1366.65005) 全文: 内政部
马可·维奥拉;马拉桑吉奥瓦尼;杰拉尔多·托拉尔多;马里奥·瓜拉西诺。 一种具有嵌入特征选择的广义特征值分类器。 (英语) Zbl 1407.68417号 最佳方案。莱特。 11,第2号,299-311(2017).MSC公司:68T05型 62H30型 2015财年65 PDF格式BibTeX公司 XML格式引用 \textit{M.Viola}等人,Optim。莱特。11,No.2,299--311(2017;Zbl 1407.68417) 全文: 内政部
劳伦蒂·赫特尔;克利斯朵夫·菲特;哈桑·奥姆兰;亚历山大·休伊特;埃米利亚·弗里德曼;Jean-Pierre理查德;西尔维乌·尤利安·尼古列斯库 非周期采样系统稳定性的最新发展:综述。 (英语) Zbl 1352.93073号 Automatica公司 76, 309-335 (2017).MSC公司:93C57 93E15型 93D05型 93C80号 PDF格式BibTeX公司 XML格式引用 \textit{L.Hetel}等人,Automatica 76,309--335(2017;Zbl 1352.93073) 全文: 内政部 哈尔
希吉尼奥·拉莫斯;古尔金德·辛格 关于求解刚性系统的Simpson型二阶导数块方法的变步长公式的注记。 (英语) Zbl 1353.65073号 申请。数学。莱特。 第64110-107页(2017).MSC公司:65升05 65升04 第34页 65磅50 PDF格式BibTeX公司 XML格式引用 \textit{H.Ramos}和\textit{G.Singh},应用。数学。莱特。64、101-107(2017;Zbl 1353.65073) 全文: 内政部