边界值

Some of the safe mobile codes may be rejected to execute, since there is no way to verify statically that the symbol range value of an array subscript expression in PCC.

PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围，而造成拒绝执行一些安全的移动代码等问题。本文给出的一种数组边界检查的优化及生成算法，不仅能够比较好地解决了这一问题，同时还生成了循环不变式注解中的条件谓词。

An asymptotic series solution is constructed by the perturbation technique of deflection type for buckling and postbuckling behaviors of the cylindrical shells under external pressure.

考虑到边界效应对中短圆柱壳的影响及边值问题摄动解的一致性，详细研究了该圆柱壳端部边界层方程和奇异摄动解，以便与中部正则摄动解相匹配。

Now we study the properties of four multi-layer potentials and their high deriva-tives of biharmonic equation in the plane when they approach the boundary of adomain.

我们研究了重调和方程四种多层位势及其高阶微商在边界附近的性质，得到了这些微商新的表达式，从而将重调和方程的自由边值问题归化为新的边界积分-微分方程组。

FENG Kang, YU De-hao and some other scholars of our country are the first ones to create the natural boundary element method, and they have successfully studied the natural boundary reduction method for the boundary value problems of harmonic equation and biharmonic equation.

我国学者冯康、余德浩等首创自然边界元法，并已成功地研究了调和方程及双调和方程边值问题的自然边界归化方法。

A direct method is implemented for computing the free-term coefficient and the Cauchy principal value integral in the higher-order boundary element method for potential flow.

采用直接数值计算方法计算了势流问题高阶边界元方法中的自由项系数和柯西主值积分，建立了波浪与结构物作用的一种高阶边界元方法。

The empirical mode decomposition method is introduced to extract the trend item of gyro's drift, but the local mean estimation isn't precision and the end effects exist in the conventional EMD method. The two-tap adaptive time-varying filter and the adaptive border estimation are used to modify the EMD. After the trend extraction, the method of time series analysis is used to make the autoregressive moving average model for stationary time series.

根据陀螺漂移的特性，提出采用经验模分解的方法对其趋势项进行提取，但传统的经验模分解方法存在局部均值估值不准，插值过程存在端点效应的问题，因此，本文又引入二拍自适应滤波及自适应边界估值来对原方法加以改进；在成功提取趋势项后，通过采用时间序列的分析方法，建立了陀螺漂移平稳时间序列的自回归滑动平均模型；并得出陀螺漂移模型可近似为常值加一阶马尔可夫过程这样一个结论。

The existence of solutions for two-point boundary value problem subject to nonlinear second order differential equation with mixed boundary conditions is studied by using topological transversality theorem, and some known results are improved.

现利用拓扑横截定理，考虑了二阶常微分方程两点边值问题在组合边界条件下的解的存在性，对二阶常微分方程两点边值问题所对应的辅助问题作先验界估计，并利用拓扑横截定理，得到了边值问题解的存在性，推广了一些已有结果。

Our experimental results shown that threshold voltage related hot only with the number of hecical turns ,hut a boundary-induced contraction or dilatation of the pitch also has a strong influence on it, at each regin, belong to a fixed n,the threshold voltage increases as the contraction of the pitch and the thieshold volage decreases as the dilatation of the pitch.

实验结果表明：阀值电压不仅与螺距数有关，而且与边界条件引起的螺距收缩和伸展有关，在螺距数不变的情况下，螺距的收缩使阀值电压提高，而螺距的伸展使阀值电压减小。

The proposed algorithm first detects smooth intervals based on gray variance from the original frame sequence, then concatenates them to constructs a new frame sequence. After that, video features such as pixel-wise difference, HSV histogram difference and edge histogram difference are fed to a SVM classifier to decide the types of different shot boundaries.

第一级分类器根据视频帧灰度方差特征，将无明显变化的视频序列从原始视频序列中分离出去，得到一个新的视频序列；第二级分类器在新视频序列的基础上，提取视频图像的像素对差值、HSV空间颜色直方图的各分量差值以及边缘直方图X，Y分量差值等视频特征，并采用支持向量机多分类策略进行镜头边界类型的检测。

In most situations semaphores are used to guard resources with limited capacity.

一个边界信号量检查确保它目前的值不会超过它的初始值，在大多数情况下，信号量用来保护部分资源的有限能力，如果一个信号量被释放多次，这就意味着是一个bug，默认值为1

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。