A Probing Model of Secret Key Generation Based on Channel Autocorrelation Function

Secret key generation(SKG)is a promising solution to the problem of wireless communications security.As the first step of SKG,channel probing affects it significantly.Although there have been some probing schemes,there is a lack of research on the optimization of the probing process.This study investigates how to optimize correlated parameters to maximize the SKG rate(SKGR)in the time-division duplex(TDD)mode.First,we build a probing model which includes the effects of transmitting power,the probing period,and the dimension of sample vectors.Based on the model,the analytical expression of the SKGR is given.Next,we formulate an optimization problem for maximizing the SKGR and give an algorithm to solve it.We conclude the SKGR monotonically increases as the transmitting power increases.Relevant mathematical proofs are given in this study.From the simulation results,increasing appropriately the probing period and the dimension of the sample vector could increase the SKGR dramatically compared to a yardstick,which indicates the importance of optimizing the parameters related to the channel probing phase.

SIMULATION OF EFFECTS OF REACTIVE IMPURITIES ON PROPYLENE POLYMERIZATION IN LOOP REACTORS THROUGH GENERATION FUNCTION TECHNIQUE

The estimation of the amount of reactive impurities in a loop reactor is of strategic importance to the propylene polymerization industry. It is essential to investigate the level of impurities in order to develop reliable monitoring and control strategies. This paper described one approach based on generation function technique with the following two steps. First, a new mechanism for propylene polymerization was proposed by considering the effects of the reactive impurities in the material on the propylene polymerization. Second, a series of equations of population balance for the propylene polymerization in loop reactors were established based on the proposed mechanism. Accordingly, the equations were transformed into the mathematic matrix through the generation function technique to investigate the effects of the reactive impurities on the propylene polymerization. Significant effects of the reactive impurities were analyzed through computational simulation. The results show that the concentration of active centre on catalysts and the polymerization conversion both decrease with the increase of the initial concentration of any reactive impurity; hydrogen concentration decreases with the increase of the initial concentration of ethylene or butylenes, whereas, it increases with the increase of the initial concentration of propadiene; the simulated weight average molecular weight and the molecular weight distribution index of polymer resins both increase with the increase of the initial concentration of ethylene or butylenes. They decrease with the increase of the initial concentration of propadiene.

A Multivariate Empirical Orthogonal Function-Based Scheme for the Balanced Initial Ensemble Generation of an Ensemble Kalman Filter

The initial ensemble perturbations for an ensemble data assimilation system are expected to reasonably sample model uncertainty at the time of analysis to further reduce analysis uncertainty. Therefore, the careful choice of an initial ensemble perturbation method that dynamically cycles ensemble perturbations is required for the optimal performance of the system. Based on the multivariate empirical orthogonal function (MEOF) method, a new ensemble initialization scheme is developed to generate balanced initial perturbations for the ensemble Kalman filter (EnKF) data assimilation, with a reasonable consideration of the physical relationships between different model variables. The scheme is applied in assimilation experiments with a global spectral atmospheric model and with real observations. The proposed perturbation method is compared to the commonly used method of spatially-correlated random perturbations. The comparisons show that the model uncertainties prior to the first analysis time, which are forecasted from the balanced ensemble initial fields, maintain a much more reasonable spread and a more accurate forecast error covariance than those from the randomly perturbed initial fields. The analysis results are further improved by the balanced ensemble initialization scheme due to more accurate background information. Also, a 20-day continuous assimilation experiment shows that the ensemble spreads for each model variable are still retained in reasonable ranges without considering additional perturbations or inflations during the assimilation cycles, while the ensemble spreads from the randomly perturbed initialization scheme decrease and collapse rapidly.

Parameterization of the sea spray generation function with whitecap coverage

