证明性的

Under mild conditions,a new feasible descent algorithm is presented and its global and superlinear convergence are proved by using the technique of combining generalized projection method with sequential systems of linear equations.

在较温和的条件下，采用广义投影和序列线性方程组相结合的技术，建立一个新的可行下降算法，证明了算法的全局收敛性和超线性收敛性。

In this paper, we mainlydiscuss the above functions and apply the violation constrained functions to filterSQP methods the algorithms, furthermore, we prove that the new algorithms haveglobal convergence and superlinear convergence under the mild conditions.

本文着重讨论这几种NCP类函数的性质，并把它们所定义的违反约束度函数应用于SQP算法中，并证明了在一定的条件下新的算法具有全局收敛性和超线性收敛性。

Using the asymptotically compact theory of Anselone' and Stepleman' theorem, the existence, the unicity , the convergence and the error estimate with O(h3) of the discrete equations are shown....

并借助Anselone的渐近紧收敛理论和Stepleman定理，证明了离散方程组的解存在性、唯一性、收敛性和精度阶O(h~3)。使用Ostrowski的不动点定理，提供了三阶收敛的迭代法。

On the Hardy space and Bergman space with parameter 1, we find that the weighted composition operators are compact if and only if they are weakly compact.

对于参数为1的Hardy空间H〓和Bergman空间L〓，证明了其上定义的加权复合算子的紧性与弱紧性是等价的。

First the passivity of motor rotor flux subsystem is proved. Workless forces have no influence on the energy balance equation and have no effect on the asymptotic stability. Then it is discussed that the system can stably track the reference rotor flux without rotor flux observer. At last an adaptive PBC strategy is proposed with regard to the rotor resistance change. A clear and simple design for the speed control subsystem with inner current loops is presented.

证明了感应电机转子磁链子系统的无源性，找到系统能量耗散特性方程中的无功力，它不会影响系统的稳定性，得出无需转子磁链观测反馈即能稳定跟踪转子磁链的参考值，同时考虑电机转子电阻在运行中发生未知变化，设计自适应调节器使系统对转子电阻呈现鲁棒性，构建了带电流内环速度控制系统。

This paper first Studies the relation between coefficients and the growth of Dirichlit se-ries of zero order in the whole plane,and further proves that the growth of random entire functions defined by random Dirichlet series of zero order in every horizotal straight lines is almost surely equal tothe growth of entire functions defined by its corresponding Dirichlet series.

首先研究了全平面上零级狄里克莱级数的系数和增长性之间的关系，然后证明了对于本级随机狄里克莱级数所确定的随机整函数，在每条水平直线上的增长性几乎必然

Bifurcation and choas of the zigzag sampled phase detect frequency synthesizer;2. When incidence coefficient is afunction of the time,the parameter rogions in which the models appear choas behavior are given.

该文研究了Lin Weimin等人给出的一类具有非线性传染力的SIRS模型，证明了在某些参数区域内极限环的存在性和唯一性，以及在传染系数与时间有关时，模型存在混沌性态的参数区域。

Surely, the issue of legitimacy or non-legitimacy of a theoretical model of history as an important one. Yet its apodictic is not a matter of proving or disproving its internal epistemological logic.

当然，历史理论模型式否具有正当性确实是个重要的议题，只是这种明晰性并非由知识论的逻辑来证明或否证，相对的，『历史理论模型式否具有正当性』这样的议题，分析到最后，其实只是个政治议题。

By time-varying filtering, we realize the signal selectivity and interference suppression, especially for the signals with time-varying power spectrum. It is shown herein that conventional eigenstructure based methods are lower dimensional special case of the time-frequency subspace fitting method. The closed-form array response estimation algorithms for blind source separation in wireless communication is also developed in the dissertation by exploiting the data structure of second-order statistics of the array output in the presence of multipath. The proposed method achieves array response estimation with little constraint on signal property and propagation environment such as scatters or angular spread. Moreover, the array utilized here can be of arbitrary geometry and even uncalibrated. Since the closed-form solution is obtained, no misconvergency may occur and large amount of computation can be saved. The equivalent feed model and corresponding optimization designation are proposed to realize the downlink multi-user selective transmission. By coherent and non-coherent superposition of the electromagnetical field, multiple beams can be formed using a single array, so that each co-channel user signal is transmitted in each beam and will not interfered with each other. The proposed system scheme implements the digital beamforming and the channel allocation in the base band, therefore is suitable for the utilization of the radio software technology. The feasibility and effectiveness of the proposed model are proved by the RF experiment.

在窄带条件下，GSC－SSF方法还可以提高阵列的虚拟孔径，从而提高估计的性能；可以证明，Cyclic DOA 和SC-SSF方法可看作该方法的特例或近似； 3、提出了二维GSC－SSF方法和宽带谱相关DOA矩阵方法，利用信号的循环平稳特性解决了宽带条件下二维 DOA 估计问题，并具有阵元数少、计算量较小的特点； 4、提出了时频子空间拟合和宽带时频DOA估计算法，将联合时频分析的理论和方法引入到阵列信号的空间谱估计研究中，利用时变滤波实现信号选择性测向和干扰抑制，特别适合于谱时变信号；可以证明传统特征结构法可看作是时频子空间拟合方法的特例； 5、提出了多用户环境下阵列响应的估计方法——CARE方法，该方法对信号结构和传播参数（主要是散射源分布与角度散布）的约束较少，适用于各种几何结构的阵列甚至未校准的阵列，能够直接得到阵列响应的闭式解，因此计算量小、稳健性好，不存在收敛问题； 6、提出了针对多用户下行选择性发送的阵列等效激励模型、优化设计方法及其系统实现方案，通过空间场的相干叠加与非相干叠加使得单一阵列能够形成多个波束，并保证各波束内的用户信号各不相同且相互干扰最小；其系统方案具有在基带实现数字波束成形、信道分配并便于软件无线电实现的特点，其有效性已得到外场实测数据的证实。

This paper defines a strong security model for multi-recipient signcryption scheme in the random oracle model, which is semantically secure against adaptive chosen-ciphertext insider attack, existentially forgeable chosen-message attack and anonymous chosen-ciphertext insider attack. By analyzing, we point out that Li-Hu-Liu Multi-Recipient Signcryption Scheme is insecure against the adaptive and anonymous chosen-ciphertext insider attacks.

摘要在随机预言模型下定义了一个多接收者签密方案的强安全性模型，该模型满足适应性选择密文内部攻击安全性、选择消息抗存在性伪造和密文匿名安全性；通过分析指出， Li、Hu和Liu等人提出的多接收者签密方案，不具有适应性选择密文内部攻击安全性和密文匿名性，并给出所定义强安全性模型中的攻击方法；随后提出改进方案，该方案在强安全模型中证明是安全的。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新