System and method for producing production control software
    42.
    发明授权
    System and method for producing production control software 失效
    生产控制软件的系统和方法

    公开(公告)号:US06385494B1

    公开(公告)日:2002-05-07

    申请号:US08720399

    申请日:1996-09-30

    IPC分类号: G05B1942

    摘要: A method and system for producing production control software for a plurality of electronic control modules, is provided. The electronic control modules are located on production machines. Each production machine includes a subset of the electronic control modules. The system includes a part file staging area for receiving and storing new production control software from a design engineering group. A product engineering workstation is coupled to the part file staging area and operated by a product engineering user. The product engineering user can review, modify and approve the new production control software. A production staging area, coupled to the product engineering workstation, receives and stores approved production control software and receives an order for a production machine. A production workstation, coupled to the production staging area, receives the order for a production machine, determines the subset of electronic control modules located on the ordered production machine, and retrieves the production control software corresponding to the subset of electronic control modules located on the ordered production machine. The production workstation is coupled to the ordered production machine and adapted to download the production control software from the production staging area to the subset of electronic control modules located on the ordered production machine.

    摘要翻译: 提供了一种用于生产用于多个电子控制模块的生产控制软件的方法和系统。 电子控制模块位于生产机器上。 每个生产机器包括电子控制模块的子集。 该系统包括用于从设计工程组接收和存储新的生产控制软件的零件文件分段区域。 产品工程工作站耦合到零件文件分段区域,由产品工程用户操作。 产品工程用户可以查看,修改和批准新的生产控制软件。 生产阶段,连同产品工程工作站,收到批准的生产控制软件,并收到生产机器的订单。 连接到生产阶段的生产工作站接收生产机器的订单,确定位于有序生产机器上的电子控制模块的子集,并检索对应于位于所述生产机器上的电子控制模块子集的生产控制软件 订购生产机。 生产工作站耦合到订购的生产机器,并适于将生产控制软件从生产阶段区域下载到位于订购生产机器上的电子控制模块的子集。

    Method for producing production control software for a natural gas or diesel engine controller
    43.
    发明授权
    Method for producing production control software for a natural gas or diesel engine controller 失效
    生产天然气或柴油机控制器生产控制软件的方法

    公开(公告)号:US06269300B1

    公开(公告)日:2001-07-31

    申请号:US08412504

    申请日:1995-03-29

    IPC分类号: G06G770

    摘要: A method of operating a computer to automatically produce production control software for a natural gas engine controller or a diesel engine controller is provided. The method includes the steps of (1) as a function of user input, defining a set specifications of the controller; and (2) producing control software to operate the controller as defined by the specifications.

    摘要翻译: 提供了一种操作计算机以自动生成天然气发动机控制器或柴油发动机控制器的生产控制软件的方法。 该方法包括以下步骤:(1)作为用户输入的函数,定义控制器的集合规格; 和(2)生产控制软件来操作由规范定义的控制器。

    Integer string rule detection system
    44.
    发明授权
    Integer string rule detection system 失效
    整数字符串规则检测系统

    公开(公告)号:US5428709A

    公开(公告)日:1995-06-27

    申请号:US109666

    申请日:1993-08-20

    申请人: Wolfgang Banzhaf

    发明人: Wolfgang Banzhaf

    IPC分类号: G06N3/12 G06F15/00

    CPC分类号: G06N3/126 Y10S706/922

    摘要: A system is provided for determining the rule or set of rules which govern the generation of a string of integers so as to ascertain the nature of the data represented by the string of integers, with the integer generation rule permitting genetic code determinations, optimization of communication channels through received signal analysis, curve fitting and determination of integer coding. For the analysis, means are provided to generate strings of integers from trial programs that are optionally derived from sequences of binary numbers. Error coefficients are derived when the integer strings generated by the trial programs are compared to the initial integer string. Means are provided to select a reduced set of trial programs based on the derived error coefficients, with the process of selection of trial programs being iterated until a single trial program is selected as the best trial program. This best trial program then specifies the most likely rule responsible for the generation of the initial strings of integers. The decoding system uses no a priori knowledge in the selection process, with the system providing automatic generation of algorithms instead of inaccurate fit functions. In one embodiment, the Subject System is implemented in a low-level binary representation, which is fast and easy to implement in hardware.

    摘要翻译: 提供了一种用于确定管理整数整数的生成的规则或一组规则的系统,以便确定由整数字符串表示的数据的性质,整数生成规则允许进行遗传密码确定,通信优化 通道通过接收信号分析,曲线拟合和确定整数编码。 为了分析,提供了用于从可选地从二进制数序列导出的试验程序生成整数串的装置。 当将试验程序生成的整数字符串与初始整数字符串进行比较时,导出错误系数。 提供了用于基于导出的误差系数来选择一组减少的试验程序的手段,并且重复试验程序的选择过程,直到选择单个试验程序为最佳试验程序。 这个最好的试用程序然后指定最可能的规则,负责生成初始的整数字符串。 解码系统在选择过程中不使用先验知识,系统提供自动生成算法,而不是不准确的拟合功能。 在一个实施例中,主题系统以低级二进制表示实现,其在硬件中快速且容易地实现。

    Rule-based method for testing of programming segments
    45.
    发明授权
    Rule-based method for testing of programming segments 失效
    基于规则的程序段测试方法

    公开(公告)号:US5297150A

    公开(公告)日:1994-03-22

    申请号:US900169

    申请日:1992-06-17

    申请人: Andrew L. Clark

    发明人: Andrew L. Clark

    IPC分类号: G06F11/36 G06F11/00

    摘要: A method for determining a set of f low paths in a code listing that are most likely to fail comprises the steps of: converting the code listing to a directed acyclic graph representation, the representation including nodes and directed edges, each node representing a basic block of unconditional code statements. The method loads, as facts into a knowledge base, representations of the nodes and edges, and unconditional statements from the basic blocks. The method also loads, as rules into the knowledge base, conditional statements and complexity indicator values for conditional and unconditional statements. Weights are assigned to each node based upon complexity indicator values for statements associated with the node. A determination is then made of a set of flow paths through the code listing, each path ranked in order of assigned weights, those flow paths with larger assigned weights being assumed as those paths most likely to fail.

    摘要翻译: 用于确定代码清单中最可能失败的一组f路径的方法包括以下步骤:将代码列表转换为有向非循环图表示,所述表示包括节点和有向边,每个节点表示基本块 的无条件代码语句。 该方法将事实加载到知识库中,节点和边的表示以及基本块的无条件语句。 该方法还将有条件和无条件语句的条件语句和复杂性指标值作为规则加载到知识库中。 基于与节点相关联的语句的复杂性指标值,将权重分配给每个节点。 然后,通过代码列表确定一组流程路径,每个路径按照分配权重的顺序排列,具有较大分配权重的那些流路径被假定为最有可能失败的路径。

    Method of creating a computer system
    46.
    发明授权
    Method of creating a computer system 失效
    创建计算机系统的方法

    公开(公告)号:US4841441A

    公开(公告)日:1989-06-20

    申请号:US761748

    申请日:1985-08-01

    IPC分类号: G06F17/30

    摘要: An expert system uses internal rules for sound software development and in the end automatically produces a correct running system, without the need for the designer to work out the solution first or to enter any more than the facts (data types and procedure types) of the organization. To operate the user merely inputs data about the organization in response to prompts in the form of conversational language questions. The rest of the development of the software for that organization is actually done by the expert system itself.

    摘要翻译: 专家系统使用声音软件开发的内部规则,并且最终自动生成正确的运行系统,而无需设计人员首先处理解决方案或者输入任何事实(数据类型和过程类型) 组织。 为了操作用户,只需输入有关组织的数据,以响应会话语言问题形式的提示。 该组织的其他软件的开发实际上是由专家系统本身完成的。

    Computer control system utilizing knowledge processing
    47.
    发明授权
    Computer control system utilizing knowledge processing 失效
    利用知识处理的计算机控制系统

    公开(公告)号:US4740886A

    公开(公告)日:1988-04-26

    申请号:US793773

    申请日:1985-11-01

    IPC分类号: G05B13/04 G05B13/02

    摘要: A computer control system utilizing mathematical formula processing and more broadly knowledge engineering is characterized by a man-machine processing unit for defining a mathematical formula model, a program generation unit for converting the defined mathematical formula model to an intermediate code program, a storage device for storing usage conditions (rules) of the defined mathematical formula models and a unit for selecting a mathematical formula model which meets the stored usage condition based on data from a control unit of a plant under control, selecting a program corresponding to the selected mathematical formula model from the programs generated by the program generation unit, and supplying an operation result by the selected program to the control unit.

    摘要翻译: 利用数学公式处理和更广泛的知识工程的计算机控制系统的特征在于用于定义数学公式模型的人机处理单元,用于将定义的数学公式模型转换为中间代码程序的程序生成单元,用于 存储所定义的数学公式模型的使用条件(规则)和用于选择满足所存储使用条件的数学公式模型的单元,其中所述数学公式模型基于来自所控制的工厂的控制单元的数据,选择与所选择的数学公式模型相对应的程序 从程序产生单元生成的程序,并将所选择的程序的操作结果提供给控制单元。

    Static and dynamic assessment procedures
    48.
    发明授权
    Static and dynamic assessment procedures 失效
    静态和动态评估程序

    公开(公告)号:US07146350B2

    公开(公告)日:2006-12-05

    申请号:US10353874

    申请日:2003-01-29

    IPC分类号: G06N5/02

    CPC分类号: G06Q10/04 Y10S706/922

    摘要: An assessments framework includes a framework batch processor and a partner batch processor. The framework batch processor performs static assessments based on information obtained from a task definition database and a policy database. The partner batch processor outputs dynamic task definitions and dynamic policy information, to be input to the framework batch processor for executing an assessment when a triggering event occurs. The triggering event may be a schedule-based trigger or an event-based trigger.

    摘要翻译: 评估框架包括框架批量处理器和伙伴批处理器。 框架批量处理器根据从任务定义数据库和策略数据库获取的信息执行静态评估。 合作伙伴批处理器输出动态任务定义和动态策略信息,以便在触发事件发生时输入框架批量处理器以执行评估。 触发事件可以是基于调度的触发或基于事件的触发。

    Software system generation
    50.
    发明授权
    Software system generation 有权
    软件系统生成

    公开(公告)号:US06314555B1

    公开(公告)日:2001-11-06

    申请号:US09125727

    申请日:1998-08-25

    IPC分类号: G06F994

    CPC分类号: G06F8/10 Y10S706/922

    摘要: A system for building collaborative software agents is provided with a set of editors for capturing data for installation in the individual agents. The collaborative software agents will normally form a community, including some standard agents, provided by the system, and will collaborate to provide functionality in a domain selected by the user. Each collaborative software agent built by the system is provided with co-ordination policies, selected by the user, and represented by a co-ordination graph. A single collaborative software agent can be provided with more than one collaborative policy and is capable of running more than one collaborative policy simultaneously with different agents of the system. An exception handler flags an exception during use of the collaborative agents in the relevant domain when the value of a variable for an agent conflicts with a relevant constraint. Alternatively, the exception handler flags an exception when the resource and time constraints cannot be met by allocation of tasks between the collaborative agents. Communities of software agents built within a system might be used to launch and/or manage telecommunications services or to control a chemical process, for example.

    摘要翻译: 用于构建协作软件代理的系统提供有一组编辑器,用于捕获用于安装在各个代理中的数据。 合作软件代理通常将形成由系统提供的社区,包括一些标准代理,并且将协作以在由用户选择的域中提供功能。 由系统构建的每个协作软件代理都提供了由用户选择并由协调图表示的协调策略。 可以向单个协作软件代理提供多个协作策略,并且能够与系统的不同代理同时运行多个协作策略。 当代理的变量的值与相关约束冲突时,异常处理程序在使用相关域中的协作代理时标记异常。 或者,当协作代理之间的任务分配不能满足资源和时间约束时,异常处理程序标记异常。 例如,系统内构建的软件代理的社区可能被用于启动和/或管理电信服务或控制化学过程。