Hamilton正则方程半解析法的收敛和对称分析

近年来,Hamilton正则方程半解析法在工程问题上的应用越来越广泛,但至今未见有关这种方法收敛性和对称性问题研究的文献。基于Hamilton正则方程的半解析法理论,通过变分原理详细推导了Hamiltonian元素的固支和简支边界公式及对称边界公式。多个实例的数值研究表明：随着网格加密,Hamilton正则方程半解析法的收敛速度快于一般传统位移有限元法,对称解法的效率明显优于整体解法。     

基于模块的标准ATLAS语言及其应用

面向模块的ATS设计是现代测试技术的重要分支.论述了测试语言ATLAS的产生、发展过程,分析了其存在的问题.指出基于模块的ATLAS是标准的测试语言,详细介绍了它的特点、模型结构及在现代ATS设计中的应用,满足了TPS可移植性的发展要求,代表着现代测试语言的发展方向.     

从行李查询与赔偿引发的思考

2006年为期两周的“国航行李查询业务和行李赔偿研讨会”收到明显效果。五月份在国际、国内行李赔偿限额大幅调整的情况下，国航没有出现行李赔偿额陡增的情况，而从5月中旬到6月中旬行李投诉率降低了50％。国航解决行李不正常运输问题既抓住了承运人和旅客之间发生的矛盾点，还对降低旅客的投诉率、提高行业服务质量提供了借鉴。     

加强商业秘密的管理和保护势在必行

本文就商业秘密的理论研究和商业秘密保护的现状进行了分析和介绍，同时针对商业秘密保护中存在的问题，提出了管理制度和办法。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

密集根之特征向量导数的改进高精度动柔度法

作者曾为许多特征向量导数计算，提出过一种介于直接法（指直接求解线代方程组的，以Nelson为代表的一类方法）和模态法之间的高精度动柔度法。这种方法与作者建立的一般动柔度法一样，不能用于密集根之特征向量导数的计算。为使该方法扩展到密集根状态，本文将作者发展的混合移频技术应用于原高精度动柔度法，并重新推导了混合移频系统 的高精度动柔度式，从而形成能适用于许多密集根之特征向量导数计算的改进高精度动柔度法。     

关于拟线性椭圆型方程在广义Sobolev空间中解的正则性

本文讨论了下面方程Ｄｉｒｉｃｈｌｅｔ问题在广义Ｓｏｂｏｌｅｖ空间中解中的正则性－ｄ／ｄｘ１ａ１（ｘ，ｕ，Ｄｕ）＋ａ（ｘ，ｕ，Ｄｕ）＝０，ｘ∈Ω其中Ω∈Ｒ是有界区域，证明了上述问题在Ｗ（Ω）和Ｗ（Ω）在存在有界广义解。     

Banach空间中算子余弦函数的一个特征

本文主要研究Ｂａｎａｃｈ空间中算子余弦函数与二阶无阻尼方程的Ｃａｕｃｈｙ问题之间的某些关系,借助于此类Ｃａｕｃｈｙ问题的解的存在性与唯一性,给出算子余弦函数无穷小生成元的不同于Ｈｉｌｅ－Ｙｏｓｉｄａ型特征的另一个特征。     

部件试验模态综合的动柔度法

基于半试验半理论信息,提出一种简单有效的部件试验模态综合技术。试验上它只要求测量部件的低阶模态参数,而高阶模态的影响,由部件的一种动柔度来体现。这种动柔度几乎包含了高阶模态的全部静态贡献和全部动态贡献,因此精度很高。当然,有限元模型误差较大时,需要利用部件的测量模态参数对有限元模型进行必要的修正或重建。