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

1. 发明授权

US08842566B2 Transmission rate estimation method, transmission rate estimation apparatus, transmission rate estimation system and recording medium of control program of transmission rate estimation apparatus 有权
标题翻译：传输速率估计方法，传输速率估计装置，传输速率估计系统和传输速率估计装置的控制程序的记录介质
公开(公告)号：US08842566B2
公开(公告)日：2014-09-23
申请号：US13580420
申请日：2011-04-15
申请人： Tsuneo Nakata
发明人： Tsuneo Nakata
IPC分类号： G01R31/08 , G06F11/00 , G08C15/00 , H04J1/16 , H04J3/14 , H04L1/00 , H04L12/26
CPC分类号： H04L43/0894 , H04L43/10
摘要： In order to enable to judge validity of a measurement result of a transmission rate, a speed estimation method transmits a data packet and probe packets before and after the data packet to a measured section which is a target for measurement of a transmission rate, estimates a transmission rate of a measured section based on a first receiving interval which is a receiving interval between the probe packets transmitted through the measured section just before and immediately after the data packet and a data volume of the data packet, and determines validity of a transmission rate by comparing a second receiving interval which is a receiving interval between the probe packets which have passed the measured section continuously in a state that a data packet does not exist in between them in a measured section and a first receiving interval.
摘要翻译：为了能够判断传输速率的测量结果的有效性，速度估计方法将数据分组之前和之后的数据分组和探测分组发送到作为传输速率测量目标的测量部分，估计基于作为在数据包之前和之后经过测量部分发送的探测包之间的接收间隔的第一接收间隔和数据包的数据卷的测量部分的传输速率，并且确定传输速率的有效性通过比较在测量部分中的数据分组在它们之间不存在的状态下连续通过测量部分的探测分组之间的接收间隔的第二接收间隔和第一接收间隔。

2. 发明授权

US07984403B2 Verification supporting system 有权
标题翻译：验证支持系统
公开(公告)号：US07984403B2
公开(公告)日：2011-07-19
申请号：US12359105
申请日：2009-01-23
申请人： Ryosuke Oishi , Akio Matsuda , Koichiro Takayama , Tsuneo Nakata
发明人： Ryosuke Oishi , Akio Matsuda , Koichiro Takayama , Tsuneo Nakata
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F17/504
摘要： A verification target register to be verified is specified from a configuration of a verification target circuit, and patterns requiring verification are extracted as a coverage standard with regard to the specified verification target register. When the patterns are extracted, a DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit, and used to decide two coverage standards, a matrix coverage standard and an implementation coverage standard.
摘要翻译：从验证目标电路的配置指定要验证的验证目标寄存器，并且提取需要验证的模式作为关于指定验证目标寄存器的覆盖标准。当提取模式时，准备一个DIRW矩阵，以指示包含在验证目标电路中的寄存器中的四个状态中声明，初始化，读取和写入中的可能发生的状态转换，并用于确定两个覆盖标准，矩阵覆盖标准和实施覆盖标准。

3. 发明授权

US07965648B2 Speed calculation system 有权
标题翻译：速度计算系统
公开(公告)号：US07965648B2
公开(公告)日：2011-06-21
申请号：US10585407
申请日：2005-01-13
申请人： Tsuneo Nakata
发明人： Tsuneo Nakata
IPC分类号： H04J1/16 , H04J3/16 , H04L12/28
CPC分类号： H04L45/00 , H04L43/0888 , H04L43/10 , H04L43/50 , H04L45/22
摘要： In the prior art, in a case of measuring a speed of a narrow-bandwidth path of which the state fluctuates dynamically, a serious influence is placed upon a speed calculation with a sufficient precision, and a performance.Embedding probe information into a data packet, being actual data, to transfer two at a time allows the data packet having the probe information embedded to act as a probe packet of the packet pair technique as well. Further, in a system including a plurality of the paths, the data packets are distributed to the path two packets by two packets.
摘要翻译：在现有技术中，在测量状态动态变动的窄带宽路径的速度的情况下，以足够的精度和性能对速度计算进行严重的影响。将探测信息嵌入作为实际数据的数据分组中，一次传送两个数据分组允许嵌入有探测信息的数据分组充当分组对技术的探测分组。此外，在包括多个路径的系统中，数据分组被两个分组分发给路径两个分组。

4. 发明授权

