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

1. 发明授权

US09339205B2 Waveform analyzer and waveform analysis method 有权
标题翻译：波形分析仪和波形分析方法
公开(公告)号：US09339205B2
公开(公告)日：2016-05-17
申请号：US13358776
申请日：2012-01-26
申请人： Yutaka Tamiya , Hiroaki Iwashita , Hiroyuki Higuchi
发明人： Yutaka Tamiya , Hiroaki Iwashita , Hiroyuki Higuchi
IPC分类号： A61B5/0452 , A61B5/0464 , G06K9/00 , G01R29/02
CPC分类号： A61B5/04525 , A61B5/0464 , G01R29/02 , G06K9/00536
摘要： A waveform analyzer includes a converter which converts a logical function, where a pair of data including a time and a value at the time is variable, created according to data sets of a time and a value of a signal waveform at the time into a second function expressed by a binary decision diagram, an acquisition unit which obtains for each of characteristic points of a reference waveform a condition representative of constraints on a relationship between time information specified by the points and a value corresponding to the time information in the signal waveform according to a value of the reference waveform at the points and a specified tolerance given to a value of the reference waveform, and a searching unit which applies the condition for each of the points to the second function to obtain a time range which meets the entirety of the conditions.
摘要翻译：波形分析器包括转换器，其转换逻辑功能，其中包括时间和时间上的值的一对数据是可变的，根据时间的数据集和当时的信号波形的值创建为第二函数由二进制判定图表示，获取单元，其针对参考波形的每个特征点获得表示由点指定的时间信息与对应于信号波形中的时间信息的值之间的关系的条件的条件，相对于参考波形的参考波形的值和对参考波形的值给出的规定的公差，以及搜索单元，其将每个点的条件应用于第二函数，以获得满足整个条件。

2. 发明申请

US20120239328A1 WAVEFORM ANALYZER AND WAVEFORM ANALYSIS METHOD 有权
标题翻译：波形分析仪和波形分析方法
公开(公告)号：US20120239328A1
公开(公告)日：2012-09-20
申请号：US13358776
申请日：2012-01-26
申请人： Yutaka TAMIYA , Hiroaki Iwashita , Hiroyuki Higuchi
发明人： Yutaka TAMIYA , Hiroaki Iwashita , Hiroyuki Higuchi
IPC分类号： G06F19/00 , G01R29/00
CPC分类号： A61B5/04525 , A61B5/0464 , G01R29/02 , G06K9/00536
摘要： A waveform analyzer includes a converter which converts a logical function, where a pair of data including a time and a value at the time is variable, created according to data sets of a time and a value of a signal waveform at the time into a second function expressed by a binary decision diagram, an acquisition unit which obtains for each of characteristic points of a reference waveform a condition representative of constraints on a relationship between time information specified by the points and a value corresponding to the time information in the signal waveform according to a value of the reference waveform at the points and a specified tolerance given to a value of the reference waveform, and a searching unit which applies the condition for each of the points to the second function to obtain a time range which meets the entirety of the conditions.
摘要翻译：波形分析器包括转换器，其转换逻辑功能，其中包括时间和时间上的值的一对数据是可变的，根据时间的数据集和当时的信号波形的值创建为第二函数由二进制判定图表示，获取单元，其针对参考波形的每个特征点获得表示由点指定的时间信息与对应于信号波形中的时间信息的值之间的关系的条件的条件，相对于参考波形的参考波形的值和对参考波形的值给出的规定的公差，以及搜索单元，其将每个点的条件应用于第二函数，以获得满足整个条件。

3. 发明授权

