F-阶梯知识与F一阶梯挖掘一发现

利用单向导粗集((one direction singular rough sets)与它的动态特性,给出F-阶梯知识、F-阶梯度的概念。利 用这些概念,提出F-阶梯知识分辩定理、最小F-阶梯知识挖据发现定理、最大F-阶梯知识挖掘一发现定理、知识发现 依赖一筛选定理与F-阶梯知识内潜藏原理,给出F-阶梯知识挖掘一发现准则及应用。这些结果是单向导粗集的新特性 与单向导粗集的动态特性的新应用。     

关于第二积分中值定理渐近性的一个注记

对于第二积分中值定理中的搴，本文给出并证明了比文献[3]更一般的结论，文献[3]的有关定理可以看成本文定理的直接推论．     

二阶柯西中值定理中间点的渐近性质

对二阶柯西中值定理中间点的渐近性质进行了研究，得到的主要结果是limx→αξ-α/x-α=1/2m√2^m 2-2/(m 2)(m 1).     

一种基于中国剩余定理的密钥恢复方案

密钥恢复允许一个授权的机构恢复数据加秘密钥,以恢复被加密信息。传统的密钥恢复主要有两种类型:密钥托管和密钥封装。密钥托管机制因为直接持有用户真正的密钥而缺乏安全性;密钥封装机制固然增强了安全性,但需要设计复杂的加、解密方案,代价昂贵。所以寻找新的既安全又简易的密钥恢复方案有着很大的实用价值。文中提出一种新的基于中国剩余定理的密钥恢复方案。该方案运用简单的模运算,在必要时能恢复用户密钥,比传统的密钥托管更安全,比密钥封装更简捷,有着很好的应用前景。     

Two-point higher-order BVPs with singularities in phase variables

The existence of solutions for singular higher-order differential equations with the Lidstone or the (n,p) boundary conditions is proved. The right-hand sides of differential equations can have singularities in the zero value of their phase variables and so higher derivatives of solutions changing their signs can pass through these singularities. Proofs are based on the method of a priori estimates, the degree theory arguments and on Vitali's convergence theorem.     

Vague集中的分解定理与相似度量

1 引言目前,在计算机科学及应用的多种领域中,模糊集起着重要的作用。因而其理论及应用都得到了迅速的发展。Vague集从一定意义上讲在对事物属性的描述上较模糊集提供了更多的选择方式,因而已在学术界和工程技术界引起了广泛关注。事实上,Vague集正成为当前模糊信息处理中的一个新兴课题。当前相对于应用而言,Vague集的理论研究方面有待     

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

以灰色系统理论为基础,将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.     

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图象噪声的方法

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