Chebotarev,A.N。 为由\(-\omega\)-正则表达式定义的\(-\ omega\”)-单词集构造最大前缀闭子集。 (英语。乌克兰原文) Zbl 07806783号 赛博。系统。分析。 59,第6号,880-889(2023); 翻译自Kibern。修女。分析。59,第6期,第19-29页(2023年)。MSC公司:68季度xx 03年月日 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。59,第6号,880--889(2023;Zbl 07806783);翻译自Kibern。修女。分析。59、第6、19--29号(2023年) 全文: 内政部
艾瓦内什金。 无向混合无向图。构建同构类似物和选择性结构包装。 (英语。乌克兰原文) Zbl 07712018年 赛博。系统。分析。 59,第3期,503-510(2023); 翻译自Kibern。修女。分析。59,第3期,168-178页(2023年)。MSC公司:68季度xx 68倍 68新元 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Ivaneskin},Cybern。系统。分析。59,第3号,503--510(2023;Zbl 07712018);翻译自Kibern。修女。分析。59,第3号,168--178(2023) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 一种矩阵方法,用于检测具有转换数据路径的有限状态机的代数综合问题的形式解。 (英语。乌克兰原文) Zbl 1510.68006号 赛博。系统。分析。 59,第2期,190-198(2023); 翻译自Kibern。修女。分析。59,第2期,第18-26页(2023年)。MSC公司:2007年7月68日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.A.Barkalov},Cybern。系统。分析。59,第2号,190--198(2023;Zbl 1510.68006);翻译自Kibern。修女。分析。59、第2、18--26号(2023年) 全文: 内政部
利沃夫,M.S。 应用集合代数的析取基及其在组合几何问题中的应用。 (英语。乌克兰原文) Zbl 07630544号 赛博。系统。分析。 58,第5号,806-817(2022); 翻译自Kibern。修女。分析。58,第5149-162号(2022年)。MSC公司:68泰克 68瓦xx 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫},Cybern。系统。分析。58,编号5,806--817(2022;Zbl 07630544);翻译自Kibern。修女。分析。58,第5号,149-162(2022) 全文: 内政部
Kryvyi,S.L。;奥帕纳森科,V.M。;扎维亚洛夫,S.B。 逻辑硬件实现的自动机解释中模糊集和关系的代数运算。 (英语。乌克兰原文) Zbl 07630529号 赛博。系统。分析。 58,第4号,649-659(2022); 翻译自Kibern。修女。分析。58,第4期,172-182(2022)。MSC公司:68季度xx 68泰克 03埃克斯 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}等人,Cybern。系统。分析。58、编号4、649--659(2022;Zbl 07630529);翻译自Kibern。修女。分析。58,第4号,172--182(2022) 全文: 内政部
克里金,V。;科门科,R。 基于次梯度下降的求解超模标记问题的自驱动算法。 (英语。乌克兰原文) Zbl 07630516号 赛博。系统。分析。 58,第4号,510-517(2022); 翻译自Kibern。修女。分析。58,第4期,24-31页(2022年)。MSC公司:68季度xx 90立方厘米 90倍X PDF格式BibTeX公司 XML格式引用 \textit{V.Krygin}和\textit{R.Khomenko},Cybern。系统。分析。58,编号4,510-517(2022;Zbl 07630516);翻译自Kibern。修女。分析。58,第4号,24-31(2022) 全文: 内政部
O.O.莱提切夫斯基。;Odarushchenko,O.M。;佩沙连科,V.S。;科尔琴科,V.S。;Moskalets,V.V.公司。 VHDL作为电子设计语言的插入语义。 (英语。乌克兰原文) Zbl 07630511号 赛博。系统。分析。 58,第2期,289-298(2022); 翻译自Kibern。修女。分析。58,第2期,154-165(2022)。MSC公司:68季度xx 94Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{O.O.Letychevskyi}等人,Cybern。系统。分析。58,第2289-298号(2022;Zbl 07630511);翻译自Kibern。修女。分析。58,第2号,154--165(2022) 全文: 内政部
Chebotarev,A.N。 构造由基本扩展图指定的\(-\omega\)-正则表达式。 (英语。乌克兰原文) Zbl 07630497号 赛博。系统。分析。 58,第2期,165-170(2022); 翻译自Kibern。修女。分析。58,第2期,第3-9页(2022年)。MSC公司:68季度xx 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。58,第2号,165--170(2022;Zbl 07630497);翻译自Kibern。修女。分析。58,第2号,第3--9号(2022年) 全文: 内政部
扎迪拉卡,V.K。;A.M.特雷申科。 在并行计算模型中计算多位数值的总和。 (英语。乌克兰原文) Zbl 07630494号 赛博。系统。分析。 58,第3号,473-480(2022); 翻译自Kibern。修女。分析。58,第3期,174-182(2022)。MSC公司:68季度xx 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{V.K.Zadiraka}和\textit{A.M.Tereshchenko},Cybern。系统。分析。58,编号3,473--480(2022;Zbl 07630494);翻译自Kibern。修女。分析。58,第3号,174--182(2022) 全文: 内政部
艾瓦内什金。 无定向混交林通用信息软件技术。 (英语。乌克兰原文) Zbl 07630493号 赛博。系统。分析。 58,第3号,465-472(2022); 翻译自Kibern。修女。分析。58,第3期,164-173(2022)。MSC公司:68季度xx 68倍 68新元 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Ivaneskin},Cybern。系统。分析。58,第3号,465--472(2022;Zbl 07630493);翻译自Kibern。修女。分析。58,第3号,164--173(2022) 全文: 内政部
O.莱提切夫斯基。;V·沃尔科夫。;于塔拉西奇。;G·索科洛娃。;佩沙连科,V。 分子建模和行为代数应用的现代方法和软件系统。 (英语。乌克兰原文) Zbl 07630492号 赛博。系统。分析。 58,第3号,454-464(2022); 翻译自Kibern。修女。分析。58,第3期,第150-163页(2022年)。MSC公司:68季度xx 6800万 81至XX PDF格式BibTeX公司 XML格式引用 \textit{O.Letychevskyi}等人,Cybern。系统。分析。58,编号3,454--464(2022;Zbl 07630492);翻译自Kibern。修女。分析。58,第3号,150--163(2022) 全文: 内政部
Kryvyi,S。 应用具有单位的交换环构造对称加密系统。 (英语。乌克兰原文) Zbl 1499.94044号 赛博。系统。分析。 58,第3号,319-330(2022); 翻译自Kibern。修女。分析。58,第3期,第3-16页(2022年)。MSC公司:94A60型 13M99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Kryvyi},Cybern。系统。分析。58,编号3,319--330(2022;Zbl 1499.94044);翻译自Kibern。修女。分析。58,第3号,第3-16号(2022年) 全文: 内政部
Letychevskyi,O.O。;佩沙连科,V.S。;Y.V.Hryniuk。 模糊测试技术及其在网络安全任务中的应用。 (英语。乌克兰原文) 兹比尔07515005 赛博。系统。分析。 58,第1号,157-163(2022); 翻译自Kibern。修女。分析。58,第1期,181-189(2022)。MSC公司:68季度xx 6800万 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{O.O.Letychevskyi}等人,Cybern。系统。分析。58,第1号,157--163(2022;Zbl 07515005);翻译自Kibern。修女。分析。58,第1号,181--189(2022) 全文: 内政部
Rystsov,I.K。 Cerny关于具有简单幂等元的自动机的猜想。 (英语。乌克兰原文) Zbl 07514988号 赛博。系统。分析。 58,编号1,1-7(2022); 翻译自Kibern。修女。分析。58,第1期,第3-10页(2022年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.K.Rystsov},Cybern。系统。分析。58,编号1,1--7(2022;Zbl 07514988);翻译自Kibern。修女。分析。58,第1号,第3--10号(2022年) 全文: 内政部
Chebotarev,A.N。 \(-\omega\)-正则表达式的交集。 (英语。乌克兰原文) Zbl 1484.68078号 赛博。系统。分析。 57,第5号,676-684(2021); 翻译自Kibern。修女。分析。57,第5期,第12-21页(2021年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。57,编号5,676--684(2021;Zbl 1484.68078);翻译自Kibern。修女。分析。57,第5号,12--21(2021) 全文: 内政部
Kryvyi,S.L。;Opanasenko,V.N。;扎维亚洛夫,S.B。 自动机解释中模糊集和关系的逻辑运算。 (英语。俄文原件) Zbl 1454.03072号 赛博。系统。分析。 56,第6号,1012-1020(2020); 翻译自Kibern。修女。分析。2020年,第6175-183号(2020年)。MSC公司:03E72型 65年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}等人,Cybern。系统。分析。56,第6号,1012--1020(2020;Zbl 1454.03072);翻译自Kibern。修女。分析。2020年,第6期,175--183(2020年) 全文: 内政部
Barkalov,A.A。;洛杉矶Titarenko。;A.V.拜耶夫。;马特维耶科。 在ASIS基础上优化组合自动化方案。 (英语。俄文原件) Zbl 1496.68172号 赛博。系统。分析。 56,第6号,863-871(2020); 翻译自Kibern。修女。分析。2020年,第6期,第3-11页(2020年)。MSC公司:65年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Barkalov}等人,Cybern。系统。分析。56,第6号,863--871(2020;Zbl 1496.68172);翻译自Kibern。修女。分析。2020年,第6期,第3-11期(2020年) 全文: 内政部
Chebotarev,A.N。 从形式为\(F(t)\)到\(-\omega \)的LP公式-正则表达式。 (英语。俄文原件) Zbl 1477.68149号 赛博。系统。分析。 56,第5号,689-700(2020); 翻译自Kibern。修女。分析。2020年,第5期,第3-17页(2020年)。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。56,第5号,689--700(2020;Zbl 1477.68149);翻译自Kibern。修女。分析。2020年,第5期,第3-17期(2020年) 全文: 内政部
波戈里利,S。;斯林科,M。 异构体系结构中应用程序设计的建模和验证方法。 (英语。俄文原件) Zbl 1496.68038号 赛博。系统。分析。 56,第4号,683-688(2020); 翻译自Kibern。修女。分析。2020年,第4期,196-202(2020)。MSC公司:2007年7月68日 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Pogoryy}和\textit{M.Slynko},Cybern。系统。分析。56,第4号,683--688(2020;Zbl 1496.68038);翻译自Kibern。修女。分析。2020年,第4期,196--202(2020) 全文: 内政部
Alekseychuk,A.N。;科尼乌肖克,S.M。;波伦斯基,M.V。 由有限自动机序列实现的离散函数不平衡的上界。 (英语。俄文原件) Zbl 1434.68223号 赛博。系统。分析。 55,第5号,752-759(2019); 翻译自Kibern。修女。分析。2019年,第5期,第58-66页(2019年)。MSC公司:65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Alekseychuk}等人,Cybern。系统。分析。55,第5号,752--759(2019;Zbl 1434.68223);翻译自Kibern。修女。分析。2019年,第5期,第58-66期(2019年) 全文: 内政部
Chebotarev,A.N。 在根据语言LP中的规范合成的(Sigma)自动机中检测虚拟状态。 (英语。俄文原件) Zbl 1448.68261号 赛博。系统。分析。 55,第5号,742-751(2019); 翻译自Kibern。修女。分析。2019年,第5期,第47-57页(2019年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。55,第5号,742--751(2019;Zbl 1448.68261);翻译自Kibern。修女。分析。2019年,第5期,47-57(2019) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 具有转换数据路径的微程序有限状态机合成方法的结构分类。 (英语。俄文原件) Zbl 1443.68081号 赛博。系统。分析。 55,第2期,167-173(2019); 翻译自Kibern。修女。分析。2019年,第2期,第3-9期(2019年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.A.Barkalov},Cybern。系统。分析。55,第2167-173号(2019年;兹bl 1443.68081);翻译自Kibern。修女。分析。2019年第2、3-9号(2019年) 全文: 内政部
Kryvyi,S.L。;奥帕纳森科,V.M。;扎维亚洛夫,S.B。 通过逻辑硬件用整数坐标对一组向量进行分区。 (英语。俄文原件) Zbl 1443.68219号 赛博。系统。分析。 55,第3号,462-473(2019); 翻译自Kibern。修女。分析。2019年,第3期,第136-148页(2019年)。MSC公司:68瓦35 65年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}等人,Cybern。系统。分析。55,第34662-473号(2019年;兹bl 1443.68219);翻译自Kibern。修女。分析。2019年,第3期,136--148(2019) 全文: 内政部
萨维奇,M.M。;费森科,A.V。 量子计算:调查与分析。 (英语。俄文原件) 兹比尔1418.81019 赛博。系统。分析。 55,第1期,10-21(2019); 翻译自Kibern。修女。分析。2019年,第1期,第14-29页(2019年)。MSC公司:81页68 2005年第68季度 2012年第68季度 81页94 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Savchuk}和\textit{A.V.Fesenko},Cybern。系统。分析。55、第1号、第10--21号(2019年;Zbl 1418.81019);翻译自Kibern。修女。分析。2019年,第1期,14-29(2019) 全文: 内政部
耶尔索夫,S.V。;波诺马伦科(R.M.Ponomarenko)。 高阶Takagi-Sugeno系统的并行模糊推理方法。 (英语。俄文原件) 兹比尔1411.93107 赛博。系统。分析。 54,第6号,1003-1012(2018); 翻译自Kibern。修女。分析。2018年第6期,170-180(2018)。MSC公司:93立方厘米 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Yershov}和\textit{R.M.Ponomarenko},Cybern。系统。分析。54,第6号,1003--1012(2018;Zbl 1411.93107);翻译自Kibern。修女。分析。2018年第6期,170--180(2018) 全文: 内政部
Kryvyi,S.L。;S.D.波戈里利。;格利波茨,M.M。;Y.V.博伊科。;北卡罗来纳州Sydorova。 设计IT基础设施。 (英语。俄文原件) 兹比尔1407.68049 赛博。系统。分析。 54,第6号,977-992(2018); 翻译自Kibern。修女。分析。2018年,第6141-158号(2018)。MSC公司:68米10 68平方米 68问题85 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}等人,Cybern。系统。分析。54,第6号,977--992(2018;Zbl 1407.68049);翻译自Kibern。修女。分析。2018年第6期,141--158(2018) 全文: 内政部
赫洛莫兹达,D.K。;格利波茨,M.M。;O.M.马克西米茨。 自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 (英语。俄文原件) Zbl 1445.68141号 赛博。系统。分析。 54,第4期,650-661(2018); 翻译自Kibern。修女。分析。2018年,第4期,151-163(2018)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Hlomozda}等人,Cybern。系统。分析。54,第4号,650--661(2018;Zbl 1445.68141);翻译自Kibern。修女。分析。2018年第4期,151--163(2018) 全文: 内政部
Chebotarev,A.N。 一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成。 (英语。俄文原件) Zbl 1400.68122号 赛博。系统。分析。 54,第4期,527-540(2018); 翻译自Kibern。修女。分析。2018年第4期,16-31页(2018年)。MSC公司:60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。54,第4号,527--540(2018;Zbl 1400.68122);翻译自Kibern。修女。分析。2018年第4、16-31号(2018) 全文: 内政部
斯科贝列夫,V.V。;斯科贝列夫,V.G。 混合自动机分析的一些问题。 (英语。俄文原件) Zbl 1445.68127号 赛博。系统。分析。 54,第4期,517-526(2018); 翻译自Kibern。修女。分析。2018年,第4期,第3-15期(2018年)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev},Cybern。系统。分析。54,No.4,517--526(2018;Zbl 1445.68127);翻译自Kibern。修女。分析。2018年第4号、第3--15号(2018) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 确定带有转换数据路径的微程序有限状态机的有效应用区域。 (英语。俄文原件) Zbl 1401.68143号 赛博。系统。分析。 54,第3期,366-375(2018); 翻译自Kibern。修女。分析。2018年,第3期,27-37(2018)。MSC公司:65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.A.Barkalov},Cybern。系统。分析。54,第3号,366--375(2018;Zbl 1401.68143);翻译自Kibern。修女。分析。2018年第3期,27-37号(2018) 全文: 内政部
斯科贝列夫,V.V。;斯科贝列夫,V.G。 有限T-拟群上的自动机。 (英语。俄文原件) Zbl 1401.68218号 赛博。系统。分析。 54,第3号,345-356(2018); 翻译自Kibern。修女。分析。2018年第3期,第3-16页(2018年)。MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev},Cybern。系统。分析。54,第3号,345--356(2018;Zbl 1401.68218);翻译自Kibern。修女。分析。2018年第3期、第3--16期(2018年) 全文: 内政部
赫鲁斯,V.A。;N.V.伊万楚克。;马蒂尼乌克,P.M。 用系统方法对地质迁移过程进行数学和计算机建模自由Fem++计算的并行化。 (英语。俄文原件) Zbl 1393.93064号 赛博。系统。分析。 54,第284-294号(2018); 翻译自Kibern。修女。分析。2018年xx月2日(2018)。MSC公司:93C20美元 76S05号 65N30型 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Herus}等人,Cybern。系统。分析。54,第2号,284--294(2018;Zbl 1393.93064);翻译自Kibern。修女。分析。2018年第2号,xx(2018) 全文: 内政部
V.M.布拉瓦茨基。;V.O.Bohaienko。 在非奇异核模型框架内对分数微分过滤固结动力学进行数值模拟。 (英语。俄文原件) Zbl 1393.93018号 赛博。系统。分析。 54,第2期,193-204(2018); 翻译自Kibern。修女。分析。2018年,第2期,26-37(2018)。MSC公司:93A30型 34A08号 65升12 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Bulavatsky}和\textit{V.O.Bohaienko},Cybern。系统。分析。54,第2号,193--204(2018;Zbl 1393.93018);翻译自Kibern。修女。分析。2018年第2期,26-37号(2018) 全文: 内政部
英国莱斯特索夫。 仿射自动机与经典分形。 (英语。俄文原件) Zbl 1478.68134号 赛博。系统。分析。 54,第1期,11-20(2018); 翻译自Kibern。修女。分析。2018年第1期,13-23(2018)。MSC公司:65年第68季度 28A80型 PDF格式BibTeX公司 XML格式引用 \textit{I.K.Rystsov},Cybern。系统。分析。54,第1号,第11--20号(2018;Zbl 1478.68134);翻译自Kibern。修女。分析。2018年第1期、第13-23期(2018年) 全文: 内政部
阿尼西莫夫。;诺沃克肖诺夫,A.K。 使用附加机器进行可信计算。二、。 (英语。俄文原件) Zbl 1416.68068号 赛博。系统。分析。 54,编号1,1-10(2018); 翻译自Kibern。修女。分析。2018年第1期,第3-12页(2018年)。MSC公司:2005年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}和\textit{A.K.Novokshonov},Cybern。系统。分析。54,第1号,第1-10号(2018;Zbl 1416.68068);翻译自Kibern。修女。分析。2018年第1号、第3--12号(2018) 全文: 内政部
I.V.斯特森科。 Petri对象模拟的并行算法。 (英语。俄文原件) Zbl 1383.93047号 赛博。系统。分析。 53,第4号,605-614(2017); 翻译自Kibern。修女。分析。2017年,第4期,130-140(2017)。MSC公司:93元65角 93E03型 第68季度10 PDF格式BibTeX公司 XML格式引用 \文本{I.V.Stetsenko},Cybern。系统。分析。53,第4号,605--614(2017;Zbl 1383.93047);翻译自Kibern。修女。分析。2017年第4期,130--140(2017) 全文: 内政部
斯科贝列夫,V.V。 具有隐藏转换的属性转换系统。 (英语。俄文原件) Zbl 1400.68127号 赛博。系统。分析。 53,第4期,524-534(2017); 翻译自Kibern。修女。分析。2017年,第4期,37-49(2017)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev},Cybern。系统。分析。53,第4号,524--534(2017;Zbl 1400.68127);翻译自Kibern。修女。分析。2017年,第4期,第37-49号(2017) 全文: 内政部
Chebotarev,A.N。 一元一阶逻辑(MFO)的一些子集用于(Sigma)-自动机的规范和合成。 (英语。俄文原件) Zbl 1400.68100号 赛博。系统。分析。 53,第4期,512-523(2017); 翻译自Kibern。修女。分析。2017年,第4期,22-36(2017)。MSC公司:65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。53,编号41512-523(2017年;兹bl 1400.68100);翻译自Kibern。修女。分析。2017年第4号、第22号——第36号(2017年) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;O.O.莱提切夫斯基。;斯科贝列夫,V.G。;V.A.沃尔科夫。 网络物理系统。 (英语。俄文原件) Zbl 1381.93009号 赛博。系统。分析。 53,第6号,821-834(2017); 翻译自Kibern。修女。分析。2017年第6期,第3-19页(2017年)。MSC公司:93A10号 70年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人,Cybern。系统。分析。53,第6号,821--834(2017;Zbl 1381.93009);翻译自Kibern。修女。分析。2017年第6号、第3--19号(2017) 全文: 内政部
Chebotarev,A.N。 一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成问题。 (英语。俄文原件) Zbl 1380.68271号 赛博。系统。分析。 第5号第53页,第675-683页(2017年); 翻译自Kibern。修女。分析。2017年,第5期,22-33(2017)。MSC公司:60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。53,第5号,675--683(2017;Zbl 1380.68271);翻译自Kibern。修女。分析。2017年第5号、第22-33号(2017) 全文: 内政部
斯科贝列夫,V.V。;斯科贝列夫,V.G。 抽象有限拟群上的自动机。 (英语。俄文原件) Zbl 1380.68291号 赛博。系统。分析。 53,第5号,669-674(2017); 翻译自Kibern。修女。分析。2017年,第5期,14-21(2017)。MSC公司:70年第68季度 20号05 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev},Cybern。系统。分析。53,第5号,669--674(2017;Zbl 1380.68291);翻译自Kibern。修女。分析。2017年第5号、第14--21号(2017) 全文: 内政部
阿尼西莫夫。;安德烈·诺沃克肖诺夫。 使用附加机器进行可信计算。一、。 (英语。俄文原件) Zbl 1416.68069号 赛博。系统。分析。 53,第5期,659-668(2017); 翻译自Kibern。修女。分析。2017年,第5期,第3-13页(2017年)。MSC公司:2005年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}和\textit{A.K.Novokshonov},Cybern。系统。分析。53,第5号,659--668(2017;Zbl 1416.68069);翻译自Kibern。修女。分析。2017年第5号、第3--13号(2017) 全文: 内政部
雷德科,V.N。;购买,D.B。;印度卡纳斯卡亚。;森琴科,A.S。 表代数中实现集合理论运算算法的时间复杂度的精确估计。 (英语。俄文原件) Zbl 1366.68100号 赛博。系统。分析。 53,第1期,第1-11页(2017年); 翻译自Kibern。修女。分析。2017年,第1期,第3-15页(2017年)。MSC公司:65年第68季度 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Red'ko}等人,Cybern。系统。分析。53,编号1,1--11(2017;Zbl 1366.68100);翻译自Kibern。修女。分析。2017年第1号、第3--15号(2017) 全文: 内政部
Chebotarev,A.N。 语言L中表示的自动机规范的协调。 (英语。俄文原件) Zbl 1392.68215号 赛博。系统。分析。 52,第3号,341-350(2016); 翻译自Kibern。修女。分析。2016年第3期,第3-15页(2016)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。52,第3号,341--350(2016;Zbl 1392.68215);翻译自Kibern。修女。分析。2016年第3期,第3-15期(2016) 全文: 内政部
R.M.巴巴科夫。;Barkalov,A.A。 具有转换数据路径的微程序有限状态机的代数解释。 (英语。俄文原件) Zbl 1346.68124号 赛博。系统。分析。 52,第2期,191-198(2016); 翻译自Kibern。修女。分析。2016年第2期,22-29(2016)。MSC公司:70年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Babakov}和\textit{A.A.Barkalov},Cybern。系统。分析。52,第2号,191--198(2016;Zbl 1346.68124);翻译自Kibern。修女。分析。2016年第2期,22--29号(2016) 全文: 内政部
潘琴科,B.E。;I.N.Saiko。 平面应变下弹性波与圆柱腔系统相互作用问题中的高精度最大应力。 (英语。俄文原件) Zbl 1329.74008号 赛博。系统。分析。 51,第5期,792-800(2015); 翻译自Kibern。修女。分析。2015年第2期,139-148(2015)。MSC公司:74A10号 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{B.E.Panchenko}和\textit{I.N.Saiko},Cybern。系统。分析。51,No.5,792--800(2015;Zbl 1329.74008);翻译自Kibern。修女。分析。2015年第2期,139--148(2015) 全文: 内政部
鲍里森科,V.I。 建立确定性多任务自动机等价性的算法。 (英语。俄文原件) 兹比尔1328.68109 赛博。系统。分析。 51,第5期,720-729(2015); 翻译自Kibern。修女。分析。2015年,第2期,63-72(2015)。MSC公司:65年第68季度 2005年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Borisenko},Cybern。系统。分析。51,No.5,720--729(2015;Zbl 1328.68109);翻译自Kibern。修女。分析。2015年第2期,63--72(2015) 全文: 内政部
Chebotarev,A.N。 交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号 赛博。系统。分析。 51,第5号,676-686(2015); 翻译自Kibern。修女。分析。2015年第2期,13-25(2015)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。51,No.5,676--686(2015;Zbl 1328.68110);翻译自Kibern。修女。分析。2015年,第2号,第13-25页(2015年) 全文: 内政部
I.O.扎瓦茨基。 一种基于有限状态自动机的可变速率纠错码解码方法。 (英语。俄文原件) Zbl 1400.94195号 赛博。系统。分析。 51,第3期,336-343(2015); 翻译自Kibern。修女。分析。2015年,第3期,16-24(2015)。MSC公司:94B35码 94B10型 94B60码 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{I.O.Zavadskyi},Cybern。系统。分析。51,No.3,336--343(2015;Zbl 1400.94195);翻译自Kibern。修女。分析。2015年第3期、第16-24期(2015年) 全文: 内政部
英国莱斯特索夫。 本原和不可约自动机。 (英语。俄文原件) Zbl 1341.68125号 赛博。系统。分析。 51,第4期,506-513(2015); 翻译自Kibern。修女。分析。2015年第4期,第19-27页(2015年)。MSC公司:70年第68季度 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.K.Rystsov},Cybern。系统。分析。51,No.4,506--513(2015;Zbl 1341.68125);翻译自Kibern。修女。分析。2015年第4号、第19-27号(2015) 全文: 内政部
V.I.Shynkarenko。;伊尔曼,V.M。 建构性综合结构及其语法解释。二、。细化变换。 (英语。俄文原件) Zbl 1343.68129号 赛博。系统。分析。 50,第6号,829-841(2014); 翻译自Kibern。修女。分析。2014年,第6期,15-28(2014)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shynkarenko}和\textit{V.M.Ilman},Cybern。系统。分析。50,第6号,829--841(2014;Zbl 1343.68129);翻译自Kibern。修女。分析。2014年第6号、第15--28号(2014) 全文: 内政部
V.I.Shynkarenko。;V.M.伊尔曼。 结构合成结构及其语法解释。广义形式构造综合结构。 (英语。俄文原件) Zbl 1323.68334号 赛博。系统。分析。 50,第5号,655-662(2014); 翻译自Kibern。修女。分析。第5期,第8-16页(2014年)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shynkarenko}和\textit{V.M.Ilman},Cybern。系统。分析。50,第5号,655--662(2014;Zbl 1323.68334);翻译自Kibern。修女。分析。2014年第5号、第8--16号 全文: 内政部
利沃夫,M.S。 证明线性回路线性不等式不变性的一种方法。 (英语。俄文原件) Zbl 1323.68381号 赛博。系统。分析。 50,第4期,643-648(2014); 翻译自Kibern。修女。分析。第4期,180-187(2014)。MSC公司:60年第68季度 15A39型 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫},Cybern。系统。分析。50,第4号,643--648(2014;Zbl 1323.68381);翻译自Kibern。修女。分析。第4期,180--187(2014) 全文: 内政部
Chebotarev,A.N。 利用自动机逻辑规范的兼容性分析来解决博弈问题。 (英语。俄文原件) Zbl 1311.91051号 赛博。系统。分析。 50,第4期,487-494(2014); 翻译自Kibern。修女。分析。第4期,第3-13页(2014年)。MSC公司:91个40个 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。50,第4号,487--494(2014;Zbl 1311.91051);翻译自Kibern。修女。分析。2014年第4号、第3号--13号 全文: 内政部
卢基亚诺娃,E.A。 关于成分Petri网的同态。 (英语。俄文原件) Zbl 1298.68194号 赛博。系统。分析。 50,第1期,31-37(2014); 翻译自Kibern。修女。分析。2014年,第1期,36-44(2014)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Lukyanova},Cybern。系统。分析。50,第1号,31-37(2014;Zbl 1298.68194);翻译自Kibern。修女。分析。2014年第1期,36-44(2014) 全文: 内政部
Kryvyi,S.L。;O.M.马克西米茨。 程序验证:最新技术、问题和结果。二、。 (英语。俄文原件) Zbl 1371.68178号 赛博。系统。分析。 50,第1期,8-16(2014); 翻译自Kibern。修女。分析。2014年,第1期,11-20(2014)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}和\textit{O.M.Maksymets},Cybern。系统。分析。50、第1号、第8--16号(2014;Zbl 1371.68178);翻译自Kibern。修女。分析。2014年第1期、第11--20号(2014) 全文: 内政部
顿涅茨,G.A。;Sergienko,I.V.公司。 一种对可解组合优化问题的初始数据和子类的结构进行建模的方法。 (英语。俄文原件) Zbl 1298.90083号 赛博。系统。分析。 50,第1期,第1-7期(2014年); 翻译自Kibern。修女。分析。2014年第1期,第3-10页(2014年)。MSC公司:90C27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Donets}和\textit{I.V.Sergienko},Cybern。系统。分析。50,编号1,1--7(2014;Zbl 1298.90083);翻译自Kibern。修女。分析。2014年第1号、第3--10号(2014) 全文: 内政部
Barkalov,A.A。;洛杉矶Tytarenko。;马尔切娃,R.V。;索尔达托夫,K.A。 减少摩尔FSM的FPGA电路中的资源使用。 (英语。俄文原件) Zbl 1316.94134号 赛博。系统。分析。 49,第6期,951-958(2013); 翻译自Kibern。修女。分析。2013年第6期,174-182(2013)。MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Barkalov}等人,Cybern。系统。分析。49,第6号,951--958(2013;Zbl 1316.94134);翻译自Kibern。修女。分析。2013年第6号,174--182(2013) 全文: 内政部
Kryvyi,S.L。;O.M.马克西米茨。 程序验证:最新技术、问题和结果。一、。 (英语。俄文原件) Zbl 1371.68179号 赛博。系统。分析。 49,第6期,805-814(2013); 翻译自Kibern。修女。分析。2013年第6期,第3-14页(2013年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kryvyi}和\textit{O.M.Maksymets},Cybern。系统。分析。49,编号6805-814(2013;兹bl 1371.68179);翻译自Kibern。修女。分析。2013年,第6期,第3-14期(2013年) 全文: 内政部
Chebotarev,A.N。 反应式算法开发的组合方法。 (英语。俄文原件) Zbl 1371.68177号 赛博。系统。分析。 49,第5期,652-662(2013); 翻译自Kibern。修女。分析。2013年,第5期,14-27(2013)。MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。49,No.5,652--662(2013;Zbl 1371.68177);翻译自Kibern。修女。分析。2013年第5期、第14--27号(2013) 全文: 内政部
英国莱斯特索夫。 关于Collatz问题的一些评论。 (英语。俄文原件) Zbl 1316.11021号 赛博。系统。分析。 49,第3期,353-365(2013); 翻译自Kibern。修女。分析。2013年,第3期,32-46(2013)。MSC公司:11B83号 11层37 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.K.Rystsov},Cybern。系统。分析。49,第3号,353--365(2013;Zbl 1316.11021);翻译自Kibern。修女。分析。2013年第3期,第32-46号(2013) 全文: 内政部
沙赫巴兹扬,K.V。;Yu Shoukourian。H。 禁止的痕迹和禁止的亚种族。 (英语。俄文原件) Zbl 1298.68155号 赛博。系统。分析。 49,第3期,325-333(2013); 翻译自Kibern。修女。分析。2013年,第3期,第3-13页(2013年)。MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Shahbazyan}和\textit{Yu.H.Shoukourian},Cybern。系统。分析。49,No.3,325--333(2013;Zbl 1298.68155);翻译自Kibern。修女。分析。2013年第3期,第3--13期(2013年) 全文: 内政部
斯科贝列夫,V.V。 有限环上自动机定义的散列函数族的分析。 (英语。俄文原件) 兹比尔1316.94088 赛博。系统。分析。 49,编号209-216(2013); 翻译自Kibern。修女。分析。2013年,第2期,第56-65页(2013年)。MSC公司:94A60型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev},Cybern。系统。分析。49,No.2,209--216(2013;Zbl 1316.94088);翻译自Kibern。修女。分析。2013年第2期,56-65(2013) 全文: 内政部
北卡罗来纳州贝兰。;Motornyuk,R.L.公司。 借助Radon变换提取图像的特征特征,并根据细胞自动机实现其硬件实现。 (英语。俄文原件) Zbl 1298.68234号 赛博。系统。分析。 49,第1期,7-14(2013); 翻译自Kibern。修女。分析。2013年第1期,11-18页(2013年)。MSC公司:68吨10 68单位10 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Belan}和\textit{R.L.Motornyuk},Cybern。系统。分析。49,No.1,7--14(2013;Zbl 1298.68234);翻译自Kibern。修女。分析。2013年第1期,第11--18期(2013) 全文: 内政部
Chebotarev,A.N。 对有限状态机的状态进行虚拟分析,该状态机是从语言(L^*)转换为语言(L)的规范合成的。 (英语。俄文原件) Zbl 1298.68126号 赛博。系统。分析。 49,第1期,第1-6期(2013年); 翻译自Kibern。修女。分析。2013年,第1期,第3-10页(2013年)。MSC公司:65年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。49,No.1,1--6(2013;Zbl 1298.68126);翻译自Kibern。修女。分析。2013年第1号、第3--10号(2013) 全文: 内政部
卢基亚诺娃,E.A。;Derezaa,A.V.公司。 在复杂系统的并行组件建模和分析过程中,研究组件Petri网的单一类型结构元素。 (英语。俄文原件) 兹比尔1307.68054 赛博。系统。分析。 48,第6期,823-831(2012); 翻译自Kibern。修女。分析。第6期,20-29(2012)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Lukyanova}和\textit{A.V.Derezaa},Cybern。系统。分析。48,第6号,823--831(2012;Zbl 1307.68054);翻译自Kibern。修女。分析。2012年第6号、第20-29号 全文: 内政部
米哈伊卢克,V.A。 一种估计离散优化问题后优化分析概率过程复杂性的方法。 (英语。俄文原件) Zbl 1307.90213号 赛博。系统。分析。 48,第6期,807-813(2012); 翻译自Kibern。修女。分析。第6期,第3-10页(2012年)。MSC公司:90C60型 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。48,第6号,807--813(2012;Zbl 1307.90213);翻译自Kibern。修女。分析。2012年第6号、第3--10号 全文: 内政部
扎伊采夫,D.A。 通用Petri网。 (英语。俄文原件) Zbl 1307.68055号 赛博。系统。分析。 48,第4期,498-511(2012); 翻译自Kibern。修女。分析。第4期,24-39(2012)。MSC公司:68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev},Cybern。系统。分析。48,No.4,498--511(2012;Zbl 1307.68055);翻译自Kibern。修女。分析。第4期,第24-39期(2012年) 全文: 内政部
Chebotarev,A.N。 通过求解自动机上的方程设计反应式算法。 (英语。俄文原件) Zbl 1307.68046号 赛博。系统。分析。 48,第4期,479-488(2012); 翻译自Kibern。修女。分析。第4期,第3-13页(2012年)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。48,第4号,479--488(2012;Zbl 1307.68046);翻译自Kibern。修女。分析。2012年第4号、第3--13号 全文: 内政部
O.N.库甘斯基。 离散环境中交互的无状态自动机集合的状态转换度量。 (英语。俄文原件) 兹比尔1298.68145 赛博。系统。分析。 第3期第48页,第349-357页(2012年); 翻译自Kibern。修女。分析。2012年,第3期,35-44(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.N.Kurgansky},Cybern。系统。分析。48,第3号,349--357(2012;Zbl 1298.68145);翻译自Kibern。修女。分析。2012年第3期,第35-44期(2012年) 全文: 内政部
米哈伊卢克,V.A。 关于有限域上线性系统中最大满足方程数重优化的逼近比阈值。 (英语。俄文原件) Zbl 1298.68102号 赛博。系统。分析。 第335-348号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第3期,第18-34页(2012年)。MSC公司:2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。48,第3号,335--348(2012;Zbl 1298.68102);翻译自Kibern。修女。分析。2012年第3期,第18-34期(2012年) 全文: 内政部
沙赫巴兹扬,K.V。;Yu Shoukourian。H。 异步跟踪匹配自动机。 (英语。俄文原件) Zbl 1298.68156号 赛博。系统。分析。 48,第3期,323-329(2012); 翻译自Kibern。修女。分析。2012年,第3期,第3-11页(2012年)。MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Shahbazyan}和\textit{Yu.H.Shoukourian},Cybern。系统。分析。48,第3号,323--329(2012;Zbl 1298.68156);翻译自Kibern。修女。分析。2012年第3期,第3--11期(2012年) 全文: 内政部
Barkalov,A.A。;洛杉矶Titarenko。;Barkalov,A.A.jun。 结构分解作为优化基于FPGA的Mealy FSM实现的工具。 (英语。俄文原件) Zbl 1316.94133号 赛博。系统。分析。 48,第2期,313-322(2012); 翻译自Kibern。修女。分析。2012年第2期,177-187(2012)。MSC公司:94立方厘米10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Barkalov}等人,Cybern。系统。分析。48,No.2,313--322(2012;Zbl 1316.94133);翻译自Kibern。修女。分析。2012年第2期,177--187(2012) 全文: 内政部
阿库洛夫斯基,V.G。 基于数据的算法代数。 (英语。俄文原件) 兹比尔1320.68076 赛博。系统。分析。 48,第2期,291-303(2012); 翻译自Kibern。修女。分析。2012年第2期,第151-166页(2012年)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Akulovskiy},Cybern。系统。分析。48,第2291-303号(2012年;兹bl 1320.68076);翻译自Kibern。修女。分析。2012年第2期,151--166(2012) 全文: 内政部
米哈伊卢克,V.A。 最大覆盖率的再优化:近似比阈值。 (英语。俄文原件) 兹伯利1306.90132 赛博。系统。分析。 第242-248号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第2号,97-104(2012)。MSC公司:90C27型 90C60型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。48,第2号,242--248(2012;Zbl 1306.90132);翻译自Kibern。修女。分析。2012年第2期,97--104(2012) 全文: 内政部
V.I.顿斯科伊。 学习算法家族的复杂性和经验规律提取的非随机性估计。 (英语。俄文原件) Zbl 1371.68231号 赛博。系统。分析。 48,第2期,233-241(2012); 翻译自Kibern。修女。分析。2012年,第2期,86-96(2012)。MSC公司:68T05型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Donskoy},Cybern。系统。分析。48,No.2,233--241(2012;Zbl 1371.68231);翻译自Kibern。修女。分析。2012年第2期,86-96(2012) 全文: 内政部
I.V.斯特森科。 具有信息关系的随机时间Petri网的状态方程。 (英语。俄文原件) Zbl 1290.68097号 赛博。系统。分析。 48,第5期,784-797(2012); 翻译自Kibern。修女。分析。2012年,第5期,164-179(2012)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{I.V.Stetsenko},Cybern。系统。分析。48,第5号,784--797(2012;Zbl 1290.68097);翻译自Kibern。修女。分析。2012年,第5期,164--179(2012) 全文: 内政部
Plotnikov,A.D。 求最大独立集的启发式算法。 (英语。俄文原件) Zbl 1292.05252号 赛博。系统。分析。 48,第5号,673-680(2012); 翻译自Kibern。修女。分析。2012年,第5期,第41-48页(2012年)。MSC公司:05C85号 2017年第68季度 05C69号 05C35号 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Plotnikov},Cybern(塞伯恩)。系统。分析。48,第5号,673--680(2012;Zbl 1292.05252);翻译自Kibern。修女。分析。2012年第5期,41-48(2012) 全文: 内政部
波德洛夫琴科,R.I。 关于程序代数模型中等价性检查问题的多项式复杂性。 (英语。俄文原件) Zbl 1290.68036号 赛博。系统。分析。 第553-659号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第5号,第17-24页(2012年)。MSC公司:68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko},Cybern。系统。分析。48,第5号,653--659(2012;Zbl 1290.68036);翻译自Kibern。修女。分析。2012年第5号、第17--24号(2012) 全文: 内政部
Rachkovskij博士。;I.S.米苏诺。;Slipchenko,S.V.公司。 构建二进制稀疏向量表示的随机投影方法。 (英语。俄文原件) Zbl 1276.68144号 赛博。系统。分析。 48,第1期,146-156(2012); 翻译自Kibern。修女。分析。2012年第1期,175-187(2012)。MSC公司:68立方英尺 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Rachkovskij}等人,Cybern。系统。分析。48,第1号,146--156(2012;Zbl 1276.68144);翻译自Kibern。修女。分析。2012年第1期,175--187(2012) 全文: 内政部
米哈伊卢克,V.A。 一种估计离散优化问题后优化分析的平均情况复杂度的方法。 (英语。俄文原件) Zbl 1358.68144号 赛博。系统。分析。 47,第6号,871-880(2011); 翻译自Kibern。修女。分析。2011年,第6期,47-58(2011)。MSC公司:65年第68季度 2017年第68季度 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。47,第6号,871--880(2011;Zbl 1358.68144);翻译自Kibern。修女。分析。2011年第6期,47-58(2011) 全文: 内政部
Kryvyi,S.L。 信息技术中的有限状态自动机。 (英语。俄文原件) Zbl 1358.68216号 赛博。系统。分析。 47,第5期,669-683(2011); 翻译自Kibern。修女。分析。2011年,第5期,3-20(2011)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.L.Kryvyi},Cybern。系统。分析。47,No.5,669--683(2011;Zbl 1358.68216);翻译自Kibern。修女。分析。2011年第5号、第3--20号(2011) 全文: 内政部
米哈伊卢克,V.A。 离散优化问题再优化的多项式时间近似格式的存在性。 (英语。俄文原件) Zbl 1298.68103号 赛博。系统。分析。 47,第3期,368-374(2011); 翻译自Kibern。修女。分析。2011年,第3期,42-50(2011)。MSC公司:2017年第68季度 68周25 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。47,No.3,368--374(2011;Zbl 1298.68103);翻译自Kibern。修女。分析。2011年第3期,42--50(2011) 全文: 内政部
蒂莫菲耶夫,V.G。;Chebotarev,A.N。 根据语言(L)中的自动机规范改进了自动机的合成方法。 (英语。俄文原件) 兹比尔1298.68178 赛博。系统。分析。 第335-345号第47页(2011年); 翻译自Kibern。修女。分析。2011年,第3期,第3-14期(2011年)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Timofeyev}和\textit{A.N.Chebotarev},Cybern。系统。分析。47,No.3,335--345(2011;Zbl 1298.68178);翻译自Kibern。修女。分析。2011年第3期,第3-4期(2011年) 全文: 内政部
瓦罗斯扬,A.S。 业务流程模板的形式验证算法。 (英语。俄文原件) Zbl 1298.68179号 赛博。系统。分析。 47,第2期,228-240(2011); 翻译自Kibern。修女。分析。2011年,第2期,第62-76页(2011年)。MSC公司:60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Varosyan},Cybern。系统。分析。47,No.2,228--240(2011;Zbl 1298.68179);翻译自Kibern。修女。分析。2011年第2期,第62--76号(2011) 全文: 内政部
巴什金,V.A。;洛马佐瓦,I.A。 借助活动资源的广义网络对多智能体系统进行建模。 (英语。俄文原件) Zbl 1298.68271号 赛博。系统。分析。 47,第2期,202-209(2011); 翻译自Kibern。修女。分析。2011年,第2期,31-39(2011)。MSC公司:68T42型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Bashkin}和\textit{I.A.Lomazova},Cybern。系统。分析。47,No.2,202--209(2011;Zbl 1298.68271);翻译自Kibern。修女。分析。2011年第2期,第31-39号(2011) 全文: 内政部
斯科贝列夫,V.G。 有限环上自动机的一些子集。 (英语。俄文原件) Zbl 1298.68158号 赛博。系统。分析。 198-201(2011)第2号第47页; 翻译自Kibern。修女。分析。2011年,第2期,27-30页(2011年)。MSC公司:65年第68季度 70年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \文本{V.G.Skobelev},Cybern。系统。分析。47,No.2,198--201(2011;Zbl 1298.68158);翻译自Kibern。修女。分析。2011年,第2期,27--30(2011) 全文: 内政部
米哈伊卢克,V.A。 集合覆盖问题的再优化。 (英语。俄文原件) Zbl 1291.68180号 赛博。系统。分析。 46,第6号,879-883(2010); 翻译自Kibern。修女。分析。2010年,第6期,第27-31页(2010年)。MSC公司:65年第68季度 05B40号 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Mikhailyuk},Cybern。系统。分析。46,第6号,879--883(2010;Zbl 1291.68180);翻译自Kibern。修女。分析。2010年,第6期,第27-31期(2010年) 全文: 内政部
利沃夫,M.S。 线性循环的多项式不变量。 (英语。俄文原件) Zbl 1288.68168号 赛博。系统。分析。 46,第4号,660-668(2010); 翻译自Kibern。修女。分析。2010年,第4期,第159-168页(2010年)。MSC公司:60年第68季度 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.S.利沃夫},Cybern。系统。分析。46,第4号,660--668(2010;Zbl 1288.68168);翻译自Kibern。修女。分析。2010年,第4期,159--168(2010) 全文: 内政部
德语,V.N。 求解实域和有理域上的线性约束。 (英语。俄文原件) Zbl 1288.68291号 赛博。系统。分析。 46,第4期,630-638(2010); 翻译自Kibern。修女。分析。2010年,第4期,123-133(2010)。MSC公司:68瓦30 03C10号机组 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{V.N.德语},Cybern。系统。分析。46,第4号,630--638(2010;Zbl 1288.68291);翻译自Kibern。修女。分析。2010年,第4期,第123--133页(2010年) 全文: 内政部
戈德列夫斯基,A.B。 过渡系统符号建模背景下的谓词变换器。 (英语。俄文原件) Zbl 1288.68163号 赛博。系统。分析。 46,第4期,602-608(2010); 翻译自Kibern。修女。分析。2010年,第4期,91-99(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.戈德列夫斯基},赛博。系统。分析。46,第4号,602--608(2010;Zbl 1288.68163);翻译自Kibern。修女。分析。2010年,第4期,91-99(2010) 全文: 内政部
科尔钦,A.V。 一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号 赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin},Cybern。系统。分析。46,No.4,583--601(2010;Zbl 1288.68166);翻译自Kibern。修女。分析。2010年第4期,70--90(2010) 全文: 内政部
Chebotarev,A.N。 将FSM的语言(L^\ast)规范转换为语言(L\)中的自动机等效规范。 (英语。俄文原件) Zbl 1288.68152号 赛博。系统。分析。 46,第4期,574-582(2010); 翻译自Kibern。修女。分析。2010年,第4期,60-69(2010)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。46,第4号,574--582(2010;Zbl 1288.68152);翻译自Kibern。修女。分析。2010年,第4期,60-69(2010) 全文: 内政部
杰尔菲莫娃,L.D。 快速混合矩阵乘法算法。 (英语。俄文原件) Zbl 1288.65038号 赛博。系统。分析。 46,第4期,563-573(2010); 翻译自Kibern。修女。分析。2010年,第4期,49-59(2010)。MSC公司:65层10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.D.Jelfimova},Cybern。系统。分析。46,第4号,563--573(2010;Zbl 1288.65038);翻译自Kibern。修女。分析。2010年第4期,49-59(2010) 全文: 内政部
扎哈罗夫,V.A。 用双磁带自动机进行程序等价性检查。 (英语。俄文原件) Zbl 1288.68171号 赛博。系统。分析。 46,第4期,554-562(2010); 翻译自Kibern。修女。分析。2010年,第4期,39-48(2010)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Zakharov},Cybern。系统。分析。46,No.4,554--562(2010;Zbl 1288.68171);翻译自Kibern。修女。分析。2010年,第4期,39-48(2010) 全文: 内政部
沙赫巴兹扬,K.V。;Yu Shoukourian。H。 迹幺半群中的包含问题。 (英语。俄文原件) Zbl 1288.68302号 赛博。系统。分析。 46,第4期,546-553(2010); 翻译自Kibern。修女。分析。2010年,第4期,31-38(2010)。MSC公司:68瓦32 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Shahbazyan}和\textit{Yu.H.Shoukourian},Cybern。系统。分析。46,第4号,546--553(2010;Zbl 1288.68302);翻译自Kibern。修女。分析。2010年,第4期,第31-38期(2010年) 全文: 内政部
斯科贝列夫,V.V。;斯科贝列夫,V.G。 关于有限环上自动机分析的复杂性。 (英语。俄文原件) Zbl 1288.94083号 赛博。系统。分析。 46,第4期,533-545(2010); 翻译自Kibern。修女。分析。2010年,第4期,17-30(2010)。MSC公司:94A60型 13M99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev},Cybern。系统。分析。46,编号4,533–545(2010年;兹bl 1288.94083);翻译自Kibern。修女。分析。2010年,第4期,第17-30期(2010年) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;戈德列夫斯基,A.B。;A.A.jun Letychevsky。;波蒂延科,S.V。;佩沙连科,V.S。 VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号 赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人,Cybern。系统。分析。46,第4号,521--532(2010;Zbl 1288.68167);翻译自Kibern。修女。分析。2010年,第4期,第3--16期(2010年) 全文: 内政部
Bychkov,A.S。;伊万诺夫。 定义在不同可能性空间上的模糊感知元序列的收敛性。 (英语。俄文原件) Zbl 1207.68371号 赛博。系统。分析。 46,第2期,296-304(2010); 翻译自Kibern。修女。分析。2010年,第2期,第142-151页(2010年)。MSC公司:68立方英尺 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bychkov}和\textit{E.V.Ivanov},Cybern。系统。分析。46,第2号,296--304(2010;Zbl 1207.68371);翻译自Kibern。修女。分析。2010年第2期,第142--151页(2010年) 全文: 内政部
扎伊采夫,D.A。;Shmeleva,T.R。 通过参数Petri网验证超立方体通信结构。 (英语。俄文原件) Zbl 1204.68140号 赛博。系统。分析。 46,第1期,105-114(2010); 翻译自Kibern。修女。分析。2010年第1期,第119-128页(2010年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev}和\textit{T.R.Shmeleva},Cybern。系统。分析。46,No.1,105--114(2010;Zbl 1204.68140);翻译自Kibern。修女。分析。2010年第1期,119--128(2010) 全文: 内政部