US07904085B2 Mobile device and radio interface arrangement method 有权
标题翻译：移动设备和无线接口布置方法
公开(公告)号：US07904085B2
公开(公告)日：2011-03-08
申请号：US10590438
申请日：2005-02-21
申请人： Tsuneo Nakata , Akira Arutaki , Makoto Nishio
发明人： Tsuneo Nakata , Akira Arutaki , Makoto Nishio
IPC分类号： H04W36/00 , H04B7/08
CPC分类号： H04W36/04 , H04B7/08 , H04W36/32
摘要： A transmitter/receiver 101 on a mobile body 10 utilizes a plurality of antennas 100. It is assumed that a plurality of the antennas 100 are distributed and arranged in a moving direction of the mobile body, and the antennas at both ends are away from each other at an extent that a distance between the antennas is not negligible as compared with an interval of the base station. A radio wave from the base station 102-1 is stronger in intensity in 100-1 than in the center, and the radio wave from the base station 102-2 is stronger in intensity in 100-2 than in the center, respectively, whereby the communication stabilization effect, which is larger as compared with the case that the antennas are locally located in the center, is expected. This enables the interval of the base station, which is broader than the conventional one, to be employed, yet both of a speed and a frequency of a hand-over process to be lowered, and in addition hereto, the bandwidth utilization efficiency, which is higher as compared with that of the conventional example, to be realized.
摘要翻译：移动体10上的发射机/接收机101利用多个天线100.假设多个天线100沿着移动体的移动方向分布和布置，并且两端的天线远离每个天线另一方面，与基站的间隔相比，天线之间的距离不可忽略。来自基站102-1的无线电波在100-1中的强度比在中心强，而来自基站102-2的无线电波在100-2中的强度分别比中心强，因此与天线本地位于中心的情况相比，预期通信稳定效果更大。这使得能够采用比传统基站更宽的基站的间隔，但是转移过程的速度和频率都降低，另外还有带宽利用效率，其中要比实施例更高。

5. 发明申请

US20100332195A1 MULTI-PURPOSE OPTIMIZATION DESIGN SUPPORT APPARATUS AND METHOD, AND RECORDING MEDIUM STORING PROGRAM 审中-公开
标题翻译：多用途优化设计支持设备和方法以及记录中型存储程序
公开(公告)号：US20100332195A1
公开(公告)日：2010-12-30
申请号：US12823621
申请日：2010-06-25
申请人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane , Tsuneo Nakata
发明人： Hitoshi YANAMI , Hirokazu Anai , Hidenao Iwane , Tsuneo Nakata
IPC分类号： G06F17/50
CPC分类号： G06F17/50 , G06F2217/08
摘要： A design support apparatus includes a parameter set generation unit configured to obtain a plurality of types of parameters and sequentially generates parameter sets while sequentially changing each parameter, a design object shape data generation unit configured to generate design object shape data based on the parameter set and initial shape data representing an initial shape of the design object shape, a geometric penalty function value calculation unit configured to calculate a geometric penalty function value indicating suitability of geometric characteristics of the design object shape based on the design object shape data, an objective function calculation control unit configured to determine whether or not the parameter set is used to calculate an objective function based on the geometric penalty function value and an optimal value of the objective function, and an objective function calculation unit configured to calculate the objective function based on the parameter set.
摘要翻译：一种设计支持装置，包括参数集生成单元，被配置为获得多种类型的参数，并且在顺序地改变每个参数的同时依次生成参数集;设计对象形状数据生成单元，被配置为基于参数集生成设计对象形状数据;以及表示设计对象形状的初始形状的初始形状数据;几何惩罚函数值计算单元，被配置为基于设计对象形状数据计算表示设计对象形状的几何特征的适合性的几何惩罚函数值，目标函数计算控制单元，被配置为基于所述几何惩罚函数值和所述目标函数的最优值来确定所述参数集是否用于计算目标函数;以及目标函数计算单元，被配置为基于所述参数来计算所述目标函数组。

6. 发明申请

US20090190493A1 Speed calculation system 有权
标题翻译：速度计算系统
公开(公告)号：US20090190493A1
公开(公告)日：2009-07-30
申请号：US10585407
申请日：2005-01-13
申请人： Tsuneo Nakata
发明人： Tsuneo Nakata
IPC分类号： H04L12/26
CPC分类号： H04L45/00 , H04L43/0888 , H04L43/10 , H04L43/50 , H04L45/22
摘要： In the prior art, in a case of measuring a speed of a narrow-bandwidth path of which the state fluctuates dynamically, a serious influence is placed upon a speed calculation with a sufficient precision, and a performance.Embedding probe information into a data packet, being actual data, to transfer two at a time allows the data packet having the probe information embedded to act as a probe packet of the packet pair technique as well. Further, in a system including a plurality of the paths, the data packets are distributed to the path two packets by two packets.
摘要翻译：在现有技术中，在测量状态动态变动的窄带宽路径的速度的情况下，以足够的精度和性能对速度计算进行严重的影响。将探测信息嵌入作为实际数据的数据分组中，一次传送两个数据分组允许嵌入有探测信息的数据分组充当分组对技术的探测分组。此外，在包括多个路径的系统中，数据分组被两个分组分发给路径两个分组。

7. 发明申请