Sea spray droplets are produced by waves breaking on the sea surface, and they vary the transfer of energy between the atmosphere and ocean. The sea spray generation function(SSGF) is generally considered as a function of the initial radius of the spray droplets and the wind speed. However, ocean waves always exist at the air-sea interface, so it is not reasonable to consider only the effect of sea surface winds while ignoring the effects of ocean waves. Whitecap coverage is an important characteristic parameter of breaking waves, and researchers believe that this parameter is related to both wave state and wind speed. In this paper, the SSGF is parameterized by the whitecap coverage, and a new SSGF describing different droplet radii is organically integrated based on the whitecap coverage parameter. Then, with the relationship between the whitecap coverage and wave state, the influence of ocean waves on the SSGF for different wave states was analyzed by using observational data in the laboratory. The results show that the new SSGF that considers wave effects can reasonably describe the droplet generation process under different wave state conditions.

LF λ-subgroup Generated by LF Subset

In this paper .an important property layer-preserving of LF group and an concept LF λ-subgroup generated by LF subset will be introduced. On the height of LF group theory ,we recognize the concept generated subgroup more clearly.

STUDY ON STREAM CIPHERS USING GENERATING FUNCTIONS

Several kinds of stream ciphers—complementary sequences of period sequences,partial sum of period sequences,inverse order sequences and finitely generated sequences,arestudied by using techniques of generating functions.Their minimal polynomials,periods,as wellas generating functions are given.As to finitely generated sequences,the change of their linearcomplexity profiles as well as the relationship between the two generated sequences usder thecase in which the degree of connected polynomials are fixed,are discussed.

A fast and practical method to pack spheres for mesh generation

Sphere packing is an attractive way to generate high quality mesh. Several algorithms have been proposed in this topic, however these algorithms are not sufficiently fast for large scale problems. The paper presents an efficient sphere packing algorithm which is much faster and appears to be the most practical among all sphere packing methods presented so far for mesh generation. The algorithm packs spheres inside a domain using advancing front method. High efficiency has resulted from a concept of 4R measure, which localizes all the computations involved in the whole sphere packing process.

Heat Generation by Electric Current in Normal-Metal-Molecular Quantum Dot-Superconductor System

We investigate the heat generation induced by electrical current in a normal-metal-molecular quantum dot-superconductor （NDS） system. By using nonequilibrium Green＇s function method, the heat generation Q is derived and studied in detail. The superconducting lead influences the heat generation significantly. An obvious step appears in Q - eV characteristics and the iocation of this step is related with the phonon frequency ωo. The heat generations exhibit very different behaviour in the condition eV 〈 △ and eV 〉 △ due to different tunneling mechanism. From the study of Q - eVg curves, there is an extra peak as eV 〉 △. The difference in this two cases is also shown in Q - ωo curve, an extra peak emerges as eV 〉 △.

Electric-Current-Induced Heat Generation in Kondo Regime

Using the nonequilibrium Green's function technique,we investigate the current induced heat generationin Kondo regime.The Kondo effect influences the heat generation significantly.In the curve of heat generation versusthe bias,a negative differential of the heat generation is exhibited.The symmetry of the heat generation is destroyed bythe strong electron-electron interaction and the electron-phonon interaction.

Automated Test Case Generation from Requirements: A Systematic Literature Review

Software testing is an important and cost intensive activity in software development.The major contribution in cost is due to test case generations.Requirement-based testing is an approach in which test cases are derivative from requirements without considering the implementation’s internal structure.Requirement-based testing includes functional and nonfunctional requirements.The objective of this study is to explore the approaches that generate test cases from requirements.A systematic literature review based on two research questions and extensive quality assessment criteria includes studies.The study identies 30 primary studies from 410 studies spanned from 2000 to 2018.The review’s nding shows that 53%of journal papers,42%of conference papers,and 5%of book chapters’address requirementsbased testing.Most of the studies use UML,activity,and use case diagrams for test case generation from requirements.One of the signicant lessons learned is that most software testing errors are traced back to errors in natural language requirements.A substantial amount of work focuses on UML diagrams for test case generations,which cannot capture all the system’s developed attributes.Furthermore,there is a lack of UML-based models that can generate test cases from natural language requirements by rening them in context.Coverage criteria indicate how efciently the testing has been performed 12.37%of studies use requirements coverage,20%of studies cover path coverage,and 17%study basic coverage.

