Abstract: A security verification method for verifying whether improper settings that indicate composite errors of security settings exist in an object system, which is an object of examination, includes steps of: reading data transfer paths that represent data movement in the object system and that are generated based on program operation information that describes operations of a program that is used in the object system, integrating the access rights of data transfer paths that have been read; and searching for improper paths among the data transfer paths for which access rights have been integrated based on security verification policies in which improper paths, which are paths of data movement that are improper from the standpoint of security, have been set in advance.

Abstract: A security verification method for verifying whether improper settings that indicate composite errors of security settings exist in an object system, which is an object of examination, includes steps of: reading data transfer paths that represent data movement in the object system and that are generated based on program operation information that describes operations of a program that is used in the object system, integrating the access rights of data transfer paths that have been read; and searching for improper paths among the data transfer paths for which access rights have been integrated based on security verification policies in which improper paths, which are paths of data movement that are improper from the standpoint of security, have been set in advance.

Abstract: A mechanical translation system is provided to obtain a sentence of target language from the tree expression of source language. The processing progresses as follows: First, a pattern which coincides with partial structure, including the highest node, of the tree fragment chosen, is selected among patterns previously contained in the pattern dictionary. The pattern has a production rule attached to the pattern.

Abstract: A soldering device for radiator tanks comprises a large number of burner nozzles disposed along the entire width of and directed to the soldering area. Cooling pipes are provided on burner tables which can be adjusted so that the radiator can be inserted inside the gap formed therebetween. A control means shifts the times for starting and shutting off the supplying of an oxygen-containing gas from the burner ignition and fire extinction times.

Abstract: An improved Kalman equalizer for providing a tap weight of a transversal filter for equalizing a transmission line has been found. A complex number fast Kalman equalizer (FIG. 27), which is the improvement of the prior fast real number Kalman equalizer (see; "Fast calculation of gain matrices for recursive estimation schemes" by Lennart Ljung, et al, INT. J. Control, 1978, vol. 27, No. 1, 1-19), has a complex conjugate generator (C.sub.2) for processing a complex input signal so that an equalization can be performed on the bandwidth division concept, and a transmission line having a complex impulse response can be equalized. Then, a bandwidth division equalization in which a whole bandwidth is separated into a plurality of sub-bandwidth each being equalized by a related sub-equalizer becomes possible. Also, a QAM signal (Quadrature Amplitude Modulation) which has a complex impulse response can be equalized. A bandwidth division fast Kalman equalizer (FIG.

Abstract: An apparatus for reducing a sampling frequency which derives information with the bandwidth f.sub.B /N (N is an integer) having a sampling frequency of 2f.sub.B /N from an input FDM signal with a bandwidth up to f.sub.B having the sampling frequency 2f.sub.B has been found. The present apparatus comprises a pair of partial frequency reduction systems and a switch for alternately selecting the outputs of said partial frequency reduction systems to provide the output signal.

Abstract: A transversal type automatic equalizer comprises a transversal filter having a plurality of taps separated by time delay intervals, said transversal filter receiving input signals from a transmission line, a plurality of potentiometers being connected to each of said taps to provide a tap weight and the outputs of the potentiometers being summed up to provide an equalized output signal, and said potentiometers being adjusted by an equalization arithmetic unit. The potentiometers and thereby the tap weights are adjusted according to the output of the arithmetic unit whereby an equalized output with a suppressed ripple characteristic is produced.

Abstract: A method and apparatus is provided for adjusting the tap coefficient of an adaptive automatic equalizer having a plurality of tap registers. An input signal is repetitively applied to a train of tapped delay elements and the sum of the weighted output of each tap output is obtained. An error output is obtained by taking the difference between the sum of the weighted output of each tap output and a reference signal, and a correlation value is obtained between the error output and each tap output of the delay elements. The improvement comprises storing the tap weights of each of the tapped registers and obtaining the total sum of each tap weight of one of the registers wherein the tap weight of a tap is the correlation value.

Abstract: In an automatic equalizer for regenerating a received digital signal, comprising a delay element train with a plurality of taps, a coefficient matrix circuit and a group of variable coefficient units, the structure of said coefficient matrix circuit being considerably simplified by introducing a simple adder and/or subtractor at the input and/or the output of said coefficient matrix circuit.