公开(公告)号：US5461714A

公开(公告)日：1995-10-24

申请号：US272231

申请日：1994-07-08

申请人： Shinichi Honiden ,  Takeshi Kohno

发明人： Shinichi Honiden ,  Takeshi Kohno

IPC分类号： G06F9/06 ,  G06F9/44 ,  G06F15/18

CPC分类号： G06F8/36 ,  Y10S706/922

摘要： A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates similar to the detailed specification detailed by the function decomposition unit, a design process fusion unit for fusing a plurality of design processes, the design process fusion unit including a matching decision unit for deciding matching between design processes having high similarities with respect to the intermediate decided by the similarity decision unit, an object synthesis unit for synthesizing an object on the basis of a new design process synthesized by the design process fusion unit, a design process intermediate knowledge base for storing intermediates from which intermediates similar to the specification detailed by the function decomposition unit are retrieved, and a design process conversion knowledge base for storing a conversion knowledge for detailing the specification, a conversion knowledge for the intermediate, and a knowledge in a minimum unit for performing processing.

摘要翻译： 程序合成系统包括：功能分解单元，用于根据预定规格分解功能，以便获得说明书的详细功能;相似性判定单元，用于检索类似于由功能分解单元详细描述的详细规范的中间体;设计过程 融合单元，用于融合多个设计过程，所述设计处理融合单元包括：匹配决定单元，用于决定相对于由所述相似性判定单元确定的中间的高相似性的设计处理之间的匹配;对象合成单元， 通过设计过程融合单元合成的新设计过程的基础，检索用于存储中间体的设计过程中间知识库，从中间体中获取类似于功能分解单元详细说明的中间体，以及设计过程转换知识库，用于存储交流 详细说明规范的转换知识，中间件的转换知识以及用于执行处理的最小单位知识。

公开(公告)号：US5353371A

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

申请号：US763587

申请日：1991-09-23

申请人： Shinichi Honiden ,  Takeshi Kohno

发明人： Shinichi Honiden ,  Takeshi Kohno

IPC分类号： G06F9/06 ,  G06F9/44 ,  G06F15/18 ,  G06F15/20

CPC分类号： G06F8/36 ,  Y10S706/922

摘要： A program synthesis system comprises a function decomposition unit for decomposing a function according to a predetermined specification so as to obtain detailed functions of the specification, a similarity decision unit for retrieving intermediates similar to the detailed specification detailed by the function decomposition unit, a design process fusion unit for fusing a plurality of design processes, the design process fusion unit including a matching decision unit for deciding matching between design processes having high similarities with respect to the intermediate decided by the similarity decision unit, an object synthesis unit for synthesizing an object on the basis of a new design process synthesized by the design process fusion unit, a design process intermediate knowledge base for storing intermediates from which intermediates similar to the specification detailed by the function decomposition unit are retrieved, and a design process conversion on knowledge base for storing a conversion knowledge for detailing the specification, a conversion knowledge for the intermediate, and a knowledge in a minimum unit for performing processing.

摘要翻译： 程序合成系统包括：功能分解单元，用于根据预定规格分解功能，以便获得说明书的详细功能;相似性判定单元，用于检索类似于由功能分解单元详细描述的详细规范的中间体;设计过程 融合单元，用于融合多个设计过程，所述设计处理融合单元包括：匹配决定单元，用于决定相对于由所述相似性判定单元确定的中间的高相似性的设计处理之间的匹配;对象合成单元， 由设计过程融合单元合成的新设计过程的基础，检索用于存储中间体的设计过程中间知识库，从其中检索类似于功能分解单元详细说明的中间体，以及用于存储的知识库的设计过程转换 用于详细说明规范的转换知识，中间件的转换知识以及用于执行处理的最小单元中的知识。

公开(公告)号：US06275980B1

公开(公告)日：2001-08-14

申请号：US09112006

申请日：1998-07-08

申请人： Naoshi Uchihira ,  Shinichi Honiden ,  Akihiko Ohsuga ,  Toshibumi Seki ,  Yasuo Nagai ,  Keiichi Handa ,  Satoshi Ito ,  Nobuyuki Sawashima ,  Yasuyuki Tahara ,  Hideaki Shiotani

