专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

WO2018231424A1 CONTENT-LEVEL ANOMALY DETECTOR FOR SYSTEMS WITH LIMITED MEMORY 审中-公开
公开(公告)号：WO2018231424A1
公开(公告)日：2018-12-20
申请号：PCT/US2018/033335
申请日：2018-05-18
申请人： NEC LABORATORIES AMERICA, INC.
发明人： DEBNATH, Biplob , ZHANG, Hui , KRUUS, Erik
IPC分类号： G06F21/56 , G06F21/33
CPC分类号： G06F11/3476 , G06F11/0781 , G06F11/3072 , G06F11/3082 , G06F11/3608
摘要： Systems and methods for implementing content-level anomaly detection for devices having limited memory are provided. At least one log content model is generated (130) based on training log content of training logs obtained from one or more sources associated with the computer system. The at least one log content model is transformed (140) into at least one modified log content model to limit memory usage. Anomaly detection is performed (170) for testing log content of testing logs obtained from one or more sources associated with the computer system based on the at least one modified log content model. In response to the anomaly detection identifying one or more anomalies associated with the testing log content, the one or more anomalies are output (170).

2. 发明申请

WO2016176004A1 CONFIDENCE ESTIMATION AND BUG PREDICTION FOR MACHINE TRANSLATION 审中-公开
标题翻译：机器翻译的信心估计和BUG预测
公开(公告)号：WO2016176004A1
公开(公告)日：2016-11-03
申请号：PCT/US2016/026091
申请日：2016-04-06
申请人： MICROSOFT TECHNOLOGY LICENSING, LLC
发明人： JOO, Dong Kwon , O'DONNELL, Kevin
IPC分类号： G06F17/28
CPC分类号： G06F11/3608 , G06F17/2854 , G06N5/02
摘要： In one embodiment, a translation system may use a translation bug prediction model to more efficiently identify translation errors in a user interface text string. The translation system may apply a translation bug prediction model to a translation resource to identify a potential error source. The translation system may associate an attention flag with the translation resource when identified as the potential error source. The translation system may execute an automatic translation of the translation resource to create a translation target.
摘要翻译：在一个实施例中，翻译系统可以使用翻译错误预测模型来更有效地识别用户界面文本串中的翻译错误。翻译系统可以将翻译错误预测模型应用于翻译资源以识别潜在的错误源。当识别为潜在错误源时，翻译系统可以将注意标记与翻译资源相关联。翻译系统可以执行翻译资源的自动翻译以创建翻译目标。

3. 发明申请

WO2016093803A1 SEPARATING TEST VERIFICATIONS FROM TEST EXECUTIONS 审中-公开
标题翻译：从测试执行中分离测试验证
公开(公告)号：WO2016093803A1
公开(公告)日：2016-06-16
申请号：PCT/US2014/069290
申请日：2014-12-09
申请人： HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
发明人： SHANI, Inbar , SHUFER, Ilan , NITSAN, Amichai
IPC分类号： G06F11/36
CPC分类号： G06F11/3692 , G06F11/3608 , G06F11/3612 , G06F11/3688
摘要： Example implementations relate to separating verifications from test executions. Some implementations may include a data capture engine that captures data points during test executions of the application under test. The data points may include, for example, application data, test data, and environment data. Additionally, some implementations may include a data correlation engine that correlates each of the data points with a particular test execution state of the application under test based on a sequence of events that occurred during the particular test execution state. Furthermore, some implementations may also include a test verification engine that, based on the correlation of the data points, verifies an actual behavior of the application under test separately from the particular test execution state.
摘要翻译：示例实现涉及将验证与测试执行分离。一些实现可以包括在被测试应用的测试执行期间捕获数据点的数据捕获引擎。数据点可以包括例如应用数据，测试数据和环境数据。另外，一些实现可以包括数据相关引擎，其基于在特定测试执行状态期间发生的事件序列，将每个数据点与被测应用的特定测试执行状态相关联。此外，一些实施方式还可以包括测试验证引擎，其基于数据点的相关性来验证与特定测试执行状态分开的被测应用的实际行为。

4. 发明申请

