大型关系表规则的研究

通过介绍从包含定量和定性属性的大型关系表中开采相关规则的问题 ,同时将关系表中的属性值分区 ,并且用相联相邻的分区来处理定量属性 ,引进部分完全性方法量化由于分区丢失的信息 直接应用这种方法会产生大量相似的规则 ,为此 ,引用一种概率的方法确定输出感兴趣的规则 这种技术可应用在现实的数据库上     

算子立方的Weyl定理及其紧摄动

若σ(T)\σw(T)=π₀₀(T), 则称T∈B(H)满足Weyl定理。 T∈B(H)满足Weyl定理的紧摄动: 如果对任意的紧算子K∈B(H), T+K都满足Weyl定理。本文给出了一种Weyl谱的变体, 根据该变体讨论了T ³和T满足Weyl定理的紧摄动的关系。     

关联规则挖掘的常用算法及其比较分析

关联规则挖掘是数据挖掘的一个重要方面。本文介绍了在大型事务数据库中采掘关联规则的常用算法,并对它们的性能进行了比较和分析。     

Erlang公式的若干性质及其证明

Ｅｒｌａｎｇ公式是电信组织管理中的重要公式之一．给出了它的若干性质及其证明．     

Weyl型定理的一种新形式及其摄动

称有界线性算子T具有性质(u),如果T的上半Weyl谱在T的谱中的补集恰好就是T的孤立谱点中的特征值全体.研究了性质(u)与各种Weyl型定理之间的关系,性质(u)在交换幂零、拟幂零、幂有限秩和Riesz摄动下的稳定性,并给出了关于这些理论结果的有趣例子.     

Weyl型定理的等价性及其判定方法

研究了Hilbert空间上有界线性算子T的Weyl型定理的判定方法及等价性.根据一致Fredholm指标性质,定义了一种新的谱集2σ(T),通过该谱集和拓扑一致降标集ρτ(T)之间的关系,证明了:算子T满足Browder定理当且仅当ρτ(T)bρ(T)∪1σ(T)∪2σ(T);T满足Weyl定理当且仅当0π0(T)ρτ(T)bρ(T)∪1σ(T)∪2σ(T),其中bρ(T)={λ∈C:T-λI为Browder算子},1σ(T)为本质逼近点谱的一种变化,0π0(T)为谱集中孤立的有限重的特征值的全体;算子T与T*均满足a-Browder定理当且仅当ρτ(T)aρb(T)∪2σ(T)∪intSσF(T)∪{λ∈C:des(T-λI)∞},其中aρb(T)={λ∈C:T-λI为上半Fredholm算子且有有限的升标},SσF(T)和des(T)分别表示算子T的半Fredholm谱以及降标.     

产生式规则的研究

研究了产生式规则，阐述了规则不一致性原因及其解决方法，提出了索引算法和排列算法，用以提高智能系统运行速度，缩短了规则匹配时间．排列算法不仅适宜规则静态排列，也适宜规则动态排列。     

产生式知识表示的Petri网模型及其推理规则

为了使由产生式规则的构成的知识库系统更加具有完整性,更好地反映规则的内部逻辑,根据Ｐｅｔｒｉ网的基本原理,在产生式规则和Ｐｅｔｒｉ网的条件／事件系统之间建立一致性关系,在此基础上提出了一种产生式知识表示的Ｐｅｔｒｉ网络模型及其相应的推理规则,详细说明了模型的构成原理和构造过程,并结合实例就该模型及推理规则的科学性和实用性进行了说明。     

有界线性算子及其函数演算的Weyl定理

令B(H)为无限复可分的Hilbert空间H上的有界线性算子全体。若T∈B(H),定义H(T)为在T的谱集σ(T)的某个邻域上解析但在σ(T)的任一分支上不为常数的函数全体。利用新定义的谱集,研究了算子T及f(T)(f∈H(T))的Weyl定理,并刻画了T和f(T)满足Weyl定理的等价条件。另外利用所得的结论,探索了p-hyponormal(或M-hyponormal)算子的Weyl定理。     

二阶J-对称微分算式的Weyl函数与Weyl解

基于Sims关于复系数二阶线性微分方程的开创性工作,进一步研究了二阶J-对称微分算式的Weyl函数与Weyl解,得到了若干个与实系数情形类似的新结论.     

格林函数摄动计算中费曼图及其顶角与表达式的对应规则

本文对单粒子、粒子-洞眼、粒子-粒子格林函数,给出了摄动计算到三级的费曼图及其顶角与表达式的对应规财,同时还给出了不可约顶角的选择规则。     

关于Weyl函数的逼近

设甲(x+2二)二甲(x),P)1,甲任L。(一“,二)。当r)0时,称 山L ,d ‘、少兀一Q尸2,,__、1I气x,=_ 艺一ao+E n=1六丁甲(X+t)Cos(nt+ r为由甲所产生的w“yl函数,简记f〔W日H。·,己!!、,}p一(么一丁1甲(入)}dx),,也记{!甲j}p为11甲(x)I}p.令。(甲,t)。=supll甲(x+h)一rp(x) !h}《t (n>1)}Ip,Rn(f,x)=E1】1=n扩、丁兀口~ 口JL、t. rp‘X+t)c0s又mt+一2一)Q〔 叶非莫夫(A.B.E小HM〕B)于193。年证明了〔1〕中第272页上的定理1。本文将其中w勺l函数的定义拓广如上,在Lp(一二,兀)(’P》1)的范数}·}。下考察逼近速度,得到如下的事实: 定理…     

基于有规则路径表达式的XISS研究

提出了一种基于元素编号的系统XISS进行索引和存储XML数据,编号方式能迅速地确定XML数据层次结构中元素间的祖先-子孙关系;同时在XISS中采用了一种处理有规则路径表达式的算法:EE-Join(元素-元素加入算法),EE-Join算法对于查询那些长路径或者长度不确定的路径特别有效.     

任意多表间关联规则的并行挖掘

通过关键字等相关属性之间的联系,在不进行连接操作的前提下,探讨任意多表间关联规则的数据挖掘问题．给出相关的数据结构以及具有较好并行度的算法,并对算法作定性分析．     

证据排除规则在中国实施过程中的若干问题及其应对

我国已经确立了主要针对证据"合法性"判断的非法证据排除规则。通过对司法实务操作中遇到的样本案件之考察,可以就证据排除理由、非法证据产生阶段、质证认证等比较重要的问题进行实证分析;作为定案根据的证据不仅应当具有合法性,还应该保证客观性和关联性;证据排除制度在实施过程中的问题并不能为法律条文所一一解决,必须根据法治与尊重保障人权之精神,谨慎应对,并不断总结经验教训,确保具有中国特色证据排除规则的合理性与可操作性。     

Lagrange线性内插函数的实用表式及其推广应用

该文导出了两维四节点和三维八节点Ｌａｓｒａｎｇｅ线性内插函数、适用于编程和计算的实用表示式，并给出其在时域有限差分法（ＦＤ－ＴＤ）计算角点辐射边界条件（ＲＢＣ）中的推广应用．     

电动摇表与普通手动摇表的比较

使用绝缘电阻测试仪测量电气设备地绝缘电阻,大大优于传统的手摇式兆欧表,克服了效率低。效益差等缺点。使仪表测试时的上限得到很大的扩展,带载能力及供电电压变化对输出电压造成的影响,实现自动调整。     

加W权Drazin逆显式表达式及其计算

给出了几个加权Drazin逆的显式表达式．通过这些表达式可以减少计算量．同时,通过一个秩方程,推导出求加权Drazin逆的一个计算方法．