公开(公告)号：US20070150875A1

公开(公告)日：2007-06-28

申请号：US11608103

申请日：2006-12-07

申请人： Hiroaki Nakamura ,  Naoto Sato ,  Naoshi Tabuchi

发明人： Hiroaki Nakamura ,  Naoto Sato ,  Naoshi Tabuchi

IPC分类号： G06F9/45

CPC分类号： G06F8/10

摘要： The computer program enables a computer to function as: means for transforming a static call graph into a syntax tree having a binary tree structure; means for transforming a protocol state diagram into a stochastic process algebraic form; means for transforming an activity diagram into a stochastic process algebraic form; means for obtaining a stochastic process algebraic form of each of classes by merging the stochastic process algebraic form of the protocol state diagram, and the stochastic process algebraic form of the activity diagram; and means for obtaining a stochastic algebraic form of a whole system from the syntax tree, and from the stochastic process algebraic forms of the classes.

摘要翻译： 计算机程序使得计算机能够用作：将静态调用图变换成具有二叉树结构的语法树的装置; 将协议状态图转换为随机过程代数形式的手段; 将活动图转换为随机过程代数形式的手段; 用于通过合并协议状态图的随机过程代数形式和活动图的随机过程代数形式来获得每个类的随机过程代数形式的手段; 以及用于从语法树以及从类的随机过程代数形式获得整个系统的随机代数形式的方法。

公开(公告)号：US20070129929A1

公开(公告)日：2007-06-07

申请号：US11292775

申请日：2005-12-02

申请人： Hiroaki Nakamura ,  Naoto Sato ,  Naoshi Tabuchi ,  Hiroshi Ishikawa

发明人： Hiroaki Nakamura ,  Naoto Sato ,  Naoshi Tabuchi ,  Hiroshi Ishikawa

IPC分类号： G06F9/45

CPC分类号： G06F17/5022 ,  G06F9/4843

摘要： A system, such as hardware or software system having a number of modules, is simulated using multi-tasking computer code. Simulation computer code launches tasks simulating system execution, where each task corresponds to a module. Each task requests a processing delay to a common scheduler. Upon the common scheduler receiving a processing delay request, the common scheduler instructs a scheduling method processor to update a task-remaining time for at least one task. The scheduling method processor updates the task-remaining time for at least one task based at least on a scheduling approach. The common scheduler sends a wait request to a preexisting simulation system to delay a module that corresponds to the task by a length of time, based on the task-remaining time for the task and the scheduling approach. The preexisting simulation system delays the module that corresponds to the task by the length of time of the wait request.

摘要翻译： 使用多任务计算机代码来模拟诸如具有多个模块的硬件或软件系统的系统。 模拟计算机代码启动模拟系统执行的任务，其中每个任务对应于一个模块。 每个任务向公共调度程序请求处理延迟。 在公共调度器接收到处理延迟请求时，公共调度器指示调度方法处理器更新至少一个任务的任务剩余时间。 调度方法处理器至少基于调度方法来更新至少一个任务的任务剩余时间。 公共调度器根据任务剩余时间和调度方式，向预先存在的模拟系统发送等待请求，以将与任务相对应的模块延迟一段时间。 预先存在的模拟系统将与任务相对应的模块延迟等待请求的时间长度。

公开(公告)号：US20060119698A1

公开(公告)日：2006-06-08

申请号：US11275013

申请日：2005-12-01

申请人： Naoto Sato

发明人： Naoto Sato

IPC分类号： B41J2/325

CPC分类号： B41J13/02 ,  B41J13/0009

摘要： A recording apparatus includes a recording head for effecting recording on a recording material in accordance with recording information; first feeding means including a grip roller and a pinch roller disposed downstream of the recording head with respect to a recording material feeding direction; second feeding means including a grip roller and a pinch roller disposed upstream of the recording head with respect to the recording material feeding direction, wherein the recording device effects recording on a recording material fed by the first feeding means and the second feeding means, and wherein the first feeding means and the second feeding means have recording material feeding speeds which are different from each other; and a onw-way clutch provided for the grip roller of one of the first and second feeding means which provides a lower recording material feeding speed, the one-way clutch being idly rotatable by a tension of the recording material.

