公开(公告)号：US20090240836A1

公开(公告)日：2009-09-24

申请号：US12406325

申请日：2009-03-18

申请人： Miki TAKAGI ,  Takeo Nakamura ,  Toshiya Yamazaki

发明人： Miki TAKAGI ,  Takeo Nakamura ,  Toshiya Yamazaki

IPC分类号： G06F15/173 ,  G06F15/16

CPC分类号： H04L41/0853 ,  H04L29/12264 ,  H04L41/0863 ,  H04L41/0866 ,  H04L61/2046

摘要： The configuration data obtaining unit obtains a network configuration data, and the actual-apparatus collection result data obtaining unit obtains an actual-apparatus collection result data. Then, the comparing unit compares a network address in the network configuration data corresponding to a network apparatus with a network address in the actual-apparatus collection result data corresponding to the network apparatus, and determines whether the network address is normally set to the network apparatus based on the comparison result.

摘要翻译： 配置数据获取单元获取网络配置数据，并且实际装置收集结果数据获取单元获得实际装置收集结果数据。 然后，比较单元将与网络装置对应的网络配置数据中的网络地址与对应于网络装置的实际装置收集结果数据中的网络地址进行比较，并且确定网络地址是否正常设置为网络装置 基于比较结果。

公开(公告)号：US20100262270A1

公开(公告)日：2010-10-14

申请号：US12758133

申请日：2010-04-12

申请人： Takeo Nakamura ,  Miki Takagi ,  Junko Taira

发明人： Takeo Nakamura ,  Miki Takagi ,  Junko Taira

IPC分类号： G06F17/50

CPC分类号： G06F17/50 ,  G06F2217/10

摘要： A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.

摘要翻译： 设计数据合并装置包括合并确定单元，对于多个设计数据，每个设计数据具有产品名称信息，并且具有用于唯一地识别产品的相同标识符，则给予多个设计数据的产品名称信息是否为 以及合并数据创建单元，当由合并确定单元确定给予多个设计数据的产品名称信息相同时，合并多个设计数据，并且创建通过合并多个设计数据获得的合并数据 的设计数据。

公开(公告)号：US08315846B2

公开(公告)日：2012-11-20

申请号：US12758133

申请日：2010-04-12

申请人： Takeo Nakamura ,  Miki Takagi ,  Junko Taira

发明人： Takeo Nakamura ,  Miki Takagi ,  Junko Taira

IPC分类号： G06G7/48

CPC分类号： G06F17/50 ,  G06F2217/10

摘要： A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.

摘要翻译： 设计数据合并装置包括合并确定单元，对于多个设计数据，每个设计数据具有产品名称信息，并且具有用于唯一地识别产品的相同标识符，则给予多个设计数据的产品名称信息是否为 以及合并数据创建单元，当由合并确定单元确定给予多个设计数据的产品名称信息相同时，合并多个设计数据，并且创建通过合并多个设计数据获得的合并数据 的设计数据。

公开(公告)号：US20060184903A1

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

申请号：US11398609

申请日：2006-04-06

申请人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

发明人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

摘要翻译： 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦，可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证，并显示逻辑等效验证的结果。 预处理部7执行结构匹配，以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

公开(公告)号：US07337414B2

公开(公告)日：2008-02-26

申请号：US11398609

申请日：2006-04-06

申请人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

发明人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

摘要翻译： 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦，可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证，并显示逻辑等效验证的结果。 预处理部7执行结构匹配，以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

公开(公告)号：US07143375B2

公开(公告)日：2006-11-28

申请号：US10705787

申请日：2003-11-12

申请人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

发明人： Terunobu Maruyama ,  Hiroji Takeyama ,  Takeo Nakamura ,  Mitsuru Satou ,  Yuki Kumon ,  Miki Takagi

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

摘要翻译： 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦，可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证，并显示逻辑等效验证的结果。 预处理部7执行结构匹配，以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

公开(公告)号：US20090287661A1

公开(公告)日：2009-11-19

申请号：US12458859

申请日：2009-07-24

申请人： Toshiro Okada ,  Toshiya Yamazaki ,  Takeo Nakamura

发明人： Toshiro Okada ,  Toshiya Yamazaki ,  Takeo Nakamura

IPC分类号： G06F17/30

CPC分类号： G06F17/5081 ,  G06F17/509

摘要： A device includes, a search controlling information storing unit that stores, for each searching purpose, the search controlling information indicating whether or not the search is to be proceeded for the kinds of parts between the interfaces in the parts is defined and registered, a set information collecting unit that decides the interface of the parts to be searched, according to the search controlling information for each search object, from both the design information of the system constitution diagram and the registered information of the library database of the parts and the interfaces, and traces the connection relations of the interfaces thereby to collect the set information of the searched parts and the interfaces from the library database of the design information of the system constitution diagram, the parts and so on.

摘要翻译： 一种设备包括搜索控制信息存储单元，其针对每个搜索目的，存储指示是否要对所述部分中的界面之间的各种部分进行搜索是否进行的搜索控制信息，集合 信息收集单元，根据系统结构图的设计信息和部件和界面的库数据库的登记信息，根据每个搜索对象的搜索控制信息来决定要搜索的部分的接口， 并跟踪接口的连接关系，从而从库数据库中收集所搜索到的部分和接口的集合信息，系统构成图，部件等的设计信息。

公开(公告)号：US20090031222A1

公开(公告)日：2009-01-29

申请号：US12232465

