公开(公告)号：US08352921B2

公开(公告)日：2013-01-08

申请号：US12263417

申请日：2008-10-31

申请人： Kirill Jegoulev ,  Igor Ivanov ,  Artem Frolov

发明人： Kirill Jegoulev ,  Igor Ivanov ,  Artem Frolov

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F11/3604 ,  G06F8/437 ,  G06F9/4491

摘要： A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behavior Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.

摘要翻译： 一种用于检测计算机程序中的编程错误的计算机实现的错误检测机制。 本文描述的计算机实现的错误检测方法可以利用功能行为知识库（FBKB）来近似虚拟函数如何改变在每个特定调用点可以调用的所有方法的程序执行状态。 FBKB用于选择应该调用虚拟函数的实现以引起编程缺陷。 通过删除不会导致编程缺陷的实现，减少了可能的对象运行时类型的集合。 如果分析结束时该集合为空，则不可能出现缺陷，否则对象运行时类型集合将包含可能导致缺陷的类型。

公开(公告)号：US20050249469A1

公开(公告)日：2005-11-10

申请号：US10519249

申请日：2002-12-26

申请人： Evgeny Dianov ,  Igor Bufetov ,  Artem Frolov

发明人： Evgeny Dianov ,  Igor Bufetov ,  Artem Frolov

IPC分类号： H04B10/12 ,  C03C13/04 ,  G02B6/00 ,  G02B6/02 ,  G02B6/38

CPC分类号： G02B6/02 ,  C03C13/046 ,  G02B6/3813

摘要： The invention relates to laser engineering and fibre optics. The inventive device for protecting fibre lines against destruction thereof by laser radiation is embodied in the form of a section of an optical fibre which comprises the cladding (6) and the core (7) thereof. The position (8) indicated dashed lines which show the position of the field of optical fibre mode. The distance between said dashed lines is equal to the diameter (D) of the field of light-guide mode. The position (10) indicates the section of the light-guide having the reduced diameter of a reflecting cladding. Said device operates as follows: a pressure of 104 atm. is produced by a high temperature in the core (7) during the propagation of an optical discharge wave. The pressure of 104 atm. is close to the strength limit of the optical fibre material heated by the optical discharge, that results in the stopping of the optical discharge wave. For this reason, the fibre lines are provided with at least one section of the light-guide, which has a reduced thickness fused quartz cladding and undeformed core.

摘要翻译： 本发明涉及激光工程和光纤。 用于保护光纤线路免受激光辐射破坏的本发明的装置以包括该包层（6）和其核心（7）的光纤部分的形式实施。 位置（8）表示虚线，表示光纤模式的场的位置。 所述虚线之间的距离等于光导模式的场的直径（D）。 位置（10）表示导光体的反射包层的直径减小的部分。 所述装置如下操作：压力为10psig。 在光放电波传播期间由芯（7）中的高温产生。 压力为10 4 atm。 接近由光放电加热的光纤材料的强度极限，导致光放电波的停止。 为此，纤维线设置有导光体的至少一个部分，其具有减小的厚度的熔融石英包层和未变形的芯。

公开(公告)号：US20090119649A1

公开(公告)日：2009-05-07

申请号：US12263417

申请日：2008-10-31

申请人： Kirill Jegoulev ,  Igor Ivanov ,  Artem Frolov

发明人： Kirill Jegoulev ,  Igor Ivanov ,  Artem Frolov

IPC分类号： G06F11/36 ,  G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/437 ,  G06F9/4491

摘要： A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behaviour Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.

摘要翻译： 一种用于检测计算机程序中的编程错误的计算机实现的错误检测机制。 本文描述的计算机实现的错误检测方法可以利用功能行为知识库（FBKB）来近似虚拟函数如何改变对于在每个特定调用点可以调用的所有方法的程序执行状态。 FBKB用于选择应该调用虚拟函数的实现以引起编程缺陷。 通过删除不会导致编程缺陷的实现，减少了可能的对象运行时类型的集合。 如果分析结束时该集合为空，则不可能出现缺陷，否则对象运行时类型集合将包含可能导致缺陷的类型。