发明人： Naoshi Uchihira ,  Shinichi Honiden ,  Akihiko Ohsuga ,  Toshibumi Seki ,  Yasuo Nagai ,  Keiichi Handa ,  Satoshi Ito ,  Nobuyuki Sawashima ,  Yasuyuki Tahara ,  Hideaki Shiotani

IPC分类号： G06F945

CPC分类号： G06F11/3664 ,  G06F8/30 ,  G06F8/45 ,  G06F11/362 ,  G06F11/3696

摘要： An apparatus for supporting parallelization according to the invention is characterized by comprising a serialization unit for converting a first concurrent program having a concurrent structure into a sequential program capable of being sequentially executed, a debugging unit for debugging the sequential program and forming debugging information, and a concurrent program programming unit for performing parallelization of the debugged sequential program on the basis of the debugging information to convert the sequential program into a second concurrent program. With above configuration, the debugging unit includes a unit for introducing information associated with concurrency to the sequential program.

摘要翻译： 根据本发明的用于支持并行化的装置的特征在于包括：串行化单元，用于将具有并行结构的第一并发程序转换成能够被顺序执行的顺序程序;调试单元，用于调试顺序程序并形成调试信息，以及 并行程序编程单元，用于根据调试信息执行调试顺序程序的并行化，以将顺序程序转换为第二并发程序。 通过上述配置，调试单元包括用于将与并发相关联的信息引入到顺序程序的单元。

公开(公告)号：US06915326B2

公开(公告)日：2005-07-05

申请号：US10392965

申请日：2003-03-21

申请人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

发明人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

IPC分类号： G06F15/16 ,  G06F9/44 ,  G06F9/46 ,  G06F13/00 ,  G06N5/04 ,  H04L29/06 ,  H04L29/08

CPC分类号： H04L29/06 ,  H04L67/10 ,  H04L69/329

摘要： A planning means generates a plan to be executed by agents on a node. In the case where the plan generated uses an uncertain knowledge required to be processed in other nodes, a judging means judges the communication line connecting the node and a network is low or high in reliability. In the case where the reliability of the communication line is low, an agent management unit moves the agent for executing the plan to another node for processing the uncertain knowledge. In the case where the reliability of the communication line is high, on the other hand, a cooperation protocol realization means requests an agent on another node to process the uncertain knowledge. An agent execution means executes the plan generated.

摘要翻译： 规划手段生成由代理在节点上执行的计划。 在所生成的计划使用在其他节点中需要处理的不确定知识的情况下，判断装置判断连接节点和网络的通信线路的可靠性低或高。 在通信线路的可靠性低的情况下，代理管理单元将用于执行计划的代理移动到另一个节点，以处理不确定的知识。 在通信线路的可靠性高的情况下，另一方面，协作协议实现装置请求另一节点上的代理处理不确定的知识。 代理执行装置执行生成的计划。

公开(公告)号：US06598222B2

公开(公告)日：2003-07-22

申请号：US09842982

申请日：2001-04-27

申请人： Naoshi Uchihira ,  Shinichi Honiden ,  Akihiko Ohsuga ,  Toshibumi Seki ,  Yasuo Nagai ,  Keiichi Handa ,  Satoshi Ito ,  Nobuyuki Sawashima ,  Yasuyuki Tahara ,  Hideaki Shiotani

发明人： Naoshi Uchihira ,  Shinichi Honiden ,  Akihiko Ohsuga ,  Toshibumi Seki ,  Yasuo Nagai ,  Keiichi Handa ,  Satoshi Ito ,  Nobuyuki Sawashima ,  Yasuyuki Tahara ,  Hideaki Shiotani

IPC分类号： G06F944

CPC分类号： G06F11/3664 ,  G06F8/30 ,  G06F8/45 ,  G06F11/362 ,  G06F11/3696

摘要： An apparatus for supporting parallelization according to the invention is characterized by comprising a serialization unit for converting a first concurrent program having a concurrent structure into a sequential program capable of being sequentially executed, a debugging unit for debugging the sequential program and forming debugging information, and a concurrent program programming unit for performing parallelization of the debugged sequential program on the basis of the debugging information to convert the sequential program into a second concurrent program. With above configuration, the debugging unit includes a unit for introducing information associated with concurrency to the sequential program.

