两参数指数分布步进应力加速寿命试验的统计分析

给出了两参数指数分布产品截尾样本场合下步进应力加速寿命试验损伤失效率模型下参数的极大似然估计和拟矩估计，并通过Monte—Carlo模拟说明方法的可行性．     

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．     

关于Banach空间上非线性Lipschitz算子的几个结果

引入非线性Lipschitz算子的Lipschitz拟对偶算子的概念,从而证明了非线性Lipschitz算子的“*”运算的线性性,作为应用,最后证明了非线性Lipschitz算子的共呜定理.     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.     

具有扩散的自助模型的有限差分解(英)

研究具有扩散的自助模型的有限差分解.首先建立一个单调迭代格式用于求解有限差分方程组;然后讨论非负解的存在唯一性,对不同的参数,证明方程组有四种不同类型的非负解,且这些非负解可以通过选择合适的初始迭代由迭代格式计算而得到;最后给出一些数值结果.     

单自由度结构远程分析及拟动力试验平台

基于网络结构实验室概念,开发了一个单自由度结构体系远程协同分析和拟动力试验平台.该平台由控制中心、真实试验机、虚拟试验机和远程观察器4个模块组成,各模块由计算机网络连接在一起,采用并行通讯模式实现控制中心与试验机和观察器之间的数据传输.利用该平台进行了钢管混凝土柱在3个水准地震作用下的协同拟动力试验,并进行了理论分析对比.平台的开发应用初步实现了异地分布式协同结构拟动力试验理论,进一步扩充可应用于更为复杂的子结构协同拟动力试验,从而将多个单一结构实验室整合为功能强大的网络结构实验室,提高了试验能力,达到了资源共享的目的.     

人民监督员对"拟不起诉"案件监督若干问题探讨

人民监督员制度是我国司法领域里继人民陪审员制度之后的又一制度创新。作为一项新型制度设计,人民监督员制度试行伊始,就彰显出其强大的生命力和优越性,但仍存在些许问题与不足。为更好地规范、完善人民监督员制度,本文以对“拟不起诉”案件的监督为范例,分析探讨“拟不起诉”案件监督中存在的问题与不足,以及如何进一步完善对该类案件的监督。     

完备格上的拟-t-模及蕴涵算子的直积和直积分解

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.     

型钢混凝土转换节点的抗剪性能

通过对连续型钢混凝土梁式转换层结构模型的两种加载方式进行拟静力试验,对比分析了型钢混凝土转换节点与柱不带轴压力型钢混凝土框架节点的抗震特性,得到了区别于普通框架节点的转换节点破坏机制、耗能能力、强度退化等.建立有限元模型,进一步对比分析,证明了转换节点在地震作用下的受力特性符合节点斜压杆机理,建立了型钢混凝土节点抗剪受力模型.     

极大η-单调映象的广义隐拟变分包含

作者引入了Hilbert空间中一类关于极大η-单调映象的广义隐拟变分包含,并利用预解算子技术建立了这类变分包含解的迭代算法逼近,证明了其解的存在性以及由算法生成的迭代序列的收敛性.