归约

摘要： 讨论了模型管理系统设计中模型表示方法、模型操作的实现方法、模型执行的具体过程。提出了一个模型表示的形式化方法,通过可量化、可陈述化、可公式化描述使得模型表示与基于规则逻.辑的数据表示、基于归约的推理过程相兼容。使用推理机制,作为模型处理的基础,提高了模型实例化的有效性。

摘要： 无穷一直以来都是数学哲学中的一个基本问题,但不同的无穷观都未令人满意。反推数学这一数学新纲领给无穷研究带来了新视角。本文在简述数学中的无穷概念后,利用反推数学对无穷进行梳理。具体而言,首先,反推数学可将经典数学中的大部分无穷数学归约到有穷数学。其次,通过对超越二阶算术的高阶反推数学的研究,发现部分高阶数学在二阶数学中都有对应的部分。最后,初步探讨经典数学需要多大的无穷。

摘要： 随着人工智能科技迅速发展,公安院校警训教学智能管理系统的开发过程,会以规范化和同姓化的通用归约求解的方法来实现.文章以公安院校警训教学智能管理系统开发为例,从初始问题智能归约求解、中间---结局结果分析、部分问题变换为子问题的算符和本原问题描述,对采用的硬约束指标集{αm}m∈M和软约束指标集{αn}n∈N判定进行分析,得到的结果不仅能预知实现的警训教学管理信息系统智能化成因及程度,也能判定所实现的应用系统的优劣和应用价值.

摘要： MPI聚合通信操作广泛应用于并行科学计算中,对程序的可扩展性和性能有重要影响.天河互连网络支持基于触发的消息通信操作,通过在网络接口中卸载执行数据传输和计算操作,提高结点通信性能.利用触发操作,实现结点之间的归约操作通信卸载,设计了不同树形结构的Allreduce和Reduce通信卸载算法.基于实际系统平台的测试表明,与M PIC H中基于点对点通信实现的归约算法相比,基于触发的通信卸载算法在不同规模下运行时间最多可降低59.6％.

摘要： 进程代数是刻画并发与交互式反应系统行为的重要模型之一,进程间的(互)模拟关系及其公理化以及结构化操作语义(structural operational semantics,SOS)理论是其重要的两个研究方向.共变-异变模拟(covariant-contravariant simulation,CC-模拟)是(互)模拟关系概念的推广,它对动作进行区分,表达了状态的行为数目越多但并不一定越好的事实.行为关系的(前)同余性质在支持其形式规范的模块化构建和公理系统的推理方面具有重要意义.(前)同余性的证明需要根据进程代数语言中算子的SOS规则逐个验证.为了避免(前)同余性证明的重复劳动,学术界提出了多种类型的SOS规则的框架形式.ntyfttyxt规则形式是目前具有代表性的SOS规则框架形式之一.文中基于ntyfttyxt规则形式,提出了能满足CC-模拟前同余性的最大ntyfttyxt子类CC-ntyfttyxt规则形式,并证明了CC-模拟相对CC-ntyfttyxt算子的前同余性.

摘要： 自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w,而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复,而无需重启,甚至有时不能重启.基于此,重置问题自出现以来便得到关注和持续研究.最近几年,它被扩展到可以描述诸如分布式、嵌入式实时系统等复杂系统的无限状态模型上,比如时间自动机和寄存器自动机等.以时间自动机的重置问题的计算复杂性为研究对象,发现重置问题与可达性问题有着紧密的联系.主要贡献是:(1)利用时间自动机可达性问题的最新成果,完善完全的确定的时间自动机重置问题的计算复杂性结论;(2)对部分规约的确定的时间自动机,研究得出,即使在输入字母表大小减至2的情况下,其复杂性仍是PSPACE-完全的;特别地,在单时钟情况下是NLOGSPACE-完全的;(3)对完全的非确定的时间自动机,研究得出其Di=可重置问题(i=1,2,3)是不可判定的,其重置问题与非确定的寄存器自动机重置问题在指数时间可以相互归约,通过证明指数时间归约相对高复杂性类具有封闭性,利用非确定的寄存器自动机的结论得出单时钟的时间自动机的重置问题是Ackermann-完全的、限界的重置问题是NEXPTIME-完全的.这些复杂性结论,说明关于时间自动机的重置问题大都是难解的,一方面,为时间系统的可重置性的检测和求解奠定坚实的理论基础,另一方面,为以后寻找具有高效算法的特殊结构的时间系统(即具有高效算法的问题子类)给予理论指导.

