SwiftArray: Accelerating Queries on Multidimensional Arrays

Scientific instruments and simulation programs are generating large amounts of multidimensional array data.Queries with value and dimension subsetting conditions are commonly used by scientists to find useful information from big array data,and data storage and indexing methods play an important role in supporting queries on multidimensional array data efficiently.In this paper,we propose SwiftArray,a new storage layout with indexing techniques to accelerate queries with value and dimension subsetting conditions.In SwiftArray,the multidimensional array is divided into blocks and each block stores sorted values.Blocks are placed in the order of a Hilbert space-filling curve to improve data locality for dimension subsetting queries.We propose a 2-D-Bin method to build an index for the blocks’value ranges,which is an efficient way to avoid accessing unnecessary blocks for value subsetting queries.Our evaluations show that SwiftArray surpasses the NetCDF-4 format and FastBit indexing technique for queries on multidimensional arrays.     

Mechanical behavior of a near α titanium alloy under dynamic compression: Characterization and modeling

Dynamic compression tests under strain rates from 870 s^?1 to 2100 s^?1 were conducted for a near α Ti–8Al–1Mo–1V titanium alloy with equiaxed microstructure. Compression behavior, adiabatic shearing and band microstructure were investigated via characterization and calculation. The results demonstrate that all dynamic constitutive curves exhibited obvious stress fluctuation phenomenon with double increase-decrease changing stages at the primary stage of compression. The dislocation multiplication theory can be used to explain this phenomenon. After the stress fluctuation period, work hardening coexisted with the thermal softening, resulting in the slow hardening tendency in constitutive curves. J-C model was utilized to quantify the dynamic constitutive curves. The deviations between the predicted and experimental curves under high strain rates may be attributed to the over-consideration of thermal softening effect in J-C model. Adiabatic shearing band (ASB) began to form under the strain rate of 2100 s^?1. A total shearing strain of 8.1 within ASB achieved in 8.9 μs, corresponding to a local strain rate of about 9.1 × 10⁵ s^?1 and is over 430 times of the macro strain rate. Post annealing was conducted on ASB before EBSD characterization. Due to the static recrystallization during annealing, the α phase within ASB generally presented as ultra-fine grains less than 1 μm in diameter.     

四阶方程的有理Legendre函数全对角化谱方法

针对四阶椭圆型方程,提出了在半直线域上全对角化的有理Legendre谱方法。构造了Sobolev正交的Legendre有理基函数,并导出了相应的全对角化的离散代数方程组。与此同时,微分方程的真解和数值解都表示为Fourier级数形式及其截断形式。数值结果表明了该方法的高效性并保持谱精度。     

一类三圈图关于Merrifield-Simmons指标的排序

研究了一类三圈图瓦的Merrifield-Simmons指标，根据Cq上三种不同的连接方式，给出了该类三圈图关于Merrifield-Simmons指标的排序．     

一般三阶非线性常微分方程的正周期解

用锥上的不动点指数理论,考虑一般三阶常微分方程■正2π-周期解的存在性,其中:■是三阶常微分算子;■连续,f(t,x,y,z)关于t以2π为周期.在非线性项f满足一些易验证的不等式条件下,允许f(t,x,y,z)关于x,y,z满足超线性或次线性增长,得到了该方程正2π-周期解的存在性结果.     

分数阶中立型时滞微分方程解的存在性及指数估计

近年来,随着分数阶微分方程在众多领域的广泛应用,其理论研究也引起了国内外学者的关注.论文研究分数阶中立型时滞微分方程在解存在的前提下其解的指数估计.首先,由分步法讨论分数阶中立型时滞微分方程的解的存在唯一的条件;然后,在解存在的前提下,利用Gronwall不等式,给出分数阶中立型时滞微分方程解的指数估计.     

纤维金属层板的拉伸性能研究

GLARE是一种先进的混杂层板材料,由高韧度薄铝合金层和高强度玻璃纤维/环氧树脂层交替铺设而成,具有独特的轻质、耐疲劳、耐冲击、高阻燃性和耐腐蚀属性.系统地对GLARE层板进行了静力拉伸测试,展示了铺层结构和铺层类型对其静力学性能的影响,并对混杂模型的适用性进行了验证.结果显示:采用混杂模型法预测GLARE层的轴向弹性模量具有较高的精度,但进行强度预测时对于部分类型的层板需要考虑纤维的桥接作用.     

三次Hamilton函数定义的代数曲线的精确参数表示（英文）

In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.     

一类无非平凡有理整点的椭圆曲线y~2=x(x-p)(x-q)

令p、q为两个素数,且p+4=q。本文证明了椭圆曲线y2=x(x-p)(x-q)没有非平凡有理整点.同时得到了一类无整解的负Pell方程组和一类无整解的四次丢番图方程.     

订货与发货整合批量调度问题

在对文题进行数学描述的基础上，建立求解该类问题的混合整数线性规划模型.证明问题NP 困难性并研究多项式可解子问题，进一步提出了3个启发式算法以及精确求解的分支定界算法.数值实验表明，所提出启发式算法以及分支定界算法的有效性与高效性.