Common Properties of Riemann Zeta Function, Bessel Functions and Gauss Function Concerning Their Zeros

The behavior of the zeros in finite Taylor series approximations of the Riemann Xi function (to the zeta function), of modified Bessel functions and of the Gaussian (bell) function is investigated and illustrated in the complex domain by pictures. It can be seen how the zeros in finite approximations approach to the genuine zeros in the transition to higher-order approximation and in case of the Gaussian (bell) function that they go with great uniformity to infinity in the complex plane. A limiting transition from the modified Bessel functions to a Gaussian function is discussed and represented in pictures. In an Appendix a new building stone to a full proof of the Riemann hypothesis using the Second mean-value theorem is presented.

α-times Integrated Cosine Operator Functions with Growth ω

For a continuous,increasing functionω:[0,∞)→C of finite exponential type,we establish a Hille-Yosida type theorem for strongly continuous α-times(α>0)integrated cosine operator functions with O(ω).It includes the corresponding results for n-times integrated cosine operator functions that are polynomially bounded and exponentially bounded.

Star-shaped Differentiable Functions and Star-shaped Differentials

Based on the isomorphism between the space of star-shaped sets and the space of continuous positively homogeneous real-valued functions, the star-shaped differential of a directionally differentiable function is defined. Formulas for star-shaped differential of a pointwise maximum and a pointwise minimum of a finite number of directionally differentiable functions, and a composite of two directionaUy differentiable functions are derived. Furthermore, the mean-value theorem for a directionaUy differentiable function is demonstrated.

Two-dimensional finite element mesh generation algorithm for electromagnetic field calculation

Two-dimensional finite element mesh generation algorithm for electromagnetic field calculation is proposed in this paper to improve the efficiency and accuracy of electromagnetic calculation. An image boundary extraction algorithm is developed to map the image on the geometric domain. Identification algorithm for the location of nodes in polygon area is proposed to determine the state of the node. To promote the average quality of the mesh and the efficiency of mesh generation, a novel force-based mesh smoothing algorithm is proposed. One test case and a typical electromagnetic calculation are used to testify the effectiveness and efficiency of the proposed algorithm. The results demonstrate that the proposed algorithm can produce a high-quality mesh with less iteration.

Buckling Properties of a Subsea Function Chamber for Oil/Gas Processing in Deep Waters

Due to the complexity of installations and connections of subsea production equipment and the massive structures involved in a challenging environment,the failure of subsea production equipment could induce enormous loss to the safety and reliability of structures in addition to the cost of the oilfield development.One of the challenges that the subsea production structures face,as it moves to ultra-deep water and polar underwater equipment,is to design subsea shell structures capable of withstanding high external pressures.Hence,a subsea function chamber(SFC)has been lately proposed as a viable solution,which has a high level of safety and reliability,and a technique for the subsea production system.This paper presents a general and efficient buckling and collapse analysis strategy.In this work,the SFC is composed of cylindrical and hemispherical shaped steel material.Initial imperfection-based nonlinear buckling analysis has been carried out to investigate the buckling and risks associated with different thicknesses of the structure.Linear and nonlinear static buckling analyses have been carried out using ABAQUS software.By introducing the nonlinear properties of materials,the nonlinear numerical model of SFC is established.The effects of the thickness of differentmodels and the number of stiffeners on the bucklingmodes are discussed.The wall thickness is calculated by the Donnell equation and Timoshenko’s classical method.It has been found that the classical solutions given by the Donnell and Timoshenko equations are more accurate for structures with larger lengths and diam.The thickness and number of stiffeners have a great influence on the ultimate buckling external pressure load of SFC structure.

Transient analysis of Casson fluid thermo-convection from a vertical cylinder embedded in a porous medium: Entropy generation and thermal energy transfer visualization

