基于有限非阿贝尔群的密钥交换

从一般线性群GL（n,F）和对称群Sn上的困难问题出发,构造了几个密钥交换算法,新算法具有更高的效率.同时,指出基于一般线性群的密钥交换算法的安全性直接依赖于广义矩阵覆盖问题,基于对称群的密钥交换协议的安全性直接依赖于置换群上的共轭问题.     

State space approach to magnetohydrodynamic flow of perfectly conducting micropolar fluid with stretch

In this work we introduce a model of the boundary layer equations for a perfect conducting micropolar fluid with stretch, bounded by an infinite vertical flat plane surface of a constant temperature. This model is applied to study the effects of free convection currents on the flow of the fluid in the presence of a constant magnetic field. The state space technique is adopted for the solution of a one‐dimensional problem for any set of boundary conditions. The resulting formulation together with the Laplace transform techniques are applied to a thermal shock problem. The inversion of the Laplace transforms is carried out using a numerical approach. Numerical results are given and illustrated graphically for the problem. Copyright © 2011 John Wiley & Sons, Ltd.     

Hybrid projection method for generalized mixed equilibrium problem and fixed point problem of infinite family of asymptotically quasi-?-nonexpansive mappings in Banach spaces

In this paper, we consider a hybrid projection method for finding a common element in the set of fixed points of a infinite family of asymptotically quasi-?-nonexpansive mappings and in the set of solutions of a generalized mixed equilibrium problem. Some strong convergence theorems of common elements are established in a uniformly smooth and strictly convex Banach space which has the Kadec-Klee property. The results presented in the paper improve and extend some recent results.     

Numerical simulation of inductive method for determining spatial distribution of critical current density

The inductive method for measuring the critical current density j_C in a high-temperature superconducting (HTS) thin film has been investigated numerically. In order to simulate the method, a non-axisymmetric numerical code has been developed for analyzing the time evolution of the shielding current density. In the code, the governing equation of the shielding current density is spatially discretized with the finite element method and the resulting first-order ordinary differential system is solved by using the 5th-order Runge–Kutta method with an adaptive step-size control algorithm. By using the code, the threshold current I_T is evaluated for various positions of a coil. The results of computations show that, near a film edge, the accuracy of the estimating formula for j_C is remarkably degraded. Moreover, even the proportional relationship between j_C and I_T will be lost there. Hence, the critical current density near a film edge cannot be estimated by using the inductive method.     

A finite volume scheme preserving extremum principle for convection–diffusion equations on polygonal meshes

We propose a nonlinear finite volume scheme for convection–diffusion equation on polygonal meshes and prove that the discrete solution of the scheme satisfies the discrete extremum principle. The approximation of diffusive flux is based on an adaptive approach of choosing stencil in the construction of discrete normal flux, and the approximation of convection flux is based on the second‐order upwind method with proper slope limiter. Our scheme is locally conservative and has only cell‐centered unknowns. Numerical results show that our scheme can preserve discrete extremum principle and has almost second‐order accuracy. Copyright © 2017 John Wiley & Sons, Ltd.     

带凹性生产成本运输问题的新随机规划模型及其求解

提出了一种新的能反映决策者满意度的随机变量序关系,并据此研究了随机不等式的确定性等价类,方法被称为满意度方法.最后将其应用于带凹性生产成本运输问题的求解中,并将方法与常用的机会约束方法进行比较,说明满意度法不仅合理可行,而且当决策者对约束条件的要求越高时,它所得最优值越优于机会约束法所得最优值.     

Stationary Oberbeck–Boussinesq model of generalized Newtonian fluid governed by multivalued partial differential equations

A generalization of the Oberbeck–Boussinesq model consisting of a system of steady state multivalued partial differential equations for incompressible, generalized Newtonian of the p-power type, viscous flow coupled with the nonlinear heat equation is studied in a bounded domain. The existence of a weak solution is proved by combining the surjectivity method for operator inclusions and a fixed point technique.     

Modern information technologies in construction of kinetic models for reactions of metal complex catalysis

For detailed study of complex chemical reactions mechanisms experiment is conducted for selected private reactions. This causes a problem of kinetic parameters getting—the same set of rate constants must describe both public and private reaction stages, and also a general mechanism. In this paper, solution of this problem for a reaction of olefins hydroalumination is proposed. To optimize the computational process a methodology of parallelization is elaborated. On the base of parallel computations, a kinetic model for the reaction assigned is constructed, and on its base, the physical and chemical conclusions about reaction mechanism are done.     

Weak coupling of a Reynolds model and a Stokes model for hydrodynamic lubrication

The Reynolds model is a reduced Stokes model, valid for narrow lubrication regions. In order to be able to handle locally non‐narrow regions such as pits or grooves, often displaying rapid geometrical variations, there is a need to be able to transit to the more accurate Stokes model. A fundamental problem is how to couple the two models in a numerical simulation, preferably allowing for different meshes in the different domains. In this paper, we present a weak coupling method for Reynolds and Stokes models for lubrication computations, including the possibility of cavitation in the different regions. The paper concludes with a numerical example. Copyright © 2010 John Wiley & Sons, Ltd.     

Interlaced solitons and vortices in coupled DNLS lattices

In the present work, we propose a new set of coherent structures that arise in nonlinear dynamical lattices with more than one component, namely interlaced solitons. In the anti-continuum limit of uncoupled sites, these are waveforms whose one component has support where the other component does not. We illustrate systematically how one can combine dynamically stable unary patterns to create stable ones for the binary case of two-components. For the one-dimensional setting, we provide a detailed theoretical analysis of the existence and stability of these waveforms, while in higher dimensions, where such analytical computations are far more involved, we resort to corresponding numerical computations. Lastly, we perform direct numerical simulations to showcase how these structures break up, when they are exponentially or oscillatorily unstable, to structures with a smaller number of participating sites.