叠层材料振动钻削的计算机仿真

以灰色系统理论为基础,将GM(1,h)模型应用于叠层材料变参数振动钻削过程的仿真,运用灰关联度分析方法研究了叠层材料振动钻削过程中的振动频率、振幅、进给量等输入参数对工艺效果的影响,获得了钻削效果影响因素的显著性次序。理论分析和实验结果表明,用GM(1,h)模型进行仿真,建模方便、计算简单。为叠层材料振动钻削研究提供了新的方法和途径。     

Violet

Violet is an easy-to-use theorem prover based on locking resolution, with integrated equality extensions that use term rewriting and Knuth–Bendix completion. Violet participated in the CADE-13 ATP System Competition.     

与Tychonov不动点定理相关的几个结果

给出了两个拓扑向量空间的乘积空间上截口定理,极小极大不等式及一个推广的不动点定理.指出这3个形式不同的结果与Tychonov不动点定理是相互蕴含的.并且用截口定理直接证明了多值映射的一个重合定理.     

关于m—增生算子的连续扰动的映射定理

在实Banach空间中证明了具有紧豫解式的m—增生算子连续扰动的几个映射定理，它们改进了文献［1］和［3］中的部分结果。     

PC 模块式数字存贮示波器的软件设计

介绍了一种个人仪器———５０ＭＨｚＰＣ模块式数字存贮示波器的软件设计．该个人仪器软件具有较强的数据处理能力．本文中给出了个人仪器软件模块化设计的基本思想和方法，介绍了软件的结构及几个关键程序模块的设计，着重就从噪声中提取信号的信号平均技术进行了讨论．     

A Skeptic's Approach to Combining HOL and Maple

We contrast theorem provers and computer algebra systems, pointing out the advantages and disadvantages of each, and suggest a simple way to achieve a synthesis of some of the best features of both. Our method is based on the systematic separation of search for a solution and checking the solution, using a physical connection between systems. We describe the separation of proof search and checking in some detail, relating it to proof planning and to the complexity class NP, and discuss different ways of exploiting a physical link between systems. Finally, the method is illustrated by some concrete examples of computer algebra results proved formally in the HOL theorem prover with the aid of Maple.     

欠采样频率的选取

在文「１」的基础上，本文对欠采样的问题作进一步研究，给出２种特殊情况的采样频率的选取公式，在任意情况的采样频率的选取的３种方法及几个应用实例。     

一种基于MRF理论去除Range图象噪声的方法

Ｒａｎｇｅ图象的相关结构可被认为是受噪声干扰的分段光滑面，一旦曲面的参数被确定，那么就可以利用这些参数建曲面，从而大大减少图象中的噪声，Ｒａｎｇｅ图象中，几乎所有象素的统计特性往往与共邻近象的统计特性相关，文中利用ＭａｒｋｏｖＲａｎｄｏｍＦｉｅｌｄ（ＭＲＦ）理论来模型这种相关性，将曲面确定问题转化为一个后验均值求解问题。     

二阶RLC滤波电路品质因数推导中的巧合

给出几种二阶RLC滤波电路在一般文献分析时定义的品质因数,由品质因数的能量定义,分别求出了这几种电路的品质因数,所求结果却与文献在分析时定义的品质因数不相符。若按电源等效定理,将电源进行等效变换,变换后电路的品质因数却与文献分析时定义的相同。但电源等效是外等效,即对电源外部电路等效,对电源本身并不等效,经电源等效变换前后电路并不等效,由变换后电路所得的品质因素不应当为原电路的品质因素,这是1种巧合。     

Oscillation and convergence behaviours exhibited in an ‘unstable’ second‐order digital filter with saturation‐type non‐linearity

This letter explains the oscillatory behaviours exhibited in a second‐order digital filter with saturation‐type non‐linearity via the Hopf bifurcation theorem. It is shown that depending on the bifurcation parameter, the state variables may converge to zero even when the eigenvalues of the system matrix are outside the unit circle. Copyright © 2004 John Wiley & Sons, Ltd. abstract