文章的正确链接:
Borodin A.V.
程序混淆问题中最大周期的线性全等序列
// 控制论与编程.
2016. № 6.
和。 1-19.
DOI: 10.7256/2306-4196.2016.6.18499 URL: https://cn.nbpublish.com/library_read_article.php?id=18499
注释,注释:
这项工作致力于开发一个实用方法系统,用于保护软件免受重构,以减少对所使用的算法侵犯版权的可能性。 作为一种基本的保护方法,提出了一种方法,其特征是使用线性全等序列作为将语言运算符的顺序映射到功能所需的程序执行顺序的基础。 提出了一种对用脚本语言,特别是Microsoft Visual Basic编写的程序进行模糊处理的具体技术。 还讨论了对所考虑的方法系统的稳定性程度的正式理解的变体。 用集合理论形式主义来正式描述程序混淆的概念和混淆的抵抗程度。 在工作中使用了数论的一些结果来证实在提出的任意程序的公式中存在混淆问题的解决方案。 这项工作的主要结果是一种新的实用方法来混淆用脚本语言编写的程序,这种方法在一定程度上可以推广到不同性质的语言系统。 该论文还演示了一个自相矛盾的结果-一个模糊的程序可以完全符合结构编程的范式,同时保持声明的对重构的抵制程度。
关键词:
计算复杂度, 源代码, 词法分析, 线性全等法, 机器代码, 模糊处理, 重构, 意大利面条代码, 结构规划, VBA的
文章的正确链接:
Urzhumov D.V., Krevetsky A.V.
具有点和小尺寸对象组的三维场景生成器的体系结构
// 控制论与编程.
2016. № 6.
和。 20-29.
DOI: 10.7256/2306-4196.2016.6.21007 URL: https://cn.nbpublish.com/library_read_article.php?id=21007
注释,注释:
该研究的主题是包含具有坐标和脉冲噪声的点和小尺寸物体组的三维场景生成器的架构。 作者探讨了基于构建和嘈杂场景的算法集成的既定要求来构建软件包类层次结构的方法。 本文分析了构建一个通用接口的算法,用于构建一个不具有参数容器类冗余属性的场景,以及在保持改变生成方法输入参数的可能性的同时,对不同数据类型的相同算法进行重新实现。 通过使用类型列表在广义函子上组织松散连接的层次结构来解决生成标准和与噪声和数据完整性验证程序集成的程序的接口的普遍性。 重点介绍了对具有观测条件参数规格的主要对象类型进行建模所必需的抽象类,以便分析后续识别的正确性。 生成器的区别在于点基元及其组的支持,组对象和扭曲的随机模型,对象模型类型和噪声的可扩展性,嵌入用户程序的可能性,以研究识别方法的有效性。
关键词:
3D场景建模, 模式识别, 图像识别, 分组点对象, 小型物体组, 场景分析, 软件包的体系结构, 类层次结构, 模型的可视化, 识别效率分析
文章的正确链接:
Krevetsky A.V., Chesnokov S.E.
基于其形状的最相似的局部描述识别部分掩蔽的组点对象
// 控制论与编程.
2016. № 6.
和。 30-37.
DOI: 10.7256/2306-4196.2016.6.21445 URL: https://cn.nbpublish.com/library_read_article.php?id=21445
注释,注释:
群点对象(TRP)是一组与背景形成鲜明对比的孤立点标记,由一些共同特征联合起来。 在许多应用中,组的点对象的相互位置的形式充当稳定特征。 识别TRP形状的已知方法的使用在仅已知类之一的TRP的一部分落入观察者的视野中时变得有问题。 点对象与其etalon位置的可能偏差进一步使识别部分掩蔽的TRP的任务复杂化。 本文研究了与相邻TRP元素配置的参考局部描述最相似的TRP识别。 具有TRP元素中的源和有限范围的抽象矢量场的圆柱形部分用作局部描述。 TRP配置的局部描述由离散复值代码表示。 每个参考的模数和自变量对应于矢量场的强度和方向。 基于此类形状描述的标量积的模量的相似性度量确保了对TRP的观察角的不变性并且不依赖于帧中TRP的位移。 识别特征证实了在对实践显着的TRP元素坐标的随机波动范围内识别部分掩蔽的TRP的所考虑的方法的有效性。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Kovaleva A., Zakirov V., Turbov A., Tretyakov A., Ponomarev D.
无线网络中机器对机器交互的安全威胁建模
// 控制论与编程.
2016. № 6.
和。 38-46.
DOI: 10.7256/2306-4196.2016.6.21550 URL: https://cn.nbpublish.com/library_read_article.php?id=21550
注释,注释:
这项研究的主题是信息系统安全问题。 这个方向可以被认为是现代社会发展中最重要的方向之一,这得益于对技术的巨大信任。 减少一个真实的人在现代过程中的作用导致了机器对机器交互和物联网等技术的出现。 将大量数据转移到电子形式,例如在运输基础设施中存在自治元素,导致需要保护此类系统免受入侵者的影响。 这是由于失去对系统控制的后果的严重性。 本文讨论了攻击者在一般情况下的故意影响。 介绍了对信息系统实施攻击的主要顺序阶段,这是大多数安全威胁的特征。 考虑到采取准备措施的必要性和隐瞒犯罪的必要性。 文章中对影响机制的描述是使用Petri-Markov网络的数学装置进行的,因为这是最适合这个过程的。 网络由位置和过渡组成,在穿过整个网络时,实现了攻击者设定的目标。 本文介绍了两个用于对单个影响进行建模的网络–简化的网络和更复杂的网络,这允许更详细地考虑攻击者的行为。 第一个Petri-Markov网络允许您考虑到实施攻击的主要步骤,给出了一个积分微分方程系统进行描述。 第二个模型考虑到,与第一个不同,如果攻击者威胁的实施存在问题,则返回到前一阶段的可能性。 该研究的新颖之处在于使用数学模型来详细描述对信息系统进行攻击的过程。 提出了两种信息安全组织所必需的模型。 它们可以让您更好地了解攻击者的行为,并可以识别需要消除或额外控制的信息系统最具特征的漏洞。
关键词:
资讯系统, 资讯系统, 保护措施, 保护措施, 安全, 安全, 攻击, 攻击, 攻击者, 攻击者, 进攻, 进攻, Petri-Markov网络, Petri-Markov网络, 数学模型, 数学模型, 过渡矩阵, 过渡矩阵, 积分微分方程, 积分微分方程
文章的正确链接:
Baltaev R.K., Lunegov I.V.
在具有最小图像像素变化及其最大填充的盲解码器的隐写信息保护系统中提取嵌入信息的误差的减少
// 控制论与编程.
2016. № 6.
和。 47-55.
DOI: 10.7256/2306-4196.2016.6.21398 URL: https://cn.nbpublish.com/library_read_article.php?id=21398
注释,注释:
该研究的主题是一种隐写信息保护系统(SSSI),该系统基于图像像素的最小可能变化及其最大填充的直接频谱扩展方法。 在文章中特别注意用盲解码器创建CSI的问题,因为原始图像强烈影响正确提取嵌入信息的可能性。 作者详细考虑了该主题的一些方面,如使用自回归过程和校正码来减少提取嵌入信息的错误数量。 研究的方法学基础是抗噪声编码理论的方法、数字图像处理的方法、数理统计的方法。 该研究的新颖性在于已经确定了最佳块大小(32x32像素),其中二维自回归过程(AR)允许您获得正确提取的嵌入位数量的最大增加。 此外,已经研究了使用BCH码、Reed-Solomon码和LDPC码用于恢复嵌入数据的有效性。 结果表明,采用信传播"软"决策算法的LDPC码对减少基于直接频谱扩展的隐写方法提取嵌入信息的错误数是最有效的。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Iureva R.A., Vedernikov K.A., Andreev Y.S.
机器人管道状态监测系统开发的设计和技术解决方案
// 控制论与编程.
2016. № 6.
和。 56-63.
DOI: 10.7256/2306-4196.2016.6.20982 URL: https://cn.nbpublish.com/library_read_article.php?id=20982
注释,注释:
在线诊断是复杂的非破坏性测试方法的一部分,允许您使用技术诊断来识别管道的内部缺陷。VTD的主要任务是识别管道金属中的缺陷,焊缝缺陷,管道几何缺陷,识别缺陷类型,确定其尺寸和在管道上的位置。 为了完成这项任务,正在开发一个网络物理系统,对其施加某些要求。 文章讨论了Diakont JSC集团公司的设备,Diakont JSC集团是高科技解决方案领域的世界领导者之一,以确保核,石油和天然气工业和热能的安全和提高效率。 本研究的目的是分析在JSC"Diakont"中用于VTD的机器人综合体开发中使用的设计和技术解决方案。 这一目标的相关性是由于对这种目的的网络物理系统的需求不断增长,与其防爆和低成本相关。 因此,创建用于监测管道状况的网络物理系统是一项耗时且科学密集的任务。 由于VTD环境的特殊性,在防爆方面对诊断综合体的部分施加了严格的要求。 此外,该系统必须具有若干与克服成形制品、管道的倾斜和垂直段有关的设计特征。 作者的贡献在于分析网络物理管道控制系统开发中的现有技术解决方案。
关键词:
管道监测, 网络物理系统, 设计解决方案, 技术解决方案, 无损检测, 在线技术诊断, 机器人系统, 防爆装置, 技术安全, 高科技系统
文章的正确链接:
Urazaeva T.A., Smirnova S.Y.
关于在函数全局极值的随机搜索算法中使用各种伪随机数传感器的经验
// 控制论与编程.
2016. № 6.
和。 64-69.
DOI: 10.7256/2306-4196.2016.6.19397 URL: https://cn.nbpublish.com/library_read_article.php?id=19397
注释,注释:
研究的主题是优化方法,特别是随机搜索(全局)函数极值的方法。 研究的目的是随机搜索的问题,这些问题与用伪随机序列替换均匀分布的真随机数流有关。 作者构建了一个模型示例,可以清楚地表明均匀随机搜索方法在使用的伪随机序列的周期长度与此类传统计算器上目标函数的潜在可实现计算数相 在随机搜索算法中使用时,microsoft Office软件包的VBA子系统中内置的伪随机数生成器存在严重限制。 在模型目标函数的合成中采用了代数和分析的方法. 研究的主要结果是在大量数值实验和使用比较和概括方法的基础上获得的。 该研究的主要结论是关于在现阶段随机搜索算法中使用内置于Microsoft Office套件VBA子系统中的伪随机数传感器的不适宜性的论文,以及用新一代发生器(例如Mersenne vortex)替换内置传感器的建议。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Atadjanov J.A.
乌兹别克语形态分析模型
// 控制论与编程.
2016. № 6.
和。 70-73.
DOI: 10.7256/2306-4196.2016.6.20945 URL: https://cn.nbpublish.com/library_read_article.php?id=20945
注释,注释:
The subject of the research is the models and algorithms of the morphological analysis of texts, the category of suffixes and rules for using them in the Uzbek language. The object of the research is the processes of defining roots in Uzbek sentences according to morphological rules of the Uzbek language without using additional dictionaries. Developed methods and models are oriented at specific features of the Uzbek language, its structure, peculiarities of word forms for further comparison, standardization and search for analogous texts in data bases. Research methods used by the author include morphological analysis of texts, abstract programming, method of finite state machines and flow charts and methods of mathematical modeling. In order to create the antiplaque program it is important to research the specific characters of the language of a text. The article presents an approach to morphological analysis of Uzbek words. The approach is based on the analysis of words according to the finite state machines (FSM) method and based on defining the root of the word according to the word order in Uzbek language.
关键词:
abstract programming, word parser, morphologic rule, automata theory, normalization of words, determining the root, suffixes, finite state automaton, affixes, analysing natural language
文章的正确链接:
Mikhalkov V.A., Sokolov Y.M.
现代CAD在模拟电子设备电路中的应用
// 控制论与编程.
2016. № 6.
和。 74-82.
DOI: 10.7256/2306-4196.2016.6.20533 URL: https://cn.nbpublish.com/library_read_article.php?id=20533
注释,注释:
模拟电子设备的自动化电路设计与某些困难相关联, 由于其 元素的参数的高度异质性。目前,不可能完全自动化模拟微电子器件的设计,即它们的设计没有人的参与,特别是在解决结构合成问题时。 然而,通过最大限度地利用开发人员的资格并实现他与计算机之间的密切对话交互,可以成功地解决结构和参数合成的问题。 这在很大程度上得益于现代CAD电子设备中广泛的分析程序。 本文概述了NI ELVIS系统用于模拟电子器件实验研究的能力。 考虑了Multisim和NI ELVIS系统在模拟电子器件设计中的联合应用。 Multisim和NI ELVIS系统在模拟电子设备的课程设计过程中的联合使用使学生能够尽可能接近现代设计组织中的工作条件,特别是最大限度地减少手动计算量。 与此同时,学生执行以下电路设计程序: -模拟电子设备电路的选择。 -估计手动计算。 -Multisim系统中所选电路的仿真。 -NI ELVIS系统中设备的实验研究。
关键词:
模拟电子设备, 模拟电子设备, 计算机辅助设计, 计算机辅助设计, 倪猫王, 倪猫王, 实验室, 实验室, 多传真, 多传真, 模拟电路, 模拟电路, 实验室工作, 实验室工作, 教学, 教学, 计算机模拟, 计算机模拟, 运算放大器, 运算放大器
文章的正确链接:
Zinkin S.A., Pashchenko D.V., Puchkova U.N., Mustafa S.
离散事件系统概念与行为建模方法的整合:一、概念模型的综合与分析
// 控制论与编程.
2016. № 6.
和。 83-95.
DOI: 10.7256/2306-4196.2016.6.20740 URL: https://cn.nbpublish.com/library_read_article.php?id=20740
注释,注释:
本文研究的对象是异步离散事件系统中的信息过程。 这种系统的例子可以是组织、经济、生产和计算系统。 研究的主题是基于人工智能方法和行为离散事件建模的整合的异步离散事件系统的形式化和分析方法。 作为合适的主题领域的一个例子,本文考虑了柔性自动化生产场所,缩写为GAP(Fms-Flexible Manufacturing Systems)。 研究方法基于一阶和二阶谓词的逻辑,抽象机器网络的形式主义,人工智能模型和第一个提出的概念Petri网。 该研究的新颖之处在于最终在异步离散事件系统的概念和行为模型的基础上获得正式的直接可执行规范,例如,适用于控制产品灵活自动化生产的无线计算机网络的网络软件的后续实现。 文章第一部分表明,对象之间具有事件,角色和因果联系的语义网络(情景网络)可以完全代表智能系统的逻辑,结构和程序范式,包括情境管理系统。 基于概念图构建情景模型的过程被形式化,这使得可以将这些模型用作情景管理系统的专家模拟模型的一部分。 结果表明,场景的概念表示允许您自然地自动过渡到基于关系方法构建知识库,这提高了对概念模型和知识库进行更改的效率(例如,随着主题领域的变 对建立在概念图基础上的知识库的查询可以用抽象机器网络的语言形式化,这简化了基于C++、C#、SQL、Visual Prolog等知名语言的智能系统人机界面的进一步设计。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Talipov N.G., Katasev A.S.
基于模糊生产模型的维护个人数据操作人员登记册任务分配决策支持系统
// 控制论与编程.
2016. № 6.
和。 96-114.
DOI: 10.7256/2306-4196.2016.6.21271 URL: https://cn.nbpublish.com/library_read_article.php?id=21271
注释,注释:
本文研究的主题是开发和实际使用智能决策支持系统,用于维护个人操作员登记册的任务分配。 研究的目的是在Roskomnadzor领土机构的电子文件管理系统中合理选择任务执行者的任务。 作者详细考虑了保护个人数据主体权利的任务,维护个人数据操作员注册的处理和分配任务的方案,分析了手动分配任务的问题,设置了自动执行者有效分配任务的任务。 为了解决这个问题,提出了专门开发的模糊生产模型。 这种模式允许在对表演者的资格、效率和工作量进行专家评估的基础上,合理分配各种复杂程度的任务。 给出了决策支持系统的描述及其在任务分配中的使用算法。 所提出的解决任务的方法的科学新颖性是基于模糊生产模型的开发和实际使用,由执行者自动分配任务。 提出了一种原始类型的模糊生产规则,以正式确定关于任务执行者合理选择的专家知识,同时考虑到他们的资格,效率和当前的工作量水平。 对模糊生产模型的充分性的评估,以及在开发的系统的基础上解决任务的有效性表明,在分配任务时,专家的智力负荷显着减少的可能性,以及决策的平均速度增加了80.3%。
关键词:
决策支持, 电子文件管理系统, 统一信息系统, 应用子系统, 分配分配, 模糊生产模型, 软件包, 个人资料营办商, 逻辑推理算法, 智能系统