中值

The normal form can mirror innate characters and value distribution of well formed formula, and perfectly solve the problem about complete disjunctive normal form in MP .

该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了MP＊中的析取范式问题。

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

Chapter 6, consider a coupled generalized KdV-Burgers equation. In section 6.2, we study the initial-boundary value problem in the semi-unbounded domain, the existence of global solutions and global attractors is proved by means of a uniform priori estimate for time. In section 6.3, the Cauchy problem by using the weighted space, the existence of the global attractors for a coupled generalized KdV-Burgers in an semi-unbounded domain is proved.

第六章，考虑了一类广义耦合的KdV-Burgers方程，在第二节中讨论了半无界区域上的初边值问题，证明了整体光滑解和整体吸引子的存在性；在第三节中讨论了Cauchy问题，利用加权函数和加权空间上的插值8不等式，证明了半无界区域上整体吸引子的存在性。

The experimental setup is designed to measure the change of dynamic holdup during the course of non-reflux period and the calculation value is consistent with the experimental results, which indicates that the downflow velocity of dynamic holdup becomes smaller with the decrease of dynamic holdup in the column during the course of non-reflux period.

本文设计了测定无回流过程中动持液量变化的实验装置，在与动态液相交换的全回流间歇精馏串联实验相同的条件下测定了无回流阶段的动持液量变化，模型计算值与实验值比较吻合，结果表明在无回流过程中随着精馏塔中动持液量越来越少，动持液向下流动速度也越来越小。

The Periscope Drawtube will be bent because of the water resistance in sailing and this bend will cause the error of star measurement. Due to its especial structure, contactless measurement is the only way to measure its bend degree. First this paper introduces the method by linear array CCD based on structure and light path; Second it expatiates linear array CCD work principle and driving scheduling with example of TCD1501C and the driving circuit by CPLD. The output signal of linear array CCD includes common disturbance so the differential amplifier is needed. In order to make the signal adapt to computer processing, a threshold circuit with Schmitt characteristic and the data process following threshold are given. At last, some key problems in application are given.

潜艇潜望镜的镜筒在航行时受到水的阻力会产生弯曲变形，这种变形会造成潜艇对星体测量的误差；由于镜筒结构的特殊性，对其弯曲程度的测量只能采用非接触方法；首先从结构和光路方面介绍采用线阵CCD作为检测元件实现对镜筒弯曲程度的测量；其次以东芝公司的线阵CCD（TCD1501C）为例阐述了其工作原理及驱动时序的控制要点，并介绍了基于可编程逻辑器件的线阵CCD的驱动电路；线阵CCD输出的信号中含有共模干扰，必须采用差分放大器将其抑制；为将信号转化为适合计算机处理的数字信号，文中给出了有一定实用价值具有施密特特性的二值化处理电路及二值化后的数据处理过程；最后阐述了在实际使用中的一些关键问题。

we use magnetron sputtering to deposit Al-AlN particle film as SED's electron-emitter. The Cr-Cu-Cr electrode was prepared by electron beam vaporize deposition. The voltage used to electroform the cracks are periodic trigonal wave and the breadth of the voltage are increasing gradually.

文章中采用铝-氮化铝薄膜材料作为SED器件的电子发射层，采用磁控溅射的方法镀电子发射层，采用电子束蒸发的方法镀铬-铜-铬材料作为电极；电形成过程中采用电压幅值恒定、周期性重复的脉冲和电压幅值渐增的电压脉冲作为电极电压。

Within this context, four specific areas are addressed:(1) By means of finite integration technique, a new kind of the first order partial difference equation is derived from the original disperse transmission line equation of the uniform waveguide's. As it is the kind of one dimension Dirichlet's boundary problem, it is convenient for us to solve this equation from the leapfrog scheme. Because computation is carried out in one dimension, both high calculation efficiency and precision have been obtained in this method. Meanwhile, this method provide us a different selection to simulate the transient response of waveguide with non-simplical, for examples cylinder and elliptic waveguide, and avoid solving the second order equation, or using finite difference time domain to simulate a three dimension problem, sometimes the latter precision is not satisfied with the need, or low efficiency.

在这一研究内容下，主要研究四个方面的问题：(1)在完成金属波导传输线方程时域形式的基础之上，应用有限积分技术，把波导特征模式的色散传输线方程，化简为一组新的一阶偏微分方程组，该边值问题属一维Dirichlet边值问题，从而便于用蛙跳格式求解，由于是在一维中计算，该方法具有很高计算效率和精度，从而避免了以往为得到金属波导中特征模的时域响应特性，须要求解二阶方程，或用时域有限差分方法求解三维问题的方法，对于后者来说，计算有时是不准确的，或是很耗时的例如计算诸如圆波导、椭圆波导等其它复杂形状的波导。

We improved the merit function in quasi-feasible interior point method and used the exponential function that is the more general function to prove the existence of one order optimality point in feasible problem. We discussed the inner and outer algorithms and made the convergence theorem.

在算法中改进了拟可行内点法中的值函数，使用指数形式的更一般函数，用此值函数证明了可行性问题的一阶最优性点的存在性，并通过对内部算法及外部算法的讨论得到了算法的收敛性定理。

It is shown that many of the existing integral transforms (including their logically equivalents) such as chirplet transform, dispersion transform, wavelet transform, chirp-Fourier transform, short-time Fourier transform, Gabor transform, Fourier transform, cosine transform, sine transform, Hartley transform, Laplace transform, z transform, Mellin transform, Hilbert transform, autocorrelation function, cross-correlation function, and the energy and mean of a signal, can each be considered as a special case of the FMmlet transform with specific parameters. In fact, an inventory of subspaces of FMmlet transform runs into countless numbers. The subspaces mentioned above are merely a few among a zoo of subspaces. They are essentially obtained by cutting the transform space of FMmlet transform at different positions, and can be likened to the computed tomography in medical diagnosis. Through these subspaces we actually see different slices or profiles of the FMmlet transform.

将现有诸多变换置于统一的 FMmlet 变换中加以审视，发现 chirplet 变换、频散变换、小波变换、 chirp-Fourier 变换、短时 Fourier 变换、 Gabor 变换、 Fourier 变换、余弦变换、正弦变换、 Hartley 变换、 Laplace 变换、变换、 Mellin 变换、 Hilbert 变换、自相关函数、互相关函数、能量和均值等，均为 FMmlet 变换在其参数取特定值时的特例；上述诸变换之间的差别，主要在于变换空间的维数有别，以及在不同空间维上取值的不同；这些变换有如医学诊断中的 CT，均由压缩 FMmlet 变换域空间所致，可以说我们通过这些变换看到的，是 FMmlet 变换的不同剖面。

With the market scale enlarging, innovation deepening, market practice standardization and investors' structure improving, value investment has gradually become the main investment concept in the market, furthermore, a company's fundamental has become the key determinant in share pricing, and various pricing models on company's intrinsic value have gradually being used in company's initial public offering. Efficient Market Theory is one of the basic principles in modern finance theory, therefore the judgment on the market efficiency greatly affects the choosing and applying of valuation models.

随着证券市场规模的壮大、市场运行的规范、市场创新的深化、投资者队伍结构的改善以及国际化进程的加快，价值投资逐渐成为市场的主导投资理念，公司基本面开始成为股票估值的重要因素，在公司股票首次公开发行（initial public offering， IPO）中，基于公司内在价值评估的各种估值模型则在实践中逐步得到应用。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。