摘要翻译： 根据本发明的用于支持并行化的装置的特征在于包括：串行化单元，用于将具有并行结构的第一并发程序转换成能够被顺序执行的顺序程序;调试单元，用于调试顺序程序并形成调试信息，以及 并行程序编程单元，用于根据调试信息执行调试顺序程序的并行化，以将顺序程序转换为第二并发程序。 通过上述配置，调试单元包括用于将与并发相关联的信息引入到顺序程序的单元。

公开(公告)号：US06925486B2

公开(公告)日：2005-08-02

申请号：US10392839

申请日：2003-03-21

申请人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

发明人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

IPC分类号： G06F15/16 ,  G06F9/44 ,  G06F9/46 ,  G06F13/00 ,  G06N5/04 ,  H04L29/06 ,  H04L29/08

CPC分类号： H04L29/06 ,  H04L67/10 ,  H04L69/329

摘要： A planning means generates a plan to be executed by agents on a node. In the case where the plan generated uses an uncertain knowledge required to be processed in other nodes, a judging means judges the communication line connecting the node and a network is low or high in reliability. In the case where the reliability of the communication line is low, an agent management unit moves the agent for executing the plan to another node for processing the uncertain knowledge. In the case where the reliability of the communication line is high, on the other hand, a cooperation protocol realization means requests an agent on another node to process the uncertain knowledge. An agent execution means executes the plan generated.

公开(公告)号：US06557025B1

公开(公告)日：2003-04-29

申请号：US09146669

申请日：1998-09-03

申请人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

发明人： Masanori Hattori ,  Yasuo Nagai ,  Yutaka Irie ,  Akihiko Ohsuga ,  Shinichi Honiden

IPC分类号： G06F1516

CPC分类号： H04L29/06 ,  H04L67/10 ,  H04L69/329

摘要： A planning section generates a plan to be executed by agents on a node. In the case where the plan generated uses an uncertain knowledge required to be processed in other nodes, a judging section judges the communication line connecting the node and a network is low or high in reliability. In the case where the reliability of the communication line is low, an agent management unit moves the agent for executing the plan to another node for processing the uncertain knowledge. In the case where the reliability of the communication line is high, on the other hand, a cooperation protocol realization section requests an agent on another node to process the uncertain knowledge. An agent execution means executes the plan generated.

摘要翻译： 计划部分生成要由节点上的代理执行的计划。 在生成的计划使用在其他节点中需要处理的不确定知识的情况下，判断部判断连接节点和网络的通信线路的可靠性低或高。 在通信线路的可靠性低的情况下，代理管理单元将用于执行计划的代理移动到另一个节点，以处理不确定的知识。 另一方面，在通信线路的可靠性高的情况下，协作协议实现部分请求另一节点上的代理来处理不确定的知识。 代理执行装置执行生成的计划。

公开(公告)号：US07248947B2

公开(公告)日：2007-07-24

申请号：US11085546

申请日：2005-03-22

申请人： Hiroshi Sasaki ,  Hirotoshi Iwasaki ,  Osamu Masutani ,  Shinichi Honiden ,  Nobukazu Yoshioka ,  Yasushi Ando

发明人： Hiroshi Sasaki ,  Hirotoshi Iwasaki ,  Osamu Masutani ,  Shinichi Honiden ,  Nobukazu Yoshioka ,  Yasushi Ando

IPC分类号： G06F17/00 ,  G01S1/00 ,  G08G1/123

CPC分类号： G01C21/26

摘要： A technique to provide an information-sharing system and the like is disclosed. According to this technique, there are provided an on-board information terminal to transmit one or more types of information among a vehicle information relating to user's own vehicle and on-board program information to acquire shared information, an area information acquiring system for acquiring area information, and an information-sharing server for calculating time function existing quantity based on time function according to one or more types of information among vehicle information and area information, calculates time function transmission quantity based on time function including the calculated time function existing quantity, arranges the calculated time function existing quantity and the time function transmission quantity to a corresponding position on a map, attaches the map information to the on-board program information, and transmits it to the on-board information terminal.

