聚合公理系统的布尔值模型

本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕的子模型，并且ＺＦ集合公理组在〔ＶＯＮ＾（Ｂ）〕中满足。     

Polarization phase-shifting Jamin shearing interferometer

The Jamin shearing interferometer is very useful in wavefront testing, especially for the low coherent light. Based on this interferometer, a polarization phase-shifting Jamin shearing interferometer is proposed to improve the performance. In the interferometer, two interference beams are linearly polarized and a polarization phase shifter is applied to realize the phase shifting. Different types of configurations of the interferometer are given. With phase-shifting interferograms, the precision of the interferometer can be improved. The interferometer is kept as an equal optical path system and its shearing amount remains changeable with simple structure and easy operation. In experiments, phase-shifting interferograms are obtained by rotating the analyzer. The usefulness of the interferometer is verified.     

Optimal dividend strategies in a dual model with capital injections

We study three types of practical optimization problems faced by a firm that can control its liquid reserves by paying dividends and by issuing new equity. In the first problem, we consider the classical dividend problem without equity issuance. The second problem aims at maximizing the expected discounted dividend payments minus the expected discounted costs of issuing new equity over strategies associated with positive reserves at all times. The third problem has the same objective as the second one, but with no constraints on the reserves. Under the assumption of proportional transaction costs, we identify the value functions and the optimal strategies. We also present the relationship between three problems.     

Chung’s law of the iterated logarithm for anisotropic Gaussian random fields

In this paper we establish Chung’s law of the iterated logarithm for a class of anisotropic Gaussian random fields with stationary increments. This result is applicable to space–time Gaussian random fields and solution to the stochastic fractional heat equation.     

Efficient solutions in generalized linear vector optimization

This paper establishes several new facts on generalized polyhedral convex sets and shows how they can be used in vector optimization. Among other things, a scalarization formula for the efficient solution sets of generalized linear vector optimization problems is obtained. We also prove that the efficient solution set of a generalized linear vector optimization problem in a locally convex Hausdorff topological vector space is the union of finitely many generalized polyhedral convex sets and it is connected by line segments.     

φ205超高压釜体螺纹部分热接触有限元分析

用有限元混合法对射孔弹模拟装置中φ２０５超高压釜体螺纹部分的热弹性接触应力进行了综合分析，所用的数学模型把确定接触力的大量迭代运算凝缩到少数螺牙接触点上进行，避免了多次形成和求解原方程，大大提高了运算速度；引入伪弹簧解决了总刚奇异性问题。     

A novel image encryption algorithm using chaos and reversible cellular automata

In this paper, a novel image encryption scheme is proposed based on reversible cellular automata (RCA) combining chaos. In this algorithm, an intertwining logistic map with complex behavior and periodic boundary reversible cellular automata are used. We split each pixel of image into units of 4 bits, then adopt pseudorandom key stream generated by the intertwining logistic map to permute these units in confusion stage. And in diffusion stage, two-dimensional reversible cellular automata which are discrete dynamical systems are applied to iterate many rounds to achieve diffusion on bit-level, in which we only consider the higher 4 bits in a pixel because the higher 4 bits carry almost the information of an image. Theoretical analysis and experimental results demonstrate the proposed algorithm achieves a high security level and processes good performance against common attacks like differential attack and statistical attack. This algorithm belongs to the class of symmetric systems.     

The electronic and magnetic properties with intrinsic defects in ZnO nanosheets: First-principles prediction

Using full-potential linearized augmented plane wave (FLAPW) method, we investigated the effects of intrinsic vacancies on electronic and magnetic properties in graphene-like ZnO nanosheets. The results show that the oxygen vacancy (V_O) has no influence on magnetism in ZnO nanosheet, whereas the Zn vacancy (V_Zn) lead to spin polarization of the nanostructures with a total magnetic moment of 2.0μ_B due to O-2p and Zn-3d hybridization. When the distance of two V_Zn defects increases to 6.499 Å, the system shows an intriguing half-metallic character with 100% spin-polarized carriers due to O(2p)–Zn(3d)–O(2p) coupling chain between two V_Zn defects.     

Determining polymer film thickness during manufacturing with broadband transmission

A novel broadband transmission method to determine polymer film thickness during manufacturing is proposed, and a measurement system is developed based on this method. The relationship between broadband optical power and film thickness is deduced according to the Lambert-Beer law. The system is composed of a halogen light and an optical power meter. Results show that the measurement error of this method is approximately 1 μm, and the resolution of the system is below 0.4 μm for polymer films with less than 100-μm thickness.