WO2016016587A1 PROCÉDÉ DE DÉTERMINATION AUTOMATIQUE DE CAUSES DE DYSFONCTIONNEMENT D'UN SYSTÈME COMPOSÉ D'UNE PLURALITÉ DE COMPOSANTS MATÉRIELS OU LOGICIELS 审中-公开
标题翻译：用于自动确定由多个硬件或软件组件构成的系统故障的原因的方法
公开(公告)号：WO2016016587A1
公开(公告)日：2016-02-04
申请号：PCT/FR2015/052124
申请日：2015-07-31
申请人： INRIA INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
发明人： GÖSSLER, Gregor
IPC分类号： G06F11/36
CPC分类号： G06F11/0736 , G06F11/0706 , G06F11/079 , G06F11/3608
摘要： L'invention concerne un procédé de détermination automatique de causalité nécessaire ou suffisante de dysfonctionnement d'un système composé d'une pluralité de composants matériels ou logiciels. Le procédé comporte, à partir de l'obtention (22) d'une trace d'exécution comportant une séquence d'évènements observés pendant l'exécution du système, l'obtention d'un sous-ensemble de composants testé comprenant au moins un composant dont la trace d'exécution présente (24) au moins une non-conformité avec la spécification de bon fonctionnement dudit composant, et d'un sous-ensemble de composants traité en fonction dudit sous-ensemble de composants testé; pour un sous- ensemble de composants traité, un calcul, pour chacun des composants du système, d'un préfixe de trace d'exécution non affecté par des évènements non-conformes à la spécification observés pour les composants du sous-ensemble de composants traité, la détermination d'un modèle d'exécution contrefactuel du sous-ensemble traité, permettant de générer l'ensemble des comportements possibles, commençant par les préfixes non affectés, en l'absence de dysfonctionnement des composants du sous-ensemble de composants traité et la détermination (28, 30) de la causaliténécessaire ou suffisante des composants du sous-ensemble de composants testé pour le dysfonctionnement du système en fonction de la vérification du respect de ladite propriété globale du système par ledit modèle contrefactuel du sous-ensemble de composants traité.
摘要翻译：本发明涉及一种用于自动确定由多个硬件或软件组件组成的系统的故障的必要或足够的原因的方法。该方法包括从获取（22）包括在系统执行期间观察到的事件序列的执行跟踪获得（22）获得包括至少一个组件的测试的组件子集，其中执行跟踪具有（24）至少一个不符合所述组件的正确操作的规范，以及根据所述测试的组件子集处理的组件的子集; 对于组件的经处理子集，对于系统的每个组件的计算，不受不符合观察到的处理的组件子集的组件的规范的事件影响的执行跟踪的前缀，该确定所述处理子集的反事实执行模型使得可以在所述处理的子组件的组件的故障不存在的情况下，生成从所述未受影响的前缀开始的所有可能的行为，并且所述确定（28,30）根据验证所述组件的所述反事实模型符合所述系统的所述全局性质，所述组件子组件的组件的必要或足够的原因被测试了所述系统的故障。

5. 发明申请

WO2016004806A1 基于程序约束构建的多线程程序输出唯一性检测与证据生成方法审中-公开
公开(公告)号：WO2016004806A1
公开(公告)日：2016-01-14
申请号：PCT/CN2015/081055
申请日：2015-06-09
申请人：西安交通大学
发明人：刘烃 , 张晓东 , 刘沛 , 俞乐晨 , 郑庆华
IPC分类号： G06F11/36
CPC分类号： G06F11/3688 , G06F11/36 , G06F11/3608 , G06F11/3692
摘要：一种基于程序约束构建的多线程程序输出唯一性检测与证据生成方法，根据多线程程序语义构建约束表达式，将输出唯一性验证问题转化为约束求解问题，采用约束求解器检测是否存在不同的输出，并生成说明不同输出的反例执行路径，首先，插桩被检测程序，执行此程序并得到执行路径；其次，根据多线程程序执行语义，将执行路径转化为无量词一阶逻辑表达式，此约束表达式涵盖所有可行的线程交织；然后，针对一次运行的输出结果，构建唯一性验证条件；最后，利用约束求解器验证是否存在一条路径使得输出值与运行结果不一致，本方法可以检测出在给定输入下，多线程程序的输出是否唯一；如果存在输出不唯一的情况，则展示出反例序列以说明其触发过程。

6. 发明申请

