公开(公告)号：US08898670B2

公开(公告)日：2014-11-25

申请号：US13332887

申请日：2011-12-21

申请人： Akio Matsuda ,  Ryosuke Oishi

发明人： Akio Matsuda ,  Ryosuke Oishi

IPC分类号： G06F9/46 ,  G06F1/32 ,  G06F9/48

CPC分类号： G06F9/4893 ,  G06F1/3206 ,  Y02D10/24

摘要： An information processing apparatus includes a first detector that detects a scheduled starting time of an event to be corrected and executed at the current time or thereafter; a second detector that detects in processing contents differing from that of the event detected by the first detector, a scheduled starting time of each event to be executed at the current time or thereafter; a calculator that calculates the difference between the scheduled starting time detected by the first detector and each scheduled starting time detected by the second detector; a determiner that determines a target event for the event to be corrected, based on the calculated differences; and a corrector that corrects the scheduled starting time of the event to be corrected such that an interval becomes short between the scheduled starting time of the event to be corrected and the scheduled starting time of the target event.

摘要翻译： 信息处理设备包括：第一检测器，其检测在当前时间或之后要被校正和执行的事件的预定开始时间; 处理与第一检测器检测到的事件不同的内容的第二检测器，在当前时间或之后执行的每个事件的调度开始时间; 计算器，其计算由所述第一检测器检测到的所述预定开始时间与由所述第二检测器检测到的每个调度的开始时间之间的差; 基于所计算的差异来确定要校正的事件的目标事件的确定器; 以及校正器，其校正要校正的事件的预定开始时间，使得在待校正的事件的调度的开始时间与目标事件的调度的开始时间之间的间隔变短。

公开(公告)号：US08099697B2

公开(公告)日：2012-01-17

申请号：US12484762

申请日：2009-06-15

申请人： Akio Matsuda ,  Ryosuke Oishi

发明人： Akio Matsuda ,  Ryosuke Oishi

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

CPC分类号： G06F17/5027

摘要： A computer-readable recording medium stores therein a verification support program that causes a computer to execute receiving a hardware description of a combinational circuit to be verified; extracting, from the hardware description, a conditional branch description expressing conditional branch processing; identifying, from among conditional branch descriptions extracted at the extracting of a conditional branch description and based on a description sequence in the hardware description, a combination of conditional branch descriptions having a hierarchical relation; extracting, from among combinations of conditional branch descriptions identified at the identifying, a combination having a potential to satisfy a specified condition; creating a simulation program that causes the specified condition for the conditional branch descriptions included in the combination extracted at the extracting of the combination to be satisfied; and outputting, as assertion information of the combinational circuit, the simulation program created for each combination at the creating.

摘要翻译： 计算机可读记录介质中存储有使计算机执行接收要验证的组合电路的硬件描述的验证支持程序; 从硬件描述中提取表示条件分支处理的条件分支描述; 从提取条件分支描述中提取的条件分支描述中，根据硬件描述中的描述序列识别具有分层关系的条件分支描述的组合; 从识别中识别的条件分支描述的组合中提取具有满足指定条件的潜力的组合; 创建一个模拟程序，导致包含在组合提取中提取的组合中的条件分支描述的指定条件得到满足; 并且作为组合电路的断言信息输出在创建时为每个组合创建的模拟程序。

公开(公告)号：US08021255B2

公开(公告)日：2011-09-20

申请号：US12095373

申请日：2006-12-14

申请人： Akio Matsuda

发明人： Akio Matsuda

IPC分类号： F16H7/06

CPC分类号： F16H55/30 ,  F16H7/06

摘要： The present invention is directed to decreasing noise from the onset of engagement with the sprocket teeth till seating thereon and also to reducing wear to the silent chain and the sprocket. A face (a) of a sprocket tooth, which contacts the chain at the onset of engagement, has a tooth profile that is an envelope (1) of trajectories described by the inner flank surface (23) of the link plate (2) when the chain moves linearly toward the sprocket (S) and engages with the sprocket (S) without causing a chordal action. A crest (b) of the sprocket tooth, which contacts the chain (S) at the time of seating on the sprocket tooth, has a tooth profile that is an envelope (m) of trajectories described by the crotch (25) of the link plate (2) when the link plate (2) rotates around the connecting pin during the wrapping motion of the chain around the sprocket (S). A connecting surface (c) that connects the face (a) of the sprocket tooth with the crest (b) is formed of a curved surface which is inscribed in the envelope (1) of the trajectories during the linear motion of the link plate and the envelope (m) of the trajectories during the rotational motion of the link plate.

