Data management method and system using a large number of selection criteria

    公开(公告)号:JP2010512565A

    公开(公告)日:2010-04-22

    申请号:JP2009539422

    申请日:2007-11-21

    CPC classification number: G06F17/30159

    Abstract: データ管理およびデータ処理のシステムと方法が提供される。 実施形態は、かなり高品質の結果を有する高速データ選択に関するシステムと方法を含み、高速データ選択関数と低速データ選択関数を含む。 種々の実施形態は、データセットまたはデータのストリングに対するデータハッシングおよび/またはデータ冗長識別・除去に関するシステムと方法を含む。 実施形態は、データセットまたはデータストリームから境界ポイントまたはデータブロック/ウインドウを予め選択するのに使用される第1の選択関数と、境界ポイントまたはデータブロック/ウインドウを洗練するのに使用される第2の選択関数を含む。 第2の選択関数は、データセットまたはデータストリーム内の境界ポイントまたはデータブロック/ウインドウの最良の場所を決定するのが得てである。 種々の実施形態において、データは第1のより高速のハッシュ関数およびより低速のより特異な第2のハッシュ関数によって処理される。

    Production method of optical transmission channel with 100 g bit/sec or more
    108.
    发明专利
    Production method of optical transmission channel with 100 g bit/sec or more 审中-公开
    具有100G比特/秒以上的光传输信道的生产方法

    公开(公告)号:JP2010041707A

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

    申请号:JP2008323531

    申请日:2008-12-19

    CPC classification number: H04B10/5165 H04B10/54 H04B10/548 H04L27/2601

    Abstract: PROBLEM TO BE SOLVED: To produce a broad band width optical channel which has high spectral efficiency, a high dispersion allowable range and functions at 100 Gbit/sec or more. SOLUTION: A production method includes processes of: producing, from an optical source, at least two optical carriers with a constant wavelength interval; producing an upper side sub-channel and a lower side sub-channel which are orthogonal to each other and are mutually separated based on a wavelength interval generated by the modulation of the optical carrier, depending on OFDM signals which are suppressed in their carrier waves and are up-converted; and combining one optical wave from the upper sub-channel and one optical wave from the lower sub-channel into an optical channel for transmission over an optical fiber. COPYRIGHT: (C)2010,JPO&INPIT

    Abstract translation: 要解决的问题:为了产生具有高光谱效率,高色散允许范围并以100Gbit / sec以上的功能的宽带宽光信道。 解决方案:一种制造方法包括以下处理:从光源产生至少两个具有恒定波长间隔的光载体; 根据在其载波中被抑制的OFDM信号,基于由光载波的调制产生的波长间隔,产生彼此正交并相互分离的上侧子信道和下侧子信道,以及 被上转换 并且将来自上部子信道的一个光波和来自下部子信道的一个光波组合成用于通过光纤传输的光学信道。 版权所有(C)2010,JPO&INPIT

    Path-insensitive analysis through infeasible-path detection and syntactic language refinement
    109.
    发明专利
    Path-insensitive analysis through infeasible-path detection and syntactic language refinement 审中-公开
    通过不可预测的路径检测和语言语言修正进行路径分析

    公开(公告)号:JP2009176282A

    公开(公告)日:2009-08-06

    申请号:JP2008296617

    申请日:2008-11-20

    CPC classification number: G06F9/44589 G06F11/3608

    Abstract: PROBLEM TO BE SOLVED: To statically analyze a program by using abstract interpretation for an analysis sensitive to a path using an analysis insensitive to a path. SOLUTION: A system and a method for infeasible path detection include performing a static analysis on a program to prove a property of the program. If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation. Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis. COPYRIGHT: (C)2009,JPO&INPIT

    Abstract translation: 要解决的问题:使用对路径不敏感的分析对通过路径敏感的分析,使用抽象解释来静态分析程序。 解决方案:用于不可行路径检测的系统和方法包括对程序执行静态分析以证明程序的属性。 如果属性未被证明,程序中的不可行路径是通过执行不区分路径的抽象解释来确定的。 关于这种不可行路径的信息用于实现路径不敏感程序分析中路径敏感性的影响。 版权所有(C)2009,JPO&INPIT

    System and method for generating error traces for concurrent bugs
    110.
    发明专利
    System and method for generating error traces for concurrent bugs 有权
    用于产生并发错误的系统和方法

    公开(公告)号:JP2009123216A

    公开(公告)日:2009-06-04

    申请号:JP2008291242

    申请日:2008-11-13

    CPC classification number: G06F11/3604 G06F11/3608

    Abstract: PROBLEM TO BE SOLVED: To achieve the reduction of bogus warnings which exceeds the reduction of the bogus warnings obtained by using synchronization constraints. SOLUTION: A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors. The warnings are filtered to remove bogus warnings, by using constraints from synchronization primitives and invariants that are derived by performing one or more dataflow analysis methods for concurrent programs. The dataflow analysis methods are applied in order of overhead expense. Concrete execution traces are generated for remaining warnings using model checking. COPYRIGHT: (C)2009,JPO&INPIT

    Abstract translation: 要解决的问题:实现减少超过通过使用同步限制获得的虚假警告的减少的虚假警告。 解决方案:用于程序验证的系统和方法包括为并发程序生成产品事务图,其捕获潜在错误的警告。 通过使用通过对并发程序执行一个或多个数据流分析方法派生的同步原语和不变量的约束来过滤警告以消除伪造警告。 数据流分析方法按照间接费用的顺序进行应用。 使用模型检查生成剩余警告的具体执行跟踪。 版权所有(C)2009,JPO&INPIT

Patent Agency Ranking