Krylov子空间投影法研究进展

Ｋｒｙｌｏｖ子空间投影法是一类非常有效的大型稀疏线性代数方程组解法，已被广泛应用于各种领域，随着左右空间Ｌｍ，Ｋｍ的不同取法可以得到许多人们熟知的方法．本文按矩阵Ｈｍ的不同类型，即为上Ｈｅｓｓｅｎｂｅｒｙ阵还是三对角阵将Ｋｒｙｌｏｖ子空间投影法分成两大类，从每步迭代是否具有最优性和方法的存储量、计算量等方面对Ｋｒｙｌｏｖ子空间法及其最新进展进行评述，指出Ｋｒｙｌｏｖ子空间法的局限及今后的研究方向．     

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

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

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

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

滚齿切削厚度的计算

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

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

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

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

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

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

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

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

基因研究中的知情权探析

20世纪以来，基因研究得到了广泛重视，尤其是人类基因组序列的测定给制药、保健、农业和食品制造等产业带来了巨大商机。与此同时，基因侵权事件屡屡发生，尤其是在发展中国家。目前在中国，出现的最为普遍、最为严重的侵权行为就是侵犯被研究对象的知情权。对此，应加强知情权的保护，严格约束中方合作单位，加侠基因方面的立法，加强公民的自我保护意识。