关于概率多项式时间谱系的一些结果

研究概率多项式时间谱系的结构性质,证明了:(1)如果BP∑_(k+1)~pBP∑_k~P,则PH=BP∑∏_K~P;(2)如果BP∑_k~PBP∏_k~P,则;PH=BP∑_K~PP;(3)对任意n,k≥0,BP∑_K~P(BP∑_n~P)=BP∑_(n+k)~p,BP∑_n~P(BP△_(k+1)~P)=BP∑_(n+k)~n;(4)对任意n,k≥1,BP∑_n~P(BP∑_k~p∩BP∏_k~P)=BP∑_(n+k-1)~P这些结果说明概率多项式时间谱系与多项式时间谱系有相同的结构性盾,但也有差别.     

轴对称焊接残余应力场的简化计算模型

本文提出了一个统一的二维轴对称焊接残余应力场的简化计算模型。运用该模型分析了几种不同条件下的焊接残余应力场,与实验结果基本相符,说明了该模型能够综合反映轴对称焊接应力场的形成机理、分布特征和主要影响因素,可用于工程估算和焊接结构的教学。     

约束逼近的特征问题（综述）

近几十年来,带约束条件的一致逼近受到人们的重视,国内外大量文献对约束逼近中的各种问题进行了研究,本文主要介绍约束最佳逼近的特征问题的研究概况及最新发展。     

求解具有终端约束两点边值问题的一种迭代法

本文提出了一个用反向延拓法求解两点边值问题的一种迭代法。由系统的动态方程,导出了边界变量所满足的微分方程,而且又由终端约束导出了边界变量偏导数的表达式。有了边界变量偏导数的终端值以及它们适合的微分方程,就可以由终端反向积分这些微分方程求解出这些变量来。利用上述想法,构成了一种求解两点边值问题的迭代法。     

谱约束下矩阵束的最佳逼近

本文讨论了下列问题问题Ⅰ给定X∈R_r~(nxm),∧=diag(λ_1I_(k1)…λ_1I_(kr))且k_1+…+k_r=m,λ_1、λ_2…λ_r互异,r≤m,n.a)求A,B∈R~(n×n),使得AX=BX∧;b)求A,B∈SR~(nxn),使得AX=BX∧;c)求A,B∈R~(nxn),使得AX=BX∧,X~TBX=I_r;d)求A,B∈SR~(nxn),使得AX=BX∧,X~TBX=I_r.问题Ⅱ1)给定(?),求(?)使得2)给定(?),求(?),使得其中S_(AB(a,c))是问题Ⅰ(a),(c)的解的集合,而S_(AB(b,d))是问题Ⅰ(b)、(d)的解的集合。     

概率度量空间中集值Caristi定理

本文得到了概率度量空间中的集值Caristi型重合定理、加强形式的集值Caristi不动点定理及Ekeland变分原理,同时还证明了这一加强形式的集值Cariti不动点定理与Ekeland变分原理的等价性.本文所得结果统一和发展了近期一些巳知的重要结果.     

关于概率自动机的等价性与极小化问题

本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个充要条件.同时也更正了[1]中的一个错误。     

Pushing Multiple Convertible Constrains into Frequent Itemsets Mining

Constraint pushing techniques have been developed for mining frequent patterns and association rules. How ever, multiple constraints cannot be handled with existing techniques in frequent pattern mining. In this paper, a new algorithm MCFMC （mining complete set of frequent itemsets with multiple constraints） is introduced. The algorithm takes advantage of the fact that a convertible constraint can be pushed into mining algorithm to reduce mining research spaces. By using a sample database, the algorithm develops techniques which select an optimal method based on a sample database to convert multiple constraints into multiple convert ible constraints, disjoined by conjunction and/or, and then partition these constraints into two parts. One part is pushed deep inside the mining process to reduce the research spaces for frequent itemsets, the other part that cannot be pushed in algorithm is used to filter the complete set of frequent itemsets and get the final result. Results from our detailed experi ment show the feasibility and effectiveness of the algorithm.     

基于模糊数值约束的关联规则挖掘

很多时候一个事务记录中所包含的信息除了项目以外,还包括与这些项目相关的数值信息,这些数值信息同样可以作为关联规则的一种约束而存在,基于上述问题,文中提出了一个基于模糊数值约束的关联规则挖掘方法,实验结果表明该方法具有较好的伸缩性。     

核电站风险指引设备分级的方法

该文通过大亚湾核电站的实例分析来探讨核电站构筑物、系统及设备(SSC)的风险指引分级方法的可操作性及在执行过程中需考虑的问题,并对实例分析的结果进行讨论,以推动此分级思想的发展。风险指引SSC分级通过定量化的概率风险分析(PSA)、纵深防御分析和敏感性分析3个步骤综合评估设备的安全重要性。实例是以大亚湾核电站辅助给水系统为对象,结果中有33%的“安全相关”设备被划分为低安全重要设备,64%的“非安全相关”设备被划分为高安全重要设备。实例研究表明,此分级方法是一个系统化的、全面的并具可操作性的流程。