SLD模型中具有形（0，q^k）的状态S=（φ，B）为k次致胜状态

给出了具有时滞d=2的容错e=1搜索模型（SLD模型）中具有形（0,q^k）状态S=（φ,B）为k次致胜状态,并给出了相应的提问策略。     

SLD模型中具有形（0，qk）的状态珗S＝（Φ，B）为 k次致胜状态

给出了具有时滞 d＝2的容错 e＝1搜索模型（SL D模型）中具有形（0,qk ）状态S＝（Φ,B）为 k次致胜状态,并给出了相应的提问策略。     

广义(R,S)-对称矩阵

引进了广义（R,S）-对称矩阵的概念,给出了广义（R,S）-对称矩阵A的精确表达式,据此将方程AX=V化成若干低阶方程来求解．给出了广义（R,S）-对称矩阵A的几类广义逆的表达式．     

有条件(S)真BCI代数的若干性质

用BCK-代数扩张的方法研究了有条件（S）的BCI-代数的序关系,给出了：（1）有限BCK-代数B有条件（S）←→它的Iseki扩张是有条件（S）;（2）设I是真BCI-代数,B是I的BCK-部分,且日有限,E是I的P-半单部分,如果I=BULE且日作为BCK-代数有条件（S）,则,也具有条件（S）．     

图 S＊的边幻和标号以及超边幻和标号

研究了对？n∈N＊图 S＊的边幻和标号以及超边幻和标号，得到了两种标号的算法 A 和 B，给出了对？n∈N＊图 S＊具有超边幻和常数 C1=5n＋6以及边幻和常数 C2=7n＋6，其中图 S＊由具有 n＋1个顶点星图 S（u）和 n＋1个顶点星图 S（v）组成，从而证明了 S＊不仅是边幻和图，而且还是超边幻和图等结论。     

离散空间内多状态的最优搜索问题

最优生还搜索问题是使发现动目标（尚活着）的概率最大．研究了多状态最优搜索问题,并给出了其算法     

平均执行价格期权的一个定价公式

给出了一个强路径依赖型期权的B—S模型,并利用给出的强路径依赖型期权的B—S模型得到了在连续情形下具有浮动敲定价格的几何平均亚式期权（平均执行价格期权）定价公式,同时给出了证明．     

非线性动态网络/系统（N/S）模型辨识与故障诊断

采用方波脉冲函数变换（BPFT）对一类非线性动态N/S混合模型(H1,B)进行了辨识，导出了计算混合模型（H1,B）的相关公式和N/S响应的伏特劳级数解在方波域内的离散递推算式，解决了一类非线性动态N/S模型的数值计算问题.在此基础上，提出了一种基于多重预置模型的非线性N/S的故障诊断方法，该法通过检验各个预设模型与N/S当前状态的匹配程度来判断N/S是否处于某种故障状态，而无须在线估算N/S当前的模型及分析其特征，从而极大地减轻了在线计算工作量，可实现在线故障诊断.给出了故障诊断实例，实验结果表明该法故障诊断的准确率达到80％～90％.     

广义逆A(2)T,S的体积

研究了广义逆A（T,S）^（2）是的体积，在不必首先计算出广义逆A（T,S）^（2）的前提下，导出了广义逆A（T,S）^（2）的体积表示，推广了文献[3]中的结果．由此分别给出了A的加权Moore-Penrose逆，Drazin逆Ad及群逆Ag的体积表示式．     

B（H）上广义Jordan triple可导映射

利用算子论方法,证明了YA∈（B）（B）,若δ满足δ（AA＊ A）=δ（A）A＊A-Aδ（A）＊A＋AA＊δ（A）,则（E） S,T∈（B）（B）和λ∈{C＼R}∪{0},且S＊-S=T＊-T=λi,使得（a） A∈（B）（B）有δ（A）=SA-AT.     

马氏状态转换的Lévy模型下的期权定价