WO2015159551A1 モデル検査装置、方法及びプログラムを記憶した記憶媒体审中-公开
标题翻译：型号检查装置和方法，以及具有存储程序的记录介质
公开(公告)号：WO2015159551A1
公开(公告)日：2015-10-22
申请号：PCT/JP2015/002098
申请日：2015-04-16
申请人：日本電気株式会社
发明人：八鍬　豊 , 富沢　伸行
IPC分类号： G06F11/36 , H04L12/24
CPC分类号： G06F11/079 , G06F11/0709 , G06F11/3608 , H04L41/145
摘要：分散環境モデルに対するモデル検査において、冗長な探索を削減するにあたり、無駄な探索を回避し効率的な探索を可能にする。モデル検査により分散環境モデルを探索する際に、所定の遷移に関して実行を後回しにするか否か判断しながら、前記探索を行う分散環境モデル探索部と、前記分散環境モデル探索部が探索したパス上の複数の遷移に関して依存関係とｈａｐｐｅｎｓ－ｂｅｆｏｒｅ関係の解析を行い、前記パスに対するバックトラックに関する情報を生成する分散環境モデル依存関係解析部と、前記情報に基づき、前記分散環境モデル探索部が行うバックトラック後の前記探索において、実行を後回しにすべき前記所定の遷移に関する情報を生成する遅延遷移情報付与部とを備える。
摘要翻译：在关于分布式环境模型的模型检查中，为了减少冗余搜索，避免了浪费的搜索，并且启用了有效的搜索。模型检查装置具有：分布式环境模型搜索单元，当通过模型检查搜索分布式环境模型时，执行搜索，同时确定是否应该推迟相对于预定转换的执行; 分布式环境模型依赖关系分析单元，其针对由所述分布式环境模型搜索单元搜索的路径上的多个转换来分析依赖关系和发生关系，并且生成关于所述分布式环境模型搜索单元的后轨的信息路径; 以及延迟转换信息提供单元，其基于所述信息，在所述分布式环境模型搜索单元之后，在后向轨迹之后，生成关于在所执行的搜索中执行的预定转换的信息。

7. 发明申请

WO2015111142A1 システム解析装置、設計不良解析装置、故障モード解析装置、故障ツリー解析装置、自律動作装置及び自律動作制御システム审中-公开
标题翻译：系统分析装置，设计缺陷分析装置，故障模式分析装置，故障树分析装置，自动动作装置和自动动作控制系统
公开(公告)号：WO2015111142A1
公开(公告)日：2015-07-30
申请号：PCT/JP2014/051178
申请日：2014-01-22
申请人：株式会社日立製作所
发明人：西　昌能
IPC分类号： G06F11/36
CPC分类号： G06F11/3608
摘要：　本発明は、入出力関係が動的に決定されるシステムに対して、適切な解析を行うことができるシステム解析装置を提供することを目的とする。　本発明は、入力によって内部状態が変化し、且つ、前記内部状態の変化に応じて入力に対する出力が変化するシステムを対象とし、前記システムの状態遷移規則に基づいて、前記システムが採り得る複数の状態値と各状態値間の遷移経路とを含む状態遷移モデルを構築する状態遷移モデル構築手段と、前記複数の状態値の中から所定の開始時条件を満たす初期状態値を設定する初期状態値設定手段と、前記複数の状態値の中から所定の終了時条件を満たす終状態値を設定する終状態値設定手段と、前記状態遷移モデルの中に、前記終状態値から前記初期状態値に到達する状態遷移経路が存在するか否かを判定する状態遷移経路有無判定手段とを備える。
摘要翻译：本发明的目的是提供一种能够对动态确定输入/输出关系的系统进行适当分析的系统分析装置。本发明提供了一种用于内部状态由于输入而改变的系统以及响应于内部状态的改变而引起的输入的输出的系统的本发明，提供有：状态转换模型构造装置，系统的状态转移规则的基础，包括系统可以采用的多个状态值的状态转换模型和每个状态值之间的转换路径; 初始状态值设定装置，用于从多个状态值中设定满足规定的开始时间条件的初始状态值; 结束状态值设定装置，用于从多个状态值中设定满足规定的结束时间条件的结束状态值; 以及状态转移路径存在确定装置，用于在状态转换模型中确定是否存在从结束状态值到达初始状态值的状态转换路径。

8. 发明申请

