公开(公告)号：US07203597B2

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

申请号：US10492545

申请日：2002-11-01

申请人： Junichi Sato ,  Takao Yamaguchi ,  Tomoaki Itoh

发明人： Junichi Sato ,  Takao Yamaguchi ,  Tomoaki Itoh

IPC分类号： G01C21/00

CPC分类号： G01C21/26

摘要： A terminal apparatus is provided with a content list storage section that stores a content list storing at least one pair of an address of content related to a position and the position. A position detecting section detects a position, a specifying section which defines a region including an area forward in the traveling direction based on the detected position, and specifies a position in the defined region among positions stored in the content list. A content acquiring section that acquires content corresponding to an address associated with the specified position.

摘要翻译： 终端装置设置有内容列表存储部分，其存储存储与位置和位置相关的内容的至少一对地址的内容列表。 位置检测部分检测位置，确定部分，其基于检测到的位置来定义包括行进方向前方的区域的区域，并且指定存储在内容列表中的位置之间的定义区域中的位置。 内容获取部分，获取与指定位置相关联的地址对应的内容。

公开(公告)号：US07552092B2

公开(公告)日：2009-06-23

申请号：US10919338

申请日：2004-08-17

申请人： Yuji Sato ,  Tomoaki Itoh ,  Takao Yamaguchi

发明人： Yuji Sato ,  Tomoaki Itoh ,  Takao Yamaguchi

IPC分类号： G06Q99/00

CPC分类号： G06F21/16 ,  G06F21/64

摘要： In the present invention, a program is provided with a dummy module into which a watermark can be inserted without any effect on the operation of the program, and an digital signature. It is thereby possible for a distributor to insert a watermark for specifying a user to the dummy module, and to prevent unauthorized leakage of the program by the distributor. Further, by providing the program body with an digital signature, it is possible to prevent tampering of the program by the distributor.

摘要翻译： 在本发明中，程序设置有可以插入水印的虚拟模块，而不影响程序的操作和数字签名。 因此，分配器可以将用于指定用户的水印插入到虚拟模块中，并且防止分发者未经授权的程序泄漏。 此外，通过向节目主体提供数字签名，可以防止分发者对节目的篡改。

公开(公告)号：US07430219B2

公开(公告)日：2008-09-30

申请号：US10456452

申请日：2003-06-06

申请人： Tomoaki Itoh ,  Takao Yamaguchi ,  Harumine Yoshiba ,  Naoyuki Otoshi ,  Manabu Nakamura ,  Junichi Hamada

发明人： Tomoaki Itoh ,  Takao Yamaguchi ,  Harumine Yoshiba ,  Naoyuki Otoshi ,  Manabu Nakamura ,  Junichi Hamada

IPC分类号： H04J3/16 ,  H04L12/56

CPC分类号： H04L65/602 ,  H04L1/0002 ,  H04L1/0006 ,  H04L1/0009 ,  H04L1/0026 ,  H04L29/06027 ,  H04L47/10 ,  H04L47/263 ,  H04L47/283 ,  H04L47/36 ,  H04L65/80 ,  Y02D50/10

摘要： When a transport rate Rs is updated, in the case where the updated transport rate Rs is within a variable range (Rc 1) defined by a current encoding rate Rc, FEC (Forward Error Correction) data sending rate Rf is updated (Rf=Rs−Rc) without updating the current encoding rate Rc. On the other hand, in the case where an Rc update timer set to three seconds, for example, is timed out, the encoding rate Rc is updated using a minimum value Rs_min of the transport rate up to that time (Rc=V×Rs_min, and 0

摘要翻译： 当传输速率Rs被更新时，在更新的传输速率Rs在由当前编码速率Rc，FEC（前向纠错）数据发送定义的可变范围（Rc 1）的情况下 更新速率Rf（Rf = Rs-Rc）而不更新当前编码率Rc。 另一方面，在设定为3秒的Rc更新定时器例如超时的情况下，使用到该时间的传输速率的最小值Rs_min来更新编码率Rc（Rc = VxRs_min，以及 0

公开(公告)号：US20060075389A1

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

申请号：US11232636

申请日：2005-09-22

申请人： Tomoaki Itoh ,  Takao Yamaguchi ,  Takenobu Aoshima

发明人： Tomoaki Itoh ,  Takao Yamaguchi ,  Takenobu Aoshima

IPC分类号： G06F9/44

CPC分类号： G06F8/10

摘要： An API specification verification device, an API specification verification method, a program for executing the method, and a storage medium for storing the program are disclosed herein, the API specification verification device and method enabling API which is not registered in a verification tool to be verified without modification to a program checking unit serving as the verification tool. The user inputs API to be verified and a specification of the API using an API specification input support unit. A program conversion unit converts a verification object program based on the input information into a form inputtable by the verification tool to output the converted program to the verification tool. The program checking unit verifies the converted program.

摘要翻译： 本文公开了一种API规范验证装置，API规范验证方法，用于执行该方法的程序以及用于存储该程序的存储介质，API验证装置和方法使API未在验证工具中注册为 验证而不修改作为验证工具的程序检查单元。 用户输入要验证的API和使用API​​规范输入支持单元的API规范。 程序转换单元将基于输入信息的验证对象程序转换为由验证工具输入的表单，以将转换的程序输出到验证工具。 程序检查单元验证转换的程序。

公开(公告)号：US08020153B2

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

申请号：US11575824

申请日：2005-08-29

申请人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

发明人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

IPC分类号： G06F9/44

CPC分类号： G06F11/3688

摘要： Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

摘要翻译： 披露源代码检查器和源代码检查方法，用于检查与计算机程序的源代码相关的程序行为的属性; 执行该方法的程序; 以及用于存储该程序的存储介质。 该源代码检查方法包括路径提取步骤和检查信息确定步骤。 路径提取步骤模拟预先输入的计算机程序的源代码中描述的程序，以提取要实际执行的指令序列。 检查信息确定步骤根据在路径提取步骤中提取的指令序列来确定源代码的检查信息。

公开(公告)号：US20080256518A1

公开(公告)日：2008-10-16

申请号：US11575824

申请日：2005-08-29

申请人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

发明人： Takenobu Aoshima ,  Tomoaki Itoh ,  Takao Yamaguchi

IPC分类号： G06F9/44

CPC分类号： G06F11/3688

摘要： Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

摘要翻译： 披露源代码检查器和源代码检查方法，用于检查与计算机程序的源代码相关的程序行为的属性; 执行该方法的程序; 以及用于存储该程序的存储介质。 该源代码检查方法包括路径提取步骤和检查信息确定步骤。 路径提取步骤模拟预先输入的计算机程序的源代码中描述的程序，以提取要实际执行的指令序列。 检查信息确定步骤根据在路径提取步骤中提取的指令序列来确定源代码的检查信息。