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

31. 发明授权

US09575732B2 Providing design time projections for a visual program 有权
标题翻译：为视觉程序提供设计时间预测
公开(公告)号：US09575732B2
公开(公告)日：2017-02-21
申请号：US13919224
申请日：2013-06-17
申请人： Microsoft Technology Licensing LLC
发明人： Leon Ezequiel Welicki , Balasubramanian Shyamsundar , Kenneth David Wolf
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/34 , G06F8/31 , G06F8/311 , G06F8/433
摘要： Embodiments are directed to presenting multiple projections of a declarative program and to presenting partial projections of a declarative program. In one scenario, a computer system establishes a declarative program that includes various artifacts. The computer system displays a first projection of the declarative program, which includes one or more elements of a workflow. The computer system then determines that an additional projection is to be displayed in addition to the first projection, and presents a second projection based on the artifacts of the declarative program. The second projection illustrates the artifacts in a form different than that shown in the first projection, and is presented in addition to the first projection. In some cases, the computer system further receives an input and edits the declarative program according to the received input. The edits to the declarative program are substantially lossless, and can be performed using partial or full projections.
摘要翻译：实施例旨在呈现声明性程序的多个投影并呈现声明性程序的部分投影。在一种情况下，计算机系统建立包含各种工件的声明性程序。计算机系统显示声明性程序的第一投影，其包括工作流的一个或多个要素。然后，计算机系统确定除了第一投影之外还要显示另外的投影，并且基于声明性程序的伪影呈现第二投影。第二投影以与第一投影中所示的不同的形式示出伪像，并且除了第一投影之外还呈现。在一些情况下，计算机系统还接收输入，并根据接收的输入编辑声明性程序。对声明性程序的编辑基本上是无损的，并且可以使用部分或全部投影来执行。

32. 发明授权

US09372985B2 Information processing device, information processing method, and computer program 有权
标题翻译：信息处理装置，信息处理方法和计算机程序
公开(公告)号：US09372985B2
公开(公告)日：2016-06-21
申请号：US14372900
申请日：2012-12-25
申请人： Sony Corporation
发明人： Tadashi Morita
IPC分类号： G06F21/44 , G06F9/44 , G06F21/52
CPC分类号： G06F21/445 , G06F8/311 , G06F8/312 , G06F21/52 , G06F2221/033 , G06F2221/2153
摘要： There is provided an information processing device including a first program execution unit that loads, interprets, and executes code of a computer program created by a procedural language. The program execution unit includes at least one port, and via this port, executes a second computer program created by a procedural language executed by a second program execution unit after authenticating with the second program execution unit.
摘要翻译：提供了一种信息处理装置，其包括第一程序执行单元，其加载，解释和执行由过程语言创建的计算机程序的代码。程序执行单元包括至少一个端口，并且经由该端口，在与第二程序执行单元进行认证之后，执行由第二程序执行单元执行的程序语言创建的第二计算机程序。

33. 发明申请

US20150205891A1 SYSTEM DESIGN 审中-公开
标题翻译：系统设计
公开(公告)号：US20150205891A1
公开(公告)日：2015-07-23
申请号：US14414016
申请日：2013-07-04
申请人： BAE SYSTEMS plc
发明人： Antony James Waldock , David Wolfe Corne , David Anthony Edward Morgan
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F17/5009 , G06F8/311
摘要： A method and apparatus for producing a design for a system (2) that comprises a plurality of subsystems (4, 6) is provided. Criteria to be satisfied by the system (2) are identified. For each subsystem (4, 6), further criteria that are to be satisfied by that subsystem (4, 6) are determined and a parametric model (8, 16) is then determined. These comprise inputs (10, 18) and outputs (14, 22) that are dependent on the inputs (10, 18). A systems engineering model (100) comprising, as inputs, parametric model inputs (10, 18) is then determined. System model outputs (28) are dependent on the system model inputs. Groups consisting of some of the system model inputs are formed and an optimisation process is performed, for each group, to determine inputs that optimise the system model outputs (28). A set of inputs that optimise the system model outputs (28) provides a design for the system.
摘要翻译：提供了一种用于产生包括多个子系统（4,6）的系统（2）的设计的方法和装置。确定系统满足的标准（2）。对于每个子系统（4,6），确定要由该子系统满足的另外的准则（4,6），然后确定参数模型（8,16）。这些包括取决于输入（10,18）的输入（10,18）和输出（14,22）。然后确定包括作为输入的参数模型输入（10,18）的系统工程模型（100）。系统模型输出（28）取决于系统模型输入。形成由一些系统模型输入组成的组，并为每个组执行优化过程，以确定优化系统模型输出的输入（28）。一组优化系统模型输出的输入（28）为系统提供了一个设计。