摘要： Due to the multiple nested of conditional branch statements, logic structure of the code is not clear and the code is difficult to read,the efficiency of dividing basic block is reduced when generating basic path set.On this basis,a method is proposed for automatic code refactoring.It uses bottom-up analysis and reduction,following compiler syntax analysis method, can realize automatic adjustment to the nested if-else conditional statement, and is more clearer to the structure of code,the code will be more suitable for the tool of generating basic path set.This method improves the effi-ciency of the tool of generating basic path set.For the tool of generating basic path set based on the model algebraic,it im-proves the algorithm of generating model algebraic expressions, and can generate basic path set accurately. Finally, through the comparison of the experiment,it verifies the effectiveness of the refactoring and the improved algorithm.%由于条件分支语句的多重嵌套,导致代码的逻辑结构不清晰,可读性差,降低了生成基本路径集时划分基本块的效率.据此,提出一种代码自动化重构方法,该方法运用编译原理中语法分析的自下而上分析方法和归约思想,能够对嵌套的if-else条件语句实现自动化调整,实现代码结构的清晰化,更适用于生成基本路径集的工具,该方法提高了生成基本路径集的效率.而对于基于模型代数的基本路径集生成工具,改进了生成模型代数表达式的算法,并且能够准确地生成基本路径集.最后通过实验对案例进行对比,验证了重构方法及改进算法的有效性.

摘要： 单指令多数据(SIMD)扩展部件旨在发掘多媒体程序和科学计算程序的数据级并行,归约操作引起的真依赖给发掘程序中的数据级并行带来了阻碍.但体系结构和指令集的差异,使得面向向量机的归约向量化方法并不适用于SIMD扩展部件.针对上述问题,提出一种面向SIMD扩展部件的归约向量代码生成方法,以及归约的识别方法,利用向量移位指令实现向量代码生成.基于SPEC2006标准测试集的测试结果表明,与未利用归约向量化技术前相比,利用该归约向量化方法后的向量化加速比提高34%,从而验证了该方法的有效性.%Single Instruction Multiple Data(SIMD) aims at exploiting the data-level parallelism of multimedia and scientific calculation.The true dependence caused by reduction operation hinders exploring data-level parallelism.But different architecture and instruction set make reduction vectorization method based on vector machine unsuitable to SIMD.This paper presents a new approach of generating SIMD code with reduction.It presents a method to identify reduction operations,and conducts code generation using vector shift instructions.Experimental result based on SPEC and some other standard test sets shows the validity of this method,with 34% improvement in the vectorization acceleration ratio.

摘要： Z-型Rabin树是Rabin树的一种变体,它们与Rabin树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构.本文通过归约的方法证明,Z-型Rabin树的一目二阶理论是可判定的.

摘要： 通过硬件对归约进行支持是高性能互连网络发展的一种趋势。本文研究了单播和归约并存时的报文调度技术,建立了无冲突和冲突条件下的归约延迟模型,分析了报文冲突对归约延迟的影响,提出使用归约报文优先的RF策略解决归约报文与单播报文之间的冲突,并对RF策略的公平性进行了分析.模拟结果表明,RF策略在不影响单播性能的情况下能够取得归约性能的较大提升.

摘要： 障碍同步和归约是OpenMP程序中经常使用的全局操作.为了提高分布共享存储(DSM)系统上OpenMP程序性能,我们提出并实现了两个新的并行构件barrier(0)和allreduction,对OpenMP API进行了扩展.测试表明,新的指导命令能够很好地改善DSM系统上OpenMP程序性能.同时,由于新的构件在指导命令一级定义,程序设计者可以方便地利用它们来优化程序.

摘要： 本文回顾了自动控制理论与智能控制的过去和现在.讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一成功的实例"平面(2D)运动单倒立摆"的控制来阐明拟人智能控制的机理以及设计控制律的流程.对于复杂的非线性被控对象只要知道物理模型,应用拟人智能控制的方法可以得到很好的结果.

摘要： 本文回顾了自动控制理论与智能控制的过去和现在.讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一成功的实例"平面(2D)运动单倒立摆"的控制来阐明拟人智能控制的机理以及设计控制律的流程.对于复杂的非线性被控对象只要知道物理模型,应用拟人智能控制的方法可以得到很好的结果.

摘要： 本文回顾了自动控制理论与智能控制的过去和现在.讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一成功的实例"平面(2D)运动单倒立摆"的控制来阐明拟人智能控制的机理以及设计控制律的流程.对于复杂的非线性被控对象只要知道物理模型,应用拟人智能控制的方法可以得到很好的结果.

摘要： 本文回顾了自动控制理论与智能控制的过去和现在.讨论了它们存在的问题,提出基于物理模型的拟人智能控制.通过介绍一成功的实例"平面(2D)运动单倒立摆"的控制来阐明拟人智能控制的机理以及设计控制律的流程.对于复杂的非线性被控对象只要知道物理模型,应用拟人智能控制的方法可以得到很好的结果.

摘要： 一种可配置归约目标自增间隔的归约装置，包括：归约网络单元，包括与处理器中向量运算单元一一对应的输入单元，归约网络单元将归约运算部件的归约结果送到各自分组的所有向量运算单元的写端口上；归约运算部件，包括一种以上的运算部件，执行时对多种运算的结果做出选择，输出所需要的归约运算的结果；归约目的选择器，对每一个向量运算单元产生各自的写使能信号，确定归约目标。本发明具有结构简单紧凑、原理简单、工作可靠、适用范围广等优点。

