UNIX系统源语言调试器的分析

源语言调试器是程序员不可缺少的软件开发工具。本文从介绍UNIX系统程序调试的基本思想入手,较详细地分析了UNIX系统源语言调试器的实现,阐述了源语言调试器实现中的几个主要问题。     

加工硬质合金端铣刀刀槽时的工艺调整计算

硬质合金端铣刀刀体上的刀槽，通常将设计为槽底与铣刀轴线倾斜δ角，槽侧壁与铣刀轴线倾角为ω且偏移一个距离为ｅ，以使刀齿装夹在刀体上后获得端铣刀所需的几何角度。本文主要论述在万能铣床上铣削铣刀体上具有δ、ω、ｅ的刀槽时必要的工艺调整，利用矢量及座标转换推导了加工刀槽时必要的参数计算公式，为高效率、高质量地进行铣刀体刀槽的加工提供了一种精确可行的参数计算方法。     

非线性连续时间系统L1控制的非线性反馈

用集值分析方法研究了仿射非线性连续时间系统具λ-指数收敛率和ρ-性能的L1-控制问题.首先,引入连续时间系统的受控λ-收缩集概念,并建立了与其Euler逼近的离散系统的受控收缩集之间的关系.然后,结合此概念,得到了这个问题有静态连续非线性解的充分条件.这推广了在稳定性意义下文献中的结果.     

集值映射空间中的图象拓扑（I）

在集值映射空间中引入了四种图象拓扑，给出它们之间的关系，并在点紧致连续映射空间上证明了其中两种拓扑之间的等价关系．     

插值Blaschke积的两个刻划定理

信据Ｂｌａｓｃｈｋｅ积在Ｈ＾∞的极大理想空间Ｍ上的零点分布，给出了Ｂｌａｓｃｈｋｅ积是插值Ｂｌａｓｃｈｋｅ积的两个刻划定理。     

滚齿切削厚度的计算

本文提出了滚齿时基面内切削厚度的计算方法．该方法可作为深入研究滚齿切削过程的理论基础．     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

多参数Wiener过程平方函数积分的重对数律

设Ｗ（ｔ）是ｄ维参数Ｗｉｅｎｅｒ过程，我们在此文中证明     

双参数随机Sierpinski垫的相位曲线

引入双参数随机置换，考虑了具有参数ｐ，ｑ的随机Ｓｉｅｒｐｉｎｓｋｉ垫的各种形态的相位，讨论了ｐ，ｑ跨跃某些相位曲线时，其构成形态的变化情形，它包括了ｑ＝０的Ｓｉｅｒｐｉｎｓｋｉ垫和ｑ＝ｐ的Ｍａｎｄｅｌｂｒｏｔ渗流模型。     

Fuzzy－AHP投入产出模型及其在地方电网理论电价研究中的应用

本文提出了应用Fuzzy-AHP编制投入产出表和建立投入产出模型的方法, 并用来研究地方电网理论电价问题, 以某县为例进行了验证, 结果表明方法和模型是合理可行的。