US08525473B2 Charging system for hybrid and electric vehicles including an authentication management device arranged in the household 有权
标题翻译：混合动力和电动车辆的充电系统，包括安装在家庭中的认证管理装置
公开(公告)号：US08525473B2
公开(公告)日：2013-09-03
申请号：US12090277
申请日：2007-07-11
申请人： Tomomi Shimizu , Yoshiyuki Mizuno , Kenji Tanaka , Mikihisa Araki , Hiroaki Iwashita , Keiji Yamamoto , Masayuki Yurimoto , Jun Shionoya
发明人： Tomomi Shimizu , Yoshiyuki Mizuno , Kenji Tanaka , Mikihisa Araki , Hiroaki Iwashita , Keiji Yamamoto , Masayuki Yurimoto , Jun Shionoya
IPC分类号： H02J7/00
CPC分类号： H01M10/44 , B60L11/1816 , B60L11/182 , B60L11/1838 , B60L11/1846 , B60L2270/34 , B60L2270/36 , H02J7/02 , H02J7/025 , H02J7/027 , H02J50/10 , H02J50/80 , Y02T10/7005 , Y02T10/7072 , Y02T90/121 , Y02T90/122 , Y02T90/128 , Y02T90/14 , Y02T90/16 , Y02T90/163 , Y02T90/169 , Y04S30/14
摘要： A charging system that significantly increases the anti-theft capability of a charging subject. The charging subject includes a rechargeable battery. The rechargeable battery of the charging subject is connected to a power supply of a house by power lines. An authentication management device performs authentication of the charging subject by communicating with the charging subject through the power lines and permits charging of the rechargeable battery with the power supply of the house only when the authentication is established.
摘要翻译：一种充电系统，显着提高充电主体的防盗能力。充电对象包括可充电电池。充电对象的可充电电池通过电力线连接到房屋的电源。认证管理装置通过电力线与充电对象进行通信来进行充电对象的认证，并且只有在建立认证时才允许充电电池与房屋的电源充电。

4. 发明申请

US20090278492A1 CHARGING SYSTEM 有权
标题翻译：充电系统
公开(公告)号：US20090278492A1
公开(公告)日：2009-11-12
申请号：US12090277
申请日：2007-07-11
申请人： Tomomi Shimizu , Yoshiyuki Mizuno , Kenji Tanaka , Mikihisa Araki , Hiroaki Iwashita , Keiji Yamamoto , Masayuki Yurimoto , Jun Shionoya
发明人： Tomomi Shimizu , Yoshiyuki Mizuno , Kenji Tanaka , Mikihisa Araki , Hiroaki Iwashita , Keiji Yamamoto , Masayuki Yurimoto , Jun Shionoya
IPC分类号： H02J7/00
CPC分类号： H01M10/44 , B60L11/1816 , B60L11/182 , B60L11/1838 , B60L11/1846 , B60L2270/34 , B60L2270/36 , H02J7/02 , H02J7/025 , H02J7/027 , H02J50/10 , H02J50/80 , Y02T10/7005 , Y02T10/7072 , Y02T90/121 , Y02T90/122 , Y02T90/128 , Y02T90/14 , Y02T90/16 , Y02T90/163 , Y02T90/169 , Y04S30/14
摘要： A charging system that significantly increases the anti-theft capability of a charging subject. The charging subject includes a rechargeable battery. The rechargeable battery of the charging subject is connected to a power supply of a house by power lines. An authentication management device performs authentication of the charging subject by communicating with the charging subject through the power lines and permits charging of the rechargeable battery with the power supply of the house only when the authentication is established.
摘要翻译：一种充电系统，显着提高充电主体的防盗能力。充电对象包括可充电电池。充电对象的可充电电池通过电力线连接到房屋的电源。认证管理装置通过电力线与充电对象进行通信来进行充电对象的认证，并且只有在建立认证时才允许充电电池与房屋的电源充电。

5. 发明申请

US20070168894A1 Method and device for supporting verification, and computer product 失效
标题翻译：支持验证的方法和设备，以及计算机产品
公开(公告)号：US20070168894A1
公开(公告)日：2007-07-19
申请号：US11520940
申请日：2006-09-14
申请人： Hiroaki Iwashita
发明人： Hiroaki Iwashita
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G01R31/31703 , G01R31/318342 , G01R31/318357
摘要： In a verification support device, a logical expression expressing an operation of a pattern generator can be acquired. The pattern generator includes a basic pattern generator, priority pattern generators, priority pattern selection conditions, and selector circuits. The selector circuits connect the basic pattern generator, the priority pattern generators, and the priority pattern selection conditions. Output of the basic pattern generator and outputs of the priority pattern generators are respectively connected to a signal input of a corresponding selector circuit. Outputs of the priority pattern selection conditions are connected to an ON/OFF control input of each selector circuit. An n-th selector circuit, among all selector circuits, is connected to an input terminal of a verification subject.
摘要翻译：在验证支持设备中，可以获取表达模式生成器的操作的逻辑表达式。模式发生器包括基本模式生成器，优先模式生成器，优先模式选择条件和选择器电路。选择器电路连接基本模式发生器，优先模式发生器和优先模式选择条件。基本模式发生器的输出和优先模式发生器的输出分别连接到相应选择器电路的信号输入端。优先模式选择条件的输出连接到每个选择器电路的ON / OFF控制输入。所有选择电路中的第n选择器电路连接到验证对象的输入端。

