关于一种严格伪压缩映象Mann迭代序列的强收敛性

证明了在H ilbert空间中非空有界闭凸集上的严格伪压缩自映象有不动点,介绍了一种关于严格伪压缩映象的M ann迭代序列并证明了其强收敛于不动点,其结果把非扩展映象推广到严格伪压缩映象,从而推广了近代一些相关结果.     

半导体热电材料Bi1-xSbx薄膜的电化学制备

B I1-XSBX半导体合金是性能优异的热电和磁电功能材料,为制备固态电制冷器件、温差发电器件和磁电器件的重要材料。电化学沉积薄膜技术工艺设备简单成本低,在半导体薄膜制备方面有很好的应用前景。系统研究了高浓度盐酸(2.4 MOL/L)的B I和SB盐酸溶液,成份从纯铋逐步变化到纯锑的B I1-XSBX合金半导体薄膜电化学沉积特性。测试了沉积过程I-V循环曲线和和沉积电荷效率等电化学参数。结果表明在所有成份范围内都可以得到典型的B I1-XSBX固溶体结构的高质量薄膜。薄膜生长为典型的溶液扩散控制过程,具有高的沉积电荷效率。薄膜沉积和溶解之间的电位差随溶液中SB(Ⅲ)离子浓度增加而增大,生长的薄膜越来越稳定。在30%SB浓度附近,电化学过程、薄膜结构和性能发生明显的突变。应用X射线衍射和电子显微镜研究薄膜结构,发现薄膜具有明显的(012)择优取向,薄膜晶粒尺寸也随SB浓度的增加而变化。     

具有随机缺失响应变量的广义半参数模型

本文在响应变量随机缺失条件下,研究了广义半参数模型的拟似然估计方法,给出了缺失数据下的未知参数与非参数回归函数的拟似然估计,进一步求出了估计的渐近偏差和渐近方差,并证明了所给出的拟似然估计具有渐近正态性。     

土工布在防治沥青砼路面早期反射裂缝中的应用

一、前言 随着我国公路事业的飞跃发展，半刚性基层和沥青砼面导的路面结构形式在全国得到了普遍推广和应用。然而近年来新建的部分沥青砼路面在通车运营2-3年后便出现了不同程度的早期损害，     

分光计实验研究

介绍了分光计的结构原理,阐述了对分光计实验中反射像形成的原因进行分析有助于了解分光计的工作原理和调节方法,并对光学实验中分光计各半调节法进行了论述和理论分析.分析了分光计调节中十字像偏离十字线交点的特点及原因,在此基础上,介绍了分光计的快速调节方法,对指导学生实验大有益处.     

水面舰水声对抗综合仿真环境研究

在水声对抗仿真研究中,由于依据声纳方程建立的声抗模型误差较大,因此可通过信号仿真及半实物仿真方法来提高模型精度,但这将为水声对抗仿真环境的构建带来较大困难。为了尽可能真实地评估水面舰水声对抗系统对抗来袭鱼雷的作战效果,建立了包括作战平台、声抗平台以及半实物平台的水面舰水声对抗综合仿真环境。本文给出了构建该综合仿真环境的解决方法,并介绍了该环境中的三个子环境的组成及作用,而后描述了本综合仿真环境的功能及运行效果。该综合仿真环境的构建,对提高评估结果的可信度以及水面舰水声对抗系统的研制和使用有着重要的意义。     

沥青混凝土路面裂缝的原因分析及防治措施

一、原因分析 造成沥青路面裂缝的原因有很多，其主要原因如下： 1．半刚性基层开裂引起路面裂缝。 （1）低温收缩开裂。沥青混凝土和半刚性基层多在高温。夏季和常温时施工成型，入冬后温度骤降，如果收缩应力大于当时混合料的极限抗拉强度时，就会产生温度收缩裂缝，一般为横向裂缝，宽度约为2-16mm。温差越大，温度变化越快，则约束越大，混合料就越容易开裂。路面开裂发展的过程及应力分布规律是：当混合料由于温度下降产生的拉力超过其材料抗拉强度时就开始出现第一批裂缝，路面开裂后应力重新分布，如果此时温度应力小于或等于混合料极限抗拉强度时，裂缝的数量即停止发展，当温度升高裂缝逐渐缩小。     

尿嘧啶分子振动性质研究

发展了研究生物分子的半经验势分子动力学方法. 通过计算尿嘧啶分子动力学运动轨迹的速度自关联函数的傅立叶变换, 获得了其振动频率. 通过求解Hessian矩阵方法, 鉴别出每一个振动频率的振动模式. 计算结果能够和现有实验数据符合, 对目前研究还未能给出的振动模式和频率做了自洽补充, 完整给出尿嘧啶分子振动的30个模式和频率.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

基于EGARCH-VaR的半参数法及实证研究

在综合考虑了金融收益数据分布的尖峰厚尾特征及其波动集群性,尤其是其波动的“杠杆效应”对VaR估计的影响以及各种假定收益率分布在计算风险价值时存在不足的基础上,提出了基于EGARCH-VaR的半参数方法,并且与正态分布和t分布假设下的GARCH模型的VaR计量方法进行比较,通过实证分析,并利用后验测试,表明基于EGARCH-VaR的半参数方法对风险价值的测度优于正态分布和t分布假设下GARCH模型的VaR计量方法.