Thermal transport in porous media has stimulated substantial interest in engineering sciences due to increasing applications in filtration systems,porous bearings,porous layer insulation,biomechanics,geomechanics etc.Motivated by such applications,in this article,a numerical study of entropy generation impacts on the heat and momentum transfer in time-dependent laminar incompressible boundary layer flow of a Casson viscoplastic fluid over a uniformly heated vertical cylinder embedded in a porous medium is presented.Darcy’s law is used to simulate bulk drag effects at low Reynolds number for an isotropic,homogenous porous medium.Heat line visualization is also included.The mathematical model is derived and normalized using appropriate transformation variables.The resulting non-linear time-dependent coupled governing equations with associated boundary conditions are solved via an implicit finite difference method which is efficient and unconditionally stable.The outcomes show that entropy generation and Bejan number are both elevated with increasing values of Darcy number,Casson fluid parameter,group parameter and Grashof number.To analyze the heat transfer process in a two-dimensional domain,plotting heat lines provides an excellent approach in addition to streamlines and isotherms.It is remarked that as the Darcy number increases,the deviations of heat lines from the hot wall are reduced.

Approach to Riemann Hypothesis by Combined Commensurable Step Function Approximation with Bonnet Method

To the Riemann hypothesis, we investigate first the approximation by step-wise Omega functions Ω(u) with commensurable step lengths u0 concerning their zeros in corresponding Xi functions Ξ(z). They are periodically on the y-axis with period proportional to inverse step length u0. It is found that they possess additional zeros off the imaginary y-axis and additionally on this axis and vanish in the limiting case u0 → 0 in complex infinity. There remain then only the “genuine” zeros for Xi functions to continuous Omega functions which we call “analytic zeros” and which lie on the imaginary axis. After a short repetition of the Second mean-value (or Bonnet) approach to the problem and the derivation of operational identities for Trigonometric functions we give in Section 8 a proof for the position of these genuine “analytic” zeros on the imaginary axis by construction of a contradiction for the case off the imaginary axis. In Section 10, we show by a few examples that monotonically decreasing of the Omega functions is only a sufficient condition for the mentioned property of the positions of zeros on the imaginary axis but not a necessary one.

STRONGLY CONTINUOUS INTEGRATED COSINE OPERATOR FUNCTIONS WITH GROWTHω

For a continuous increasing function ω ： [0, ∞） → （0, ∞） of finite exponetial type, we establish a Hille-Yosida type theorem for strongly continuous integrated cosine operator functions with O（ω）. It includes the well-known polynomially bounded and exponentially bounded cases.

Mechanism of Simultaneous Nitrogen Removal and Electricity Generation by Microbial Fuel Cell

The working mechanism of MFC used for simultaneous nitrogen removal and electricity generation was studied.The results show that the electrode biofilms and suspension had different modes of electron transfer.The microorganisms growing on the electrodes and bioflocs could transfer electrons by direct contact and intermediaries respectively.The electrode biofilms and bioflocs were dominant in different functional spaces,and played a synergistic role in the process of contaminant removal,but showed a certain competitive relationship in the process of electricity generation.This study can provide a theoretical basis for the development of a new low-consumption wastewater treatment technology and promote technological innovation in wastewater treatment.

High-order harmonic generation of the cyclo[18]carbon molecule irradiated by circularly polarized laser pulse

High-order harmonic generation of the cyclo[18]carbon(C_(18) ) molecule under few-cycle circularly polarized laser pulse is studied by time-dependent density functional theory. Compared with the harmonic emission of the ring molecule C_(6)H_(6) having similar ionization potential, the C_(18) molecule has higher efficiency and cutoff energy than C_(6)H_(6) with the same laser field parameters. Further researches indicate that the harmonic efficiency and cutoff energy of the C_(18) molecule increase gradually with the increase of the laser intensity of the driving laser or decrease of the wavelength, both are larger than those of the C_(6)H_(6) molecule. Through the analysis of the time-dependent evolution of the electronic wave packets, it is also found that the higher efficiency of harmonic generation can be attributed to the larger spatial scale of the C_(18) molecule,which leads to a greater chance for the ionized electrons from one atom to recombine with others of the parent molecule.Selecting the suitable driving laser pulse, it is demonstrated that high-order harmonic generation in the C_(18) molecule has a wide range of applications in producing circularly polarized isolated attosecond pulse.