6. 发明授权

US5708594A Automatic instruction string generation method and device for verifying processor operation model and logic 失效
标题翻译：用于验证处理器操作模型和逻辑的自动指令字符串生成方法和装置
公开(公告)号：US5708594A
公开(公告)日：1998-01-13
申请号：US433735
申请日：1995-05-03
申请人： Hiroaki Iwashita , Satoshi Kowatari , Tsuneo Nakata , Fumiyasu Hirose
发明人： Hiroaki Iwashita , Satoshi Kowatari , Tsuneo Nakata , Fumiyasu Hirose
IPC分类号： G06F9/38 , G06F11/22 , G06F11/267 , G06F12/00
CPC分类号： G06F11/2236
摘要： First, an initial operation model M.sub.0 of a pipeline is configured according to the pipeline configuration of a processor and the specification information about an instruction executed by the processor. Then, the number of the states of the initial operation model M.sub.0 is minimized to configure an operation model M. Based on the operation model M and a test state set H, listed are test instruction strings for the process in which the state of the operation model M indicates a transition from a predetermined input state to any of the test states contained in the test state set H without an occurrence of a conflict in the operation model M. A next time state, reached after the state of the operation model M has reached the test state of the test instruction string, is calculated and the next time state is input as a new input state to a test instruction string listing unit.
摘要翻译：首先，根据处理器的流水线配置和关于由处理器执行的指令的规范信息来配置流水线的初始操作模型M0。然后，将初始运行模型M0的状态数最小化以配置运算模型M.根据运算模型M和测试状态集合H列出的是用于运算状态的处理的测试指令串模型M表示从预定输入状态到包含在测试状态集合H中的任何测试状态的转换，而不会在操作模型M中发生冲突。在操作模型M的状态之后到达的下一个时间状态达到测试指令串的测试状态，并且将下一时间状态作为新的输入状态输入到测试指令串列表单元。

7. 发明授权

US08532576B2 System for controlling wireless communication between portable device and communication controller 有权
标题翻译：用于控制便携式设备和通信控制器之间的无线通信的系统
公开(公告)号：US08532576B2
公开(公告)日：2013-09-10
申请号：US12061277
申请日：2008-04-02
申请人： Daisuke Kawamura , Yoshiyuki Mizuno , Hidenobu Hanaki , Hiroaki Iwashita
发明人： Daisuke Kawamura , Yoshiyuki Mizuno , Hidenobu Hanaki , Hiroaki Iwashita
IPC分类号： H04B1/00
CPC分类号： G07C9/00309 , B60R25/24 , G07C2009/00373 , G07C2009/00793 , G07C2209/61
摘要： A portable device for preventing communication errors caused by disturbance such as noise. The portable device receives a first request signal from a communication controller and transmits a first response signal corresponding to the first request signal. A transmitter transmits the first response signal with a selected one of a plurality of frequencies. A transmission control unit transmits the first response signal from the transmitter with the one of the plurality of frequencies. The portable device further receives a second request signal from the communication control unit, which receives the first response signal. When the second request signal cannot be received, the portable device retransmits the first response signal from the transmitter with a frequency that differs from the one of the plurality of frequencies.
摘要翻译：一种便携式设备，用于防止诸如噪声等干扰引起的通信错误。便携式设备从通信控制器接收第一请求信号并发送与第一请求信号对应的第一响应信号。发射机以多个频率中选择的一个发射第一响应信号。发送控制单元利用多个频率中的一个发送来自发送机的第一响应信号。便携式设备还从通信控制单元接收第一请求信号，该第一请求信号接收第一响应信号。当第二请求信号不能被接收时，便携式设备以与多个频率中的一个频率不同的频率从发射机重发第一响应信号。

8. 发明授权

US08407636B2 Clock domain crossing verification support 有权
标题翻译：时钟域交叉验证支持
公开(公告)号：US08407636B2
公开(公告)日：2013-03-26
申请号：US12962785
申请日：2010-12-08
申请人： Hiroaki Iwashita
发明人： Hiroaki Iwashita
IPC分类号： G06F17/50 , G06F9/455
CPC分类号： G06F17/5022 , G06F2217/62
摘要： A computer-readable, non-transitory medium stores therein a verification support program that causes a computer to execute a procedure. The procedure includes first detecting a state change in a circuit and occurring when input data is given to the circuit. The procedure also includes second detecting a state change in the circuit and occurring when the input data partially altered is given to the circuit. The procedure further includes determining whether a difference exists between a series of state changes detected at the first detecting and a series of state changes detected at the second detecting. The procedure also includes outputting a determination result obtained at the determining.
摘要翻译：计算机可读的非暂时性介质中存储有使计算机执行过程的验证支持程序。该过程包括首先检测电路中的状态变化并且当输入数据被提供给电路时发生。该过程还包括第二检测电路中的状态变化，并且当将输入数据部分地改变为电路时发生。该过程还包括确定在第一检测期间检测到的一系列状态变化与在第二检测时检测到的一系列状态变化之间是否存在差异。该过程还包括输出在确定时获得的确定结果。

