×

找到303个文档(结果1-100)

为由\(-\omega\)-正则表达式定义的\(-\ omega\”)-单词集构造最大前缀闭子集。 (英语。乌克兰原文) Zbl 07806783号

赛博。系统。分析。 59,第6号,880-889(2023); 翻译自Kibern。修女。分析。59,第6期,第19-29页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无向混合无向图。构建同构类似物和选择性结构包装。 (英语。乌克兰原文) Zbl 07712018年

赛博。系统。分析。 59,第3期,503-510(2023); 翻译自Kibern。修女。分析。59,第3期,168-178页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种矩阵方法,用于检测具有转换数据路径的有限状态机的代数综合问题的形式解。 (英语。乌克兰原文) Zbl 1510.68006号

赛博。系统。分析。 59,第2期,190-198(2023); 翻译自Kibern。修女。分析。59,第2期,第18-26页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用集合代数的析取基及其在组合几何问题中的应用。 (英语。乌克兰原文) Zbl 07630544号

赛博。系统。分析。 58,第5号,806-817(2022); 翻译自Kibern。修女。分析。58,第5149-162号(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑硬件实现的自动机解释中模糊集和关系的代数运算。 (英语。乌克兰原文) Zbl 07630529号

赛博。系统。分析。 58,第4号,649-659(2022); 翻译自Kibern。修女。分析。58,第4期,172-182(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于次梯度下降的求解超模标记问题的自驱动算法。 (英语。乌克兰原文) Zbl 07630516号

赛博。系统。分析。 58,第4号,510-517(2022); 翻译自Kibern。修女。分析。58,第4期,24-31页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

VHDL作为电子设计语言的插入语义。 (英语。乌克兰原文) Zbl 07630511号

赛博。系统。分析。 58,第2期,289-298(2022); 翻译自Kibern。修女。分析。58,第2期,154-165(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造由基本扩展图指定的\(-\omega\)-正则表达式。 (英语。乌克兰原文) Zbl 07630497号

赛博。系统。分析。 58,第2期,165-170(2022); 翻译自Kibern。修女。分析。58,第2期,第3-9页(2022年)。
MSC公司:68季度xx 03年月日
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在并行计算模型中计算多位数值的总和。 (英语。乌克兰原文) Zbl 07630494号

赛博。系统。分析。 58,第3号,473-480(2022); 翻译自Kibern。修女。分析。58,第3期,174-182(2022)。
MSC公司:68季度xx 68瓦xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无定向混交林通用信息软件技术。 (英语。乌克兰原文) Zbl 07630493号

赛博。系统。分析。 58,第3号,465-472(2022); 翻译自Kibern。修女。分析。58,第3期,164-173(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分子建模和行为代数应用的现代方法和软件系统。 (英语。乌克兰原文) Zbl 07630492号

赛博。系统。分析。 58,第3号,454-464(2022); 翻译自Kibern。修女。分析。58,第3期,第150-163页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用具有单位的交换环构造对称加密系统。 (英语。乌克兰原文) Zbl 1499.94044号

赛博。系统。分析。 58,第3号,319-330(2022); 翻译自Kibern。修女。分析。58,第3期,第3-16页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模糊测试技术及其在网络安全任务中的应用。 (英语。乌克兰原文) 兹比尔07515005

赛博。系统。分析。 58,第1号,157-163(2022); 翻译自Kibern。修女。分析。58,第1期,181-189(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Cerny关于具有简单幂等元的自动机的猜想。 (英语。乌克兰原文) Zbl 07514988号

赛博。系统。分析。 58,编号1,1-7(2022); 翻译自Kibern。修女。分析。58,第1期,第3-10页(2022年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\(-\omega\)-正则表达式的交集。 (英语。乌克兰原文) Zbl 1484.68078号

赛博。系统。分析。 57,第5号,676-684(2021); 翻译自Kibern。修女。分析。57,第5期,第12-21页(2021年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动机解释中模糊集和关系的逻辑运算。 (英语。俄文原件) Zbl 1454.03072号

赛博。系统。分析。 56,第6号,1012-1020(2020); 翻译自Kibern。修女。分析。2020年,第6175-183号(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在ASIS基础上优化组合自动化方案。 (英语。俄文原件) Zbl 1496.68172号

赛博。系统。分析。 56,第6号,863-871(2020); 翻译自Kibern。修女。分析。2020年,第6期,第3-11页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从形式为\(F(t)\)到\(-\omega \)的LP公式-正则表达式。 (英语。俄文原件) Zbl 1477.68149号

赛博。系统。分析。 56,第5号,689-700(2020); 翻译自Kibern。修女。分析。2020年,第5期,第3-17页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异构体系结构中应用程序设计的建模和验证方法。 (英语。俄文原件) Zbl 1496.68038号

赛博。系统。分析。 56,第4号,683-688(2020); 翻译自Kibern。修女。分析。2020年,第4期,196-202(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

由有限自动机序列实现的离散函数不平衡的上界。 (英语。俄文原件) Zbl 1434.68223号

赛博。系统。分析。 55,第5号,752-759(2019); 翻译自Kibern。修女。分析。2019年,第5期,第58-66页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在根据语言LP中的规范合成的(Sigma)自动机中检测虚拟状态。 (英语。俄文原件) Zbl 1448.68261号

赛博。系统。分析。 55,第5号,742-751(2019); 翻译自Kibern。修女。分析。2019年,第5期,第47-57页(2019年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有转换数据路径的微程序有限状态机合成方法的结构分类。 (英语。俄文原件) Zbl 1443.68081号

赛博。系统。分析。 55,第2期,167-173(2019); 翻译自Kibern。修女。分析。2019年,第2期,第3-9期(2019年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过逻辑硬件用整数坐标对一组向量进行分区。 (英语。俄文原件) Zbl 1443.68219号

赛博。系统。分析。 55,第3号,462-473(2019); 翻译自Kibern。修女。分析。2019年,第3期,第136-148页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子计算:调查与分析。 (英语。俄文原件) 兹比尔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格式引用
全文: 内政部

高阶Takagi-Sugeno系统的并行模糊推理方法。 (英语。俄文原件) 兹比尔1411.93107

赛博。系统。分析。 54,第6号,1003-1012(2018); 翻译自Kibern。修女。分析。2018年第6期,170-180(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

设计IT基础设施。 (英语。俄文原件) 兹比尔1407.68049

赛博。系统。分析。 54,第6号,977-992(2018); 翻译自Kibern。修女。分析。2018年,第6141-158号(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 (英语。俄文原件) Zbl 1445.68141号

赛博。系统。分析。 54,第4期,650-661(2018); 翻译自Kibern。修女。分析。2018年,第4期,151-163(2018)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成。 (英语。俄文原件) Zbl 1400.68122号

赛博。系统。分析。 54,第4期,527-540(2018); 翻译自Kibern。修女。分析。2018年第4期,16-31页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机分析的一些问题。 (英语。俄文原件) Zbl 1445.68127号

赛博。系统。分析。 54,第4期,517-526(2018); 翻译自Kibern。修女。分析。2018年,第4期,第3-15期(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定带有转换数据路径的微程序有限状态机的有效应用区域。 (英语。俄文原件) Zbl 1401.68143号

赛博。系统。分析。 54,第3期,366-375(2018); 翻译自Kibern。修女。分析。2018年,第3期,27-37(2018)。
MSC公司:65年第68季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限T-拟群上的自动机。 (英语。俄文原件) Zbl 1401.68218号

赛博。系统。分析。 54,第3号,345-356(2018); 翻译自Kibern。修女。分析。2018年第3期,第3-16页(2018年)。
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用系统方法对地质迁移过程进行数学和计算机建模自由Fem++计算的并行化。 (英语。俄文原件) Zbl 1393.93064号

赛博。系统。分析。 54,第284-294号(2018); 翻译自Kibern。修女。分析。2018年xx月2日(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在非奇异核模型框架内对分数微分过滤固结动力学进行数值模拟。 (英语。俄文原件) Zbl 1393.93018号

赛博。系统。分析。 54,第2期,193-204(2018); 翻译自Kibern。修女。分析。2018年,第2期,26-37(2018)。
MSC公司:93A30型 34A08号 65升12 第68季度10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

仿射自动机与经典分形。 (英语。俄文原件) Zbl 1478.68134号

赛博。系统。分析。 54,第1期,11-20(2018); 翻译自Kibern。修女。分析。2018年第1期,13-23(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用附加机器进行可信计算。二、。 (英语。俄文原件) Zbl 1416.68068号

赛博。系统。分析。 54,编号1,1-10(2018); 翻译自Kibern。修女。分析。2018年第1期,第3-12页(2018年)。
MSC公司:2005年第68季度 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri对象模拟的并行算法。 (英语。俄文原件) Zbl 1383.93047号

赛博。系统。分析。 53,第4号,605-614(2017); 翻译自Kibern。修女。分析。2017年,第4期,130-140(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有隐藏转换的属性转换系统。 (英语。俄文原件) Zbl 1400.68127号

赛博。系统。分析。 53,第4期,524-534(2017); 翻译自Kibern。修女。分析。2017年,第4期,37-49(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元一阶逻辑(MFO)的一些子集用于(Sigma)-自动机的规范和合成。 (英语。俄文原件) Zbl 1400.68100号

赛博。系统。分析。 53,第4期,512-523(2017); 翻译自Kibern。修女。分析。2017年,第4期,22-36(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络物理系统。 (英语。俄文原件) Zbl 1381.93009号

赛博。系统。分析。 53,第6号,821-834(2017); 翻译自Kibern。修女。分析。2017年第6期,第3-19页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成问题。 (英语。俄文原件) Zbl 1380.68271号

赛博。系统。分析。 第5号第53页,第675-683页(2017年); 翻译自Kibern。修女。分析。2017年,第5期,22-33(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象有限拟群上的自动机。 (英语。俄文原件) Zbl 1380.68291号

赛博。系统。分析。 53,第5号,669-674(2017); 翻译自Kibern。修女。分析。2017年,第5期,14-21(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用附加机器进行可信计算。一、。 (英语。俄文原件) Zbl 1416.68069号

赛博。系统。分析。 53,第5期,659-668(2017); 翻译自Kibern。修女。分析。2017年,第5期,第3-13页(2017年)。
MSC公司:2005年第68季度 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

表代数中实现集合理论运算算法的时间复杂度的精确估计。 (英语。俄文原件) Zbl 1366.68100号

赛博。系统。分析。 53,第1期,第1-11页(2017年); 翻译自Kibern。修女。分析。2017年,第1期,第3-15页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言L中表示的自动机规范的协调。 (英语。俄文原件) Zbl 1392.68215号

赛博。系统。分析。 52,第3号,341-350(2016); 翻译自Kibern。修女。分析。2016年第3期,第3-15页(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有转换数据路径的微程序有限状态机的代数解释。 (英语。俄文原件) Zbl 1346.68124号

赛博。系统。分析。 52,第2期,191-198(2016); 翻译自Kibern。修女。分析。2016年第2期,22-29(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

平面应变下弹性波与圆柱腔系统相互作用问题中的高精度最大应力。 (英语。俄文原件) Zbl 1329.74008号

赛博。系统。分析。 51,第5期,792-800(2015); 翻译自Kibern。修女。分析。2015年第2期,139-148(2015)。
MSC公司:74A10号 第68季度10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

建立确定性多任务自动机等价性的算法。 (英语。俄文原件) 兹比尔1328.68109

赛博。系统。分析。 51,第5期,720-729(2015); 翻译自Kibern。修女。分析。2015年,第2期,63-72(2015)。
MSC公司:65年第68季度 2005年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交互自动机的协调。 (英语。俄文原件) Zbl 1328.68110号

赛博。系统。分析。 51,第5号,676-686(2015); 翻译自Kibern。修女。分析。2015年第2期,13-25(2015)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于有限状态自动机的可变速率纠错码解码方法。 (英语。俄文原件) Zbl 1400.94195号

赛博。系统。分析。 51,第3期,336-343(2015); 翻译自Kibern。修女。分析。2015年,第3期,16-24(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

本原和不可约自动机。 (英语。俄文原件) Zbl 1341.68125号

赛博。系统。分析。 51,第4期,506-513(2015); 翻译自Kibern。修女。分析。2015年第4期,第19-27页(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

建构性综合结构及其语法解释。二、。细化变换。 (英语。俄文原件) Zbl 1343.68129号

赛博。系统。分析。 50,第6号,829-841(2014); 翻译自Kibern。修女。分析。2014年,第6期,15-28(2014)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构合成结构及其语法解释。广义形式构造综合结构。 (英语。俄文原件) Zbl 1323.68334号

赛博。系统。分析。 50,第5号,655-662(2014); 翻译自Kibern。修女。分析。第5期,第8-16页(2014年)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明线性回路线性不等式不变性的一种方法。 (英语。俄文原件) Zbl 1323.68381号

赛博。系统。分析。 50,第4期,643-648(2014); 翻译自Kibern。修女。分析。第4期,180-187(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用自动机逻辑规范的兼容性分析来解决博弈问题。 (英语。俄文原件) Zbl 1311.91051号

赛博。系统。分析。 50,第4期,487-494(2014); 翻译自Kibern。修女。分析。第4期,第3-13页(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序验证:最新技术、问题和结果。二、。 (英语。俄文原件) Zbl 1371.68178号

赛博。系统。分析。 50,第1期,8-16(2014); 翻译自Kibern。修女。分析。2014年,第1期,11-20(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种对可解组合优化问题的初始数据和子类的结构进行建模的方法。 (英语。俄文原件) Zbl 1298.90083号

赛博。系统。分析。 50,第1期,第1-7期(2014年); 翻译自Kibern。修女。分析。2014年第1期,第3-10页(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

减少摩尔FSM的FPGA电路中的资源使用。 (英语。俄文原件) Zbl 1316.94134号

赛博。系统。分析。 49,第6期,951-958(2013); 翻译自Kibern。修女。分析。2013年第6期,174-182(2013)。
MSC公司:94立方厘米10 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序验证:最新技术、问题和结果。一、。 (英语。俄文原件) Zbl 1371.68179号

赛博。系统。分析。 49,第6期,805-814(2013); 翻译自Kibern。修女。分析。2013年第6期,第3-14页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应式算法开发的组合方法。 (英语。俄文原件) Zbl 1371.68177号

赛博。系统。分析。 49,第5期,652-662(2013); 翻译自Kibern。修女。分析。2013年,第5期,14-27(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于Collatz问题的一些评论。 (英语。俄文原件) Zbl 1316.11021号

赛博。系统。分析。 49,第3期,353-365(2013); 翻译自Kibern。修女。分析。2013年,第3期,32-46(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

禁止的痕迹和禁止的亚种族。 (英语。俄文原件) Zbl 1298.68155号

赛博。系统。分析。 49,第3期,325-333(2013); 翻译自Kibern。修女。分析。2013年,第3期,第3-13页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限环上自动机定义的散列函数族的分析。 (英语。俄文原件) 兹比尔1316.94088

赛博。系统。分析。 49,编号209-216(2013); 翻译自Kibern。修女。分析。2013年,第2期,第56-65页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

借助Radon变换提取图像的特征特征,并根据细胞自动机实现其硬件实现。 (英语。俄文原件) Zbl 1298.68234号

赛博。系统。分析。 49,第1期,7-14(2013); 翻译自Kibern。修女。分析。2013年第1期,11-18页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对有限状态机的状态进行虚拟分析,该状态机是从语言(L^*)转换为语言(L)的规范合成的。 (英语。俄文原件) Zbl 1298.68126号

赛博。系统。分析。 49,第1期,第1-6期(2013年); 翻译自Kibern。修女。分析。2013年,第1期,第3-10页(2013年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在复杂系统的并行组件建模和分析过程中,研究组件Petri网的单一类型结构元素。 (英语。俄文原件) 兹比尔1307.68054

赛博。系统。分析。 48,第6期,823-831(2012); 翻译自Kibern。修女。分析。第6期,20-29(2012)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种估计离散优化问题后优化分析概率过程复杂性的方法。 (英语。俄文原件) Zbl 1307.90213号

赛博。系统。分析。 48,第6期,807-813(2012); 翻译自Kibern。修女。分析。第6期,第3-10页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过求解自动机上的方程设计反应式算法。 (英语。俄文原件) Zbl 1307.68046号

赛博。系统。分析。 48,第4期,479-488(2012); 翻译自Kibern。修女。分析。第4期,第3-13页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散环境中交互的无状态自动机集合的状态转换度量。 (英语。俄文原件) 兹比尔1298.68145

赛博。系统。分析。 第3期第48页,第349-357页(2012年); 翻译自Kibern。修女。分析。2012年,第3期,35-44(2012)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于有限域上线性系统中最大满足方程数重优化的逼近比阈值。 (英语。俄文原件) Zbl 1298.68102号

赛博。系统。分析。 第335-348号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第3期,第18-34页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

异步跟踪匹配自动机。 (英语。俄文原件) Zbl 1298.68156号

赛博。系统。分析。 48,第3期,323-329(2012); 翻译自Kibern。修女。分析。2012年,第3期,第3-11页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构分解作为优化基于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格式引用
全文: 内政部

基于数据的算法代数。 (英语。俄文原件) 兹比尔1320.68076

赛博。系统。分析。 48,第2期,291-303(2012); 翻译自Kibern。修女。分析。2012年第2期,第151-166页(2012年)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大覆盖率的再优化:近似比阈值。 (英语。俄文原件) 兹伯利1306.90132

赛博。系统。分析。 第242-248号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第2号,97-104(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习算法家族的复杂性和经验规律提取的非随机性估计。 (英语。俄文原件) Zbl 1371.68231号

赛博。系统。分析。 48,第2期,233-241(2012); 翻译自Kibern。修女。分析。2012年,第2期,86-96(2012)。
MSC公司:68T05型 68问题30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有信息关系的随机时间Petri网的状态方程。 (英语。俄文原件) Zbl 1290.68097号

赛博。系统。分析。 48,第5期,784-797(2012); 翻译自Kibern。修女。分析。2012年,第5期,164-179(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求最大独立集的启发式算法。 (英语。俄文原件) Zbl 1292.05252号

赛博。系统。分析。 48,第5号,673-680(2012); 翻译自Kibern。修女。分析。2012年,第5期,第41-48页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于程序代数模型中等价性检查问题的多项式复杂性。 (英语。俄文原件) Zbl 1290.68036号

赛博。系统。分析。 第553-659号第48页(2012年); 翻译自Kibern。修女。分析。2012年,第5号,第17-24页(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构建二进制稀疏向量表示的随机投影方法。 (英语。俄文原件) Zbl 1276.68144号

赛博。系统。分析。 48,第1期,146-156(2012); 翻译自Kibern。修女。分析。2012年第1期,175-187(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种估计离散优化问题后优化分析的平均情况复杂度的方法。 (英语。俄文原件) Zbl 1358.68144号

赛博。系统。分析。 47,第6号,871-880(2011); 翻译自Kibern。修女。分析。2011年,第6期,47-58(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息技术中的有限状态自动机。 (英语。俄文原件) Zbl 1358.68216号

赛博。系统。分析。 47,第5期,669-683(2011); 翻译自Kibern。修女。分析。2011年,第5期,3-20(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散优化问题再优化的多项式时间近似格式的存在性。 (英语。俄文原件) Zbl 1298.68103号

赛博。系统。分析。 47,第3期,368-374(2011); 翻译自Kibern。修女。分析。2011年,第3期,42-50(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据语言(L)中的自动机规范改进了自动机的合成方法。 (英语。俄文原件) 兹比尔1298.68178

赛博。系统。分析。 第335-345号第47页(2011年); 翻译自Kibern。修女。分析。2011年,第3期,第3-14期(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

业务流程模板的形式验证算法。 (英语。俄文原件) Zbl 1298.68179号

赛博。系统。分析。 47,第2期,228-240(2011); 翻译自Kibern。修女。分析。2011年,第2期,第62-76页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

借助活动资源的广义网络对多智能体系统进行建模。 (英语。俄文原件) Zbl 1298.68271号

赛博。系统。分析。 47,第2期,202-209(2011); 翻译自Kibern。修女。分析。2011年,第2期,31-39(2011)。
MSC公司:68T42型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限环上自动机的一些子集。 (英语。俄文原件) Zbl 1298.68158号

赛博。系统。分析。 198-201(2011)第2号第47页; 翻译自Kibern。修女。分析。2011年,第2期,27-30页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

集合覆盖问题的再优化。 (英语。俄文原件) Zbl 1291.68180号

赛博。系统。分析。 46,第6号,879-883(2010); 翻译自Kibern。修女。分析。2010年,第6期,第27-31页(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性循环的多项式不变量。 (英语。俄文原件) Zbl 1288.68168号

赛博。系统。分析。 46,第4号,660-668(2010); 翻译自Kibern。修女。分析。2010年,第4期,第159-168页(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解实域和有理域上的线性约束。 (英语。俄文原件) Zbl 1288.68291号

赛博。系统。分析。 46,第4期,630-638(2010); 翻译自Kibern。修女。分析。2010年,第4期,123-133(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

过渡系统符号建模背景下的谓词变换器。 (英语。俄文原件) Zbl 1288.68163号

赛博。系统。分析。 46,第4期,602-608(2010); 翻译自Kibern。修女。分析。2010年,第4期,91-99(2010)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号

赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将FSM的语言(L^\ast)规范转换为语言(L\)中的自动机等效规范。 (英语。俄文原件) Zbl 1288.68152号

赛博。系统。分析。 46,第4期,574-582(2010); 翻译自Kibern。修女。分析。2010年,第4期,60-69(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

快速混合矩阵乘法算法。 (英语。俄文原件) Zbl 1288.65038号

赛博。系统。分析。 46,第4期,563-573(2010); 翻译自Kibern。修女。分析。2010年,第4期,49-59(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用双磁带自动机进行程序等价性检查。 (英语。俄文原件) Zbl 1288.68171号

赛博。系统。分析。 46,第4期,554-562(2010); 翻译自Kibern。修女。分析。2010年,第4期,39-48(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

迹幺半群中的包含问题。 (英语。俄文原件) Zbl 1288.68302号

赛博。系统。分析。 46,第4期,546-553(2010); 翻译自Kibern。修女。分析。2010年,第4期,31-38(2010)。
MSC公司:68瓦32 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于有限环上自动机分析的复杂性。 (英语。俄文原件) Zbl 1288.94083号

赛博。系统。分析。 46,第4期,533-545(2010); 翻译自Kibern。修女。分析。2010年,第4期,17-30(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号

赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定义在不同可能性空间上的模糊感知元序列的收敛性。 (英语。俄文原件) Zbl 1207.68371号

赛博。系统。分析。 46,第2期,296-304(2010); 翻译自Kibern。修女。分析。2010年,第2期,第142-151页(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过参数Petri网验证超立方体通信结构。 (英语。俄文原件) Zbl 1204.68140号

赛博。系统。分析。 46,第1期,105-114(2010); 翻译自Kibern。修女。分析。2010年第1期,第119-128页(2010年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前5名

体积

全部的 前5名

出版年份

全部的 前3名

软件