摘要： 本发明涉及计算机安全技术领域，本发明公开了基于模归约的国密算法SM2的快速实现方法及系统，包括：获取待运算的国密算法SM2；根据待运算国密算法SM2当前的计算过程，选择对应的运算模块，实现国密算法SM2的快速运算；当计算过程中遇到模加计算过程时，选择模加运算模块；当计算过程中遇到模减计算过程时，选择模减运算模块；当计算过程中遇到素域

摘要： 本发明公开了一种基于映射归约的分布式数据处理方法，其步骤包括：1、对磁盘中的数据进行分片处理，2、在所设置的缓冲区内部，对第一步的处理结果再次进行数据处理，3、通过循环处理，对来自不同磁盘的数据进行规约。本发明通过对磁盘进行分片处理，对磁盘内部数据进行两次排序与合并，从而使得磁盘内部的数据通过映射规约能够有序地排列，高效查询，进而能够降低大规模数据处理时的工作量，提升运行效率。

摘要： 一种可配置归约目标自增间隔的归约装置，包括：归约网络单元，包括与处理器中向量运算单元一一对应的输入单元，归约网络单元将归约运算部件的归约结果送到各自分组的所有向量运算单元的写端口上；归约运算部件，包括一种以上的运算部件，执行时对多种运算的结果做出选择，输出所需要的归约运算的结果；归约目的选择器，对每一个向量运算单元产生各自的写使能信号，确定归约目标。本发明具有结构简单紧凑、原理简单、工作可靠、适用范围广等优点。

摘要： 包括在存储介质上编码的指令的方法、系统和装置，用于执行具有一个或多个退化节点的网络的梯度向量的归约。一种方法包括在以n维网络拓扑组织的多个节点中的每个节点上训练机器学习模型的相应副本，通过执行包括以下操作来组合节点中的相应各个梯度向量以生成最终梯度向量：将沿维度的每组节点指定为转发组或关键组；为每个接收节点，利用中间梯度向量更新相应各个梯度向量；对沿着维度的每个关键节点组执行归约，以生成用于关键组的相应的部分最终梯度向量，并且对于每个关键节点组，利用相应的部分最终梯度向量更新用于代表性节点的各个梯度向量。

摘要： 本发明涉及计算机安全技术领域，本发明公开了基于模归约的国密算法SM2的快速实现方法及系统，包括：获取待运算的国密算法SM2；根据待运算国密算法SM2当前的计算过程，选择对应的运算模块，实现国密算法SM2的快速运算；当计算过程中遇到模加计算过程时，选择模加运算模块；当计算过程中遇到模减计算过程时，选择模减运算模块；当计算过程中遇到素域模乘计算过程时，选择素域模乘运算模块；当计算过程中遇到阶模乘计算过程时，选择阶模乘运算模块；当计算过程中遇到模逆计算过程时，选择模逆运算模块。降低了时间复杂度，在芯片上运行时，对芯片的功耗降低，使得系统性能提升。

摘要： 方法、系统和装置，包括在存储介质上编码的指令，用于执行例如，在由节点之间的至少两个维度中的连接定义的网格或环面拓扑中组织的节点上并行地生成的梯度向量和类似地结构的数据的归约。所述方法在所述拓扑中的节点之间提供并行计算和通信。

摘要： 混洗归约操作接收由不同映射任务排序和写入的文件作为输入，从每个输入文件获取批次数据，将批次数据合并和排序以形成大的统一的数据段。对统一的数据段应用混洗归约操作以产生输出数据。混洗归约操作包括提供显著小于输入数据量的输出数据量的可交换归约操作。输出数据被写入到存储器。对不同批次的数据重复该过程，直到来自每个输入文件中的数据被完全消耗并且输出数据已完全形成。混洗归约操作大大减少了混洗操作中需要由归约任务读取的数据大小，因此显著降低了输入/输出开销和总执行时间。

摘要： 使用图形处理单元执行与归约融合的矩阵乘法的装置、系统和技术。在至少一个实施例中，一个或更多个电路用于将一个或更多个矩阵中的两个或更多个子部分相乘并使用两个或更多个并行操作从该相乘生成两个或更多个向量。

摘要： 本发明属于轨迹整合技术领域，提供了一种基于人脸、车辆和手机信息的轨迹归约方法及系统，根据人脸轨迹列表、车辆轨迹列表和手机轨迹列表中轨迹点的点位关系和轨迹时间关系，计算人脸、车辆和手机中某一项与其他两项的权重值；然后依据权重值判断对同一实体和不同实体类型间的轨迹列表进行排序，在此基础上进行归约，能够使人脸、车辆和手机的轨迹形成一个轨迹列表，且该轨迹列表具有完整性，合理性，归约后形成的轨迹列表能够依据人的正常生活方式，形成正确的轨迹。