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.     

A simple proof of Sanov’s theorem*

A simple self-contained proof of Sanov's theorem in τ-topology is given, well suited for a first course on large deviations. *This work was supported by the Hungarian National Foundation for Scientific Research under Grant T046376     

正相协列乘积和的重对数律与强大数律

证明了强平稳正相协列乘积和的重对数律与不同分布正相协列乘积和的强大数律,指出了部分和服从强大数律但乘积和未必服从强大数律这一事实,并讨论了定理2中一个条件的必要性．     

B值鞅型序列的一些极限定理

本文讨论了一些B值鞅型序列的强大数定律 ,弱大数定律 ,Lr收敛性及完全收敛性 ,推广了许多熟知的结果 .     

制备相干态腔场GHZ态

提出了一种利用简并Ⅴ型三能级原子与相干态光场(大失谐条件下)Raman相互作用实现类自旋的腔场Greenberger-Home-Zeilinger(即GHZ)态的新方案。     

微型网状结构支架的力学性能研究

冠状动脉支架为圆柱形微型网状结构，直径1mm，厚度0．1mm，长度10～16mm。在经皮冠状动脉介入PCI治疗中由球囊充气撑开到直径为2．5～3．5mm的支架，在血管内承受血管壁回弹压力。为了保持血液流通支架必须保持其几何圆形。这是一个结构弹塑性稳定性问题。但是目前国际上对于支架的力学性能质量指标主要以强度性能评定而不涉及支架屈曲性能是不妥的。本文对于支架的强度和屈曲性能进行了全面的理论分析和实验研究，自行研制了智能式电子检测仪成功地对微型网状结构支架的强度和屈曲性能实现了实测实验研究。由于微型支架的离散型网状结构的特点，在实验中出现一些特殊的屈曲现象。本文研究结果对于支架的形状与性能设计的改进和力学性能质量标准规范的制订具有重要意义。     

Damage and fracture evaluation of granular composite materials by digital image correlation method

This paper presents the applications of digital image correlation technique to the mesoscopic damage and fracture study of some granular based composite materials including steelfiber reinforced concrete, sandstone and crystal-polymer composite. The deformation fields of the composite materials resulted from stress localization were obtained by the correlation computation of the surface images with loading steps and thus the related damage prediction and fracture parameters were evaluated. The correlation searching could be performed either directly based on the gray levels of the digital images or from the wavelet transform (WT) coefficients of the transform spectrum. The latter was developed by the authors and showed higher resolution and sensitivity to the singularity detection. Because the displacement components came from the rough surfaces of the composite materials without any coats of gratings or fringes of optical interferometry, both surface profiles and the deformation fields of the composites were visualized which was helpful to compare each other to analyze the damage of those heterogeneous materials. The project supported by the National Natural Science Foundation of China (10125211 and 10072002), the Scientific Committee of Yunnan Province for the Program of Steel Fiber Reinforced Concrete, and the Institute of Chemical Materials, CAEP at Mianyang     

Theorems of Large Deviations in the Approximation by the Compound Poisson Distribution

The paper is devoted to the research of large deviation probabilities in the approximation by compound Poisson law.     

R13中混合型曲面保主曲率等距变形

本文研究了Minkowski空间R₁³曲面的等距变形问题.建立了R₁³中曲面的共形、等距等概念.推广了O.Bonnet和S.S.Chern关于欧氏空间的结论.对R₁³出现的新情况——曲面的中曲率梯度类光作了一定探讨,得出的主要结果为:非平坦的、允许保主曲率等距变形的曲面一定不是W-曲面.     

A theory of coupled diffusion and large deformation in polymeric gels

A large quantity of small molecules may migrate into a network of long polymers, causing the network to swell, forming an aggregate known as a polymeric gel. This paper formulates a theory of the coupled mass transport and large deformation. The free energy of the gel results from two molecular processes: stretching the network and mixing the network with the small molecules. Both the small molecules and the long polymers are taken to be incompressible, a constraint that we enforce by using a Lagrange multiplier, which coincides with the osmosis pressure or the swelling stress. The gel can undergo large deformation of two modes. The first mode results from the fast process of local rearrangement of molecules, allowing the gel to change shape but not volume. The second mode results from the slow process of long-range migration of the small molecules, allowing the gel to change both shape and volume. We assume that the local rearrangement is instantaneous, and model the long-range migration by assuming that the small molecules diffuse inside the gel. The theory is illustrated with a layer of a gel constrained in its plane and subject to a weight in the normal direction. We also predict the scaling behavior of a gel under a conical indenter.