US20090182538A1 MULTI-OBJECTIVE OPTIMUM DESIGN SUPPORT DEVICE USING MATHEMATICAL PROCESS TECHNIQUE, ITS METHOD AND PROGRAM 审中-公开
标题翻译：使用数学过程技术的多目标最优设计支持设备及其方法和程序
公开(公告)号：US20090182538A1
公开(公告)日：2009-07-16
申请号：US12347585
申请日：2008-12-31
申请人： Hitoshi Yanami , Hirokazu Anai , Tsuneo Nakata , Naozumi Tsuda
发明人： Hitoshi Yanami , Hirokazu Anai , Tsuneo Nakata , Naozumi Tsuda
IPC分类号： G06F17/10
CPC分类号： G06F17/11 , G06F17/50 , G06F2217/08 , G11B5/6064 , G11B5/6082
摘要： A unit 101 calculates a plurality of sets of objective functions of sample sets of input parameters. A unit 102 approximates the objective functions using a polynomial on the basis of the calculation result of the unit 101. A unit 103 calculates a logical expression indicating a logical relation between arbitrary two or three objective functions, of the plurality of mathematically approximated objective functions as an inter-objective function logical expression by a QE method. A unit 104 displays areas that the values of the objective functions can take as usable areas according to the inter-objective function logical expression. Units 105 and 106 determine an optimum set of design parameters by limiting the sets of design parameters to corresponding sets of design parameters in the neighborhood of a Pareto boundary on the basis of the Pareto boundary of an objective function recognized from the usable areas displayed.
摘要翻译：单元101计算输入参数的样本集合的多组目标函数集合。单元102基于单元101的计算结果使用多项式近似目标函数。单元103计算指示多个数学近似目标函数中的任意两个或三个目标函数之间的逻辑关系的逻辑表达式，如通过QE方法的一个目标函数逻辑表达式。单元104根据目标函数逻辑表达式显示目标函数的值可以作为可用区域的区域。单元105和106基于从所显示的可用区域识别的目标函数的帕累托边界，将设计参数集合限制在帕累托边界附近的相应设计参数集合，来确定最佳设计参数集合。

8. 发明申请

US20080312890A1 SPECIFICATION VERIFICATION PROGRAM, COMPUTER-READABLE STORAGE MEDIUM STORING SPECIFICATION VERIFICATION PROGRAM, SPECIFICATION VERIFICATION APPARATUS, AND SPECIFICATION VERIFICATION METHOD 有权
标题翻译：规格验证程序，计算机可读存储介质存储规范验证程序，规范验证设备和规范验证方法
公开(公告)号：US20080312890A1
公开(公告)日：2008-12-18
申请号：US12136378
申请日：2008-06-10
申请人： Qiang ZHU , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
发明人： Qiang ZHU , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
IPC分类号： G06G7/48
CPC分类号： G06F8/10
摘要： Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.
摘要翻译：获取从指示设计对象的要求规范的用例描述中执行每个用例所需要的条件。然后，检测从表示设计对象的设计规格的有限状态机模型中表示的一组状态中满足条件的状态。确定并输出根据检测的状态集合中的未检测状态的存在或不存在。

9. 发明申请

US20070195710A1 Mobile subscriber network and resource management method 审中-公开
标题翻译：移动用户网络和资源管理方法
公开(公告)号：US20070195710A1
公开(公告)日：2007-08-23
申请号：US10598268
申请日：2005-02-21
申请人： Tsuneo Nakata
发明人： Tsuneo Nakata
IPC分类号： H04L12/28 , H04L12/56
CPC分类号： H04L47/824 , H04L47/15 , H04L47/70 , H04L47/762 , H04L47/765 , H04L47/808 , H04W76/11
摘要： In allocating a resource circuit by circuit, a reference is made to a table signifying a one-versus-many correspondence between a subscriber and a circuit, thereby to reflect a state of the other circuit that an identical subscriber holds into the above resource allocation. As a rule, the table is dynamically updated, responding to a new circuit request by the subscriber holding a plurality of terminal apparatuses and a change in a network situation such as a load. This enables setting/observation of service conditions to be realized subscriber by subscriber in a subscriber network in which one subscriber occupies a plurality of the circuits. Further, this allows the occupied circuit number a subscriber not to be limited to the number of the circuit that is packaged onto one terminal.
摘要翻译：在通过电路分配资源电路时，参考表示用户和电路之间的一对多对应关系的表，从而将相同用户所拥有的另一电路的状态反映到上述资源分配中。通常，表被动态地更新，响应于持有多个终端装置的用户的新电路请求以及诸如负载的网络状况的改变。这使得能够在其中一个用户占据多个电路的用户网络中由用户实现用户实现服务条件的设置/观察。此外，这允许占用的电路号码用户不被限制为封装在一个终端上的电路的数量。

10. 发明申请

US20060265676A1 Method and apparatus for verifying specification, and computer product 有权
标题翻译：用于验证规格的方法和装置以及计算机产品
公开(公告)号：US20060265676A1
公开(公告)日：2006-11-23
申请号：US11214848
申请日：2005-08-31
申请人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
发明人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F8/10 , G06Q20/4012
摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.
摘要翻译：用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。用例提取单元从规范数据中提取未处理的用例。第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。确定单元确定不变条件是否有效。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式