真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

轴端沟槽底部激光强化工艺参数优化研究

分析了选用不同激光能量密度对HT300进行表面强化处理时，材料表面呈现的四种状况；未相变硬化、相变硬化、表面微熔与表面熔凝的金相组织。根据工艺要求，选取相变硬化方法对轴端沟槽底表面进行处理。分析了工件激光处理方法并通过试验研究，寻找轴端沟槽底部激光强化工艺参数；激光功率（P）、光斑直径（D）及扫描速度（V）的优化组合。硬度测试及耐磨性能试验表明：激光相变处理和激光熔凝处理后轴端沟槽底部表面较表面感应淬火硬度分别提高7%和34%，绝对磨损体积分别下降了13%和25%。实践证实，对轴端沟槽底部激光相变硬化处理方法较其他表面处理方法工艺简单，加工工件符合技术要求，试验结果对零件表面处理提供了可靠依据。     

氙灯泵浦的NYAB晶体调Q激光运转特性及实验研究

首次报道了氙灯泵浦的自激活自倍频NYAB复合功能晶体的BDN染料片调Q运转,获得了自倍频绿光单脉冲.测量了不同L和T_o情况下的绿光脉冲的能量、脉宽和峰值功率.文中还从理论上推导了自激活自倍频晶体调Q激光器的方程组.数值求解方程组,所得的理论数据与实验结果很好地相符.最后,讨论了进一步提高绿光脉冲峰值功率的途径.     

全纯函数族的正规定则

Let f be a holomorphic function on a domain D Lontaiu in C, and let a be a finite complex number. We denote by -↑Ef/(a) = {z ∈ D : f(z) = a, ignoring multiplicity} the set of all distinct α-points of f. Let F be a family of holomorphic functions on D. If there exist three finite values a, b(≠ O,α) and c(≠ O) such that for every f ∈F, -↑Ef′/(0) Lontain in -↑Ef(α） and -↑Ef′ (b) Lontain in -↑Ef(c), then F is a normal family on D.     

基于爆轰波原理声源定位方法初探

基于弹丸发射时所发出的爆轰波,利用传感器接收时差信息,从而确定声源位置。本文建立了该声源定位反问题的物理和数学模型,并依据该模型寻求适当的数值解法,最后针对延拓-广义逆法声源定位问题进行了演算和简要分析。     

物理实验课程考核、评估体系初探

对物理实验课程考核、评估方法进行了探讨，提出了物理实验课程考核、评估体系及实施细则．重点介绍了体系中的核心部分——正规的物理实验课程考试．     

核壳型铁钴纳米复合材料的制备及其性能

采用多元醇还原工艺和自组装技术,在微米级Fe粉表面包覆纳米Co粒子,一步法制备了一种具有核壳结构的复合磁性微球,用SEM表征了其相组成和形貌,用VSM测试了磁滞回线,初步研究了磁学性能。结果表明:用该法制备的核壳型Fe/Co纳米复合材料表面包覆致密,其比饱和磁化强度和矫顽力介于微米铁粉和纳米钴粉之间。     

ICP-AES测定彩涂前处理表面调整转化层中Ti、Ni含量及钝化膜中Cr含量

采用电感耦合等离子体-原子发射光谱法同时测定彩涂前处理表面调整转化层中Ti、Ni含量及钝化膜中Cr含量.以表征表面调整转化层厚度及钝化膜厚度,采用本方法准确度高、快速简便,经试验结果令人满意.     

大型钢结构人行景观天桥的有限元分析

采用有限元方法对大型钢结构人行景观天桥进行了静力学、温度应力、动力学模态和初步的抗震能力分析,并就桥自重作用下的最大竖向位移和实际观测结果进行了比较,两者是一致的.计算结果表明:人行景观天桥在常规、温度极值改变和多遇地震荷载作用等多种工况下,现有的设计方案具有足够的强度、刚度和抗震能力.     

鲁棒稳定性分析的值映射与参数化方法

本文运用值映射与参数化的方法研究了鲁棒D稳定性问题。文中给出了主要结果——参数空间鲁棒分析的边界定理,作为该结果的应用,一些现代鲁棒分析的知名结果,例如多项式族的稜边定理,Kharitonov定理和菱形定理都被简洁地证明出来;给出了一种判定双参数多项式族D稳定的新方法。用该方法可以方便地确定H稳定多项式按一定摄动模式(区间方式和菱形方形)的最大摄动界。