Formation and electronic structure of interface

In the present work the formation of the interface between polycrystalline silver and thin films of titanium oxide was studied with photoelectron spectroscopy (XPS, UPS) and time-of-flight secondary ion mass spectrometry (TOF-SIMS). Titanium oxide was deposited stepwise on 100 nm thick silver films by reactive magnetron sputtering allowing to study the evolution of the interface formation process. The process involves two steps: formation of thin layer of silver oxide and subsequent growth of the TiO₂ film. For better understanding of the silver oxidation process, pure silver films were exposed to a low temperature Ar/O plasma for different time intervals providing a possibility to investigate early stages of the oxide film growth.     

Online learning algorithm of kernel-based ternary classifiers using support vectors

An algorithm OnSVM of the kernel-based classification is proposed which solution is very close to -SVM an efficient modification of support vectors machine. The algorithm is faster than batch implementations of -SVM and has a smaller resulting number of support vectors. The approach developed maximizes a margin between a pair of hyperplanes in feature space and can be used in online setup. A ternary classifier of 2-class problem with an “unknown” decision is constructed using these hyperplanes.     

Automated Flaw Detection in Algebraic Specifications

In interactive theorem proving practice a significant amount of time is spent on unsuccessful proof attempts of wrong conjectures. An automatic method that reveals them by generating finite counter examples would offer an extremely valuable support for a proof engineer by saving his time and effort. In practice, such counter examples tend to be small, so usually there is no need to search for big instances. Most definitions of functions or predicates on infinite structures do not preserve the semantics if a transition to arbitrary finite substructures is made. We propose constraints which guarantee a correct axiomatization on finite structures and present an approach which uses the Alloy Analyzer to generate finite instances of theories in the theorem prover KIV. It is evaluated on the library of basic data types as well as on some challenging case studies in KIV. The technique is implemented using the Kodkod constraint solver which is a successor of Alloy.     

A semi-supervised tool for clustering accounting databases with applications to internal controls

A considerable body of literature attests to the significance of internal controls; however, little is known on how the clustering of accounting databases can function as an internal control procedure. To explore this issue further, this paper puts forward a semi-supervised tool that is based on self-organizing map and the IASB XBRL Taxonomy. The paper validates the proposed tool via a series of experiments on an accounting database provided by a shipping company. Empirical results suggest the tool can cluster accounting databases in homogeneous and well-separated clusters that can be interpreted within an accounting context. Further investigations reveal that the tool can compress a large number of similar transactions, and also provide information comparable to that of financial statements. The findings demonstrate that the tool can be applied to verify the processing of accounting transactions as well as to assess the accuracy of financial statements, and thus supplement internal controls.     

Project proposal for the investigation of particle-stabilised emulsions and foams by microgravity experiments

The utilisation of particle-surfactants nanostructures as stabilising agents represents today the technologic and scientific frontier in the stabilisation of liquid films in emulsion and foams. This topic will be addressed by the proposal STEFAN (STabilisation of Emulsions and FoAms by Nanoparticles), proposed by European groups in the framework of the ESA AO-2004 for Life and Physical Sciences and Applied Research projects Similarly to what can be observed for surfactant-stabilised emulsions and foams, microgravity provides ideal conditions for the investigation of the hierarchy of involved objects: interfacial layer, liquid film, dispersed systems foam or emulsion. Microgravity experiments are planned by refurbishing the Experimental Container FASES for the ISS Fluid Science Laboratory and the facility FASTER for the European Drawer Rack, already under development in existing research programmes. Here the scientific guidelines of the project are presented together with examples and preliminary results on the effect of nano-particle-surfactant structures adsorbed at liquid interfaces. First experimental results have been achieved for particle monolayers at the water/air interface and a thermodynamic model was derived to describe the obtained surface pressure-area isotherms.     

Rheological studies with spherically shaped thin liquid films

The present work shows the first experimental and theoretical results for investigations on the rheology of liquid films. The experiments are planned to be performed under microgravity conditions. This environment will allow forming films of different thickness, which is impossible under ground conditions due to drainage. Then the films are forced to harmonic oscillations of the film area so that the film elasticity can be measured as a function of frequency. The presented theoretical model demonstrates the main relationships to be solved under corresponding boundary conditions     

Mega-ampere submicrosecond generator GIT-32

The GIT-32 current generator was developed for experiments with current carrying pulsed plasma. The main parts of the generator are capacitor bank, multichannel multigap spark switches, low inductive current driving lines, and central load part. The generator consists of four identical sections, connected in parallel to one load. The capacitor bank is assembled from 32 IEK-100-0.17 (0.17 microF, 40 nH, 100 kV) capacitors, connected in parallel. It stores approximately 18 kJ at 80 kV charging voltage. Each two capacitors are commuted to a load by a multigap spark switch with eight parallel channels. Switches operate in ambient air at atmospheric pressure. The GIT-32 generator was tested with 10, 15, and 20 nH inductive loads. At 10 nH load and 80 kV of charging voltage it provides 1 MA of current amplitude and 490 ns rise time with 0.8 Omega damping resistors in discharge circuit of each capacitor and 1.34 MA530 ns without resistors. The net generator inductance without a load was optimized to be as low as 12 nH, which results in extremely low self-impedance of the generator ( approximately 0.05 Omega). It ensures effective energy coupling with low impedance loads like Z pinch. The generator operates reliably without any adjustments in 40-80 kV range of charging voltage. Maximum jitter (relative to a triggering pulse) at 40 kV charging voltage is about 7 ns and lower at higher charging voltages. Operation and handling are very simple, because no oil and no purified gases are required for the generator. The GIT-32 generator has dimensions of 3200 x 3200 x 400 mm(3) and total weight of about 2500 kg, thus manifesting itself as a simple, robust, and cost effective apparatus.     

Establishment of a national radwaste handling system: lessons, successes, expectations

The history of the development of a system for handling radwastes is presented in the context of the formulation of present Russian legislation pertaining to the use of atomic energy before the adoption of the Federal law in 2011. The deficiencies of the present system are noted, and a brief commentary is given on the most significant norms of the new law and the expected difficulties of its implementation.     

Significant G peak temperature shift in Raman spectra of graphene on copper

Linear G peak position temperature dependence in Raman spectra of graphene synthesized by chemical vapor deposition from decane on copper (220) with a shift factor of ?(5.4 ± 0.4) × 10^?2 cm^?1K^?1 was observed. The obtained value substantially exceeds values previously obtained for graphene by other authors, and was associated with the substrate interaction effects.