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

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

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

本文讨论了下列问题问题Ⅰ给定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%的“非安全相关”设备被划分为高安全重要设备。实例研究表明,此分级方法是一个系统化的、全面的并具可操作性的流程。     

边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。     

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

Probabilistic transitions for P systems

In this paper we use the abstract syntax and the structural operational semantics of the P systems given in [ 1 ], and add probabilities to the rules and to the communication targets. We take into account the number of possible combinations of rules which can be applied in a computation step, as well as the consumption degree of the current resources.