摘要翻译： 本发明旨在降低与链轮齿啮合开始的噪音，直到座位在其上，并且减少对无声链和链轮的磨损。 在接合开始时与链条接触的链轮齿的表面（a）具有齿形轮廓，该齿形轮廓是由连杆板（2）的内侧面（23）描述的轨迹的包络线（1） 链条向链轮（S）线性移动并与链轮（S）接合而不引起弦动作。 在链轮齿座上与链条（S）接触的链轮齿的波峰（b）具有齿形，其是由连杆的裆部（25）描述的轨迹的包络线（m） 在链条围绕链轮（S）的缠绕运动期间，连接板（2）围绕连接销旋转时的板（2）。 将链轮齿的表面（a）与波峰（b）连接的连接表面（c）由在链板的直线运动期间内接在轨迹的包络线（1）中的曲面形成， 在链板的旋转运动期间的轨迹的包络线（m）。

公开(公告)号：US07904843B2

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

申请号：US11543025

申请日：2006-10-05

申请人： Akio Matsuda ,  Qiang Zhu ,  Ryosuke Oishi

发明人： Akio Matsuda ,  Qiang Zhu ,  Ryosuke Oishi

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

CPC分类号： G06F17/504

摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.

摘要翻译： 一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括 操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。

公开(公告)号：US07895553B2

公开(公告)日：2011-02-22

申请号：US12081417

申请日：2008-04-15

申请人： Akio Matsuda ,  Ryosuke Oishi

发明人： Akio Matsuda ,  Ryosuke Oishi

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

CPC分类号： G06F11/261

摘要： A verification support apparatus that verifies operation of a circuit includes a receiving unit, a detecting unit, and a determining unit. The receiving unit receives implementation description data of the circuit. Based on the implementation description data, the detecting unit detects a functional block that is in the circuit and includes an external input terminal that receives an external input signal. Based on a detection result of the detecting unit, the determining unit determines the functional block to verify an abnormal-event operation. The abnormal-event operation is an operation that differs from an operation implementing a function of the circuit.

摘要翻译： 验证电路的操作的验证支持装置包括接收单元，检测单元和确定单元。 接收单元接收电路的实现描述数据。 基于实现描述数据，检测单元检测电路中的功能块，并且包括接收外部输入信号的外部输入端子。 基于检测单元的检测结果，确定单元确定功能块以验证异常事件操作。 异常事件操作是与实现电路功能的操作不同的操作。

公开(公告)号：US07831957B2

公开(公告)日：2010-11-09

申请号：US10987291

申请日：2004-11-15

申请人： Akio Matsuda ,  Quang Zhu

发明人： Akio Matsuda ,  Quang Zhu

IPC分类号： G06F9/45

CPC分类号： G06F8/24 ,  G06F8/10

摘要： A relationship acquisition unit acquires the relationship between a plurality of sequences to be implemented to realize the functions required for a system to be designed and an object to and from which the sequences deliver and receive messages. A grouping unit groups the sequences which deliver and receive messages to and from the same object to make a group of sequences associated with the object. A duplication dissolution unit dissolves, when the same sequence belongs to different groups of sequences in duplication, the duplication of the sequence based on the relationship, between the sequence and other sequences which deliver and receive messages to and from the object to and from which the sequence delivers and receives messages, of the implementation order of the object. An output unit associates each group and outputs the sequences belonging to the group of sequences associated with the functional blocks.

摘要翻译： 关系获取单元获取要实现的多个序列之间的关系，以实现要设计的系统所需的功能以及序列发送和接收消息的对象。 分组单元将递送和从相同对象接收消息的序列组合以制成与对象相关联的一组序列。 当相同的序列属于不同的重复序列组时，复制溶解单元解决了基于序列与序列之间的关系的顺序和其他序列之间的复制，所述序列与从其返回的对象之间传递和接收消息 序列传递和接收对象的实现顺序的消息。 输出单元关联每个组并输出属于与功能块相关联的序列组的序列。

公开(公告)号：US20070105198A1

公开(公告)日：2007-05-10

申请号：US11650501

申请日：2007-01-08

申请人： Akio Matsuda ,  Goichi Honda ,  Shuji Muramatsu ,  Yukiko Nagano

发明人： Akio Matsuda ,  Goichi Honda ,  Shuji Muramatsu ,  Yukiko Nagano

IPC分类号： G06F19/00 ,  C07H21/04 ,  C12P21/06 ,  C07K14/475

CPC分类号： C07K14/4705 ,  A61K39/395 ,  C07K14/4702 ,  C07K16/18 ,  C12N2503/02 ,  G01N33/5011 ,  G01N33/57484 ,  G01N33/6872 ,  G01N33/6893 ,  G01N2500/00 ,  G01N2800/24 ,  Y02A90/26

摘要： Provided are proteins having NF-κB activity, which are used for diagnosing, treating or preventing diseases associated with the excessive activation or inhibition of NF-κB. Using plasmid pNFκB-Luc, cDNA encoding a protein capable of activating NF-κB has been cloned from a cDNA library constructed from human lung fibroblasts, and the DNA sequence and the deduced amino acid sequence determined. The protein, the DNA encoding the protein, a recombinant vector containing the DNA, and a transforrnant containing the recombinant vector are useful for screening a substance inhibiting or promoting NF-κB activation.