34. 发明申请

US20140344780A1 DECLARATIVE CONFIGURATION AND EXECUTION OF CARD CONTENT MANAGEMENT OPERATIONS FOR TRUSTED SERVICE MANAGER 有权
标题翻译：认可服务经理的内容管理操作的声明配置和执行
公开(公告)号：US20140344780A1
公开(公告)日：2014-11-20
申请号：US13893993
申请日：2013-05-14
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： YOUNGJIN EO , JINHO LEE , JOOHO LEE
IPC分类号： G06F9/44
CPC分类号： G06F8/31 , G06F8/311 , G06F8/34 , G06F8/60
摘要： A method for configuring and executing card content management (CCM) operations in a declarative manner includes composing a CCM operation declaration, wherein each CCM operation includes one or more CCM scripts and storing the CCM operation declaration in memory. When provisioning is needed, applicable scripts for the CCM operation declaration are fetched from the memory. An execution context needed for each script in the CCM operation declaration is prepared. The scripts are executed in an order specified in the CCM operation declaration.
摘要翻译：一种用于以声明方式配置和执行卡内容管理（CCM）操作的方法包括组成CCM操作声明，其中每个CCM操作包括一个或多个CCM脚本并将CCM操作声明存储在存储器中。在需要配置时，CCM操作声明的适用脚本将从存储器中获取。准备CCM操作声明中每个脚本所需的执行上下文。脚本按照CCM操作声明中指定的顺序执行。

35. 发明申请

US20100107137A1 METHODS AND APPARATUS FOR INTEGRATION OF DECLARATIVE RULE-BASED PROCESSING WITH PROCEDURAL PROGRAMMING IN A DIGITAL DATA-PROCESSING EVIRONMENT 有权
标题翻译：用于将数字数据处理过程中基于规则的处理与程序编程集成的方法和装置
公开(公告)号：US20100107137A1
公开(公告)日：2010-04-29
申请号：US12649095
申请日：2009-12-29
申请人： Alan Trefler , Andreas G. Hofmann
发明人： Alan Trefler , Andreas G. Hofmann
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06N5/025 , G06F8/311
摘要： The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions. Further, for each of the updated values, changes associated with to updated variable are propagated to other rules, if any, in which the updated variable participates. The propagation of the change can be accomplished by modifying values of variables other than the updated variable so as to maintain relationships defined by these other rules. The integrated computational systems of the invention can find applications, for example, in workflow processing.
摘要翻译：本发明提供用于将程序计算模型与声明性计算模型集成的方法和系统。例如，在一个方面，本发明提供了一种用于在程序计算系统中将多个程序性指令与声明性计算系统中的多个声明性规则进行整合的方法。在这种方法中，对于在一个或多个变量上操作的每个过程指令，利用由变量名称索引的散列表来确定这些变量中的任一个是否参与至少一个声明性规则。在执行更改参与声明性规则的变量的过程指令时，更新与规则相关联的其他变量，以便保持规则在变量之间强加的关系。在执行其他程序指令之前执行其他变量的更新。此外，对于每个更新的值，与更新的变量相关联的改变被传播到其中更新的变量参与的其他规则（如果有的话）。变更的传播可以通过修改除更新变量之外的变量的值来实现，以保持由这些其他规则定义的关系。本发明的集成计算系统可以在例如工作流处理中找到应用。

