Event-by-event Simulation of Quantum Cryptography Protocols

We present a new approach to simulate quantum cryptography protocols using event-based processes. The method is validated by simulating the BB84 protocol and the Ekert protocol, both without and with the presence of an eavesdropper

On the number of generators for transeunt triangles

This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.Discrete Applied Mathematics, 108, 2001, pp. 309-316A transeunt triangle for size n consists of (n+1)x(n+1)x(n+1) 0's and 1's whose values are determined by the sum modulo 2 of two other local values. For a given n, two transeunt triangles of size n can be combined using the element-by-element modulo 2 sum to generate a third transeunt triangle. We show that, for large n ..

INFLUENCE OF TEMPFORMING ON MICROSTRUCTURE AND MECHANICAL PROPERTIES IN LOW-CARBON S700MC-TYPE STEEL

Исследовано влияние темпформинга на микроструктуру и механические свойства высокопрочной низкоуглеродистой стали типа S700MC. Темпформинг способствует формированию ультрамелкозернистой структуры с образованием дисперсных карбидов. Деформационно-термическая обработка способствует значительному увеличению прочностных характеристик исследуемой стали, а также значений ударной вязкости в интервале температур от – 196 до 20 °C.The effect of the tempforming on the microstructure and mechanical properties of high-strength low-carbon S700MC steel was studied. The tempforming resulted in the development of ultra-fine grained microstructure. The tempered microstructures were characterized by the formation of dispersed carbides. The thermomechanical treatment led to significant increase in tensile strength and impact toughness at test temperature from – 196 to 20°C

EFFECT OF WARM DEFORMATION ON THE MICROSTRUCTURE AND STRENGTH OF AUSTENITIC STAINLESS STEELS IN THE WIDE TEST TEMPERATURE RANGE

Изучены микроструктура и механические свойства в интервале температур испытаний 20–700 °С аустенитных коррозионно-стойких сталей, подвергнутых многократной теплой прокатке. Показано, что многократная теплая прокатка приводит к формированию ультрамелкозернистой и субмикрокристалличекой структуры с высокой плотностью внутризеренных дислокаций. Прочностные характеристики, такие как предел прочности и предел текучести аустенитных коррозионностойких сталей, подвергнутых прокатке при температурах 500–1000 °С, могут быть выражены линейными функциями температуры прокатки с коэффициентами, зависящими от материала и температуры испытания.The microstructure and mechanical properties at different test temperatures of austenitic stainless steels subjected to multiple warm rolling were investigated. Multiple warm rolling led to development of ultra-fine grained and submicrocrystalline structure with high dislocation density. The tensile properties of austenitic stainless steels subjected to warm rolling, such as ultimate tensile strength and yield stress, could be expressed by linear functions of rolling temperature with coefficients being dependent on steel and test temperature

EFFECT OF THE THERMOMECHANICAL TREATMENT ON THE MICROSTRUCTURE AND MECHANICAL PROPERTIES OF HIGH-STRENGTH LOW-CARBON STEEL

Исследовано влияние деформационно-термической обработки на микроструктуру и механические свойства высокопрочной низкоуглеродистой стали типа S700MC. Для сравнительного анализа выбраны темпформинг (закалка с 1100 °С, отпуск и прокатка при 650 °С) и термомеханическая обработка (горячая прокатка с закалкой в масле). Деформационно-термическая обработка в обоих случаях приводит к значительному увеличению прочностных характеристик исследуемой стали, а также значений ударной вязкости в интервале температур от -196 до 20 °C. Темпформинг способствует формированию ультрамелкозернистой структуры, а термомеханическая обработка приводит к формированию структуры реечного мартенсита.The effect of the thermomechanical treatment on the microstructure and mechanical properties of high-strength low-carbon S700MC steel was studied. Two methods of the thermomechanical treatment were chosen: conventional thermomechanical treatment and tempforming. The thermomechanical treatment in both cases led to significant increase in tensile strength and impact toughness at test temperature from -196 to 20°C. The tempforming resulted in the development of ultra-fine grained microstructure. The conventional thermomechanical treatment led to formation of lath martensite structure

Effect of a powerful low-frequency signal on an anisotropic medium over hydrocarbon

The article analyses the interaction of a powerful low-frequency signal with an anisotropic medium over hydrocarbon deposits. The behaviour of the real and phase components of the surface impedance of the medium above the deposit in the mode of dual-frequency signals is studied. The analysis of the components of the surface impedance of the medium over hydrocarbons for electromagnetic waves with right and left circular polarizations is carried out depending on the permittivity and frequency of the probing signals. The obtained research results can be used in exploration geophysics to identify the environment above the deposits by the size and nature of the material and phase components of the surface impedance of the surface layer above the hydrocarbons

DISCRETE MODELING Modeling Combinational Circuits Using Linear Word-level Structures

Abstract—In many applications of circuit design and synthesis, it is natural and in some instances essential to manipulate logic functions and model circuits using word-level representations and arithmetic operations in contrast to bit-level representations and logic operations. This paper reviews linear word-level structures and formulates their properties for combinational circuit modeling. The paper addresses the following problem: given a library of gates with their corresponding word-level representations such as linear arithmetic expressions or respective graph structures, find a word-level model of an arbitrary combinational circuit/netlist using that library of gates and minimizing memory allocation and time delay requirements. We present a comprehensive study on linearization assuming various circuit processing strategies. In particular, we develop a new approach to manipulate linear word-level representations by means of cascades. The practical applicability of linear structures and developed algorithms is strengthen by considering the problem of timing analysis. All this is supported by the experimental study on benchmark circuits. 1