申请日：2008-09-17

申请人： Takeo Nakamura ,  Toshiro Okada ,  Toshiya Yamazaki

发明人： Takeo Nakamura ,  Toshiro Okada ,  Toshiya Yamazaki

IPC分类号： G06F17/50

CPC分类号： G06F17/509 ,  G06F2217/04

摘要： In a network design processing device 1, a network diagram creation processing section 10 creates/edits a real device network diagram constituted by real devices which physically exist, from input with the use of a computer screen; expresses one or multiple real devices having the same purpose or function as a virtual device to create/edit a virtual device network diagram constituted by virtual devices; and stores configuration data of the real device network diagram, configuration data of the virtual device network diagram, and information about the relationship between the configuration data into a network configuration data storage section 15. A network configuration data output processing section 16 switches among the real device network diagram, the virtual device network diagram and a network diagram in which the network diagrams are overlapped with each other, in response to specification from the outside, and displays the network diagram.

摘要翻译： 在网络设计处理设备1中，网络图创建处理部分10从使用计算机屏幕的输入中创建/编辑由实际存在的实际设备构成的真实设备网络图; 表示具有与虚拟设备相同的目的或功能的一个或多个实际设备来创建/编辑由虚拟设备构成的虚拟设备网络图; 将实际设备网络图的配置数据，虚拟设备网络图的配置数据以及配置数据之间的关系的信息存储到网络配置数据存储部分15中。网络配置数据输出处理部分16在真实设备 设备网络图，虚拟设备网络图和网络图彼此重叠的网络图，响应外部规范，并显示网络图。

公开(公告)号：US20080297847A1

公开(公告)日：2008-12-04

申请号：US12222453

申请日：2008-08-08

申请人： Toshiya Yamazaki ,  Toshiro Okada ,  Takeo Nakamura

发明人： Toshiya Yamazaki ,  Toshiro Okada ,  Takeo Nakamura

IPC分类号： G06F3/12

CPC分类号： G06F17/50 ,  G06F2217/42 ,  Y10S715/964 ,  Y10S715/968 ,  Y10S715/969 ,  Y10S715/97

摘要： A property of connection relationship information for identifying an internal/external connection of each point is registered in a part DB 1. When the part is one basic part representing a standard configuration article, an anchor ID is registered in the part DB 1 or a product DB 2. Part group extracting unit 4 extracts parts constituting a system from a design drawing generated by drawing generating unit 3 and a group of parts connected at the connection point for each basic part assigned with the anchor ID. For each extracted part group, work instruction document generating unit 5 detects a standard configuration article having a basic part assigned with the same anchor ID as that of the basic part included in the part group, from the product DB 2, extracts a difference in part configuration between the part group in the system design drawing and the detected standard configuration article, generates information indicating the extracted difference as the work instruction document for each part group, and outputs the work instruction document.

摘要翻译： 用于识别每个点的内部/外部连接的连接关系信息的属性被登记在部件DB1中。当部件是表示标准配置物品的一个基本部件时，锚定ID被登记在部件DB 1中或产品 DB 2.部件组提取单元4从由绘图生成单元3生成的设计图和从连接点连接的每个基本部分分配锚点ID提取构成系统的部分。 对于每个提取的部件组，工作指令文档生成单元5从产品DB 2检测具有与包括在部件组中的基本部件相同的锚定ID的基本部分的标准配置物品，部分地提取部分 将系统设计图中的部件组与检测到的标准配置文件之间的配置生成表示提取的差异的信息作为每个部件组的工作指令文档，并输出工作指令文档。

公开(公告)号：US08135484B2

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

申请号：US12222453

申请日：2008-08-08

申请人： Toshiya Yamazaki ,  Toshiro Okada ,  Takeo Nakamura

发明人： Toshiya Yamazaki ,  Toshiro Okada ,  Takeo Nakamura

IPC分类号： G06F19/00

CPC分类号： G06F17/50 ,  G06F2217/42 ,  Y10S715/964 ,  Y10S715/968 ,  Y10S715/969 ,  Y10S715/97

摘要： A property of connection relationship information for identifying an internal/external connection of each point is registered in a part DB 1. When the part is one basic part representing a standard configuration article, an anchor ID is registered in the part DB 1 or a product DB 2. Part group extracting unit 4 extracts parts constituting a system from a design drawing generated by drawing generating unit 3 and a group of parts connected at the connection point for each basic part assigned with the anchor ID. For each extracted part group, work instruction document generating unit 5 detects a standard configuration article having a basic part assigned with the same anchor ID as that of the basic part included in the part group, from the product DB 2, extracts a difference in part configuration between the part group in the system design drawing and the detected standard configuration article, generates information indicating the extracted difference as the work instruction document for each part group, and outputs the work instruction document.

摘要翻译： 用于识别每个点的内部/外部连接的连接关系信息的属性被登记在部件DB1中。当部件是表示标准配置物品的一个基本部件时，锚定ID被登记在部件DB 1中或产品 DB 2.部件组提取单元4从由绘图生成单元3生成的设计图和从连接点连接的每个基本部分分配锚点ID提取构成系统的部分。 对于每个提取的部件组，工作指令文档生成单元5从产品DB 2检测具有与包括在部件组中的基本部件相同的锚定ID的基本部分的标准配置物品，部分地提取部分 将系统设计图中的部件组与检测到的标准配置文件之间的配置生成表示提取的差异的信息作为每个部件组的工作指令文档，并输出工作指令文档。