文章的正确链接:
Alpatov A.N.
评估分布式计算综合体的系统参数对负载均衡算法效率的影响。
// 控制论与编程.
2017. № 1.
和。 1-10.
DOI: 10.7256/2306-4196.2017.1.22021 URL: https://cn.nbpublish.com/library_read_article.php?id=22021
注释,注释:
本文的目的是考虑实现自愿性计算原理的全局分布式计算复合体（rvc）的计算负载平衡算法性能对分布式系统主要属性的依赖性问题。 文件系统的结构和网络协议的类型被认为是主要的固定属性。 该研究的对象是一个全局分布式计算综合体，具有调度节点加载的综合体。 研究的主题是RVC节点的负载平衡方法，这些方法实现了动态策略的原理来平衡计算负载。 在本文中，方法学基础是基础科学和应用科学的方法：分析方法，数理统计方法，模拟建模。 提出了非线性分段平稳模型形式的节点计算载荷模型。 该论文展示了进行计算实验以确定平衡算法效率的方法，并开发了分布式综合体的模拟模型，可以固定计算综合体的主要系统参数，以及评估它们对系统响应时间的影响。 结果表明，文件系统的结构和网络协议类型等参数对负载均衡算法的效率有特殊的影响。 因此，表明有必要考虑到这些参数，以确保在自愿计算原则下实现的分布式计算综合体的开发模型的充分性。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Gutkovskaya O.L., Ponomarev D.Y.
应用电信网络正交模型求解最优流量分配问题
// 控制论与编程.
2017. № 1.
和。 11-29.
DOI: 10.7256/2306-4196.2017.1.21810 URL: https://cn.nbpublish.com/library_read_article.php?id=21810
注释,注释:
该研究的主题是电信网络，表示为一组排队系统。 通过研究，提出了一种以整个网络中服务的最小分组数为标准，分析获得电信网络流量最佳分布的数学模型的方法。 流量优化分两个阶段进行，在第一阶段提供对全局最优解的搜索，在第二阶段在优化的第一阶段的最优解内提供对每个源-接收器对之间的路由的搜索。 两阶段优化减少了在优化的第一阶段发现的目标函数中自变量的数量。 使用复杂系统的张量分析来获得网络的数学模型，同时允许找到线性独立（相位）变量，这使得可以最小化正在解决的问题的维度和复杂性。 本文中的科学新颖性是用于获得电信网络的数学模型的算法，该数学模型允许通过通信信道找到信息流的最佳分布。 这种方法的特点是，而不是目标函数中的自变量，不是每个源-接收器对之间的所有可能的交通路线，而是相位变量-轮廓和节点强度，这通常会小于路线。 这减少了目标函数的维数，从而加速了对最优解的搜索。
关键词:
电信网络, 排队网络, 张量分析, 交通分布, 交通管理, 正交网络, 最佳交通路线, 排队系统, 网络的数学模型, 电信网络图
文章的正确链接:
Borodin A.V.
在文件的异化处理中引入技术以确保纸上信息的完整性和真实性的可行性研究
// 控制论与编程.
2017. № 1.
和。 30-47.
DOI: 10.7256/2306-4196.2017.1.22192 URL: https://cn.nbpublish.com/library_read_article.php?id=22192
注释,注释:
该研究的主题是商业企业的文档管理系统，该系统为公众提供服务，并使用互联网作为与客户沟通的主要媒介。 与此同时，为了确保企业与其客户之间协议的法律效力，使用传统的"纸质"文档流，其基础是使用邮政通信在硬介质上交付文档。 研究的目的是在公司作为交易对手无法控制这一过程的情况下，在客户方面异化处理信息的过程。 该条特别注意了证明实施拟议的异化文件处理程序的经济可行性的问题。 该研究的方法是基于系统的方法，特别是作者的本体论分析技术。 在对主题区域本体模型分析的基础上，提出了保证异化文档处理技术过程安全性的具体技术方案，并合成了该过程的事件模型。 采用代数风险理论的方法对该模型进行了研究. 该研究的科学新颖性在于为任务提供解决方案的技术解决方案的独特组合。 对市场的初步分析表明，在感兴趣的公司的实践中没有这样的解决方案。 这项研究的主要结论是使用异化文件处理技术作为商业企业与其任意交易对手之间完全电子化文件流动的过渡阶段的可能性和权宜之计。
关键词:
文件, 文件, 威胁模型, 威胁模型, 本体论模型, 本体论模型, 保安政策, 保安政策, petri网, petri网, 总拥有成本, 总拥有成本, 资料的完整性, 资料的完整性, 电子数字签名, 电子数字签名, 法律效力, 法律效力, QR码, QR码
文章的正确链接:
Teplovodskii A.V.
一种飞机制导导弹运动建模算法
// 控制论与编程.
2017. № 1.
和。 48-60.
DOI: 10.7256/2306-4196.2017.1.20850 URL: https://cn.nbpublish.com/library_read_article.php?id=20850
注释,注释:
该研究的主题是开发算法支持构建飞机制导导弹的测试方法，基于柯西形式的微分方程的集成，用于飞机运动的数学描述，这是对飞机制导运动进行建模的基础missiles.An 提出了飞机制导导弹飞行路径算法化的方法，在开发使用建模复合体研究和测试飞机制导导弹的方法时，建议使用该方法，这些建模复合体允许可靠地确定和评估飞机制导导弹运动特性符合特定的战术和技术要求。研究方法基于数学建模、最优控制、计算数学、微分和积分微积分等方法。 研究的主要结果是考虑到风扰动的影响，为飞机制导导弹的最简单模型形成了基本运动算法。 开发的算法通过包括考虑火箭相对于质心的角运动，信息传感器的动力学和火箭转向驱动器的动力学的导弹制导算法和控制算法来实现复杂性。
关键词:
航空制导导弹, 航空制导导弹, 飞行模拟, 飞行模拟, 动态运动建模, 动态运动建模, 计算实验, 计算实验, 数学建模, 数学建模, 航空设备测试, 航空设备测试, 飞机测试, 飞机测试, 航空控制论, 航空控制论, 计算数学, 计算数学, 优化管理, 优化管理
文章的正确链接:
Vanyasin N.V.
智能集成应用开发环境中程序代码的语义编辑
// 控制论与编程.
2017. № 1.
和。 61-68.
DOI: 10.7256/2306-4196.2017.1.18881 URL: https://cn.nbpublish.com/library_read_article.php?id=18881
注释,注释:
本文对语义编辑方法进行了描述，并对该领域的研究进行了概述。 综述是从将软件系统的表示分为抽象的、可编辑的、可执行的、存储的和可视的角度来提出的。 允许您提高软件开发生产力的工具和方法始终是相关的。 有大量的集成开发环境（ISMS）结合了各种方法，与没有Isp的工作相比，显着提高了程序员的工作效率。 有希望的方法之一是对正在开发的系统的程序代码进行语义编辑，其允许通过各种可编辑表示对软件的抽象表示进行更改。 这项研究的主要结论是：目前还没有通用的集成软件开发环境与程序代码的语义编辑，尽管与传统的集成环境相比，由于语义编辑和版本控制系统的功能，跟踪的不是文本变化，而是程序代码抽象模型的变化，这种环境的开发可以显着提高程序员的工作效率。
关键词:
语义编辑器, 语义编辑器, 投影编辑器, 投影编辑器, 软件环境, 软件环境, 语言支持, 语言支持, 人机交互, 人机交互, 集成开发环境, 集成开发环境, 版本控制系统, 版本控制系统, 代码生成, 代码生成, 用户界面, 用户界面, 软件开发, 软件开发
文章的正确链接:
Litvinov V.A., Baumtrog V.E.
通过Moodle和Stellus的测试学习
// 控制论与编程.
2017. № 1.
和。 69-74.
DOI: 10.7256/2306-4196.2017.1.19340 URL: https://cn.nbpublish.com/library_read_article.php?id=19340
注释,注释:
这项研究的主题是远程学习技术Moodle和Stellus系统。 考虑了教育材料和测试任务的放置结构，以及在它们之间建立逻辑联系的可能性。 讨论了通过从测试任务文本添加超链接到放置在系统数据库中的教育材料的相关章节来增加学生独立工作有效性的可能性。 讨论了考试任务与教育内容之间建立联系对教材本身质量的相互影响。 该研究的方法和方法是在问题制定阶段对所考虑的远程学习工具及其类似物进行系统分析。 结果采用离散化和动态规划的方法得到. 该研究的主要结论是，在测试任务的文本和远程学习系统的教育材料的章节之间建立逻辑联系可以提高教育过程的效率和质量。 首先，通过鼓励学生更频繁地获得信息来源。 其次，允许培训材料的作者检查其完整性和测试任务的充分性。 提出了一个简单的程序代码，允许您自动创建从测试问题文本到教育材料章节的超链接的过程。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Zinkin S.A., Pashchenko D.V., Puchkova U.N., Mustafa S.
离散事件系统概念和行为建模方法的集成：II.逻辑代数操作模型和信息通信技术
// 控制论与编程.
2017. № 1.
和。 75-93.
DOI: 10.7256/2306-4196.2017.1.20759 URL: https://cn.nbpublish.com/library_read_article.php?id=20759
注释,注释:
本文研究的对象是异步离散事件系统中的信息过程。 这种系统的例子可以是组织-经济、生产和计算系统。 研究的主题是基于人工智能方法和行为离散事件建模的整合的异步离散事件系统的形式化和分析方法。 作为一个合适的主题领域的例子，本文考虑了一个灵活的自动化生产现场，缩写GAP（Fms-灵活的制造系统）。 该研究的方法论基于一阶和二阶谓词的逻辑，抽象机器网络的形式主义，人工智能模型和首次提出的概念Petri网。 该研究的新颖之处在于最终在异步离散事件系统的概念和行为模型的基础上获得正式的直接可执行规范，例如，适用于控制产品灵活自动化生产的无线计算机网络的网络软件的后续实现。 文章的第二部分表明，对象之间具有事件，角色和因果联系的语义网络（情景网络）不仅可以完全表示声明性的，还可以完全表示有关主题领域的程序性知 为了建立一个行为离散事件模型，从一个包含描述灵活自动化生产站点的事件的语义网络到一个Petri网络，然后到一个由逻辑代数表达式描述的抽象机器网络。 为了保持模型的信息性，提出了一些品种的Petri网，并定义了一类新的Petri网-概念Petri网。 提出了形式化的可执行规范，考虑到参与来自无线网络的事件和控制的实施的所有对象的角色。 使用抽象机器网络的语言简化了基于C、C++、C#等知名语言的系统智能行为模型的进一步实现。 提出了构建逻辑代数运算（可执行）模型的原理，旨在建立控制机器人生产的无线网络的分布式网络应用。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Ulianov R.S., Shikolenko I.A., Velichkin V.A., Zav'yalov V.A.
在CAD中应用新设计方法的前景，在人工照明系统的照明装置的检查，放置和操作模式的选择方面。
// 控制论与编程.
2017. № 1.
和。 94-106.
DOI: 10.7256/2306-4196.2017.1.21723 URL: https://cn.nbpublish.com/library_read_article.php?id=21723
注释,注释:
该研究的目的是人工照明系统的计算机辅助设计过程，该研究是为了通过使用文章中概述的方法概念提高其效率的可能性而进行的：具有受控辐射谱的照明设备操作模式的选择的自动化，以及优化照明设备放置的方法，特别是通过使用专门的机器人套件。 文章讨论了任务，其解决方案是由于照明和自动化系统领域技术进步的发展。 Led灯的出现可以实现照明参数的自动化控制，以及现代自动化和机器人工具的可用性，给设计领域的专家带来了新的挑战，并为减少设计过程中的体力劳动提供了新的机会。 该研究分析了室内人工照明系统计算机辅助设计领域的现有解决方案，并合成了旨在促进和提高施工设计过程效率的系统解决方案。 该研究的结果是三种旨在提高建筑CAD效率的新方法的概念描述。 作为第一种方法，在选择"智能"照明系统的操作模式方面，提出了准备设计解决方案的过程自动化的概念，具体取决于室内工作的具体标准，生理效应和照明系统能效的指定指标。 第二种方法是在开发适当的设计解决方案时，优化照明灯具自动放置的程序。 第三种方法是自动检查场所和数据传输到CAD的概念，以形成适当的设计解决方案的初始数据。 在文章的最后部分，考虑了在系统方法框架内组合这些解决方案的方法，并对这些解决方案的更详细研究的相关性进行了假设。
关键词:
民航处, 设计, 人工照明, 自动化, 机器人技术, 辐射光谱, 优化设计, 就业情况, 硬件和软件综合体, 能源效益
文章的正确链接:
Deryugina O., Nikulchev E.
根据指定的质量标准自动重构UML类图的工具
// 控制论与编程.
2017. № 1.
和。 107-118.
DOI: 10.7256/2306-4196.2017.1.21934 URL: https://cn.nbpublish.com/library_read_article.php?id=21934
注释,注释:
本文揭示了与UML类图的自动化重构任务相关的问题，这对于在MDA方法框架内开发用于uml模型转换的工具非常重要。 Uml类图自动化重构问题的形式化制定。 提出了一种便于分析和转换UML类图的抽象数据结构。 给出了搜索类图元素的算法，应用了转换"策略"和"接口介绍"，从而降低了目标函数的价值。 作为目标函数的一个例子，提出了UML类图的结构复杂度度量。 在计算实验期间，所提出的算法的计算复杂度，取决于UML类图的大小，被定义为O(n)。 所提出的算法构成了本文中提出的uml重构类的uml图自动重构工具的基础。 此工具允许用户导入以XMI格式呈现的UML类图，分析它们（计算度量，获取有关转换的建议），转换，然后导出为XMI格式。
关键词:
UML, UML类图, 重构UML图, MDA, 软件设计, 软件架构, MDE, 重构模型, Uml重构, XMI
文章的正确链接:
Mironov S.V.
一个博弈论的方法来测试编译器是否存在实现未声明特性的机制
// 控制论与编程.
2017. № 1.
和。 119-127.
DOI: 10.7256/2306-4196.2017.1.20351 URL: https://cn.nbpublish.com/library_read_article.php?id=20351
注释,注释:
该研究的主题是软件认证程序对信息安全要求的数学支持，同时考虑到时间限制，监管和设计要求。 与此同时，一个基本的强制性要求是所研究软件的源代码的可用性，这对开发人员来说非常关键，因为形成了潜在的知识产权泄漏渠道。 为了消除这一缺点，已经开发了一种方法来测试编译器，因为在软件编译阶段没有实现未声明功能的机制。 研究方法结合了软件工程、能力理论、面向对象编程、系统分析和可靠性理论的方法。 所进行的研究的主要结论是，使用博弈论的数学装置形成了一组最优的测试，编译并分析了在编译器输出处获得的控制流和数据的图表，并根据测试的源文本构建，可以得出结论，正在研究的编译器中存在或不存在将未声明的能力引入已编译软件的机制。
关键词:
软件, 软件认证, 测试编译器, 实施未申报的机会, 软件编译, 软件工程, 资讯保安, 软件安全, 程序分析, 程序的认证测试
Cn
© 1998 – 2024 Nota Bene. Publishing Technologies. NB-Media Ltd.