WO2014207644A3 METHOD AND SYSTEM FOR GRADING A COMPUTER PROGRAM 审中-公开
标题翻译：计算机程序分级方法与系统
公开(公告)号：WO2014207644A3
公开(公告)日：2015-04-09
申请号：PCT/IB2014062529
申请日：2014-06-23
申请人： ASPIRING MINDS ASSESSMENT PRIVATE LTD
发明人： AGGARWAL VARUN , SRIKANT SHASHANK
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06Q10/06
摘要： The system includes a receiving module configured to receive a first set of data and a second set of data, wherein the first set of data comprises one or more high quality objects, and one or more ungraded objects, wherein the second set of data comprises one or more ungraded objects, an identification module configured to identify the one or more high quality objects, an extraction module is configured to extract one or more features from each high quality object of the one or more high quality objects, a building module is configured to build a predictive model based on the one or more features extracted for the each high quality object, a comparison module configured to compares the one or more ungraded objects and the one or more high quality objects, and an assessment module configured to score the one or more ungraded objects.
摘要翻译：该系统包括被配置为接收第一组数据和第二组数据的接收模块，其中第一组数据包括一个或多个高质量对象以及一个或多个未分级对象，其中第二组数据包括一个或更多未分级对象，识别模块被配置为识别所述一个或多个高质量对象，提取模块被配置为从所述一个或多个高质量对象的每个高质量对象提取一个或多个特征，构建模块被配置为基于为每个高质量对象提取的一个或多个特征构建预测模型，比较模块，被配置为比较所述一个或多个未分级对象和所述一个或多个高质量对象;以及评估模块，被配置为对所述一个或多个更多未分级对象。

9. 发明申请

WO2014207587A1 METHOD FOR SECURING A PROGRAM 审中-公开
标题翻译：保护程序的方法
公开(公告)号：WO2014207587A1
公开(公告)日：2014-12-31
申请号：PCT/IB2014/061753
申请日：2014-05-27
申请人： BOLIGNANO, Dominique
发明人： BOLIGNANO, Dominique
IPC分类号： G06F9/45 , G06F11/36 , G06F9/445
CPC分类号： G06F21/60 , G06F8/443 , G06F9/44589 , G06F11/3608
摘要： A method for securing a first program with a second program, a third program and a fourth program, each program comprising constitutive elements, said constitutive elements comprising a finite number of program points and evolution rules associated with the program points and defining the passage from one program point to another program point, and each program comprising a definition of a set of properties each property being associated with one or more of the constitutive elements of the program, said method comprising: constructing the fourth program by defining at least one relation between at least one constitutive element of the second program and at least one constitutive element of the third program, said relation being named a correspondence relation; at least one property of the third program being proven, propagate the proof of said property to at least one property of the first program by exploitation of the correspondence relation.
摘要翻译：一种用于利用第二程序，第三程序和第四程序来保护第一程序的方法，每个程序包括构成要素，所述构成要素包括与程序点相关联的有限数量的程序点和演进规则，并且定义从一个程序点程序指向另一个程序点，并且每个程序包括一组属性的定义，每个属性与程序的一个或多个构成要素相关联，所述方法包括：通过定义至少一个关系，构建第四程序第二程序的至少一个构成要素和第三程序的至少一个构成要素，所述关系被称为对应关系; 第三程序的至少一个属性被证明，通过利用对应关系将所述属性的证明传播到第一程序的至少一个属性。

10. 发明申请

WO2012112981A3 DYNAMIC LAZY TYPE SYSTEM 审中-公开
标题翻译：动态LAZY型系统
公开(公告)号：WO2012112981A3
公开(公告)日：2012-11-22
申请号：PCT/US2012025790
申请日：2012-02-20
申请人： MICROSOFT CORP
发明人： CHRISTENSEN ERIK , COULSON MICHAEL , SZYPERSKI CLEMENS , HUGHES GREGORY
IPC分类号： G06F9/44 , G06F11/28
CPC分类号： G06F11/3608 , G06F8/437 , G06F9/44589 , G06F11/3612
摘要： A dynamic, lazy type system is provided for a dynamic, lazy programming language. Consequently, programs can benefit from runtime flexibility and lightweight notation in combination with benefits afforded by a substantial type system.
摘要翻译：为动态，懒惰的编程语言提供动态，懒惰类型的系统。因此，程序可以受益于运行时灵活性和轻量级符号以及由实体型系统提供的优点。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式