Fuzzy Model of Regional Economic Competitiveness in GIS Spatial Analysis: Case Study of Gansu, Western China

After more than 20 years of impressive development since the economic reforms in 1978, today western China is facing an increasing development gap between its regions, particularly between urban and rural areas. Using the fuzzy comprehensive evaluation model, this paper aims to demonstrate the evolution of the economic competitiveness levels base on two categories of geographical unity in the province of Gansu located in Northwest China between 2000 and 2004. The results of fuzzy modeling are integrated into GIS spatiotemporal analyses in order to identify the spatial variation of each significant change in terms of the regional economic development. Our research effectively illustrates that there is a particular spatial dynamic of the economic development from region to region. Although the cities have improved very well in their economic competitiveness, the rural areas and minority regions still have a lot of progress to be achieved.     

Asymptotics in the Baum—Katz formula for random fields

In 1996, D. Deng established an analog of the Baum—Katz theorem on the convergence rate in the law of large numbers for multi-indexed random variables. The series describing the convergence rate depends, in a natural way, on the parameter characterizing the excess of the normalized sums over some level. In this paper, we find the precise asymptotics of the sum of this series with respect to the above-mentioned parameter. Thus, a generalization of a recent result due to A. Gut and A. Spataru is obtained.     

基于DEM的山地可照时间的空间分布

以山区高空间分辨率的DEM数据为主要数据源，在提取纬度、坡度、坡向等相应的地形要素栅格数据的基础上，利用GIS技术对山区可照时间的空间分布进行了模拟，实现了山区可照时间空间分布规律的可视化表达，分析了山区可照时间的空间分布特征，对于山区的农业、林业和生态环境等方面的研究具有重要意义．     

Colliding stacks: A large deviations analysis

We analyze the performance of a prototypical scheme for shared storage allocation: two initially empty stacks evolving in a contiguous block of memory of size m. We treat the case in which the stacks are more likely to shrink than grow, but with the probabilities of insertion and deletion allowed to depend arbitrarily on stack height as a fraction of m. New results are obtained on the m → ∞ asymptotics of the stack collision time, and of the final stack heights. The results of Wentzell and Freidlin on the large deviations of Markov chains are used, and the relation of their formalism to the Hamiltonian formulation of classical mechanics is emphasized. Certain results on higher-order asymptotics follow from WKB expansions.     

阻尼落体运动的分析力学研究

应用分析力学理论和方法,研究了两种情况下的阻尼落体运动:1)阻力大小与速度成正比;2)阻力大小与速度平方成正比.对两种运动分别给出了等效的Lagrange函数和Hamilton函数,并应用第一积分法、点变换法、正则变换法和Ham-ilton-Jacobi方程法等不同的求解方法进行了求解.     

Computing Aviation Sparing Policies: Solving a Large Nonlinear Integer Program

Deployed US Navy aircraft carriers must stock a large number of spare parts to support the various types of aircraft embarked on the ship. The sparing policy determines the spares that will be stocked on the ship to keep the embarked aircraft ready to fly. Given a fleet of ten or more aircraft carriers and a cost of approximately 50 million dollars per carrier plus the cost of spares maintained in warehouses in the United States, the sparing problem constitutes a significant portion of the Navy’s resources. The objective of this work is to find a minimum-cost sparing policy that meets the readiness requirements of the embarked aircraft. This is a very large, nonlinear, integer optimization problem. The cost function is piecewise linear and convex while the constraint mapping is highly nonlinear. The distinguishing characteristics of this problem from an optimization viewpoint are that a large number of decision variables are required to be integer and that the nonlinear constraint functions are essentially “black box” functions; that is, they are very difficult (and expensive) to evaluate and their derivatives are not available. Moreover, they are not convex. Integer programming problems with a large number of variables are difficult to solve in general and most successful approaches to solving nonlinear integer problems have involved linear approximation and relaxation techniques that, because of the complexity of the constraint functions, are inappropriate for attacking this problem. We instead employ a pattern search method to each iteration of an interior point-type algorithm to solve the relaxed version of the problem. From the solution found by the pattern search on each interior point iteration, we begin another pattern search on the integer lattice to find a good integer solution. The best integer solution found across all interations is returned as the optimal solution. The pattern searches are distributed across a local area network of non-dedicated, heterogeneous computers in an office environment, thus, drastically reducing the time required to find the solution.     

变加速动力学与舒适性问题

用变加速动力学的急动度(加加速度)概念,分析了车辆、电梯的乘座舒适性与高层钢结构建筑的风振舒适性问题.     

核磁共振成像一维空间编码教学实验

利用梯度磁场实现检测信号的空间编码,是核磁共振成像(MRI)的关键技术.本文采用ccc系列样品将二维问题简化为一维,使用超小型教学用核磁共振成像仪进行了一维空间编码实验研究,并对实验过程及实验结果进行了计算模拟和分析.     

Optical modulation and digital demodulation of an in-plane moiré carrier

A rotational mismatch of gratings is used to generate a fringe carrier of an in-plane moiré pattern so that specimen deformation shows itself in the form of modulation of the carrier frequency. As both the unmodulated and modulated carriers are the patterns without fringe-loop or fringe-connection, they are automatically numbered with monotonical increasing orders by a digital image processing system without any ambiguity. The orders at every pixel of the image are determined by interpolation of the orders of the tracked fringes to establish two grey image files, from the difference of which, the orders of the in-plane displacement moiré are displayed with grey-level variation.