Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method
    3.
    发明授权
    Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method 失效
    软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法

    公开(公告)号:US08407799B2

    公开(公告)日:2013-03-26

    申请号:US12593376

    申请日:2008-03-28

    IPC分类号: H04L29/06

    CPC分类号: G06F11/3612 G06F21/52

    摘要: A software behavior modeling device which forms a model of a behavior of software includes; an event information acquisition unit configured to acquire event information indicating a specific event which occurs during execution of the software; a stack information acquisition unit configured to acquire stack information stored in a call stack at a time of occurrence of the specific event; a score setting unit configured to set a score in accordance with a storage location in which each element included in the stack information is stored in the call stack; and a model generating unit configured to form a model of a relationship between the specific event and the element by using the score, and to generate a behavior model of the software.

    摘要翻译: 形成软件行为模型的软件行为建模设备包括: 事件信息获取单元,被配置为获取表示软件执行期间发生的特定事件的事件信息; 堆栈信息获取单元,被配置为在特定事件发生时获取存储在呼叫栈中的堆栈信息; 乐谱设定单元,被配置为根据包含在所述音箱信息中的每个元素存储在所述呼叫栈中的存储位置来设定乐谱; 以及模型生成单元,被配置为通过使用得分来形成特定事件和元素之间的关系的模型,并且生成软件的行为模型。

    SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD
    4.
    发明申请
    SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE, AND SOFTWARE BEHAVIOR VERIFICATION METHOD 失效
    软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法

    公开(公告)号:US20110154487A1

    公开(公告)日:2011-06-23

    申请号:US12593376

    申请日:2008-03-28

    IPC分类号: G06F11/00 G06F21/00

    CPC分类号: G06F11/3612 G06F21/52

    摘要: A software behavior modeling device which forms a model of a behavior of software includes; an event information acquisition unit configured to acquire event information indicating a specific event which occurs during execution of the software; a stack information acquisition unit configured to acquire stack information stored in a call stack at a time of occurrence of the specific event; a score setting unit configured to set a score in accordance with a storage location in which each element included in the stack information is stored in the call stack; and a model generating unit configured to form a model of a relationship between the specific event and the element by using the score, and to generate a behavior model of the software.

    摘要翻译: 形成软件行为模型的软件行为建模设备包括: 事件信息获取单元,被配置为获取表示软件执行期间发生的特定事件的事件信息; 堆栈信息获取单元,被配置为在特定事件发生时获取存储在呼叫栈中的堆栈信息; 乐谱设定单元,被配置为根据包含在所述音箱信息中的每个元素存储在所述呼叫栈中的存储位置来设定乐谱; 以及模型生成单元,被配置为通过使用得分来形成特定事件和元素之间的关系的模型,并且生成软件的行为模型。

    Electromechanical transducer device and method of making the same
    5.
    发明授权
    Electromechanical transducer device and method of making the same 有权
    机电换能器及其制造方法

    公开(公告)号:US09143877B2

    公开(公告)日:2015-09-22

    申请号:US12839701

    申请日:2010-07-20

    IPC分类号: H02N1/08 H04R31/00 B06B1/02

    摘要: Provided is an electromechanical transducer device including a substrate that is conductive, and a plurality of electromechanical transducer elements disposed on a first surface of the substrate. A groove that electrically isolates the plurality of electromechanical transducer elements from each other is formed in the substrate, the groove extending from a second surface side of the substrate toward the first surface side of the substrate, the second surface being opposite the first surface. The width of the groove on the first surface side of the substrate is smaller than the width of the groove on the second surface side of the substrate.

    摘要翻译: 提供了一种机电换能器装置,其包括导电的基板和设置在基板的第一表面上的多个机电换能器元件。 在所述基板上形成有使所述多个机电换能器元件彼此电隔离的槽,所述槽从所述基板的第二表面侧向所述基板的所述第一表面侧延伸,所述第二表面与所述第一表面相对。 基板的第一表面侧的槽的宽度小于基板的第二表面侧的槽的宽度。

    Electromagnetic pump
    6.
    发明授权
    Electromagnetic pump 有权
    电磁泵

    公开(公告)号:US09140245B2

    公开(公告)日:2015-09-22

    申请号:US13413204

    申请日:2012-03-06

    IPC分类号: F04B17/04

    摘要: An electromagnetic pump includes a cylinder with a stepped inner diameter with first and second inner diameters. A piston inside the cylinder, with a stepped outer diameter including first and second outer diameters slidable on the respective inner diameters, defines first and second fluid chambers. Reciprocal movement of the piston produces a greater change in volume in the first chamber than the second chamber. An electromagnetic portion moves the piston to decrease the volume of the first chamber and increase the volume of the second chamber. A biasing member moves the piston to increase the volume of the first chamber and decrease the volume of the second chamber. A first valve allows fluid to flow to the first chamber and prohibits reverse flow. A second valve embedded in the piston allows fluid to flow from the first chamber to the second chamber and prohibits reverse flow.

    摘要翻译: 电磁泵包括具有第一和第二内径的阶梯形内径的气缸。 气缸内的活塞具有包括可在相应内径上滑动的第一和第二外径的阶梯形外径,限定第一和第二流体室。 活塞的往复运动在第一室中产生比第二室更大的体积变化。 电磁部分移动活塞以减小第一室的体积并增加第二室的体积。 偏置构件移动活塞以增加第一室的体积并减小第二室的体积。 第一阀允许流体流到第一室并且禁止反向流动。 嵌入在活塞中的第二阀允许流体从第一室流到第二室,并且禁止反向流动。

    Apparatus information obtaining apparatus, operation information providing apparatus, operation information providing method, operation information providing program and the recording medium
    7.
    发明授权
    Apparatus information obtaining apparatus, operation information providing apparatus, operation information providing method, operation information providing program and the recording medium 有权
    装置信息获取装置,操作信息提供装置,操作信息提供方法,操作信息提供程序和记录介质

    公开(公告)号:US08441663B2

    公开(公告)日:2013-05-14

    申请号:US11226318

    申请日:2005-09-15

    IPC分类号: G06F3/12

    摘要: An apparatus information obtaining apparatus for obtaining apparatus information including model information of an image output apparatus from the image output apparatus via a network is disclosed. The apparatus information obtaining apparatus includes: an image output apparatus list database storing a list of image output apparatuses from which the apparatus information is obtained; an apparatus information send instruction sending unit for instructing the image output apparatus included in the image output apparatus list to send the apparatus information; and an apparatus information receiving unit for receiving the apparatus information from the image output apparatus that is instructed to send the apparatus information.

    摘要翻译: 公开了一种装置信息获取装置,用于经由网络从图像输出装置获取包括图像输出装置的模型信息的装置信息。 装置信息获取装置包括:图像输出装置列表数据库,存储获取装置信息的图像输出装置的列表; 装置信息发送指令发送单元,用于指示包括在图像输出装置列表中的图像输出装置发送装置信息; 以及装置信息接收单元,用于从被指示发送装置信息的图像输出装置接收装置信息。

    Process for producing alkylated aromatic compounds and process for producing phenol
    9.
    发明授权
    Process for producing alkylated aromatic compounds and process for producing phenol 有权
    烷基化芳香族化合物的制造方法和苯酚的制造方法

    公开(公告)号:US08404914B2

    公开(公告)日:2013-03-26

    申请号:US12997449

    申请日:2009-06-03

    IPC分类号: C07C15/085 C07C2/86 C07C37/08

    摘要: The invention provides an efficient process for producing alkylated aromatic compounds such as cumene in a compact reactor. The invention also provides a process for producing phenol which includes a step of producing cumene by the above process. The process for producing alkylated aromatic compounds of the invention includes feeding raw materials including an aromatic compound and an alcohol in a gas-liquid downward concurrent flow mode to a fixed-bed reactor packed with a solid acid catalyst thereby to produce an alkylated aromatic compound, wherein the raw materials are fed to the reactor in a stream of a gas, and the reaction gas flow rate defined by the equation below is not less than 0.05 at an entrance of a solid acid catalyst layer: ρg·ug·[ρair·ρwater/(ρg·ρl)]1/2(kgm−2s−1).

    摘要翻译: 本发明提供了在紧凑型反应器中生产烷基化芳族化合物如枯烯的有效方法。 本发明还提供一种生产苯酚的方法,其包括通过上述方法生产异丙基苯的步骤。 本发明的烷基化芳香族化合物的制造方法包括以气液向下并流模式将包含芳族化合物和醇的原料进料到填充有固体酸催化剂的固定床反应器中,从而制备烷基化芳族化合物, 其中原料以气流输送到反应器中,并且由下式确定的反应气体流速在固体酸催化剂层的入口处不小于0.05;&rgg; g·ug·[&rgr ;空气·水/(&rgr g g&rgr; l)] 1/2(kgm-2s-1)。

    User specific focus parameters
    10.
    发明授权
    User specific focus parameters 有权
    用户特定的焦点参数

    公开(公告)号:US08352477B2

    公开(公告)日:2013-01-08

    申请号:US12722376

    申请日:2010-03-11

    IPC分类号: G06F7/00 G06F17/30

    CPC分类号: G06F17/30011

    摘要: Apparatuses, systems and methods are provided for accessing a document management application through a network, wherein one or more key terms and focus terms (selected from user-specific focus parameters) for selected search parameters are transmitted to the document management application for limiting a search to be performed by a search function of the document management application.

    摘要翻译: 提供了用于通过网络访问文档管理应用的设备,系统和方法,其中针对所选择的搜索参数的一个或多个关键术语和聚焦项(从用户特定的聚焦参数中选择)被发送到文档管理应用程序以限制搜索 由文档管理应用的搜索功能执行。