研究马氏状态转换的Lévy模型下的期权定价问题．假定资产价格过程为 {At=exp（∫^t 0rsds）, St=S0exp（∫^t0（μs-1/2σ^2s）ds＋∫^t0σsdBs＋∫R0log（1＋k（x））N（t,dx））,其中（Bt,0≤t≤T）是标准Brown运动,N（t,·）是一Poisson随机测度,（Xt,0≤t≤T）是开关马氏过程,且它们三者相互独立;μs=（Xs,μ）,σs=〈Xs,σ〉,rs=〈Xs,r〉均受开关马氏过程的影响．对此模型,作Esscher测度变换,得到一个等价鞅测度,该测度可使定义的相关熵达到最小．在该测度下给出了欧式期权定价的一般方法．推广了Elliott等人的结论．     

分块矩阵广义逆的几种表达式

受分块矩阵的逆矩阵形式的启发,给出了分块矩阵A=（A11 A12 A21 A22）的广义逆A^（1,3）,A^（2）,A^＋,Ad和Ag可以表示为X=（S1^α-A11^αA12S2^α -A11^αA21S1^α S2^α）的条件;然后运用这些结果,得到分块矩阵A的M—P逆的几个表达式;最后给出一个求分块矩阵M—P逆的例子．     

完全图的seidel特征多项式及其谱

设A（G）是图G的邻接矩阵,J是全1方阵,I是单位矩阵．称S（G）=J-I-2A（G）为图G的seidel矩阵,与之对应的多项式SG（λ）=｜λI—S（G）｜称为图G的seidel特征多项式．本文给出了完全图Kn的seidel特征多项式及其谱．     

“挑战-应答”认证模型在B／S架构系统中的实现

本文分析了“挑战-应答”身份认证模型,分析了其安全性：针对HTTP协议无状态、面向非连接的特点,给出了在B／S架构下,该认证模型的详细实现步骤和方法。系统充分考虑了实用性和安全性,对基于B／S架构的系统具有一定的借鉴意义。     

分块幂等矩阵广义Schur补的性质

关于复分块矩阵P =（C^A D^B）∈C^m×n的广义Schur补S=A-BD^＋C,T=D-CA^＋B,S=A-BD^gC,T=D-CA^gB,这里,D^＋,A^＋分别代表D,A的Moore-Penrose逆,D^g,A^g分别代表D,A的群逆。这篇文章我们主要给出当P是幂等矩阵时,在一定条件下,P的某些性质成立时,S,T具有同样的性质。     

可控性定理的注记

可控性定理给出了一个时滞控制方程x（t）=A0x（t）＋A1x（t-h）相应的状态线性系统∑（A，-，C）近似可观的一个充分条件，文章主要给出了一个反例，说明该定理中的充分条件并不是必要的．     

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．     

不同CuO掺量下C3S矿物形成的等温研究

通过化学分析和X射线衍射相分析，应用等温煅烧的方法对CuO掺量（质量分数）为0，0．5，1．0，1．5，2．0，3．0的c3s矿物形成动力学进行了系统探讨．通过拟合得到了C3S矿物形成的动力学模型，并根据该动力学模型对不同CuO掺量下C3S矿物形成的速率常数进行了计算．结果表明，在1450℃，不同CuO掺量下，C3S矿物形成由三维球形对称扩散动力学模型f（α）=（1-√1-α）^2=Kt控制；C3S矿物形成的速率常数随CuO含量的增加而增加；CuO的加入有利于C3S的形成．     

矩阵A的广义逆A_(T，S)~((2))快速并行算法

提出了计算广义逆AT,S^（2）的一个并行算法，并且证明了理论结果：广义逆AT,S^（2）的并行计算复杂性，一般约束线性方程组Ax=b，x∈T，b∈R（A）求解，和计算m＋n-h阶矩阵A的特征多项式和行列式有同样的增长率，其中h=rank（G），R（G）=T和N（G）=S．     

一个矩阵方程反问题的极小Frobenius范数解

在线性约束下矩阵束最佳逼近问题中．对给定的条件做一改变,解决了一个矩阵束最佳逼近问题．当A和B满足同时奇异值分解（SSVD）时,即A=U（∑1 0 0 0）V^T,B=U（∑2 0 0 0）V^T时,解决了一个关于X的矩阵方程反问题：｜｜AXB^T＋BXA^T-C｜｜F=min,AXB^T＋BXA^T=C,得到了它的对称解,并给出方程的极小Frobenius范数解．