公开(公告)号：US5136698A

公开(公告)日：1992-08-04

申请号：US406417

申请日：1989-09-13

申请人： Toshio Okamoto

发明人： Toshio Okamoto

IPC分类号： G06F9/44

CPC分类号： G06F8/3135

摘要： A method of back-tracking in a computer processing operation in which the programmer can be provided with a number of different types of the back-track controlling, from which a suitable one can freely be selected in accordance with the need of the programmer. In this method, a flag is provided in each choice point, for indicating a type of back-track controlling, and a stack which contains an address of a choice point specified as a present choice point by a present choice point register and an address of a preceding choice point which is immediately preceding the present choice point is utilized in changing indication of the flag.

公开(公告)号：US5084817A

公开(公告)日：1992-01-28

申请号：US319912

申请日：1989-03-06

申请人： Akira Kumano ,  Shin-ya Amano ,  Hisahiro Adachi ,  Hiroyasu Nogami ,  Seiji Miike ,  Tsutomu Kawada ,  Kimihito Takeda ,  Isamu Iwai ,  Miwako Doi ,  Toshio Okamoto ,  Noriko Yamanaka

发明人： Akira Kumano ,  Shin-ya Amano ,  Hisahiro Adachi ,  Hiroyasu Nogami ,  Seiji Miike ,  Tsutomu Kawada ,  Kimihito Takeda ,  Isamu Iwai ,  Miwako Doi ,  Toshio Okamoto ,  Noriko Yamanaka

IPC分类号： G06F17/00 ,  G06F17/27 ,  G06F17/28

CPC分类号： G06F17/277 ,  G06F17/2872

摘要： A language expression data base is adapted to store expression data of an input sentence of a first language to be translated into a second language and the expression data stored in the language expression data base is renewed under the control of an expression data input unit. An input basic form sentence structure data extracted from the input sentence of the first language is translated into a basic form sentence structure data of the second language at the sentence structure transfer unit. A basic form sentence of the second language is obtained on the basis of the basic form sentence structure data of which an expression is then modified according to the expression data stored in the language expression data base, and a modified sentence of the second language is displayed on a display through an output unit.

摘要翻译： 语言表达数据库适于将待翻译的第一语言的输入语句的表达数据存储为第二语言，并且在表达数据输入单元的控制下更新存储在语言表达数据库中的表达数据。 从第一语言的输入语句提取的输入基本形式句子结构数据被转换成句子结构传送单元的第二语言的基本形式句子结构数据。 第二语言的基本形式语句是根据基本形式句子结构数据获得的，然后根据存储在语言表达数据库中的表达式数据修改表达式，并且显示第二语言的修改语句 通过输出单元在显示器上。

公开(公告)号：US4813010A

公开(公告)日：1989-03-14

申请号：US897930

申请日：1986-08-19

申请人： Toshio Okamoto ,  Miwako Doi ,  Isamu Iwai

发明人： Toshio Okamoto ,  Miwako Doi ,  Isamu Iwai

IPC分类号： G06F17/21 ,  G06F17/27 ,  G06F17/30 ,  G06F3/14 ,  G06F7/28 ,  G06F13/00 ,  G06F15/18

CPC分类号： G06F17/2745

摘要： A document generating system which includes an input device for inputting document data, a heading candidate extraction section for extracting, as a heading candidate, the word corresponding to the heading stored in a heading dictionary from the document data input at the input section. A heading decision section is implemented in the system for checking the heading candiate, that was extracted by the heading candidate extraction section according to a heading rule stored in a heading rule dictionary and for deciding whether the heading candidate is a heading. Also, a document architecture decision section is implemented in the system for checking the heading decided by the heading decision section according to document architecture rules stored in a document architecture rule dictionary. The architecture decision section is for determining the heading as satisfying the document architecture rule as a true heading, and the heading not satisfying the document architecture rule as being false heading.

公开(公告)号：US4805132A

公开(公告)日：1989-02-14

申请号：US898017

申请日：1986-08-19

申请人： Toshio Okamoto ,  Kimihito Takeda

发明人： Toshio Okamoto ,  Kimihito Takeda

IPC分类号： G06F17/27 ,  G06F17/28 ,  G06F15/38

CPC分类号： G06F17/271 ,  G06F17/2872 ,  G06F17/289

摘要： A machine translation system has an input section, an original storage section for storing an original sentence input by the input section, a dictionary section storing linguistical information necessary for translation processing, a translation processing section for obtaining a translated sentence from the original sentence with reference to the linguistical information, a translation storage section for storing the translated sentence, a display section for displaying the original and translated sentences on predetermined display regions, respectively, and an edit processing section for performing edit processing for the original and translated sentences displayed on the display section. The edit processing section detects position information of information input by the input section, which indicates an input position on a display screen, and discriminates whether or not the position information corresponds to a predetermined new input region on which a newly input original sentence is displayed. When the position information corresponds to the new input region, the edit processing section stores the input original sentence in the original storage section.

摘要翻译： 机器翻译系统具有输入部分，用于存储由输入部分输入的原始句子的原始存储部分，存储翻译处理所需的语言信息的字典部分，用于从参考的原始句子中获得翻译句子的翻译处理部分 语言信息的翻译存储部分，用于存储翻译的句子的翻译存储部分，用于分别在预定显示区域上显示原始和翻译的句子的显示部分，以及用于对显示在所述翻译句子上的原始和翻译的句子执行编辑处理的编辑处理部分 显示部分。 编辑处理部分检测由输入部分输入的信息的位置信息，该信息指示显示屏幕上的输入位置，并且识别位置信息是否对应于其上显示新输入的原始句子的预定的新的输入区域。 当位置信息对应于新的输入区域时，编辑处理部分将输入的原始句子存储在原始存储部分中。

公开(公告)号：US4647932A

公开(公告)日：1987-03-03

申请号：US488342

申请日：1983-04-25

申请人： Takesi Ono ,  Kazuo Nakamura ,  Toshio Okamoto

发明人： Takesi Ono ,  Kazuo Nakamura ,  Toshio Okamoto

IPC分类号： G05D13/00 ,  G01S11/10 ,  G05D1/10 ,  G01S3/02

CPC分类号： G01S11/10

摘要： A system for measuring the velocity of a spacecraft from a position onboard the spacecraft is disclosed. This system includes a radio wave receiver means for receiving pulse trains from a plurality of preselected pulsars. A velocity measuring unit located on the spacecraft measures the velocity of the spacecraft based on the Doppler shift of the pulse trains transmitted from each of the plurality of preselected pulsars.

摘要翻译： 公开了一种用于从航天器上的位置测量航天器的速度的系统。 该系统包括用于从多个预选脉冲发生器接收脉冲序列的无线电波接收装置。 位于航天器上的速度测量单元基于从多个预先选择的脉冲星中的每一个发送的脉冲序列的多普勒频移来测量航天器的速度。