摘要翻译： 记录装置包括：记录头，用于根据记录信息在记录材料上进行记录; 第一进给装置，包括相对于记录材料供给方向设置在记录头下游的夹持辊和夹送辊; 第二进给装置，包括相对于记录材料进给方向设置在记录头的上游的夹持辊和夹送辊，其中记录装置对由第一进给装置和第二进给装置供给的记录材料进行记录，其中 第一进给装置和第二进给装置具有彼此不同的记录材料进给速度; 以及设置在提供较低记录材料供给速度的第一和第二进给装置中的一个的夹持辊上的通向离合器，该单向离合器由于记录材料的张力而空转。

公开(公告)号：US07056621B2

公开(公告)日：2006-06-06

申请号：US10293183

申请日：2002-11-12

申请人： Naoto Sato ,  Nobuyasu Morishita

发明人： Naoto Sato ,  Nobuyasu Morishita

IPC分类号： H01M4/02

CPC分类号： H01M4/32 ,  H01M10/24 ,  H01M10/345 ,  H01M10/4235 ,  H01M2004/021 ,  H01M2004/028 ,  Y02E60/124

摘要： An alkaline storage battery includes a positive electrode, a negative electrode, a separator, and an alkaline electrolyte retained in the positive electrode, the negative electrode, and the separator. The alkaline storage battery further includes a first compound for adsorbing ammonia between the positive electrode and the negative electrode. The positive electrode comprises a second compound for increasing oxygen overvoltage at a time of overcharge. Thus, an alkaline storage battery with particularly little self-discharge can be provided.

公开(公告)号：US07029797B2

公开(公告)日：2006-04-18

申请号：US10150788

申请日：2002-05-17

申请人： Naoto Sato ,  Nobuyasu Morishita

发明人： Naoto Sato ,  Nobuyasu Morishita

IPC分类号： H01M4/74

CPC分类号： H01M4/742 ,  H01M4/74

摘要： An electrode plate for an alkaline storage battery of the present invention includes a conductive core material as a current collector, in which a plurality of through-holes are linearly provided in the core material so as to be parallel to a longitudinal direction of the core material, each through-hole having an aperture area of 10 mm2 or less and at least two pairs of opposite sides parallel to each other.

摘要翻译： 本发明的碱性蓄电池用电极板包括作为集电体的导电芯材，其中多个通孔在芯材中线性地设置成与芯材的长度方向平行 每个通孔具有10mm 2以下的开口面积和至少两对彼此平行的相对侧。

公开(公告)号：US20050261884A1

公开(公告)日：2005-11-24

申请号：US11126614

申请日：2005-05-11

申请人： Masaharu Sakamoto ,  Takaaki Murao ,  Naoto Sato ,  Shin Saito

发明人： Masaharu Sakamoto ,  Takaaki Murao ,  Naoto Sato ,  Shin Saito

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

CPC分类号： G06F17/5022

摘要： To provide a UML design method by which architecture design pursuing optimal design parameters while viewing the overall target system on the UML model can be performed. A UML design method of the present invention is a UML design method for performing design by modeling a target system based on Unified Modeling Language (UML), using a profile storing a design parameter, the method including the steps of: storing a stereotype and a tagged value in the profile as the design parameters; annotating a UML model of the target system with the stored stereotype and tagged value; and associating the added stereotype and tagged value with each class constituting the UML model, and displaying the stereotype and tagged value and the UML model, which are associated, on a graphical user interface.

摘要翻译： 提供一种UML设计方法，通过该方法可以在UML模型上查看整个目标系统的同时追求最佳设计参数的架构设计。 本发明的UML设计方法是一种用于通过使用统一建模语言（UML）对目标系统进行建模来执行设计的UML设计方法，其使用存储设计参数的简档，所述方法包括以下步骤：存储刻板印象和 在配置文件中标记值作为设计参数; 用存储的原型和标记值注释目标系统的UML模型; 并将添加的原型和标记的值与构成UML模型的每个类相关联，并且在图形用户界面上显示相关联的原型和标记值以及UML模型。

公开(公告)号：US08815153B2

公开(公告)日：2014-08-26

申请号：US12146884

申请日：2008-06-26

申请人： Naoto Sato

发明人： Naoto Sato

IPC分类号： G01N21/00

CPC分类号： G01N35/025 ,  G01N2035/0443 ,  Y10T436/2575

