文章的正确链接:
Gusenko M.
在静态数据反编译任务中使用正则表达式
// 软件系统和计算方法.
2017. № 2.
和。 1-13.
DOI: 10.7256/2454-0714.2017.2.22608 URL: https://cn.nbpublish.com/library_read_article.php?id=22608
注释,注释:
研究的主题是将程序源代码反编译为高级语言(JAVA)的过程。 示了反编译在程序转换周期中的位置,包括规范化、编译、优化和反编译的过程。 研究的对象是用JAVA描述静态数据的编译等价物,一般说来,java语法结构的非平凡映射是放在可执行程序模块中的字节序列,并考虑到这种微处理器体系结构的各种优化技术而构建的。 静态数据的反编译过程被认为是程序解析树的重建,在分析其可执行代码时被恢复,并作为冯诺伊曼机器内存中的二进制序列,由反编译器根据数据的预期描述创建的正则表达式进行分析。 正则表达式传统上用于分析字符序列。 本文展示了这个工具的另一个应用领域--测试一个可执行模块的这个字节数组等同于编译的静态数据的假设。 提出了正则表达式语言的相应语法的变体。 结果表明,所提出的方法可用于反编译代码的额外质量控制。
关键词:
广播, 反向广播, 反编译, 正则表达式, 编程语言, 汇编, 可执行模块, 目标代码, 程序解析树, 数据描述
文章的正确链接:
Galimov A.A., Shabalina O.A.
基于Web的系统,用于开发大学的模块化教育计划
// 软件系统和计算方法.
2017. № 2.
和。 14-21.
DOI: 10.7256/2454-0714.2017.2.23095 URL: https://cn.nbpublish.com/library_read_article.php?id=23095
注释,注释:
本文致力于设计信息和软件支持工具,以具有web界面的系统形式开发大学的教育计划(OP)。 发展这样一个系统的需要是与最新的联邦国家高等教育教育标准(FGOS HE)的要求有关的,根据该标准,学习成果被定义为一个完整的能力系统。 本文还提出了一种开发符合能力范式的OP的方法,该范式构成了正在开发的系统的基础。 研究以系统分析、图论、组合有序建模和动态规划等方法为基础. 该研究的科学新颖性在于以知识空间层次结构的形式开发教育资源模型。 这样的表示模型提供了在其基础上开发的教育资源的模块化和灵活的结构,这是通过组合模型中分层结构和代数结构的属性来实现的。
关键词:
教育资源, 教育资源, 教育资源的开发, 教育资源的开发, 大学教育计划, 代数结构, 大学教育计划, 晶格理论方法, 代数结构, 教育资源模式, 晶格理论方法, 知识空间, 教育资源模式, 拓展知识空间, 知识空间, 知识空间的碎片化, 拓展知识空间, web系统, 知识空间的碎片化, web系统
文章的正确链接:
Dolzhenko A.I., Shpolyanskaya I.Y.
一种信息系统面向服务体系结构中web服务质量评价的模糊模型和算法
// 软件系统和计算方法.
2017. № 2.
和。 22-31.
DOI: 10.7256/2454-0714.2017.2.23098 URL: https://cn.nbpublish.com/library_read_article.php?id=23098
注释,注释:
选择合适的web服务是开发面向服务体系结构(SOA)信息系统的重要一步。 当选择web服务时,通常使用表征候选Web服务的非功能性属性的服务质量(QoS)标准。 然而,难以量化的服务的功能特性,以及管理复合架构生命周期的效率因素也很重要。 本文考虑了在开发信息系统SOA时评估和选择web服务的综合方法。 用于评估和选择web服务的模型和算法使用可用服务质量综合评估的模糊模型来实现。 与现有方法不同,拟议的方法考虑到与非功能性和功能性需求有关的因素,以及对实施和使用面向服务的应用程序的有效性的经济评估。 开发的模型和算法用于评估web服务及其软件实现的质量,使开发人员能够实现必要的决策支持程序,以便在信息不完整的情况下证明和选择面向服务的信息系统体系结构(SOA)的有效变体。
关键词:
面向服务的体系结构, 面向服务的体系结构, SOA, SOA, web服务, web服务, QoS保障, QoS保障, 综合质量评估, 功能要求, 综合质量评估, 非功能性要求, 功能要求, 经济表现评估, 非功能性要求, 模糊模型, 经济表现评估, 决策支持, 模糊模型, 决策支持
文章的正确链接:
Oleinikova S.A.
具有随机参数和作业间相互依赖关系的复杂服务系统的数学模型
// 软件系统和计算方法.
2017. № 2.
和。 32-44.
DOI: 10.7256/2454-0714.2017.2.22457 URL: https://cn.nbpublish.com/library_read_article.php?id=22457
注释,注释:
工作中的研究对象是复杂的服务系统,其特点是工作之间的相互依赖,它们的随机持续时间,以及随着时间的推移需要合理化资源。 这些特征决定了数学模型的发展,该数学模型将成为旨在形成时间表的优化任务的基础。 已经选择了一个广义标准作为目标函数,它允许随着时间的推移最有效地分配资源。 这种模型的一个重要参数是服务持续时间。 该参数的估计是一项重要的任务,因为它直接影响所开发图的误差。 数学模型的形成是建立在概率论和项目管理理论的基础上的。 为了找到服务持续时间,得到了一个三次方程,它涉及方差,数学期望和三次方程的模式。 结果,获得了一个数学模型,旨在描述具有相互依赖工作的随机服务持续时间的多级服务系统。 当需要随着时间的推移有效地分配资源时,该模型可用于描述具有上述特征的一整类系统。 新颖之处在于使用通用资源标准以及资源和时间限制。 还获得了服务持续时间的估计,其特征在于与现有类似物相比增加了准确性。
关键词:
数学模型, 随机参数, 作品的相互依赖, 随机服务时间, 资源标准, 时间限制, 佩特, 贝塔分布, 数学期望, 项目管理
文章的正确链接:
Toropov B.A.
基于沙普利向量的图中顶点的博弈论中心性
// 软件系统和计算方法.
2017. № 2.
和。 45-54.
DOI: 10.7256/2454-0714.2017.2.22647 URL: https://cn.nbpublish.com/library_read_article.php?id=22647
注释,注释:
该研究的主题是评估图中顶点显着性的方法。 作者关注的是现有的中心性度量,例如按程度的中心性,按邻近度的中心性,按中介度的中心性,特征向量等。 当图的顶点作为能够合作实现集体目标的社会对象的模型时,并不总是适合于对这种情况进行建模。 在这种情况下,博弈论模型,特别是联盟游戏模型,更能反映建模的对象。 研究方法包括图论的元素,概率论的元素,以及分析社会网络作为一个相对较新的和独立的科学方向的装置。 该研究的主要结论是,基于Shapley向量的博弈论中心性是分析社会图的一种非常灵活且普遍的工具。 它可以让你考虑到一组无限的两个定性特征的顶点的图和它们的拓扑属性的任何组合,以评估的意义的顶点。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Pritykin F.N., Khomchenko V.G., Glukhov V.I., Nefedov D.I.
基于允许配置区域的使用,表征操纵器位置和环境的当前情况的几何分析
// 软件系统和计算方法.
2017. № 2.
和。 55-66.
DOI: 10.7256/2454-0714.2017.2.22685 URL: https://cn.nbpublish.com/library_read_article.php?id=22685
注释,注释:
该研究的主题是机械手机构的自动碰撞检测模块,具有智能机器人控制系统中使用的限制区域。 研究的对象是表征机械手机构和已知限制区域的位置的几何分析。 作者详细考虑了在操纵器工作空间中存在两个禁止区域的广义坐标空间中允许配置区域的分析分配等方面。 在这种情况下,广义坐标的空间由直角坐标系的轴定义,角的方向决定了旋转运动对的运动。 提出了基于使用允许配置的区域来确定碰撞的充分条件。 该研究的方法是基于对定义允许配置的区域的形状和位置的横截面的研究。 广义坐标空间中所有允许的配置都由几何对象显示。 这个几何对象是通过使用几个限制它的运动学表面来解析地定义的。 该研究的主要结论是使用开发的用于检测机构与环境碰撞的算法,减少与移动机器人"Varan"操纵器机构运动的虚拟仿真相关的测试任务的计算时间。 作者对该主题研究的一个特殊贡献是开发了一种用于设置用于在先前已知的外部环境中操纵器机构运动的智能控制的知识库的方法。 该研究的新颖性在于开发一种更有成效的方法,用于基于用于指定允许配置的区域的获得的分析依赖性来分析关于操纵器机构和限制区域的位置的 在广义坐标的空间中的轨迹的合成中使用所获得的区域使得能够校正操纵器的运动,以便预测和消除沿速度矢量的运动的合成中的死锁。
关键词:
, , , , , , , , , , , , , , , , , , ,
文章的正确链接:
Varepo L., Khomchenko V.G., Glukhov V.I., Pritykin F.N., Krivokhat'ko E.A.
用于在两个极端位置移动具有近似停止的工作体的第三类循环自动机器的铰接机构的几何建模
// 软件系统和计算方法.
2017. № 2.
和。 67-75.
DOI: 10.7256/2454-0714.2017.2.22719 URL: https://cn.nbpublish.com/library_read_article.php?id=22719
注释,注释:
该研究的对象是根据Assur-Artobolevsky分类使用第三阶第三类结构组的铰接杠杆机构。 正在研究和设计这些机构作为循环高性能自动机器的执行器。 从第三类杠杆机构的集合中,选择了所谓的极限形成机构作为研究对象,这使得可以通过使用杠杆二元的极限位置来获得输出环节的近似立场,从而获得工作器官的近似立场。 考虑了第三类的铰接杠杆机构,其凭借其运动学特征,使得能够根据自动机器操作的预定周期图在其两个极端位置提供输出连杆的最近支架。 为了研究根据给定的循环图在两个极端位置上输出环节近似停止的铰接机构,以建设性几何建模方法为基础,在建设性几何建模的基础上开发所考虑的机构的分析几何模型,提出了一种根据预定的循环图设计具有两个极端位置上输出环节近似停止的第三类六步机构的方法。 揭示了该机构的运动学方案的可能分支。 已经创建了一个分析几何模型,用于合成第三类六节铰接机构,作为印刷,食品,纺织和许多其他行业的高性能自动机器的执行器。
关键词:
, , , , , , , , , , , , , , , , , , ,