36. 发明授权

US07509648B1 Paradigm in multimedia services creation methodology, and new service creation and service execution environments 有权
标题翻译：多媒体服务创建方法的范式，以及新的服务创建和服务执行环境
公开(公告)号：US07509648B1
公开(公告)日：2009-03-24
申请号：US09514149
申请日：2000-02-28
申请人： Siroos K Afshar , Nancy Conley , Keith Kiser , William J. Leighton, III , Dinesh N Lokhande , Patricia E Mccrink , Shapour Neshatfar , Boguslaw J. Olszowy , Rajiv Patel , Sudhakar Rajamannar , Mark Szachara , Eberhard F Wunderlich
发明人： Siroos K Afshar , Nancy Conley , Keith Kiser , William J. Leighton, III , Dinesh N Lokhande , Patricia E Mccrink , Shapour Neshatfar , Boguslaw J. Olszowy , Rajiv Patel , Sudhakar Rajamannar , Mark Szachara , Eberhard F Wunderlich
IPC分类号： G06F3/00 , G06F15/177
CPC分类号： G06F8/34 , G06F3/04817 , G06F8/311 , G06F9/54 , G06F9/542 , G06F17/30017 , G06F2209/544
摘要： The present invention discloses a new paradigm in Multimedia Services Creation Methodology, and new Service Creation and Service Execution Environments, based on this methodology. A service designer can access the Service Creation Environment via a Web based Graphical User Interface (GUI), to design new service in an automated way. The design process includes creation of the Service Logic Script (SLS), and associated databases that are used for storage of service and subscriber related data. The service developer (user) assembles Language Graphical Objects (LGO) into Service Logic Script. LGOs are part of a new graphical language that has been developed to meet multimedia service creation needs. They represent service control and call control primitive functions that have to be performed, in order to provide a multimedia service to service subscribers.
摘要翻译：本发明基于该方法公开了多媒体服务创建方法的新范例以及新的服务创建和服务执行环境。服务设计人员可以通过基于Web的图形用户界面（GUI）访问服务创建环境，以自动方式设计新服务。设计过程包括创建服务逻辑脚本（SLS）以及用于存储服务和用户相关数据的相关数据库。服务开发人员（用户）将语言图形对象（LGO）组装到服务逻辑脚本中。 LGO是为满足多媒体服务创造需求而开发的新型图形语言的一部分。它们表示必须执行的服务控制和呼叫控制原语功能，以便向服务订户提供多媒体服务。

37. 发明授权

US06466930B1 Method and apparatus for evaluating expressions including time-scoped operands 有权
标题翻译：用于评估表达式的方法和装置，包括时间范围的操作数
公开(公告)号：US06466930B1
公开(公告)日：2002-10-15
申请号：US09324214
申请日：1999-06-02
申请人： Paul Anton Richardson Gardner
发明人： Paul Anton Richardson Gardner
IPC分类号： G06F1730
CPC分类号： G06F8/311 , G06F9/4494 , Y10S707/99932
摘要： A data processing method evaluates expressions, including temporally-scoped operands, to produce temporally-scoped results. Each of the temporally-scoped operands and results includes a sequence of one or more value instances, each value instance including a data item, a start time, and an end time, the start time and end time defining a time span in which the data item is valid. An expression involving a binary operator is evaluated by scanning each of the operands of the binary operator and generating a value instance in the result, in respect of each time span in which each operand has a constant value.
摘要翻译：数据处理方法评估表达式，包括时间范围的操作数，以产生时间范围的结果。每个时间范围的操作数和结果包括一个或多个值实例的序列，每个值实例包括数据项，开始时间和结束时间，定义时间跨度的开始时间和结束时间，其中数据项目有效。对于每个操作数具有常数值的每个时间跨度，通过扫描二进制运算符的每个操作数并在结果中生成值实例来评估涉及二进制运算符的表达式。

38. 发明申请

