Information checking system

Patent

Information checking system

- 10 Apr 1963

4

About: The article was published on 10 Apr 1963. The article focuses on the topics: Automated proof checking & Model checking.

Chat with Paper

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Citations

Patent

Redundancy system for data communications

Akihiro Sugawara, +4 more

- 24 Jun 1975

TL;DR: In this paper, a redundancy system for data communications upon two duplicate communication channels, each having transmission and reception circuits, characterized by a switching circuit for selecting one of the two channels, a single error detection circuit for detecting an error in the signal transmitted, and a control circuit for the switching circuit arranged to cause said two communication channels to alternately transmit signals when both the channels are in normal operation and to cause one of said two channels to be selected when the other fails.

...read moreread less

42

Patent

Device protection method and apparatus

Yoshiki Kobayashi, +3 more

- 30 May 1975

TL;DR: In this article, a multi-computer system having input/output devices for common use, protection is made for the devices upon transferring of the input and output data by comparing a device identifying number or address signal and a number signal identifying a central processor unit which demands the transfer of data.

...read moreread less

15

Patent

Process and device for the digitized transmission of signals

Beauducel Claude, +1 more

- 27 Aug 1993

TL;DR: In this paper, the authors proposed a method for simplifying transmission of analog signals received from sensors to a remote station in accordance with the invention, which includes at least one local electronic module including in combination a modulator for oversampling each analog signal and converting each oversampled analog signal into lower resolution digital words and a transmitter for transmitting the lower resolution words as a bit stream.

...read moreread less

13

Patent

Supervisory system for a data transmission system

Altmann William

- 27 Apr 1977

TL;DR: In this article, a data-transmission route involving parallel (e.g., 8Mb/s) data transmission systems each using a separate line pair, a common line pair is used for supervisory and control purposes (signals up to say 25 KHz) and each of e.g. 100 repeater stations (provided with a digital regenerator per data-line pair) has a single error detector and a single interrogate/response signal circuit at the station.

...read moreread less

13