文章的正确链接:
Ревнивых А.В., Велижанин А.С..
Методика автоматизированного формирования структуры дизассемблированного листинга
// 控制论与编程.
2019. № 2.
和。 1-16.
DOI: 10.25136/2644-5522.2019.2.28272 URL: https://cn.nbpublish.com/library_read_article.php?id=28272
注释,注释:
该研究的主题是在自动模式下将反汇编代码拆分为逻辑块的方法,在不使用源代码的情况下搜索软件漏洞(使用通过逆向工程获得的二进制文件或其研究的对象是现有的代码分析器及其功能的特点。该研究的目的是考虑在自动模式下将反汇编代码拆分为逻辑块的可能性以及与此相关的一些可能的困难。 问题陈述。 在机器代码级别分析大型软件产品的复杂性使得有必要自动化该过程。 研究方法是基于理论和经验方法的结合,使用静态和动态分析,比较,概括,算法化,建模,综合方法。 关键发现。 在某些情况下,通过对机器代码的顺序逐行分析将代码拆分为块可能导致错误的解释。 此外,根据函数的结论对代码进行分析也不能保证函数边界定义的正确性。 然而,一般而言,矩阵方法可用于分析函数对以这种方式分配的代码块的依赖性。科学上的新颖性与作者对漏洞软件代码研究的有希望的向量的定义有关,该方法的合理性(从整数值构建转换矩阵),这可能是为反汇编代码的自动分析做准备的初始阶段。
关键词:
资讯保安, 漏洞, 代码分析, 拆卸, FASM编译器, IDA Pro实用程序, 邻接矩阵, 矩阵法, 代码块, 矩阵构造算法
文章的正确链接:
Астахова Н.Н., Демидова Л.А., Никульчев Е.В..
Применение многоцелевой оптимизации для прогнозирования групп временных рядов
// 控制论与编程.
2016. № 5.
和。 175-190.
DOI: 10.7256/2306-4196.2016.5.20414 URL: https://cn.nbpublish.com/library_read_article.php?id=20414
注释,注释:
本文提出了一种利用聚类分析技术和多用途优化原理预测时间序列组的方法。 使用基于严格二叉树的预测模型和克隆选择的多用途修改算法开发了聚类时间序列质心的描述,其中在最佳预测模型的选择过程中涉及两个模型质量指标:基于预测平均相对误差计算的亲和力指数和趋势不匹配指标。 考虑到预测模型的质量的两个指标是使用Pareto优势的原则,用于在克隆选择的多用途修改算法中形成预测模型的新种群。在解决多用途优化问题的框架内,在形成新的预测模型群体以保持其高度多样性时,提出考虑预测模型拥挤距离的值。 显示了使用在严格二叉树基础上形成的一般预测模型来预测包含在一个聚类中的时间序列的前景。 给出了实验研究的结果,证实了所提出的方法在解决多用途优化问题的框架内对时间序列群进行短期和中期预测的有效性。
关键词:
时间序列, 预测模型, 严格二叉树, 克隆选择的算法, 多用途优化, 亲和力指数, 趋势不匹配的指标, 平均相对误差, 帕累托优势, 拥挤距离
文章的正确链接:
Гиниятуллин В.М., Арсланов И.Г., Богданова П.Д., Габитов Р.Н., Салихова М.А..
Способы реализации функций троичной логики
// 控制论与编程.
2014. № 2.
和。 1-31.
DOI: 10.7256/2306-4196.2014.2.11918 URL: https://cn.nbpublish.com/library_read_article.php?id=11918
注释,注释:
三维二元、三元和混合逻辑函数的真值表作为源数据。 逻辑函数的值是通过以下方法计算的:几何解释、分离/连接正常形式(退出/KNF)、不完全连接的人工神经网络(INS)和带有隐藏层的感知器。 所有给出的方法都详细考虑了计算的中间结果。 研究了混合逻辑函数的性质:二元三元和3–2逻辑,在一维,二维和三维情况下。 给出了以DNF和不完全连接的神经网络形式的逻辑函数的相互等价实现。 连续激活函数被三元阈值函数取代。 研究采用DNF的构造方法,直接合成INS权重矩阵,感知器采用反向传播算法进行训练,部分结论是根据数学归纳法律制定的。 论文表明: 1. 最小化感知器隐藏层中的神经元数量,隐含地导致使用多值逻辑; 2。 二进制-三元逻辑的一些函数可以用来形成析取形式; 3。 有一对一的方式将DNF转换为INS,反之亦然; 4。 在一维3-2逻辑中,只有8个函数,它们都被列出; 5。 所提出的INS结构可以实现任意维数的三元逻辑的任何功能。
关键词:
, , , , , , , , ,
文章的正确链接:
Новакова Н.Е., Горячев А.В., Горячев А.А., Васильев А.А., Монахов А.В..
Система управления проектами в автоматизированном проектировании
// 控制论与编程.
2013. № 4.
和。 1-13.
DOI: 10.7256/2306-4196.2013.4.8301 URL: https://cn.nbpublish.com/library_read_article.php?id=8301
注释,注释:
设计自动化工具用于与创建复杂技术对象相关的项目活动。 设计过程由不同的模型表示,这取决于使用这些模型的目的,接受的形式或其构造的规则。 吉川作品中描述的设计过程的正式表示的概念在计算机辅助设计理论中得到了进一步的发展。 在设计过程中,有阶段,设计程序和设计操作。 这些阶段包括项目程序,每个程序又包括一些项目操作。 设计操作是设计过程中的一个单独步骤。 每个设计过程都用一个设计解决方案完成。 在项目管理的实践中,使用网络模型,这是项目管理的组织工具。 网络模型的主要元素是:工作,事件和路径。 在网络图模型中,一组设计程序被描绘为反映其逻辑顺序,关系和持续时间的定向图。 甘特图是表示项目进度的最直观方式。
关键词:
项目活动, 民航处, 项目管理, 设计路线, 计算机辅助设计, 工程项目, 网络模型, 定向图, 甘特图, 设计阶段
文章的正确链接:
Малашкевич И.А., Малашкевич В.Б..
Применение fortran-библиотек линейной алгебры в среде delphi
// 控制论与编程.
2013. № 1.
和。 1-8.
DOI: 10.7256/2306-4196.2013.1.8314 URL: https://cn.nbpublish.com/library_read_article.php?id=8314
注释,注释:
本文介绍了用Object Pascal语言编写的组件和头模块,为blas、LAPACK、ARPACK等线性代数问题的数值解提供了这些库的函数和过程的简单连接。,用FORTRAN写的。 在现代编程语言中使用这些库,例如在C++或Object Pascal中,面临着与将参数传递给子例程的方法以及在RAM中表示数组的方式相关的重大问题。 更严重的问题是FORTRAN中采用的来自1的元素编号。 在Object Pascal中,考虑到这种情况可能需要仔细分析和修改用于解决问题的算法。 这显着增加了编程的复杂性,并导致隐藏的,难以检测的算法错误的出现。 为了从Delphi Object Pascal程序中提供对FORTRAN库例程的透明访问,已经开发了两类对象来表示一维数组TVector和二维数组TMatrix。
关键词:
fortran语言, 图书馆, 线性代数, 德尔菲, 对象帕斯卡, 电视主持人, [医]马特里克斯, 编程, 算法, 子程序