-
公开(公告)号：US4754400A
公开(公告)日：1988-06-28
申请号：US106030
申请日：1987-10-08
CPC分类号： G06F9/54 , G06F11/3604
摘要： A communication protocol validation system which produces a global state transition chart having a plurality of states and a plurality of transitions between states in electrical form to find an error and/or a deadlock of the protocol has been improved by coupling a plurality of global transitions according to a predetermined algorithm and deleting redundant global transitions. Thus, a number of global states and a number of global transitions in the chart are reduced, and the validation is implemented by using a reasonable amount of hardware in a reasonable time.
摘要翻译： 一种通信协议验证系统，其通过以多个状态和多个状态之间的转换来产生一个全局状态转换图，以便发现该协议的错误和/或死锁，从而通过将多个全局转换 到预定的算法并删除冗余的全局转换。 因此，图表中的一些全局状态和多个全局转换被减少，并且在合理的时间内使用合理数量的硬件来实现验证。
-
公开(公告)号：US4802162A
公开(公告)日：1989-01-31
申请号：US930341
申请日：1986-11-12
CPC分类号： H04L29/06 , G01R31/318307 , H04L69/03
摘要： An automatic protocol synthesizing system in which, incomplete state transition diagrams of at least two functionally incomplete processes forming a protocol are received and completed state transition diagrams of the processes are outputted. In accordance with the present invention, there is provided a checking circuit for making a check for a logical error of the incomplete state transition diagram an embedding circuit embeds the state transition diagram of a process corresponding to the incomplete state transition diagram of an ith (where 1.ltoreq.i.ltoreq.N) one of the processes in the ith incomplete state transition diagram. A state transition diagram generating circuit is provided for automatically generating a state transition diagram including all of the remaining (i+1)th and subsequent processes, on the basis of the embedded state transition diagram; and a dividing circuit divides the thus automatically synthesized state transition diagram into the state transition diagram of the (i+1)th one of all the automatically generated processes and the state transition diagram for the other processes. The operations of the checking circuit, the embedding circuit, the state transition diagram generating circuit and the dividing circuit are repeated by (N-1) times to complete the state transition diagram for each process, thereby making the protocol functionally complete.
摘要翻译： 一种自动协议合成系统，其中接收至少两个形成协议的功能不完整过程的不完整状态转移图，并且输出处理的完成状态转换图。 根据本发明，提供了一种用于检查不完全状态转换图的逻辑错误的检查电路，嵌入电路嵌入与第i个不完全状态转移图对应的处理的状态转移图（其中 1
-
公开(公告)号：US4694422A
公开(公告)日：1987-09-15
申请号：US749591
申请日：1985-06-24
CPC分类号： G06F9/54 , G06F11/3604 , G06F9/52
摘要： A communication protocol validation system which produces a state transition expansion chart having a plurality of states and a plurality of transitions between states in electrical form to find errors such as an unspecified executable transition, a specified unexecutable transition and a deadlock has been improved by providing new error items of a bounded overflow and an unbounded overflow and deleting redundant transitions. Thus, a number of states and a number of transitions in the chart are reduced, and the validation is implemented by using a reasonable amount of hardware in a reasonable time.
摘要翻译： 一种通信协议验证系统，其产生具有多个状态的状态转换扩展图，并且以电形式的状态之间的多个转换以发现诸如未指定的可执行转换，指定的不可执行转换和死锁之类的错误已经通过提供新的 有界溢出和无限溢出的错误项目以及删除冗余转换。 因此，减少了图表中的多个状态和多个转换，并且通过在合理的时间内使用合理数量的硬件来实现验证。
-
公开(公告)号：US4357674A
公开(公告)日：1982-11-02
申请号：US189539
申请日：1980-09-22
申请人： Yoshikazu Ikeda , Yasushi Wakahara
发明人： Yoshikazu Ikeda , Yasushi Wakahara
CPC分类号： G06F7/49 , H04B14/048 , H04M3/561
摘要： A PCM signal calculator for non-linear encoded PCM signals in the A-law system or .mu.-law system having a sign bit and a plurality of absolute value bits with three bits of segment number and four bits of step numbers within segment comprises; (a) a pair of input terminals for receiving the input PCM signals; (b) a signal or plurality of calculation means for providing the addition, subtraction and/or multiplication between the absolute values of two input PCM signals; (c) means for providing sign bit of the calculated result from the sign bits of the input PCM signals and/or the output of said calculation means; (d) an output terminal for providing the sign bit of the result from said means (c) and the absolute value of the result from said means (d). Said calculation means is either a table memory storing the result of each calculation according to the address designated by the input signals or combination of electronic components operating input PCM signals with segment number and step number within segment like a floating point number. Thus, the calculation of PCM signals encoded with non-linear encoding system like A-law and/or .mu.-law is performed without converting the PCM signals to linear signals.
摘要翻译： 用于A律系统中的非线性编码PCM信号的PCM信号计算器或具有符号位和多个绝对值比特的多个绝对值比特，所述绝对值比特包括片段号的三位和段内的四位步数包括; （a）一对输入端子，用于接收输入的PCM信号; （b）信号或多个计算装置，用于提供两个输入PCM信号的绝对值之间的相加，减法和/或相乘; （c）用于从输入PCM信号的符号位和/或所述计算装置的输出提供计算结果的符号位的装置; （d）用于从所述装置（c）提供结果的符号位的输出端和来自所述装置（d）的结果的绝对值。 所述计算装置是根据由输入信号指定的地址或电子部件组合操作输入PCM信号的每个计算结果存储每个计算结果的表存储器，其中段数和片段中的步号如浮点数。 因此，在不将PCM信号转换为线性信号的情况下，执行用诸如A律和/或μ-μaw的非线性编码系统编码的PCM信号的计算。
-
公开(公告)号：US4245257A
公开(公告)日：1981-01-13
申请号：US062036
申请日：1979-07-30
CPC分类号： H04N1/4175
摘要： A transmission method for a facsimile signal by the use of the two-dimensional coding principle, in which when successively coding addresses of a facsimile signal representative of the positions of information change picture elements, each having a binary value different from that of an immediately preceding picture element, the above-mentioned addresses on each coding scanning line are classified into three modes that are determined by the states of information change picture elements on the coding scanning line and on a reference scanning line immediately preceding the coding scanning line. The above two-dimensional coding principle and a one-dimensional coding principle may be adaptively adopted to shorten the transmission time and to lessen the influence of a transmission error.
摘要翻译： 一种通过使用二维编码原理的传真信号的传输方法，其中当连续地编码表示信息改变图像元素的位置的传真信号的地址时，每个具有不同于紧接在前的 每个编码扫描线上的上述地址被分为由编码扫描线上的信息改变图像元素和编码扫描线之前的参考扫描线确定的三种模式。 可以适应性地采用上述二维编码原理和一维编码原理来缩短传输时间并减少传输误差的影响。
-
公开(公告)号：US4956790A
公开(公告)日：1990-09-11
申请号：US151908
申请日：1988-02-03
IPC分类号： G05B19/19 , B25J3/00 , B25J9/18 , G05B19/42 , G05B19/427
CPC分类号： G05B19/427 , G05B2219/34295
摘要： An instruction system of a remote-control robot having a work manipulator. The system comprises an instruction manipulator for providing work instructions to the work manipulator; a solid geometrical model forming device for forming solid geometrical models of the work manipulator and work circumstances; a simulating device for operating the positions and attitude of the geometrical models according the information of motions of the instruction manipulator and information from various sensors of the work manipulator to simulate geometrical models, as well as driving the work manipulator according to the information from the instruction manipulator, etc.; and a graphic display for displaying motions of the geometrical models. The solid geometrical model forming device forms geometrical models of the work manipulator and work circumstances, the simulating device simulating actual working positions of the geometrical models, and the graphic display displaying the simulated geometrical models. After that, the work manipulator is driven according to the instruction information. Thus, an operator can give work instructions to the work manipulator through the instruction manipulator while monitoring, at a real time, motions of the geometrical models displayed on the graphic display.
-
公开(公告)号：US4134133A
公开(公告)日：1979-01-09
申请号：US817421
申请日：1977-07-20
摘要： A method for interline-coding a facsimile signal, in which information of scanning lines of the input facsimile signal is alternately divided into information of at least one first unit line and information of at least one second unit line. A first one of the first unit lines is first coded in accordance with a predetermined coding principle. The information of the next one of the first unit lines is secondly coded in accordance with a predetermined coding principle prior to coding of information of the first one of said second unit lines. The information of the first one of the second unit lines is thirdly coded by two-dimensional predictive coding using, as reference information, the information of the first one and the next one of the first unit lines. The operations of the second coding and the operation of the third coding are repeatedly achieved thereafter.
摘要翻译： 一种用于对传真信号进行行间编码的方法，其中将输入传真信号的扫描线的信息交替划分为至少一个第一单元行的信息和至少一个第二单位行的信息。 首先根据预定的编码原理对第一单元线进行编码。 在对第一单元线中的第一单元线的信息进行编码之前，根据预定的编码原理对下一个第一单元行的信息进行二次编码。 第二单元行中的第一单元行的信息通过使用第一单元行中的第一单元行和下一个单元行的信息作为参考信息的二维预测编码进行第三编码。 此后重复实现第二编码的操作和第三编码的操作。
-
公开(公告)号：US4296439A
公开(公告)日：1981-10-20
申请号：US150100
申请日：1980-05-15
申请人： Hiroichi Teramura , Yasuhiro Yamazaki , Yasushi Wakahara , Naohiko Hattori , Seiichi Yamamoto , Kouzo Nakao
发明人： Hiroichi Teramura , Yasuhiro Yamazaki , Yasushi Wakahara , Naohiko Hattori , Seiichi Yamamoto , Kouzo Nakao
CPC分类号： H04N1/33361 , H04L7/0083 , H04N1/3333 , H04N1/413 , H04N2201/33357
摘要： In a digitalized facsimile transmission system, (k) number of scanning lines (k=2 or 4) are encoded to a relative address code and the next scanning line is encoded to a run length code, and each scanning line has the related synchronization code pattern corresponding either said relative address code or said run length code. Thus, the effect of a transmission error is restricted within one scanning line when that error occurs in the scanning line encoded to run length code, or k lines when that error occurs in the scanning line encoded to relative address code. The value (k) is switched between k=2 and k=4 according to the instantaneous quality of a communication line. When the quality is good, k=4 is selected, and when the quality is bad, k=2 is selected. The reception side can switch the decoding systems between relative address decode and run length decode, by being controlled through the related synchronization code patterns.A synchronization code pattern has a plurality of O's inserted between a pair of 1's (1000 . . . 0001), and the number of O's between said 1's indicates one of relative address code and run length code.In order to discriminate a facsimile information from a synchronization code pattern, when the facsimile information has the more continuous O's than (n), an idle signal having the value "1" is inserted in every (n-1) number of continuous O's of the facsimile information. Said idle signal is deleted automatically in the receiver.
摘要翻译： 在数字化传真传输系统中，（k）扫描线数（k = 2或4）被编码为相对地址码，下一扫描线被编码为游程长度码，并且每条扫描行具有相关的同步码 模式对应于所述相对地址代码或所述游程长度代码。 因此，当编码为运行长度码的扫描线中发生错误时，传输错误的影响被限制在一条扫描行内，或者当编码到相对地址码的扫描行中出现该错误时，传输误差的影响被限制在k行。 根据通信线路的瞬时质量，在k = 2和k = 4之间切换值（k）。 当质量好时，选择k = 4，当质量不好时，选择k = 2。 接收侧可以通过相关的同步码模式进行控制，在相对地址解码和游程长度解码之间切换解码系统。 同步代码模式具有插入在一对1（1000 ... 0001）之间的多个O，并且所述1之间的O数表示相对地址码和游程长度码之一。 为了区分传真信息与同步码模式，当传真信息具有比（n）更连续的O时，具有值“1”的空闲信号被插入到每（n-1）个连续O 传真信息。 所述空闲信号在接收机中自动删除。
-
公开(公告)号：US4150401A
公开(公告)日：1979-04-17
申请号：US919613
申请日：1978-06-27
申请人： Seiichi Yamamoto , Kozo Nakao , Naohiko Hattori , Hiroichi Teramura , Yasuhiro Yamazaki , Yasushi Wakahara
发明人： Seiichi Yamamoto , Kozo Nakao , Naohiko Hattori , Hiroichi Teramura , Yasuhiro Yamazaki , Yasushi Wakahara
IPC分类号： H04N1/40
CPC分类号： H04N1/40068
摘要： A facsimile signal converter for converting an input facsimile signal into an output facsimile signal having a scanning line density different from that of the input facsimile signal. A table circuit is provided for developing white and black states of each output picture element of the output facsimile signal in correspondence to a predetermined number of combinations of states of reference picture elements and the geometric relation between the reference picture elements and the output picture elements. The reference picture element corresponds to at least one input picture element of the input facsimile signal adjacent to each output picture element of the output facsimile signal in consideration of a state of superimposing an input pattern on an output pattern indicated respectively by the input facsimile signal and the output facsimile signal. The white and black states of the output picture elements are read out from the table circuit to provide the output facsimile signal in response to each input picture element of the input facsimile signal on the base of the instant conditions of the geometric relation and the reference picture elements.
摘要翻译： 一种传真信号转换器，用于将输入传真信号转换成具有与输入传真信号不同的扫描线密度的输出传真信号。 提供表电路，用于根据预定数量的参考图像元素的状态的组合以及参考图像元素和输出图像元素之间的几何关系来显示输出传真信号的每个输出像素的白色和黑色状态。 考虑到将输入图案叠加在由输入的传真信号分别指示的输出图案上的状态，参考图像元素对应于与输出传真信号的每个输出图像元素相邻的输入传真信号的至少一个输入图像元素，以及 输出传真信号。 从表格电路中读出输出图像元素的白色和黑色状态，以便根据几何关系的瞬时条件和参考图像来响应输入传真信号的每个输入图像元素提供输出传真信号 元素。
-
10.发明授权
公开(公告)号：US4533259A
公开(公告)日：1985-08-06
申请号：US568512
申请日：1984-01-09
申请人： Yasushi Wakahara
发明人： Yasushi Wakahara
摘要： An apparatus for detecting the local temperature variations of an object and the sites of the temperature variations comprises,at least one temperature-sensing element formed of a band-shaped magnetic material having a prescribed Curie temperature;a pulse generator for supplying a pulse signal to at least one end of the temperature-sensing element;a pulse time difference detector for detecting a difference between a point of time at which the pulse signal is received and a point of time at which the reflected pulse signal of the pulse signal from the site of the temperature-sensing element where its characteristic impedance has changed is received; anda temperature variation site detector for determining a site of temperature variation from the detected pulse time difference.
摘要翻译： 用于检测物体的局部温度变化和温度变化的位置的装置包括：由具有规定居里温度的带状磁性材料形成的至少一个温度感测元件; 脉冲发生器，用于向温度感测元件的至少一端提供脉冲信号; 用于检测接收到脉冲信号的时间点与其特征阻抗具有的温度感测元件的位置的脉冲信号的反射脉冲信号的时间点之间的差的脉冲时间差检测器 已收到; 以及温度变化部位检测器，用于根据检测到的脉冲时间差确定温度变化的位置。
-
-
-
-
-
-
-
-
-
搜索结果
22 条记录 (耗时 0.018 秒)