摘要： A holding unit pivotally holds a plurality of reagent bottles which store reagents. A reagent case houses the holding unit and has an edge higher than at least the housed holding unit. The reagent cover is a cover for closing the reagent case. A cooling unit is mounted on one outer surface of the reagent case and cools air in the reagent case closed by the reagent cover through one outer surface. A circulating unit is mounted on the holding portion and circulates the cooled air in the reagent case closed by the reagent cover.

摘要翻译： 保持单元枢转地保持存储试剂的多个试剂瓶。 试剂盒容纳保持单元，并且具有高于至少所容纳的保持单元的边缘。 试剂盖是用于封闭试剂盒的盖子。 冷却单元安装在试剂盒的一个外表面上，并通过一个外表面冷却由试剂盖封闭的试剂盒中的空气。 循环单元安装在保持部分上，并将冷却的空气循环到由试剂盖关闭的试剂盒中。

公开(公告)号：US08374900B2

公开(公告)日：2013-02-12

申请号：US13481929

申请日：2012-05-28

申请人： Naoto Sato ,  Hiroaki Nakamura

发明人： Naoto Sato ,  Hiroaki Nakamura

IPC分类号： G06Q10/00

CPC分类号： G06Q10/06

摘要： The reliability of a composite service having service components is determined, where the composite service can fail only where underlying resources fail. The composite service is represented as a plurality of continuous-time Markov chains (CTMC's). Each CTMC corresponds to a resource. A product of the CTMC's is constructed. The product encompasses composite service states. Steady-state probabilities for the product are determined. Each steady-state probability corresponds to a likelihood that a corresponding state will be a steady state. For each state of the composite service, a reward structure is determined. The reward structure corresponds to a likelihood that the state will successfully use the resources without failure. The reward structure is determined for a given state based on the given state's steady-state probability and based on discrete-time Markov chains (DTMC's) corresponding to the service components. The reliability of the composite service is determined based on the reward structure of each state.

公开(公告)号：US20120232941A1

公开(公告)日：2012-09-13

申请号：US13481929

申请日：2012-05-28

申请人： Naoto Sato ,  Hiroaki Nakamura

发明人： Naoto Sato ,  Hiroaki Nakamura

IPC分类号： G06Q10/00

CPC分类号： G06Q10/06

摘要： The reliability of a composite service having service components is determined, where the composite service can fail only where underlying resources fail. The composite service is represented as a plurality of continuous-time Markov chains (CTMC's). Each CTMC corresponds to a resource. A product of the CTMC's is constructed. The product encompasses composite service states. Steady-state probabilities for the product are determined. Each steady-state probability corresponds to a likelihood that a corresponding state will be a steady state. For each state of the composite service, a reward structure is determined. The reward structure corresponds to a likelihood that the state will successfully use the resources without failure. The reward structure is determined for a given state based on the given state's steady-state probability and based on discrete-time Markov chains (DTMC's) corresponding to the service components. The reliability of the composite service is determined based on the reward structure of each state.

公开(公告)号：US08000915B2

公开(公告)日：2011-08-16

申请号：US12426580

申请日：2009-04-20

申请人： Tatsuya Furukawa ,  Naoto Sato

发明人： Tatsuya Furukawa ,  Naoto Sato

IPC分类号： G01R31/36

CPC分类号： G01R31/362

摘要： An apparatus for accurately estimating the SOC of a rechargeable battery installed in a hybrid electric vehicle. A voltage variation measurement unit measures terminal voltage variation amount of the rechargeable battery in a no-battery-current state in which a charge-discharge current does not flow in the rechargeable battery. A polarization voltage calculator calculates a polarization voltage from the measured variation amount. An electromotive force calculator subtracts the polarization voltage from a non-load voltage in a state in which a charge-discharge path is open to calculate the electromotive force of the rechargeable battery. An SOC estimator estimates the SOC of the rechargeable battery based on the electromotive force.

摘要翻译： 一种用于精确估计安装在混合电动车辆中的可再充电电池的SOC的装置。 电压变化测量单元测量充电 - 放电电流在可充电电池中不流动的无电池电流状态下的可再充电电池的端子电压变化量。 极化电压计算器根据测量的变化量计算极化电压。 电动势计算器在充电 - 放电路径打开的状态下从非负载电压中减去极化电压，以计算可再充电电池的电动势。 SOC估计器基于电动势来估计可再充电电池的SOC。