An embedding domain approach for a class of 2-d shape optimization problems: mathematical analysis

This contribution combines a shape optimization approach to free boundary value problems of Bernoulli type with an embedding domain technique. A theoretical framework is developed which allows to prove continuous dependence of the primal and dual variables in the resulting saddle point problems with respect to the domain. This ensures the existence of a solution of a related shape optimization problem in a sufficiently large class of admissible domains.     

低速二维流动的粒子仿真研究

本文运用信息保存法对低速二维的流动现象进行模拟，考察了低速条件下的有限平板绕流以及微槽道气体流动问题。研究表明：在对低速流动的模拟过程中，运用IP法在能够获得较好的结果的同时，具有比DSMC方法更高的计算效率。     

Equilibrium State of Inhomogeneous Plasma

We consider the problem of a self-consistent determination of an essentially inhomogeneous equilibrium state of classical plasma. The solutions of the stationary Vlasov–Poisson equations are constructed in the form of a localized transition layer that separates the domains of homogeneous plasmas with different equilibrium parameters. The layer can also transform into a local perturbation inside a homogeneous plasma. In both cases, the solution contains neither mass currents nor electric currents, and all electrodynamic and hydrodynamic quantities and their derivatives are continuous. The parameters of the adjacent domains uniquely determine the transition layer structure.     

面阵探测器的像点亚像素定位研究

面阵探测器可直接探测点目标图像的位置，但其定位精度受到探测器分辨率的限制。因此，亚像元精度技术得到了发展。它是利用目标像点的灰度分布特性，通过内插细分算法，确定出像点位置。可将定位精度提高1—2个数量级。本文介绍了几种实现目标像点亚像素定位的内插细分算法。对它们的计算公式、特点进行了分析，并进行了实验验证。     

Security Applications of Optical Face Recognition System: Access Control in E-Learning

The educational system has gradually shifted from a face-to-face to an e-learning system, which has become prevalent in advanced countries with the advance of information technology, and connection of global networks. Accordingly, a growing demand is emerging for more reliable individual certification with technical precision in order to measure and record learning achievements and credentials of participants. The present system has a limit in terms of registration capacity, therefore, its accuracy has often been questioned. Against this background, an individual certification system is proposed particularly for access control in e-learning. Under our proposed system, a compact optical correlator for facial recognition is employed. This correlator was previously tested for of biometrics authentication accuracy and proved highly reliable, having recorded remarkably low error rates (below 1%). The recorded error rate is sufficiently robust that the system itself can be regarded as a valid and practical viable attestation system.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

关于无界无限维商品空间上的生产经济均衡

本文研究了无界无限维商品空间上的生产经济均衡的存在性．虽然我们把商品空间看成是Ｒｉｅｓｚ空间，但并没有在它的正锥上作任何内部假设．同时我们的结果也为现代企业或公司从事经济预测、制订生产计划、改善经营管理、提高劳动生产率以及优化经济机制提供了理论依据．     

Pulsed-Field-Gradient Measurements of Time-Dependent Gas Diffusion

Pulsed-field-gradient NMR techniques are demonstrated for measurements of time-dependent gas diffusion. The standard PGSE technique and variants, applied to a free gas mixture of thermally polarized xenon and O₂, are found to provide a reproducible measure of the xenon diffusion coefficient (5.71 × 10⁻⁶m²s⁻¹for 1 atm of pure xenon), in excellent agreement with previous, non-NMR measurements. The utility of pulsed-field-gradient NMR techniques is demonstrated by the first measurement of time-dependent (i.e., restricted) gas diffusion inside a porous medium (a random pack of glass beads), with results that agree well with theory. Two modified NMR pulse sequences derived from the PGSE technique (named the Pulsed Gradient Echo, or PGE, and the Pulsed Gradient Multiple Spin Echo, or PGMSE) are also applied to measurements of time dependent diffusion of laser polarized xenon gas, with results in good agreement with previous measurements on thermally polarized gas. The PGMSE technique is found to be superior to the PGE method, and to standard PGSE techniques and variants, for efficiently measuring laser polarized noble gas diffusion over a wide range of diffusion times.     

On a new system of nonlinear A-monotone multivalued variational inclusions

In this paper, we introduce and study a new system of nonlinear A-monotone multivalued variational inclusions in Hilbert spaces. By using the concept and properties of A-monotone mappings, and the resolvent operator technique associated with A-monotone mappings due to Verma, we construct a new iterative algorithm for solving this system of nonlinear multivalued variational inclusions associated with A-monotone mappings in Hilbert spaces. We also prove the existence of solutions for the nonlinear multivalued variational inclusions and the convergence of iterative sequences generated by the algorithm. Our results improve and generalize many known corresponding results.     

Development of a finite-element analysis methodology for the propagation of delaminations in composite structures

Analysing the collapse of skin-stiffened structures requires capturing the critical phenomenon of skin-stiffener separation, which can be considered analogous to interlaminar cracking. This paper presents the development of a numerical approach for simulating the propagation of interlaminar cracks in composite structures. A degradation methodology was introduced in MSC.Marc, which involved the modelling of a structure with shell layers connected by user-defined multiple-point constraints (MPCs). User subroutines were written that employ the virtual crack closure technique (VCCT) to determine the onset of crack growth and modify the properties of the user-defined MPCs to simulate crack propagation. Methodologies for the release of failing MPCs are presented and are discussed with reference to the VCCT assumption of self-similar crack growth. The numerical results obtained by using the release methodologies are then compared with experimental data for a double-cantilever beam specimen. Based on this comparison, recommendations for the future development of the degradation model are made, especially with reference to developing an approach for the collapse analysis of fuselage-representative structures. Russian translation published in Mekhanika Kompozitnykh Materialov, Vol. 43, No. 1, pp. 15–42, January–February, 2007.