Traceability verification system, method and program
    1.
    发明专利
    Traceability verification system, method and program 有权
    可追溯性验证系统,方法和程序

    公开(公告)号:JP2007011817A

    公开(公告)日:2007-01-18

    申请号:JP2005193236

    申请日:2005-07-01

    Abstract: PROBLEM TO BE SOLVED: To provide a system, capable of verifying while retaining the confidentiality for a supplier, in traceability for a supply chain. SOLUTION: For a private supplier, a group signature is applied. The private supplier is registered with a certifying authority apparatus 500 previously, and conducts the group signature, based on a certificate issued by the certifying authority apparatus 500. An open supplier and the private supplier sign, when a component is shipped and form a signature chain. A verifier apparatus 400 receives the signature chain, together with a shipped product from a supplier/manager apparatus 100, separates the signature of the open supplier from the signature chain, and verifies the private supplier by the group signature. The private supplier is identified by an auditor system 600 as a third party requested from the verifier apparatus 400 by using a group private key. COPYRIGHT: (C)2007,JPO&INPIT

    Abstract translation: 要解决的问题:提供一种能够在保持供应商的机密性的同时进行验证的系统,以供应链的可追溯性。

    解决方案:对于私人供应商,应用组签名。 私人供应商先前已经在认证机构500上注册,并且基于由认证机构500颁发的证书进行组织签名。打开的供应商和私人供应商签署时,组件被运送并形成签名链 。 验证器装置400与来自供应商/管理器装置100的运送产品一起接收签名链,将开放供应商的签名与签名链分离,并通过组签名验证私人供应商。 私人供应商由审核员系统600识别为通过使用组私钥从验证器装置400请求的第三方。 版权所有(C)2007,JPO&INPIT

    Parallelization method, system and program
    2.
    发明专利
    Parallelization method, system and program 有权
    并行化方法,系统与程序

    公开(公告)号:JP2013020580A

    公开(公告)日:2013-01-31

    申请号:JP2011155616

    申请日:2011-07-14

    Abstract: PROBLEM TO BE SOLVED: To provide a technique to divide the regions of a block diagram including a block other than coded object by changing the disposition of the block other than coded object to optimize the operation speed after coding.SOLUTION: A block diagram is converted and abstracted into a task graph of DAG. A series-parallel tree (SPT) is obtained by analyzing the structure of the task graph. The SPT includes: an S-node from which a serial execution node branches; and a P-node from which parallel execution node branches. The SPT is converted into another SPT until no P-node exists prior to the block other than coded object. A corresponding block diagram is divided, and a code is generated for each region; and compiled and allotted to a different processor or core to execute a block following the P-node of the obtained SPT in parallel. The task graph of the DAG is deformed so that scattered blocks other than coded object are preferably merged.

    Abstract translation: 要解决的问题:提供一种通过改变编码对象以外的块的配置来分割包括编码对象以外的块的块图的区域的技术,以优化编码后的操作速度。 解决方案:将框图转换并抽象为DAG的任务图。 通过分析任务图的结构获得串并行树(SPT)。 SPT包括:串行执行节点分支的S节点; 和并行执行节点分支的P节点。 将SPT转换为另一个SPT,直到除编码对象之外的块之前不存在P节点。 划分相应的框图,并为每个区域生成代码; 并且编译并分配给不同的处理器或核心以并行执行所获得的SPT的P节点之后的块。 DAG的任务图变形,使得除编码对象以外的分散块最好被合并。 版权所有(C)2013,JPO&INPIT

    Parallelizing method, system, and program
    3.
    发明专利
    Parallelizing method, system, and program 有权
    并行方法,系统和程序

    公开(公告)号:JP2011096107A

    公开(公告)日:2011-05-12

    申请号:JP2009251044

    申请日:2009-10-30

    CPC classification number: G06F11/261

    Abstract: PROBLEM TO BE SOLVED: To parallelize programs shown by, for example, a block diagram.
    SOLUTION: In the block diagram, when outputs of functional blocks 1214 and 1216 which do not have internal states are used by a functional block A which has an internal state, the functional block A is referred to as a use block of a functional block not having the internal state. When an output of the functional block A having the internal state is used for calculation as an input of the functional block not having the internal state, the functional block A is referred to as a definition block of the functional block not having the internal state. By visiting each functional block as a node, the number of use block sets/definition block sets is calculated per functional block based on a connection relationship between the functional block having the internal state and the functional block not having the internal state, and strands 1202 to 1212 are allocated based on the number. By this, the block diagram is divided into the strands and processing is parallelized.
    COPYRIGHT: (C)2011,JPO&INPIT

    Abstract translation: 要解决的问题:并行化例如框图所示的程序。 解决方案:在框图中,当具有内部状态的功能块A使用没有内部状态的功能块1214和1216的输出时,功能块A被称为 功能块不具有内部状态。 当具有内部状态的功能块A的输出被用作不具有内部状态的功能块的输入时,功能块A被称为不具有内部状态的功能块的定义块。 通过访问每个功能块作为节点,基于具有内部状态的功能块与不具有内部状态的功能块之间的连接关系,每个功能块计算使用块集合/定义块集合的数量,并且线条1202 到1212根据号码分配。 由此,框图被划分成股线并且处理被并行化。 版权所有(C)2011,JPO&INPIT

    LEAKAGE ORIGIN SPECIFIABLE MAIL ADDRESS CONFIGURATION METHOD, LEAKAGE ORIGIN SPECIFIABLE MAIL TRANSMISSION/RECEPTION METHOD UTILIZING THIS METHOD, AND SYSTEM THEREFOR

    公开(公告)号:JP2006185124A

    公开(公告)日:2006-07-13

    申请号:JP2004377398

    申请日:2004-12-27

    Applicant: IBM

    Abstract: PROBLEM TO BE SOLVED: To provide a mail transmission/reception method and a mail transmission/reception system provided with an affinity to a present mail system and capable of specifying the leakage origin of a mail address. SOLUTION: The mail address configuration method comprises: a stage of transmitting the identifier of a receiver and the identifier of a transmitter to the mail server of the receiver; a stage of having the mail server calculate a value for which the identifier of the receiver, the identifier of the transmitter and a nonce issued by the mail server are ciphered with a secret key that only the mail server knows and transmit it to the receiver; and a stage of imparting the domain name of the receiver to the ciphered value and configuring the mail address (LD address) for sending mail to the receiver by the transmitter. Also, the mail transmission method comprises a stage of transmitting the mail address configured by the mail address configuration method to the transmitter. COPYRIGHT: (C)2006,JPO&NCIPI

    Method, program and system for solving ordinary differential equation
    5.
    发明专利
    Method, program and system for solving ordinary differential equation 有权
    用于解决普通差分方程的方法,程序和系统

    公开(公告)号:JP2011186991A

    公开(公告)日:2011-09-22

    申请号:JP2010054251

    申请日:2010-03-11

    CPC classification number: G06F17/13

    Abstract: PROBLEM TO BE SOLVED: To reduce a computational complexity for simultaneous ordinary differential equations by a computer. SOLUTION: This system calculates a difference ▵ between a calculation term of order N and a calculation term of order N+1, when solving an individual ordinary differential equation of the simultaneous ordinary differential equations, by an embedding type Runge-Kutta method such as a Runge-Kutta Vehrberg method, determines whether the difference is smaller than a prescribed threshold value ▵ 0 or not, determines a step size according to a prescribed calculation expression determined by a ▵ 0 /▵, when the ▵≤▵ 0 , to be advanced to the next calculation, and issues a recalculation command to only a strand of calculating the ordinary differential equation generating an error brought into ▵>▵ 0 . The step size determined by a ▵ 0 /▵ is set in the recalculation strand. The calculation of the whole of the simultaneous ordinary differential equations is progressed when the error gets smaller than the prescribed threshold value ▵ 0 therefrom, by recalculation with an interpolation value, since a pace is matched with that of a strand for calculating the other ordinary differential equation not generating an error. COPYRIGHT: (C)2011,JPO&INPIT

    Abstract translation: 要解决的问题:通过计算机降低同步普通微分方程的计算复杂度。

    解决方案:该系统通过嵌入式Runge-Kutta方法求解同步普通微分方程的单个普通微分方程时,计算N阶计算项和N + 1阶计算项之间的差值method 例如Runge-Kutta Vehrberg方法,确定该差是否小于规定的阈值▵ 0 ,根据由▵ 0确定的规定的计算表达式来确定步长 /▵,当▵≤▵ 0 被提前到下一个计算,并且只向一个计算普通微分方程式的一条计算命令发出一个重新计算命令,产生一个误差 >▵ 0 。 在重新计算股中设置由▵ 0 / size确定的步长。 当通过用内插值重新计算,当误差小于规定的阈值▵ 0 时,整个同时普通微分方程的计算进行,因为步速与 用于计算不产生误差的另一个常微分方程。 版权所有(C)2011,JPO&INPIT

    Simulation system, method, and program
    6.
    发明专利
    Simulation system, method, and program 有权
    模拟系统,方法和程序

    公开(公告)号:JP2010271755A

    公开(公告)日:2010-12-02

    申请号:JP2009120575

    申请日:2009-05-19

    CPC classification number: G06F9/325

    Abstract: PROBLEM TO BE SOLVED: To reduce accumulation of an error by calculating the error of prediction systematically in quickening a processing loop by speculative pipelining in a multi-core or multi-processor system.
    SOLUTION: In an environment of a multi-core or a multi-processor system, the processing of each of the loops of a control block is suitably assigned to individual cores or processors as individual threads by a speculative pipelining method. A correction value is calculated by using the prediction variable value of the pertinent thread with respect to output based on the prediction input. The calculation of the correction value is applied as the gradient value as the approximate value of the primary differential coefficient of the prediction variable value. Generally, for a simulation system, there are several variable values, so that the primary differential coefficients are represented as a Jacobian matrix. Then, a matrix whose components are respectively the gradient value as the approximate value of the primary differential coefficient is called a Jacobian matrix. The calculation of the correction value is performed on the basis of the Jacobian matrix defined in this way.
    COPYRIGHT: (C)2011,JPO&INPIT

    Abstract translation: 要解决的问题:通过在多核或多处理器系统中通过推测流水线加快处理循环来系统地计算预测误差,减少误差累积。 解决方案:在多核或多处理器系统的环境中,通过推测流水线方法将控制块的每个循环的处理适当地分配给各个核或处理器作为单独的线程。 基于预测输入,通过使用相对于输出的相关线程的预测变量值来计算校正值。 将校正值的计算作为梯度值作为预测变量值的一次微分系数的近似值。 通常,对于仿真系统,存在几个可变值,使得初级微分系数被表示为雅可比矩阵。 然后,将其分量分别作为初级微分系数的近似值的梯度值的矩阵称为雅可比矩阵。 基于以这种方式定义的雅可比矩阵来执行校正值的计算。 版权所有(C)2011,JPO&INPIT

    Paralleling processing method, system, and program
    7.
    发明专利
    Paralleling processing method, system, and program 有权
    并行处理方法,系统和程序

    公开(公告)号:JP2010134614A

    公开(公告)日:2010-06-17

    申请号:JP2008308660

    申请日:2008-12-03

    CPC classification number: G06F8/30 G06F8/456

    Abstract: PROBLEM TO BE SOLVED: To speed up iteratively executed processing when generating clusters in order to assign processing to individual processors in a multi-processor environment. SOLUTION: In a full vehicle simulation system, when clusters are formed based on strongly connected components, a single cluster identified as a fat cluster, in which there are at least a predetermined number of blocks or an expected processing time exceeds a predetermined threshold, is subjected to unrolling processing to make multiple copies of the processing of the fat cluster and to assign the copies to individual processors. Thus, the processing is executed by the multiple processor devices in a pipelined manner, so that the processing can be quickly achieved. When one time processing result of the fat cluster to be iteratively executed depends on the previous processing results, an input value needed for execution is generated based on certain prediction, and the fat cluster is speculatively executed. COPYRIGHT: (C)2010,JPO&INPIT

    Abstract translation: 要解决的问题:为了在生成集群时加快迭代执行的处理,以便在多处理器环境中为单个处理器分配处理。 解决方案:在全车模拟系统中,当基于强连接的组件形成集群时,识别为脂肪群的单个群集(其中存在至少预定数量的块或预期处理时间)超过预定的 阈值,进行展开处理,以进行胖群处理的多个副本,并将副本分配给各个处理器。 因此,处理由多个处理器设备以流水线的方式执行,使得可以快速地实现处理。 当要迭代执行脂肪群的一次处理结果取决于先前的处理结果时,基于某些预测产生执行所需的输入值,并且推测性地执行脂肪群。 版权所有(C)2010,JPO&INPIT

    Parallelization method, system and program
    8.
    发明专利
    Parallelization method, system and program 有权
    并行化方法,系统与程序

    公开(公告)号:JP2013164657A

    公开(公告)日:2013-08-22

    申请号:JP2012026145

    申请日:2012-02-09

    CPC classification number: G06F8/35 G06F8/41 G06F8/451

    Abstract: PROBLEM TO BE SOLVED: To provide a technique that can accelerate execution parallelized on multi processors or multiple cores, by well-balanced segmentation of a code of a model.SOLUTION: Blocks with internal states and blocks without any outputs among functional blocks included in a block diagram describing a model are focused on, and segments consisting of sets of blocks needed to calculate inputs to each block with an internal state and each block without any outputs are extracted by traversing a graph from the blocks with internal states and the blocks without any outputs in the opposite direction of the dependencies, where blocks can be duplicated among segments. Next, the segments are merged to reduce duplication, and the number of segments is reduced to a number for parallel execution. Here, the duplication between the segments is reduced by merging segments with many of the same blocks, and the number for parallel execution is typically the number of available cores or processors.

    Abstract translation: 要解决的问题:提供一种可以通过对模型的代码进行均衡分割来加速在多处理器或多个核心上并行化执行的技术。解决方案:具有内部状态和块的块,不包括在功能块中的任何输出 描述模型的框图集中在一起,并且由包含内部状态的每个块的输入计算所需的块组成的段和不具有任何输出的每个块的块被提取,通过从具有内部状态的块和没有任何块的块遍历图 输出方向与依赖关系相反,其中块可以在段之间复制。 接下来,段被合并以减少重复,并且段的数量被减少到用于并行执行的数量。 这里,通过将段与许多相同的块合并来减少段之间的复制,并行执行的数量通常是可用的核心或处理器的数量。

    Parallelization method, system, and program
    9.
    发明专利
    Parallelization method, system, and program 有权
    并行化方法,系统和程序

    公开(公告)号:JP2011170732A

    公开(公告)日:2011-09-01

    申请号:JP2010035691

    申请日:2010-02-22

    CPC classification number: G06F8/456

    Abstract: PROBLEM TO BE SOLVED: To accelerate execution of a program by parallelization in a simulation system. SOLUTION: A functional block is divided into strands, and a strand with the largest calculation time is found from a strand set (a step 604). In the strand with the largest calculation time, a movable block is found (a step 606), the calculation time of the strand as a result of moving to a strand in an input direction or an output direction according to nature of the movable block, and moving of the block between strands in which reduction of calculation time with an original strand becomes maximum is performed (a step 614). Thus, processing returns to a step of finding a strand with the largest calculation time. When it reaches a state where the calculation time of the block no longer decreases even when the movable block is moved (a step 612), the processing is ended. The strand of the functional block obtained in this way is converted into a corresponding source code such as C, and is further complied to be assigned to an individual core or an individual processor in order to execute it. COPYRIGHT: (C)2011,JPO&INPIT

    Abstract translation: 要解决的问题:通过仿真系统中的并行化来加速程序的执行。 解决方案:功能块被划分为股线,并且从股线组发现具有最大计算时间的股线(步骤604)。 在具有最大计算时间的股线中,发现可动块(步骤606),根据可移动块的性质,由于沿输入方向或输出方向移动到股线的结果,股线的计算时间, 并且执行块之间的块与原始链的减少计算时间变为最大的步骤(步骤614)。 因此,处理返回到找到具有最大计算时间的线的步骤。 当达到即使可移动块移动时块的计算时间也不再减小的状态(步骤612),处理结束。 以这种方式获得的功能块的链转换成相应的源代码,例如C,并且进一步被指定为分配给单独的核或单个处理器以执行它。 版权所有(C)2011,JPO&INPIT

    Application generation system, method, and program
    10.
    发明专利
    Application generation system, method, and program 有权
    应用生成系统,方法和程序

    公开(公告)号:JP2011113449A

    公开(公告)日:2011-06-09

    申请号:JP2009271308

    申请日:2009-11-30

    CPC classification number: G06F8/4441

    Abstract: PROBLEM TO BE SOLVED: To provide a code generation technology can generate an executable code optimized as much as possible regarding resource utilization and execution speed, on hybrid systems comprising a plurality of computer systems which can be connected to one another via a network.
    SOLUTION: An optimized executable code is generated by the processing of generating an optimization table about library components of a source code, automatic computing resource assignment using the resultant optimization table, and the execution of network embedding for hybrid systems which are connected to one another via the network.
    COPYRIGHT: (C)2011,JPO&INPIT

    Abstract translation: 要解决的问题:为了提供代码生成技术,可以在包括可以经由网络彼此连接的多个计算机系统的混合系统上生成尽可能优化的关于资源利用和执行速度的可执行代码 。 解决方案:通过处理生成关于源代码的库组件的优化表,使用所得到的优化表的自动计算资源分配以及用于混合系统的网络嵌入的执行来生成优化的可执行代码 彼此通过网络。 版权所有(C)2011,JPO&INPIT

Patent Agency Ranking