US20020059157A1 Operating system using dynamic multi-dimensional trees 审中-公开
标题翻译：操作系统采用动态多维树
公开(公告)号：US20020059157A1
公开(公告)日：2002-05-16
申请号：US09946938
申请日：2001-09-06
发明人： Christopher Spooner , Richard Spooner
IPC分类号： G06F017/00
CPC分类号： G06F8/311 , G06F8/427 , G06F16/24522 , Y10S707/99933
摘要： An operating system includes means for interacting with a user, means for storing information, the information being organized using nuclear trees, means for interacting with underlying hardware, and means for initiating an application to run on the underlying hardware.
摘要翻译：操作系统包括用于与用户交互的装置，用于存储信息的装置，使用核树组织的信息，用于与底层硬件进行交互的装置，以及用于发起应用程序在底层硬件上运行的装置。

39. 发明申请

US20020029204A1 Computer architecture using self-manipulating trees 审中-公开
标题翻译：计算机结构使用自我操纵的树木
公开(公告)号：US20020029204A1
公开(公告)日：2002-03-07
申请号：US09853821
申请日：2001-05-14
发明人： Christopher Spooner , Richard Spooner
IPC分类号： G06F015/18
CPC分类号： G06F8/311 , G06F8/427 , G06F16/24522 , Y10S707/99933
摘要： A computer architecture operates a computer using self-manipulating trees. A source is input and is matched to a self-manipulating tree using open-ended inviting to match identities to portions of the source. After activating the root node of the self-manipulating tree, the self-manipulating tree self-manipulates according to the instructions for self-manipulating contained in the identities pointed to by the nodes of the self-manipulating tree. The invention may be used as a natural language search engine for electronic data bases, a natural language programming language, a parser-free computer operating system, a computer problem solving system, and as an enhancement feature for general purpose computers and general purpose computer applications, such as a translator and a help engine.
摘要翻译：计算机架构使用自我操纵的树木操作计算机。源是输入，并且使用开放式邀请来匹配与自身操纵的树，以将身份与源的部分匹配。在自我操作树的根节点激活之后，根据自我操纵树节点指向的身份中包含的自我操作指令自我操纵树。本发明可以用作电子数据库，自然语言编程语言，无解析器的计算机操作系统，计算机问题解决系统以及通用计算机和通用计算机应用的增强特征的自然语言搜索引擎，如翻译和帮助引擎。

40. 发明授权

US6145120A Declaration programming language extension for procedural programming languages 失效
标题翻译：用于程序性编程语言的声明编程语言扩展
公开(公告)号：US6145120A
公开(公告)日：2000-11-07
申请号：US46637
申请日：1998-03-24
申请人： Frederic D. Highland
发明人： Frederic D. Highland
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/311
摘要： Complex declarative programming capabilities are provided through an underlying procedural programming code by functionally providing the selection algorithm of known declarative processing arrangements in explicit conditional constructs in procedural language embodying a rule or rule function statement. This approach simultaneously provides declarative processes easily and simply in a relatively few lines of procedural code while isolating the processing to the rules and objects, themselves, thereby providing reduction in hardware overhead requirements and performance enhancements which will be more fully discussed below. Further, by providing for updating of attributes and relationships of objects together with time tags associated with the update and removal of objects from list for evaluation, imprecise evaluation and heuristic reasoning may be readily developed while providing further performance enhancements to known Lazy Evaluation procedures.
摘要翻译：通过在体现规则或规则函数语句的过程语言中的显式条件构造中功能地提供已知声明处理布置的选择算法，通过底层程序编程代码来提供复杂的声明性编程能力。该方法同时在相对较少的程序代码行中容易且简单地提供声明性过程，同时将处理隔离到规则和对象本身，从而降低了硬件开销需求和性能增强，这将在下面更充分地讨论。此外，通过提供对象的属性和关系的更新以及与用于评估的列表中的对象的更新和移除相关联的时间标签，可以容易地开发不精确的评估和启发式推理，同时为已知的懒惰评估程序提供进一步的性能增强。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式