Data processing and difference computation for generating addressing information
    1.
    发明授权
    Data processing and difference computation for generating addressing information 失效
    用于生成寻址信息的数据处理和差分计算

    公开(公告)号:US07530014B2

    公开(公告)日:2009-05-05

    申请号:US10612786

    申请日:2003-07-02

    IPC分类号: G06F17/00

    CPC分类号: G06F17/2247 G06F17/2211

    摘要: Methods, apparatus and systems to keep a desired element properly addressed in a structured document in which particular elements are addressed, even if the structured document is modified. In an example embodiment, the invention comprises a difference computation unit for computing a difference between structured documents, and an XPath update unit for generating addressing information from addressing information that addresses a part of a particular structured document based on information on the difference computed by the difference computation unit, the generated addressing information addressing a corresponding part of the other structured document.

    摘要翻译: 即使修改了结构化文档,方法,装置和系统也可以在特定元素被寻址的结构化文档中保持所需要的元素。 在一个示例性实施例中,本发明包括用于计算结构化文档之间的差异的差分计算单元和用于基于关于由特定结构化文档的一部分计算的差异的信息的寻址信息来生成寻址信息的XPath更新单元 差分计算单元,生成的寻址信息寻址另一结构化文档的对应部分。

    Method, system and program for generating structure pattern candidates
    2.
    发明授权
    Method, system and program for generating structure pattern candidates 失效
    用于生成结构模式候选的方法,系统和程序

    公开(公告)号:US07197510B2

    公开(公告)日:2007-03-27

    申请号:US10767518

    申请日:2004-01-29

    IPC分类号: G06F17/30

    摘要: A structure pattern candidate generating system is disclosed for automatically generating many kinds of complicated structure pattern candidates and facilitating selection of a structure pattern suitable for the purpose. When the system is provided with a structure pattern pointing to an element or an element set in a document logical structure of a structured document, that has been specified by a user, a method for determining an item to be edited determines an item to be edited among the items composing the structure pattern. A method for generating structure pattern candidates replaces the item to be edited with items in different expressions based on the document logical structure information about the structured document to generate structure pattern candidates. A method for generating a structure pattern candidate list arranges the generated structure pattern candidates based on a condition and index for display for giving selection criteria to the user to generate a structure pattern candidate list. If the system is provided with an item desired to be edited, that has been specified by the user for the structure pattern, the method for determining an item to be edited determines the item desired to be edited as the item to be edited.

    摘要翻译: 公开了一种结构模式候选生成系统,用于自动生成多种复杂结构模式候选,并且便于选择适合于该目的的结构模式。 当系统被提供有指向由用户指定的结构化文档的文档逻辑结构中的元素或元素集合的结构模式时,用于确定要被编辑的项目的方法确定要被编辑的项目 在构成结构模式的项目中。 用于生成结构模式候选的方法基于关于结构化文档的文档逻辑结构信息来替换不同表达式中的项目被编辑的项目以生成结构模式候选。 一种生成结构模式候选列表的方法基于用于给用户提供选择标准的用于显示的条件和索引来生成结构模式候选列表,以生成结构模式候选列表。 如果系统被提供有要被编辑的项目,这是由用户为结构模式指定的,则用于确定要被编辑的项目的方法将期望被编辑的项目确定为要被编辑的项目。

    Method, system for, and program product for generating a display rule for a structured document, and for changing a structured document and its document type definition
    3.
    发明授权
    Method, system for, and program product for generating a display rule for a structured document, and for changing a structured document and its document type definition 有权
    用于生成结构化文档的显示规则以及用于更改结构化文档及其文档类型定义的方法,系统和程序产品

    公开(公告)号:US06950984B2

    公开(公告)日:2005-09-27

    申请号:US09791943

    申请日:2001-02-23

    摘要: A technique is provided for automatically and visually generating a display rule for a structured document based on an exemplary operation. Base display rule generation means 21 generates a first display rule 29, which is a base, by using a document type definition 27 for a structured document 26 and a default generation rule 28 that is determined in advance. Display document generation means 22 employs the first display rule 29 and the structured document 26 to generate a first display document 30 and an element correlation file 31. Tie first display document 30 is edited in a display document visual editing environment 23, and a second display document 32 and an editing operation history file 33 are generated. Display rule updating means 24 refers to the second display document 32, the editing operation history file 33, the element correlation file 31 and the structured document 26 to generate a second display rule 34 that reflects the editing contents.

    摘要翻译: 提供了一种基于示例性操作自动和可视地生成结构化文档的显示规则的技术。 基本显示规则生成装置21通过使用预先确定的结构化文档26的文档类型定义27和默认生成规则28来生成作为基础的第一显示规则29。 显示文档生成装置22使用第一显示规则29和结构化文档26来生成第一显示文档30和元素相关文件31。 在显示文件可视编辑环境23中编辑领带第一显示文档30,并且生成第二显示文档32和编辑操作历史文件33。 显示规则更新装置24参考第二显示文档32,编辑操作历史文件33,元素相关文件31和结构化文档26,以生成反映编辑内容的第二显示规则34。

    System and method for verifying operation of a target system
    4.
    发明授权
    System and method for verifying operation of a target system 失效
    用于验证目标系统的操作的系统和方法

    公开(公告)号:US08078915B2

    公开(公告)日:2011-12-13

    申请号:US12359376

    申请日:2009-01-26

    IPC分类号: G06F11/00

    CPC分类号: G06F11/3612

    摘要: A system, a computer readable article of manufacture, and a method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.

    摘要翻译: 一种系统,计算机可读制品,以及用于验证待检查的目标系统的操作的方法。 该系统包括抽象二叉树生成单元和匹配单元。 抽象二叉树生成单元获取关于目标系统的功能规范的信息,并且生成将目标系统中可能出现的一个或多个状态与相应节点相关联的一个或多个二进制树,并且将构成目标系统的对象的状态转换 以及具有节点之间的连接关系的对象之间的交互。 匹配单元在响应于目标系统的操作而获得的目标系统的应用模型中接收事件序列,并将事件序列与由抽象二叉树生成单元生成的二叉树进行匹配。 该方法包括完成系统功能的步骤。

    SYSTEM AND METHOD FOR VERIFYING OPERATION OF A TARGET SYSTEM
    5.
    发明申请
    SYSTEM AND METHOD FOR VERIFYING OPERATION OF A TARGET SYSTEM 失效
    用于验证目标系统操作的系统和方法

    公开(公告)号:US20090193294A1

    公开(公告)日:2009-07-30

    申请号:US12359376

    申请日:2009-01-26

    CPC分类号: G06F11/3612

    摘要: A system and method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.

    摘要翻译: 一种用于验证待检查的目标系统的操作的系统和方法。 该系统包括抽象二叉树生成单元和匹配单元。 抽象二叉树生成单元获取关于目标系统的功能规范的信息,并且生成将目标系统中可能出现的一个或多个状态与相应节点相关联的一个或多个二进制树,并且将构成目标系统的对象的状态转换 以及具有节点之间的连接关系的对象之间的交互。 匹配单元在响应于目标系统的操作而获得的目标系统的应用模型中接收事件序列,并将事件序列与由抽象二叉树生成单元生成的二叉树进行匹配。 该方法包括完成系统功能的步骤。

    Fixing device capable of minimizing overshoot and image forming apparatus with same
    6.
    发明授权
    Fixing device capable of minimizing overshoot and image forming apparatus with same 有权
    能够使过冲最小化的固定装置和成像装置

    公开(公告)号:US08873988B2

    公开(公告)日:2014-10-28

    申请号:US13477559

    申请日:2012-05-22

    IPC分类号: G03G15/20

    摘要: A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.

    摘要翻译: 定影装置可通过启动和预热阶段操作,并且具有可旋转固定构件,用于将未定影的调色剂图像固定在记录介质上,相对构件压靠固定构件并在定影构件上形成辊隙, 温度检测器,用于检测固定部件的温度;以及加热器,根据固定部件的温度进行控制,以加热固定部件。 根据固定构件旋转中的至少一个以及检测温度在预热阶段中达到规定的目标温度时,加热器在暖机阶段进一步控制。

    FIXING DEVICE CAPABLE OF MINIMIZING OVERSHOOT AND IMAGE FORMING APPARATUS WITH SAME
    7.
    发明申请
    FIXING DEVICE CAPABLE OF MINIMIZING OVERSHOOT AND IMAGE FORMING APPARATUS WITH SAME 有权
    具有最小化海洋和图像形成装置的固定装置

    公开(公告)号:US20120328318A1

    公开(公告)日:2012-12-27

    申请号:US13477559

    申请日:2012-05-22

    IPC分类号: G03G15/20

    摘要: A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.

    摘要翻译: 定影装置可通过启动和预热阶段操作,并且具有可旋转固定构件,用于将未定影的调色剂图像固定在记录介质上,相对构件压靠固定构件并在定影构件上形成辊隙, 温度检测器,用于检测固定部件的温度;以及加热器,根据固定部件的温度进行控制,以加热固定部件。 根据固定构件旋转中的至少一个以及检测温度在预热阶段中达到规定的目标温度时,加热器在暖机阶段进一步控制。