Radial Velocity Studies of Close Binary Stars.XIII

Radial-velocity measurements and sine-curve fits to the orbital radial velocity variations are presented for ten close binary systems: EG Cep,V1191 Cyg, V1003 Her, BD+7_3142, V357 Peg, V407 Peg, V1123 Tau, V1128 Tau, HH UMa, and PY Vir. While most of the studied eclipsing systems are contact binaries, EG Cep is a detached or a semi-detached double-lined binary and V1003 Her is a close binary of an uncertain type seen at a very low inclination angle. We discovered two previously unknown triple systems, BD+7_3142 and PY Vir, both with late spectral-type (K2V) binaries. Of interest is the low-mass ratio (q = 0.106) close binary V1191 Cyg showing an extremely fast period increase; the system has a very short period for its spectral type and shows a W-type light curve, a feature rather unexpected for such a low mass-ratio system.Comment: Accepted by AJ. 19 pages including 5 figure

Radial Velocity Studies of Close Binary Stars. IX

Radial-velocity measurements and sine-curve fits to the orbital velocity variations are presented for the eighth set of ten close binary systems: AB And, V402 Aur, V445 Cep, V2082 Cyg, BX Dra, V918 Her, V502 Oph, V1363 Ori, KP Peg, V335 Peg. Half of the systems (V445 Cep, V2082 Cyg, V918 Her, V1363 Ori, V335 Peg) were discovered photometrically by the Hipparcos mission and all systems are double-lined (SB2) contact binaries. The broadening function method permitted improvement of the orbital elements for AB And and V502 Oph. The other systems have been observed for radial velocity variations for the first time; in this group are five bright (V<7.5) binaries: V445 Cep, V2082 Cyg, V918 Her, KP Peg and V335 Peg. Several of the studied systems are prime candidates for combined light and radial-velocity synthesis solutions.Comment: 17+ pages, 2 tables, 4 figure

Application of OBDD Diagrams in Verification of Tabular Rule Systems

Abstract. This paper examines the application of Ordered Binary Decision Diagrams (OBDD) to modelling and verification of quality properties of rule systems. The transformation of an intentional specification of a tabular rule system into OBDD data structures was proposed and techniques of verification of such quality properties as completeness, determinism and redundancy of rules were described