摘要翻译： 提供了具有NF-κB活性的蛋白质，其用于诊断，治疗或预防与过度激活或抑制NF-κB相关的疾病。 使用质粒pNFkappaB-Luc，从人肺成纤维细胞构建的cDNA文库克隆编码能够激活NF-κB的蛋白质的cDNA，并测定DNA序列和推定的氨基酸序列。 蛋白质，编码蛋白质的DNA，含有DNA的重组载体和含有该重组载体的转化子可用于筛选抑制或促进NF-κB活化的物质。

公开(公告)号：US06417415B1

公开(公告)日：2002-07-09

申请号：US09539717

申请日：2000-03-31

申请人： Hiroshi Sakaguchi ,  Tomokazu Yoshimura ,  Rumiana Tzoneva ,  Takashi Masuda ,  Takahiro Sato ,  Akio Matsuda

发明人： Hiroshi Sakaguchi ,  Tomokazu Yoshimura ,  Rumiana Tzoneva ,  Takashi Masuda ,  Takahiro Sato ,  Akio Matsuda

IPC分类号： C07C720

CPC分类号： C07C9/00 ,  Y10S585/932

摘要： Disclosed are a method of solidifying a low-boiling-point hydrocarbon, wherein the low-boiling-point hydrocarbon (including hydrocarbons which are gaseous at ordinary temperature) is brought into contact with a metal salt of an aliphatic carboxylic acid, and if necessary a high-boiling-point hydrocarbon, suspended in water, to form a solid aggregate substance, a method of handling the low-boiling-point hydrocarbon, wherein the solid aggregate substance is stored or transported, and a method of regenerating the low-boiling-point hydrocarbon, wherein the solid aggregate substance is decomposed by opening or heating, to obtain the low-boiling-point hydrocarbon. According to the methods, a wide variety of gaseous and highly volatile liquid hydrocarbons can be safely and easily solidified without using harmful reagent, and during storage, transportation, etc., the gaseous hydrocarbons and highly volatile liquids can be handled as a solid material. Further, by releasing under atmospheric pressure at room temperature or by heating if necessary, the original hydrocarbons can be easily obtained.

摘要翻译： 公开了一种固化低沸点烃的方法，其中低沸点烃（包括常温下为气态的烃）与脂族羧酸的金属盐接触，如果需要， 悬浮在水中的高沸点烃形成固体骨料物质，其中贮存或运输固体骨料物质的低沸点烃的处理方法，以及低沸点烃的再生方法， 其中固体骨料通过开放或加热分解，得到低沸点烃。 根据该方法，可以在不使用有害试剂的情况下安全且容易地固化各种气态和高挥发性液体烃，并且在储存，运输等期间，气态烃和高挥发性液体可以作为固体材料处理。 此外，通过在常压下在室温下放出或者根据需要进行加热，可以容易地获得原始的碳氢化合物。

公开(公告)号：US06188661B1

公开(公告)日：2001-02-13

申请号：US08718361

申请日：1997-01-06

申请人： Shizuo Arai ,  Yoshitaka Aoki ,  Takakiyo Kanazawa ,  Akio Matsuda ,  Kiyoshi Ohmori ,  Sunao Aoki ,  Takatsugu Funawatari

发明人： Shizuo Arai ,  Yoshitaka Aoki ,  Takakiyo Kanazawa ,  Akio Matsuda ,  Kiyoshi Ohmori ,  Sunao Aoki ,  Takatsugu Funawatari

IPC分类号： G11B3302

CPC分类号： G11B17/0436 ,  G11B7/08582 ,  G11B7/0932 ,  G11B7/0933 ,  G11B7/0935 ,  G11B7/22 ,  G11B11/10558 ,  G11B11/10571 ,  G11B11/10576 ,  G11B17/0408 ,  G11B21/083 ,  G11B21/12

摘要： An optical pickup device capable of irradiating laser beams on a signal recording surface of a magneto-optical disk is provided. The optical pickup device so provided includes a separate optical system whose moveable portion is reduced in weight in order to cope with high-speed access.

摘要翻译： 提供一种能够将激光照射在磁光盘的信号记录面上的光拾取装置。 所提供的光学拾取装置包括一个单独的光学系统，其可移动部分的重量减轻以便应对高速存取。

公开(公告)号：US06168543A

公开(公告)日：2001-01-02

申请号：US09203021

申请日：1998-12-01

申请人： Akio Matsuda

发明人： Akio Matsuda

IPC分类号： F16H706

CPC分类号： F16H7/06 ,  F16G13/04 ,  F16H57/0006 ,  F16H2055/306

摘要： A silent chain and sprocket system for power transmission that includes a toothed sprocket and a chain with multiple links. At each point of engagement between the sprocket teeth and the chain link teeth, the sprocket teeth have a curved surface that makes contact with a curved surface on the chain link teeth.

摘要翻译： 用于动力传递的无声链和链轮系统，包括齿形链轮和具有多个连杆的链条。 在链轮齿和链节齿之间的每个接合点处，链轮齿具有与链节齿上的弯曲表面接触的弯曲表面。