利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

64 条记录 (耗时 0.032 秒)

    Automating expert knowledge with analyzer harness
    23.
    发明申请
    Automating expert knowledge with analyzer harness 有权
    使用分析仪线束自动化专家知识

    公开(公告)号：US20030177106A1

    公开(公告)日：2003-09-18

    申请号：US10372475

    申请日：2003-02-21

    发明人： Michael Joseph Brandon ,  Adam M. Carr ,  Paul Edward Holland ,  Mark W. McDowell

    IPC分类号： G06F017/00

    CPC分类号： G06Q10/04 ,  Y10S706/922

    摘要： A method is provided for auditing the configuration of an enterprise comprising the steps of: collecting information relating to the configuration of the enterprise, analyzing the configuration information based on expert knowledge; and providing the result of the analysis in the form of reports, and other results of the analyses.

    摘要翻译： 提供了一种用于审核企业配置的方法，包括以下步骤：收集与企业配置相关的信息，基于专家知识分析配置信息; 并以报告的形式提供分析结果和其他分析结果。

    Method and apparatus for composite analysis using hierarchically organized directives
    24.
    发明申请
    Method and apparatus for composite analysis using hierarchically organized directives 审中-公开
    使用分层组织指令的复合分析方法和装置

    公开(公告)号：US20020169739A1

    公开(公告)日：2002-11-14

    申请号：US10151803

    申请日：2002-05-21

    发明人： Adam Michael Carr ,  Paul Edward Holland ,  Mark William McDowell

    IPC分类号： G06F017/00

    CPC分类号： G06Q10/04 ,  Y10S706/922

    摘要： A method and apparatus is provided for auditing the configuration of an enterprise using low-level analyzers that include a program and a descriptor of the type of collector data the program can accept, and high-level analyzers that are descriptors which call upon, or incorporate by reference, other analyzer descriptors. A framework, guided by one or more analyzer descriptors and by any descriptors those descriptors may call upon or incorporate by reference, repeatedly executes the set of programs associated with some of the analyzer descriptors against a different node or nodes of an enterprise during each such execution. When executing a program, the framework provides the program with the collector data of the type designated by the descriptor associated with the program.

    摘要翻译： 提供了一种方法和装置，用于使用低级分析器来审核企业的配置，所述低级分析器包括程序和程序可以接受的收集器数据类型的描述符;以及高级分析器，其是呼吁或并入的描述符 通过参考，其他分析器描述符。 由一个或多个分析器描述符和由描述符可以通过引用并入的任何描述符引导的框架在每个这样的执行期间重复地执行与一些分析器描述符相关联的一组分析器描述符针对企业的不同节点或节点 。 当执行程序时，框架向程序提供与程序相关联的描述符指定的类型的收集器数据。

    Database query system
    27.
    发明授权
    Database query system 失效
    数据库查询系统

    公开(公告)号：US5812840A

    公开(公告)日：1998-09-22

    申请号：US723962

    申请日：1996-09-26

    申请人： Steven P. Shwartz

    发明人： Steven P. Shwartz

    IPC分类号： G06F12/00 ,  G06F17/30

    CPC分类号： G06F17/30401 ,  G06F17/30392 ,  Y10S706/922 ,  Y10S706/934 ,  Y10S707/99934

    摘要： A database query system includes a query assistant that permits the user to enter only queries that are both syntactically and semantically valid (and that can be processed by an SQL generator to produce semantically valid SQL). Through the use of dialog boxes, a user enters a query in an intermediate English-like language which is easily understood by the user. A query expert system monitors the query as it is being built, and using information about the structure of the database, it prevents the user from building semantically incorrect queries by disallowing choices in the dialog boxes which would create incorrect queries. An SQL generator is also provided which uses a set of transformations and pattern substitutions to convert the intermediate language into a syntactically and semantically correct SQL query. The intermediate language can represent complex SQL queries while at the same time being easy to understand. The intermediate language is also designed to be easily converted into SQL queries. In addition to the query assistant and the SQL generator, an administrative facility is provided which allows an administrator to add a conceptual layer to the underlying database making it easier for the user to query the database. This conceptual layer may contain alternate names for columns and tables, paths specifying standard and complex joins, definitions for virtual tables and columns, and limitations on user access.

    摘要翻译： 数据库查询系统包括一个查询助手，它允许用户只输入语法和语义上有效的查询（可以由SQL生成器处理以生成语义有效的SQL）。 通过使用对话框，用户以中文类似英语的语言输入查询，用户很容易理解。 查询专家系统监视正在构建的查询，并使用关于数据库结构的信息，它阻止用户通过不允许创建不正确查询的对话框中的选项来构建语义不正确的查询。 还提供了一个SQL生成器，它使用一组转换和模式替换来将中间语言转换为语法和语义上正确的SQL查询。 中间语言可以表示复杂的SQL查询，同时易于理解。 中间语言也被设计为容易地转换成SQL查询。 除了查询助手和SQL生成器之外，还提供了一个管理工具，允许管理员将一个概念层添加到底层数据库，使用户更容易查询数据库。 此概念层可能包含列和表的备用名称，指定标准和复杂连接的路径，虚拟表和列的定义以及用户访问的限制。

    Methods and system for converting a text-based grammar to a compressed syntax diagram
    28.
    发明授权
    Methods and system for converting a text-based grammar to a compressed syntax diagram 失效
    将基于文本的语法转换为压缩语法图的方法和系统

    公开(公告)号：US5678052A

    公开(公告)日：1997-10-14

    申请号：US375526

    申请日：1995-01-19

    申请人： James Paul Brisson

    发明人： James Paul Brisson

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

    CPC分类号： G06F8/427 ,  G06F8/30 ,  Y10S706/922 ,  Y10S707/99931

    摘要： Methods and a system for converting a BNF grammar to a compressed railroad diagram are set forth. For a selected grammar rule within the text-based grammar, a space required within the compressed railroad diagram is determined. Thereafter, a space required is added to a total space required for the compressed railroad diagram. If the selected grammar rule includes a non-terminal symbol, then a grammar rule within the text-based grammar which defines the non-terminal symbol is used as the selected grammar rule, and the method is repeated provided that the total space required does not exceed a predetermined space available for the compressed railroad diagram. The compressed railroad diagram is generated based upon each selected grammar rule.

    摘要翻译： 阐述了将BNF语法转换成压缩铁路图的方法和系统。 对于基于文本语法的选定语法规则，确定压缩铁路图中所需的空间。 此后，将所需的空间添加到压缩铁路图所需的总空间。 如果所选择的语法规则包括非终端符号，则将定义非终端符号的基于文本的语法中的语法规则用作所选择的语法规则，并且重复该方法，只要所需的总空间不 超过可用于压缩铁路图的预定空间。 基于每个选择的语法规则生成压缩的铁路图。

    Apparatus and method for software system management using second-order logic
    29.
    发明授权
    Apparatus and method for software system management using second-order logic 失效
    使用二阶逻辑的软件系统管理的装置和方法

    公开(公告)号：US5640567A

    公开(公告)日：1997-06-17

    申请号：US246111

    申请日：1994-05-19

    申请人： Geoffrey R. Phipps

    发明人： Geoffrey R. Phipps

    IPC分类号： G06F9/44 ,  G06F17/00

    CPC分类号： G06F8/71 ,  Y10S706/922

    摘要： A software system manager to achieve second-order logical management of a software system model is described. The system relies upon a second-order logic system description that uses variable functors with specified import predicate arguments and export predicates. The second-order logical system description includes a second-order system model, a second-order rule set, and a second-order operation module. The second-order system model defines a set of existing program files, the second-order rule set defines a set of operations that can be performed on the existing program files, and the second-order operation module specifies an operation to be executed by the secondorder rule set on the set of existing program files. The second-order logic system description is used to generate a set of system construction commands. The system construction commands specify the commands necessary to transform the existing program files into intermediate object files that are used to produce an executable program.

    摘要翻译： 描述了实现软件系统模型的二阶逻辑管理的软件系统管理器。 系统依赖于使用具有指定的导入谓词参数和导出谓词的变量函子的二阶逻辑系统描述。 二阶逻辑系统描述包括二阶系统模型，二阶规则集和二阶运算模块。 二阶系统模型定义了一组现有的程序文件，二阶规则集定义了可以对现有程序文件执行的一组操作，二阶操作模块指定要执行的操作 在现有程序文件集上设置二阶规则。 二阶逻辑系统描述用于生成一组系统构造命令。 系统构造命令指定将现有程序文件转换为用于生成可执行程序的中间对象文件所必需的命令。

    Apparatus for synthesizing an object described in an object-oriented language on the basis of a predetermined specification
    30.
    发明授权
    Apparatus for synthesizing an object described in an object-oriented language on the basis of a predetermined specification 失效
    用于基于预定规格合成以面向对象语言描述的对象的装置

    公开(公告)号：US5461714A

    公开(公告)日：1995-10-24

    申请号：US272231

    申请日：1994-07-08

    申请人： Shinichi Honiden ,  Takeshi Kohno

    发明人： Shinichi Honiden ,  Takeshi Kohno

    IPC分类号： G06F9/06 ,  G06F9/44 ,  G06F15/18

    CPC分类号： G06F8/36 ,  Y10S706/922

    摘要： A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates similar to the detailed specification detailed by the function decomposition unit, a design process fusion unit for fusing a plurality of design processes, the design process fusion unit including a matching decision unit for deciding matching between design processes having high similarities with respect to the intermediate decided by the similarity decision unit, an object synthesis unit for synthesizing an object on the basis of a new design process synthesized by the design process fusion unit, a design process intermediate knowledge base for storing intermediates from which intermediates similar to the specification detailed by the function decomposition unit are retrieved, and a design process conversion knowledge base for storing a conversion knowledge for detailing the specification, a conversion knowledge for the intermediate, and a knowledge in a minimum unit for performing processing.

    摘要翻译： 程序合成系统包括：功能分解单元，用于根据预定规格分解功能，以便获得说明书的详细功能;相似性判定单元，用于检索类似于由功能分解单元详细描述的详细规范的中间体;设计过程 融合单元，用于融合多个设计过程，所述设计处理融合单元包括：匹配决定单元，用于决定相对于由所述相似性判定单元确定的中间的高相似性的设计处理之间的匹配;对象合成单元， 通过设计过程融合单元合成的新设计过程的基础，检索用于存储中间体的设计过程中间知识库，从中间体中获取类似于功能分解单元详细说明的中间体，以及设计过程转换知识库，用于存储交流 详细说明规范的转换知识，中间件的转换知识以及用于执行处理的最小单位知识。