Modeling software design diversity

Design diversity has been used for many years now as a means of achieving a degree of fault tolerance in software-based systems. Whilst there is clear evidence that the approach can be expected to deliver some increase in reliability compared with a single version, there is not agreement about the extent of this. More importantly, it remains difficult to evaluate exactly how reliable a particular diverse fault-tolerant system is. This difficulty arises because assumptions of independence of failures between different versions have been shown not to be tenable: assessment of the actual level of dependence present is therefore needed, and this is hard. In this tutorial we survey the modelling issues here, with an emphasis upon the impact these have upon the problem of assessing the reliability of fault tolerant systems. The intended audience is one of designers, assessors and project managers with only a basic knowledge of probabilities, as well as reliability experts without detailed knowledge of software, who seek an introduction to the probabilistic issues in decisions about design diversity

Recognition of wavefront aberrations types corresponding to single Zernike functions from the pattern of the point spread function in the focal plane using neural networks

В работе осуществлено обучение и распознавание типов аберраций, соответствующих отдельным функциям Цернике, по картине интенсивности функции рассеяния точки с применением свёрточных нейронных сетей. Картины интенсивности функции рассеяния точки в фокальной плоскости моделировались с применением алгоритма быстрого преобразования Фурье. При обучении нейронной сети коэффициент обучения и количество эпох для датасета заданного размера был подобран эмпирически. Средние ошибки предсказания нейронной сети для каждого типа аберраций были получены для набора из 15 функций Цернике по датасету из 15 тысяч картин функции рассеяния точки. В результате обучения для большинства типов аберраций получены усреднённые абсолютные погрешности в диапазоне 0,012 – 0,015, однако определение коэффициента (величины) аберрации требует дополнительных исследований и данных, например, расчёта функции рассеяния точки во внефокальной плоскости. In this work, we carried out training and recognition of the types of aberrations corresponding to single Zernike functions, based on the intensity pattern of the point spread function (PSF) using convolutional neural networks. PSF intensity patterns in the focal plane were modeled using a fast Fourier transform algorithm. When training a neural network, the learning coefficient and the number of epochs for a dataset of a given size were selected empirically. The average prediction errors of the neural network for each type of aberration were obtained for a set of 15 Zernike functions from a data set of 15 thousand PSF pictures. As a result of training, for most types of aberrations, averaged absolute errors were obtained in the range of 0.012 – 0.015. However, determining the aberration coefficient (magnitude) requires additional research and data, for example, calculating the PSF in the extrafocal plane.Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 19-29-09054 в части, касающейся машинного обучения и нейронных сетей, а также Министерства науки и высшего образования РФ в рамках выполнения работ по Государственному заданию ФНИЦ «Кристаллография и фотоника» РАН (соглашение № 007-ГЗ/Ч3363/26) в части моделирования аберрированного волнового фронта и расчёта ФРТ

Topological Defects on Fluctuating Surfaces: General Properties and the Kosterlitz-Thouless Transition

We investigate the Kosterlitz-Thouless transition for hexatic order on a free fluctuating membrane and derive both a Coulomb gas and a sine-Gordon Hamiltonian to describe it. The Coulomb-gas Hamiltonian includes charge densities arising from disclinations and from Gaussian curvature. There is an interaction coupling the difference between these two densities, whose strength is determined by the hexatic rigidity, and an interaction coupling Gaussian curvature densities arising from the Liouville Hamiltonian resulting from the imposition of a covariant cutoff. In the sine-Gordon Hamiltonian, there is a linear coupling between a scalar field and the Gaussian curvature. We discuss gauge-invariant correlation function for hexatic order and the dielectric constant of the Coulomb gas. We also derive renormalization group recursion relations that predict a transition with decreasing bending rigidity $\kappa$.Comment: REVTEX, 45 pages with 11 postscript figures compressed using uufiles. Accepted for publication in Phys. Rev.

Search for Higgs bosons decaying to tautau pairs in ppbar collisions at sqrt(s) = 1.96 TeV

We present a search for the production of neutral Higgs bosons decaying into tautau pairs in ppbar collisions at a center-of-mass energy of 1.96 TeV. The data, corresponding to an integrated luminosity of 5.4 fb-1, were collected by the D0 experiment at the Fermilab Tevatron Collider. We set upper limits at the 95% C.L. on the product of production cross section and branching ratio for a scalar resonance decaying into tautau pairs, and we then interpret these limits as limits on the production of Higgs bosons in the minimal supersymmetric standard model (MSSM) and as constraints in the MSSM parameter space.Comment: 7 pages, 5 figures, submitted to PL

Measurement of the photon+b+b-jet production differential cross section in ppˉp\bar{p} collisions at \sqrt{s}=1.96~\TeV

