An Efficient Scaling Algorithm for the Minimum Weight Bibranching Problem

Let G=(VG,AG) be a digraph and let S ⊔ T be a bipartition of VG. A bibranching is a subset B⊆AG such that for each node s∈S there exists a directed s–T path in B and, vice versa, for each node t∈T there exists a directed S–t path in B.     

Analyzing the efficacy of using digital ink devices in a learning environment

There has been increased interest on the impact of mobile devices such as PDAs and Tablet PCs in introducing new pedagogical approaches and active learning experiences. We propose an intelligent system that efficiently addresses the inherent subjectivity in student perception of note taking and information retrieval. We employ the idea of cross indexing the digital ink notes with matching electronic documents in the repository. Latent Semantic Indexing is used to perform document and page level indexing. Thus for each retrieved document, the user can go over to the relevant pages that match the query. Techniques to handle problems such as polysemy (multiple meanings of a word) in large databases, document folding and no match for query are discussed. We tested our system for its performance, usability and effectiveness in the learning process. The results from the exploratory studies reveal that the proposed system provides a highly enhanced student learning experience, thereby facilitating high test scores.

Towards the development of a virtual environment-based training system for mechanical assembly operations

In this paper, we discuss the development of Virtual Training Studio (VTS), a virtual environment-based training system that allows training supervisors to create training instructions and allows trainees to learn assembly operations in a virtual environment. Our system is mainly focused on the cognitive side of training so that trainees can learn to recognize parts, remember assembly sequences, and correctly orient the parts during assembly operations. Our system enables users to train using the following three training modes: (1) Interactive Simulation, (2) 3D Animation, and (3) Video. Implementing these training modes required us to develop several new system features. This paper presents an overview of the VTS system and describes a few main features of the system. We also report user test results that show how people train using our system. The user test results indicate that the system is able to support a wide variety of training preferences and works well to support training for assembly operations.

---

Probabilistic analysis of mechanical properties of WWER-1000 reactor pressure vessel materials

The variance of strength and plastic characteristics of 15Kh2NMFA steel and its welds is assessed by the results of statistical analysis of material mechanical properties for nineteen WWER-1000 reactor pressure vessels manufactured by Izhorskii and Atommash factories. The values determined with a 95% probability are well within the limits specified by the applicable regulations. The parameters which are needed for the statistical brittle-strength analysis of a reactor pressure vessel are presented with the same veracity. __________ Translated from Problemy Prochnosti, No. 2, pp. 15–28, March–April, 2006.     

Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations. We describe in detail the abductive reasoner, Tacitus-lite+, that we use within the tutoring system. We also discuss evaluation results for an early version of the Why2-Atlas system and a subsequent evaluation of the theorem-proving module. We conclude with the discussion of work in progress and additional future work for deriving more benefits from a proof-based approach for tutoring applications.     

Obtaining a proton beam with 5-mA current in a tandem accelerator with vacuum insulation

Suppression of parasitic electron flows and positive ions formed in the beam tract of a tandem accelerator with vacuum insulation allowed a more than threefold increase (from 1.6 to 5 mA) in the current of accelerated 2-MeV protons. Details of the modification are described. Results of experimental investigation of the suppression of secondary charged particles and data on the characteristics of accelerated proton beam with increased current are presented.     

Use of liquid metals in nuclear and thermonuclear engineering,and in other innovative technologies

By now, a good deal of experience has been gained with using liquid metals as coolants in nuclear power installations; extensive knowledge has been gained about the physical, thermophysical, and physicochemical properties of these coolants; and the scientific principles and a set of methods and means for handling liquid metals as coolants for nuclear power installations have been elaborated. Prototype and commercialgrade sodium-cooled NPP power units have been developed, including the BOR-60, BN-350, and BN-600 power units (the Soviet Union); the Rapsodie, Phenix, and Superphenix power units (France), the EBR-II power unit (the United States); and the PFR power unit (the United Kingdom). In Russia, dedicated nuclear power installations have been constructed, including those with a lead-bismuth coolant for nuclear submarines and with sodium-potassium alloy for spacecraft (the Buk and Topol installations), which have no analogs around the world. Liquid metals (primarily lithium and its alloy with lead) hold promise for use in thermonuclear power engineering, where they can serve not only as a coolant, but also as tritium-producing medium. In this article, the physicochemical properties of liquid metal coolants, as well as practical experience gained from using them in nuclear and thermonuclear power engineering and in innovative technologies are considered, and the lines of further research works are formulated. New results obtained from investigations carried out on the Pb-Bi and Pb for the SVBR and BREST fast-neutron reactors (referred to henceforth as fast reactors) and for controlled accelerator systems are described.     

The Monte Carlo study of techniques for determining bremsstrahlung focal spots

The Monte Carlo statistical modeling has been used to study the techniques for determining the size of bremsstrahlung focal spots in the approximation of a normal distribution of bremsstrahlung quanta over the target surface.     

Determination of Zeeman Shifts of Spectral Structures in a Nonuniform Magnetic Field

The variation in the shift of spectral structures due to the Zeeman effect in a spatially nonuniform magnetic field has been studied. It has been found that this shift can be varied by changing the width and shape of spectral structures, their forms, and methods and conditions of recording. A method of accounting for magnetic-field nonuniformity for optically thin and thick media has been proposed.     

Environmental Assessment of Products over the Complete Life Cycle

Russian Engineering Research - The environmental impact of products is assessed over the complete life cycle. The proposed approach to impact assessment takes account of all the potential hazards...