Quasigroup-based cryptoalgorithms are being actively studied in the framework of theoretic projects; besides that, a number of quasigroup-based algorithms took part in NIST contests for selection of cryptographic standards. From the viewpoint of security it is highly desirable to use quasigroups without proper subquasigroups (otherwise transformations can degrade). We propose algorithms that take a quasigroup specified by the Cayley table as the input and decide whether there exist proper subquasigroups or subquasigroups of the order at least 2. Temporal complexity of the algorithms is optimized at the cost of increased spatial complexity. We prove bounds on time and memory and analyze the efficiency of software implementations applied to quasigroups of a large order. The results were reported at the XVIII International Conference «Algebra, Number Theory and Discrete Geometry: modern problems, applications and problems of history».
Представлены методические приемы корреляции разрезов скважин с целью изучения условий залегания ачимовского клиноформного комплекса пород, а также аномальных разрезов в верхнеюрских и нижнемеловых на примере ряда месторождений Западно-Сибирской нефтегазоносной провинции. Показано, что в результате предложенного последовательного изменения вверх по разрезу линии сопоставления, или выравнивания, по подошве глинистых реперов, наглядно проявляются блоковый, клиноформный и плоско-параллельный характер залегания осадочных пород. На основе анализа приведения толщин к одной толщине глинистых пород каждой пачки в разрезе клиноформ показано, что их формирование происходит за счет разноскоростного прогибания морского дна. На основе анализа изменения ачимовских клиноформ на разных месторождениях Среднего Приобья установлено волнообразное смещение в северо-западном направлении оси максимальных толщин (имеющей северо-восточную ориентировку) каждой пачки клиноформы. Оба направления соответствуют диагональной раздробленности фундамента. Установлено на основе проведенной детальной корреляции разрезов скважин по ряду месторождений Когалымского нефтегазоносного района, что: а) аномальные разрезы баженовской свиты были сформированы до накопления осадков собственно бажена в результате погружения отдельных блоков по субвертикальным конседиментационным разломам; б) после формирования собственно бажена началось погружение ранее неподвижных или малоподвижных смежных блоков, в результате чего происходило накопление компенсационной пачки песчано-алевролитовых пород в низах ачимовской толщи; в) выявленные тектонические блоки, с которыми связаны аномальные разрезы на месторождениях, ограничены конседиментационными разломами в соответствии с диагональной раздробленностью фундамента.
The problem considered is necessity and possibility of automatic well-to-well correlation, for oil fields having a big number of wells. The conclusion is made that successful strategy is to find a compromise between formal automatic and informal interactive tools. Two different automatic procedures are analyzed, first one implemented in AutoCorr program and the second in DV-Geo modeling system. The analysis shows that the compromise existing in one system is complimentary to the compromise existing in the another. Thanks to this feature, joint correlation processing in AutoCorr and in DV-Geo becomes very efficient. New automated technology is realized by each system updating in part of share data processing tools. Examples of the technology application are shown as well.