9. 发明授权

US08275130B2 System and method for registering secret key 有权
标题翻译：用于注册密钥的系统和方法
公开(公告)号：US08275130B2
公开(公告)日：2012-09-25
申请号：US12613149
申请日：2009-11-05
申请人： Daisuke Kawamura , Hiroaki Iwashita , Kouhei Kishimoto , Yuuki Nawa , Yoshiyuki Mizuno , Hiromitsu Mizuno , Shinichi Koga , Kota Nishida , Tomohiro Ito , Hideki Kawai
发明人： Daisuke Kawamura , Hiroaki Iwashita , Kouhei Kishimoto , Yuuki Nawa , Yoshiyuki Mizuno , Hiromitsu Mizuno , Shinichi Koga , Kota Nishida , Tomohiro Ito , Hideki Kawai
IPC分类号： H04L9/00
CPC分类号： H04L9/0844 , H04L67/12 , H04L2209/80 , H04L2209/84 , H04W12/04 , H04W12/06
摘要： A secret key registration system which registers a secret key in a portable key device and vehicle. A first transformation equation is stored in a writer and the vehicle. A second transformation equation is stored in the portable key device and the vehicle. The writer transmits a registration code to the portable key device and generates intermediate data with the first transformation equation of the writer. The intermediate data is transmitted to the portable key device, which generates the secret key from the intermediate data with the second transformation equation. The portable key device transmits the registration code to the vehicle. The vehicle generates intermediate data from the registration code with the first transformation equation of the vehicle, and then generates the secret key from the intermediate data with the second transformation equation.
摘要翻译：秘密密钥登记系统，其将密钥登记在便携式密钥装置和车辆中。第一变换方程存储在写入器和车辆中。第二变换方程式存储在便携式钥匙装置和车辆中。作者将注册码发送到便携式钥匙装置，并用作者的第一变换方程产生中间数据。将中间数据发送到便携式密钥装置，便携式密钥装置利用第二变换方程从中间数据生成秘密密钥。便携式钥匙装置向车辆发送登记码。车辆使用车辆的第一变换方程从登记码生成中间数据，然后利用第二变换方程从中间数据生成秘密密钥。

10. 发明申请

US20120210282A1 VERIFICATION SUPPORT APPARATUS, VERIFYING APPARATUS, COMPUTER PRODUCT, VERIFICATION SUPPORT METHOD, AND VERIFYING METHOD 有权
标题翻译：验证支持设备，验证设备，计算机产品，验证支持方法和验证方法
公开(公告)号：US20120210282A1
公开(公告)日：2012-08-16
申请号：US13298354
申请日：2011-11-17
申请人： Hiroaki Iwashita
发明人： Hiroaki Iwashita
IPC分类号： G06F9/455 , G06F17/50
CPC分类号： G06F17/5022 , G06F2217/62
摘要： A verification support apparatus includes a detecting unit that detects an inconsistency between a simulation result at an observation point in a circuit-under-test and an expected value; a setting unit that sets a portion of output values to logic values different from those of the simulation result when the detecting unit detects the inconsistency, wherein the output values are random values output from elements that receive a signal in a second clock domain that receives the signal from a first clock domain asynchronously; a comparing unit that compares the expected value and a simulation result at the observation point after the setting by the setting unit; and an identifying unit that identifies whether the portion of the output values are a cause of the inconsistency, based on a result of comparison by the comparing unit.
摘要翻译：验证支持装置包括：检测单元，其检测被测电路中的观测点的模拟结果与预期值之间的不一致; 设置单元，当检测单元检测到不一致时，将输出值的一部分设置为与模拟结果不同的逻辑值，其中，输出值是从接收第二时钟域中的信号的单元输出的随机值来自第一时钟域的信号异步; 比较单元，其将设定单元设定后的观察点的期望值和模拟结果进行比较; 以及识别单元，其基于比较单元的比较结果来识别输出值的部分是否是不一致的原因。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式