摘要翻译： 公开了提供信息共享系统等的技术。 根据该技术，提供了一种车载信息终端，用于在与用户自己的车辆有关的车辆信息和车载程序信息之间传送一种或多种类型的信息以获取共享信息;区域信息获取系统，用于获取区域 信息和信息共享服务器，用于根据车辆信息和区域信息之中的一种或多种信息，基于时间函数计算时间函数现有量，基于包括计算出的时间函数现有量的时间函数计算时间函数传输量， 将计算出的时间功能存在量和时间功能发送量排列到地图上的对应位置，将地图信息附加到车载程序信息，并将其发送到车载信息终端。

公开(公告)号：US20060178788A1

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

申请号：US11085546

申请日：2005-03-22

申请人： Hiroshi Sasaki ,  Hirotoshi Iwasaki ,  Osamu Masutani ,  Shinichi Honiden ,  Nobukazu Yoshioka ,  Yasushi Ando

发明人： Hiroshi Sasaki ,  Hirotoshi Iwasaki ,  Osamu Masutani ,  Shinichi Honiden ,  Nobukazu Yoshioka ,  Yasushi Ando

IPC分类号： G06F17/00

CPC分类号： G01C21/26

摘要： A technique to provide an information-sharing system and the like is disclosed. According to this technique, there are provided an on-board information terminal to transmit one or more types of information among a vehicle information relating to user's own vehicle and on-board program information to acquire shared information, an area information acquiring system for acquiring area information, and an information-sharing server for calculating time function existing quantity based on time function according to one or more types of information among vehicle information and area information, calculates time function transmission quantity based on time function including the calculated time function existing quantity, arranges the calculated time function existing quantity and the time function transmission quantity to a corresponding position on a map, attaches the map information to the on-board program information, and transmits it to the on-board information terminal.

摘要翻译： 公开了提供信息共享系统等的技术。 根据该技术，提供了一种车载信息终端，用于在与用户自己的车辆有关的车辆信息和车载程序信息之间传送一种或多种类型的信息以获取共享信息;区域信息获取系统，用于获取区域 信息和信息共享服务器，用于根据车辆信息和区域信息之中的一种或多种信息，基于时间函数计算时间函数现有量，基于包括计算出的时间函数现有量的时间函数计算时间函数传输量， 将计算出的时间功能存在量和时间功能发送量排列到地图上的对应位置，将地图信息附加到车载程序信息，并将其发送到车载信息终端。

公开(公告)号：US6134580A

公开(公告)日：2000-10-17

申请号：US931509

申请日：1997-09-16

申请人： Yasuyuki Tahara ,  Akihiko Ohsuga ,  Yasuo Nagai ,  Akira Kagaya ,  Masanori Hattori ,  Yutaka Irie ,  Shinichi Honiden

发明人： Yasuyuki Tahara ,  Akihiko Ohsuga ,  Yasuo Nagai ,  Akira Kagaya ,  Masanori Hattori ,  Yutaka Irie ,  Shinichi Honiden

IPC分类号： G06F15/16 ,  G06F9/44 ,  G06F9/46 ,  G06F9/50 ,  G06F13/00 ,  G06N5/04

CPC分类号： G06F9/4862 ,  G06F9/5066

摘要： In a data-processing apparatus, in local information storage L and R at each node, local information for the purpose of accessing a constituent element is stored, this information being updated. A plan is generated that represents the action that should be taken by an agent in order to satisfy request code that has been input, this being generated as a set of actions, based on agent information and local information. The operation of the agent is implemented at the nodes L and R, based on the various actions that make up the thus-generated plan, and an agent is migrated to another node, based on a go action within the plan. It is possible to perform replanning and generation of a child agent at a migration destination node, if necessary, because of the failure of plan execution, for example.

摘要翻译： 在数据处理装置中，在每个节点处的本地信息存储器L和R中，存储用于访问构成要素的本地信息，该信息被更新。 生成一个计划，其代表代理人应该采取的行动，以便满足已经输入的请求代码，这是根据代理信息和本地信息生成的一组操作。 基于构成这样生成的计划的各种动作，并且基于计划内的移动动作将代理迁移到另一个节点，代理的操作在节点L和R上实现。 例如，如果需要，由于计划执行失败，可以在迁移目的地节点执行子代理的重新生成和生成。