Program analyzing apparatus which categorizes variables into domains and
method thereof
    2.
    发明授权
    Program analyzing apparatus which categorizes variables into domains and method thereof 失效
    将变量分类为域的程序分析装置及其方法

    公开(公告)号:US6110224A

    公开(公告)日:2000-08-29

    申请号:US794368

    申请日:1997-02-04

    IPC分类号: G06F9/06 G06F9/44 G06F11/36

    CPC分类号: G06F11/3604

    摘要: A restricting condition extracting unit analyzes an error determination portion included in a program to be analyzed and extracts a restricting condition of a particular variable. A variable categorizing unit analyzes the relation among variables used in an executable statement in the program to be analyzed and categorizes the variables corresponding to the analyzed result. A domain definition extracting unit outputs domain relation information representing a domain to which a plurality of variables belong and the relation among variables that belong to the domain using the output of the restricting condition extracting unit and the variable categorizing unit. The domain definition information is graphically displayed so that the user can easily understand the content thereof.

    摘要翻译: 限制条件提取单元分析包括在要分析的程序中的错误确定部分,并提取特定变量的限制条件。 变量分类单元分析待分析程序中可执行语句中使用的变量之间的关系,并对与分析结果相对应的变量进行分类。 域定义提取单元使用限制条件提取单元和变量分类单元的输出,输出表示多个变量所属的域的域关系信息和属于域的变量之间的关系。 域定义信息被图形显示,使得用户可以容易地理解其内容。

    Process for measuring amount of endotoxin or
(1.fwdarw.3)-.beta.-D-glucan by kinetic turbidimetric method
    3.
    发明授权
    Process for measuring amount of endotoxin or (1.fwdarw.3)-.beta.-D-glucan by kinetic turbidimetric method 失效
    通过动力学比浊法测量内毒素或(1-> 3)-β-D-葡聚糖的量

    公开(公告)号:US5637474A

    公开(公告)日:1997-06-10

    申请号:US545290

    申请日:1995-10-19

    IPC分类号: G01N33/579 C12Q1/34 C12Q1/04

    CPC分类号: G01N33/579

    摘要: A process for measuring the amount of endotoxin or (1.fwdarw.3)-.beta.-D-glucan (referred to hereinafter as .beta.-glucan) contained in a sample, which comprises mixing the sample with amebocyte lysate of horseshoe crabs in the presence of at least one water-soluble polymer selected from the group consisting of a polyethylene glycol, a polyvinyl alcohol, a methyl cellulose and a hydroxypropyl cellulose, applying a light to the resulting mixture, measuring the time required until a degree of optical variation of the resulting mixture reaches a predetermined value after the mixing of the sample with the amebocyte lysate, or after the lapse of the predetermined time from the mixing of the sample with the amebocyte lysate, and determining the amount of endotoxin or .beta.-glucan contained in the sample on the basis of the relationship between the said time and the amount of endotoxin or .beta.-glucan; and also a reagent for measuring the amount of endotoxin or .beta.-glucan contained in a sample, which comprises amebocyte lysate of horseshoe crabs and at least one water-soluble polymer selected from the group consisting of a polyethylene glycol, a polyvinyl alcohol, a methyl cellulose and a hydroxypropyl cellulose.

    摘要翻译: 一种测定样品中含有的内毒素或(1-> 3)-β-D-葡聚糖(以下称为β-葡聚糖)的量的方法,其包括将样品与马蹄蟹的微血管裂解物混合, 至少一种选自聚乙二醇,聚乙烯醇,甲基纤维素和羟丙基纤维素的水溶性聚合物,向所得混合物施加光,测量所需时间,直到所得到的光学变化程度 在将样品与微血管裂解物混合之后,或者在从样品与微生物细胞裂解物混合起经过预定​​时间之后,混合物达到预定值,并测定样品中所含的内毒素或β-葡聚糖的量 所述时间与内毒素或β-葡聚糖的量之间的关系的基础; 以及用于测量样品中含有的内毒素或β-葡聚糖的量的试剂,其包含鲎的微血管裂解物和至少一种选自聚乙二醇,聚乙烯醇,甲基丙烯酸的水溶性聚合物 纤维素和羟丙基纤维素。

    Program analyzing apparatus which categorizes variables into domains and
method thereof
    4.
    发明授权
    Program analyzing apparatus which categorizes variables into domains and method thereof 失效
    将变量分类为域的程序分析装置及其方法

    公开(公告)号:US6041177A

    公开(公告)日:2000-03-21

    申请号:US928501

    申请日:1997-09-12

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/75

    摘要: A variable type analyzing unit detects the data types of each variable. A variable length analyzing unit detects the length of each variable. A partial reference unit detects the range of a partial reference when part of a variable is referred to. An internal layout analyzing unit checks the range to which data is actually referred and to which data is actually assigned based on the information on each variable obtained by the above units. A domain analyzing unit categorizes variables used in a target program by domain based on the ranges.

    摘要翻译: 可变类型分析单元检测每个变量的数据类型。 可变长度分析单元检测每个变量的长度。 当参考变量的一部分时,部分参考单元检测部分参考的范围。 内部布局分析单元基于由上述单元获得的每个变量的信息来检查实际参考哪些数据的范围以及实际分配哪些数据。 域分析单元根据范围按照域对目标程序中使用的变量进行分类。