Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

注浆覆岩离层力学机理及其离层发育分类研究

依据覆岩离层生成的力学机理,结合煤层开采程度的不同,将可注浆层位的离层划分为三类.以岩石的应变为指标,确立了覆岩离层可注浆层位岩梁的断裂步距表达式,理论上证明了划分注浆层位的合理性.根据岩石的全应力应变试验,结合现场实际观测数据,对以应变为指标的岩梁断裂步距表达式做了初步验证.结果表明:可注浆层位的分类和断裂步距表达式的确定对注浆减沉工程具有指导意义.     

德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

Banach空间中一类非线性算子Ishikawa迭代序列收敛定理

在一般的Banach空间中,研究了Ishikawa迭代序列收敛问题,去掉了通常文献中关于空间X的一致光滑或S-一致光滑的严格要求,此外,还去掉或减弱了其它某些条件。因而本质地改进了近期文献的一系列相应定理。     

Browder-Petryshyn 型的严格伪压缩映射的粘滞迭代逼近方法

主要研究Browder-Petryshyn型的严格伪压缩映射的粘滞迭代逼近过程,证明了Browder-Petryshyn型的严格伪压缩映射的不动点集F(T)是闭凸集．在q-一致光滑且一致凸的Banach空间中,对于严格伪压缩映射T,利用徐洪坤在2004年引进的粘滞迭代得到的序列弱收敛于T的某个不动点．同时证明了Hilbert空间中Browder-Petryshyn型的严格伪压缩映射的相应迭代序列强收敛到T的某个不动点,其结果推广与改进了徐洪坤2004年的相应结果．     

Outline Imaging by THz Time Domain Spectroscopy

Outline imaging by THz time domain spectroscopy is proposed. Spectroscopic splitting at interface is reported, The principle of outline imaging is put forward. Experimental results demonstrate the feasibility of outline imaging by spectroscopic splitting, It is shown that clear out：line image of sample interface could be achieved easily by this technique. The spatial resolution is about 0.6mm. The THz-beam focus, the scanning step and the THz pulse width are the critical foctors affecting the imaging resolution. The signal-to-noise ratio of this technique could be improved greatly compared to the conventional transsion imaging.     

An Implicit Iteration Process with Errors for a Finite Family of r-strictly Asymptotically Pseudocontractive Mappings

In this paper,we will establish several strong convergence theorems for the approximation ofcommon fixed points of r-strictly asymptotically pseudocontractive mappings in uniformly convex Banachspaces using the modiied implicit iteration sequence with errors,and prove the necessary and sufficient conditionsfor the convergence of the sequence.Our results generalize,extend and improve the recent work,in thistopic.     

基于伪随机排列的密码模型及其在MATLAB中的实现

给出了关于密码编码学的一般数学模型,在此基础上提出了一种新颖的能用于中文文稿加密的实用有效的编码方法:基于伪随机排列的密码模型(PRP算法),并在MATLAB中实现了上述模型.通过唯密文攻击和已知明文攻击的密码分析,得知该算法具有很强的抵抗攻击能力.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

向量变分不等式的严格可行性问题

本篇文章首先定义了向量变分不等式的严格可行点概念,其次在假设了映射是强(D)-伪单调的情况下,证明了向量变分不等式解集非空有界与其严格可行点存在的等价性问题,推广了在数量变分不等式上得到的相应结果．