We present measurements of the differential cross section dsigma/dpT_gamma for the inclusive production of a photon in association with a b-quark jet for photons with rapidities |y_gamma|< 1.0 and 30<pT_gamma <300 GeV, as well as for photons with 1.5<|y_gamma|< 2.5 and 30< pT_gamma <200 GeV, where pT_gamma is the photon transverse momentum. The b-quark jets are required to have pT>15 GeV and rapidity |y_jet| < 1.5. The results are based on data corresponding to an integrated luminosity of 8.7 fb^-1, recorded with the D0 detector at the Fermilab Tevatron $p\bar{p}$ Collider at sqrt(s)=1.96 TeV. The measured cross sections are compared with next-to-leading order perturbative QCD calculations using different sets of parton distribution functions as well as to predictions based on the kT-factorization QCD approach, and those from the Sherpa and Pythia Monte Carlo event generators.Comment: 10 pages, 9 figures, submitted to Phys. Lett.

Limits on anomalous trilinear gauge boson couplings from WW, WZ and Wgamma production in pp-bar collisions at sqrt{s}=1.96 TeV

We present final searches of the anomalous gammaWW and ZWW trilinear gauge boson couplings from WW and WZ production using lepton plus dijet final states and a combination with results from Wgamma, WW, and WZ production with leptonic final states. The analyzed data correspond to up to 8.6/fb of integrated luminosity collected by the D0 detector in pp-bar collisions at sqrt{s}=1.96 TeV. We set the most stringent limits at a hadron collider to date assuming two different relations between the anomalous coupling parameters Delta\kappa_\gamma, lambda, and Delta g_1^Z for a cutoff energy scale Lambda=2 TeV. The combined 68% C.L. limits are -0.057<Delta\kappa_\gamma<0.154, -0.015<lambda<0.028, and -0.008<Delta g_1^Z<0.054 for the LEP parameterization, and -0.007<Delta\kappa<0.081 and -0.017<lambda<0.028 for the equal couplings parameterization. We also present the most stringent limits of the W boson magnetic dipole and electric quadrupole moments.Comment: 10 pages, 5 figures, submitted to PL

Measurement of three-jet differential cross sections d sigma-3jet / d M-3jet in p anti-p collisions at sqrt(s)=1.96 TeV

We present the first measurement of the inclusive three-jet differential cross section as a function of the invariant mass of the three jets with the largest transverse momenta in an event in p anti-p collisions at sqrt(s) = 1.96 TeV. The measurement is made in different rapidity regions and for different jet transverse momentum requirements and is based on a data set corresponding to an integrated luminosity of 0.7 fb^{-1} collected with the D0 detector at the Fermilab Tevatron Collider. The results are used to test the three-jet matrix elements in perturbative QCD calculations at next-to-leading order in the strong coupling constant. The data allow discrimination between parametrizations of the parton distribution functions of the proton.Comment: 10 pages, 4 figures, 2 tables, submitted to Phys. Lett. B, corrected chi2 values for NNPD

Search for pair production of the scalar top quark in muon+tau final states

We present a search for the pair production of scalar top quarks ($\tilde{t}_{1}$), the lightest supersymmetric partners of the top quarks, in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV, using data corresponding to an integrated luminosity of {7.3 $fb^{-1}$} collected with the \dzero experiment at the Fermilab Tevatron Collider. Each scalar top quark is assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$). We investigate final states arising from $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\mu\tau \tilde{\nu} \tilde{\nu}$ and $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\tau\tau \tilde{\nu} \tilde{\nu}$. With no significant excess of events observed above the background expected from the standard model, we set exclusion limits on this production process in the ($m_{\tilde{t}_{1}}$,$m_{\tilde{\nu}}$) plane.Comment: Submitted to Phys. Lett.

Measurements of inclusive W+jets production rates as a function of jet transverse momentum in ppbar collisions at sqrt{s}=1.96 TeV

This Letter describes measurements of inclusive W (--> e nu) + n jet cross sections (n = 1-4), presented as total inclusive cross sections and differentially in the nth jet transverse momentum. The measurements are made using data corresponding to an integrated luminosity of 4.2 fb-1 collected by the D0 detector at the Fermilab Tevatron Collider, and achieve considerably smaller uncertainties on W +jets production cross sections than previous measurements. The measurements are compared to next-to-leading order perturbative QCD (pQCD) calculations in the n =1-3 jet multiplicity bins and to leading order pQCD calculations in the 4-jet bin. The measurements are generally in agreement with pQCD predictions, although certain regions of phase space are identified where the calculations could be improved

Measurement of spin correlation in ttbar production using dilepton final states

We measure the correlation between the spin of the top quark and the spin of the anti-top quark in (ttbar -> W+ W- b bbar -> l+ nu b l- nubar bbar) final states produced in ppbar collisions at a center of mass energy sqrt(s)=1.96 TeV, where l is an electron or muon. The data correspond to an integrated luminosity of 5.4 fb-1 and were collected with the D0 detector at the Fermilab Tevatron collider. The correlation is extracted from the angles of the two leptons in the t and tbar rest frames, yielding a correlation strength C= 0.10^{+0.45}_{-0.45}, in agreement with the NLO QCD prediction within two standard deviations, but also in agreement with the no correlation hypothesis.Comment: 10 pages, 3 figures, submitted to PL