基于多值属性分量的XACML策略匹配算法

针对多值属性分量的XACML策略和策略请求之间的匹配需求,分析多值属性策略匹配中策略规则与请求匹配时两者的对应属性关系,依据属性之间的包含关系和权限蕴含关系,给出3个关于策略匹配的定理并加以证明。根据策略匹配的定理,提出多值属性匹配算法。最后进行实验验证,结果表明该算法能够提高多值属性分量策略的匹配效率。     

一类非线性四阶常微分方程边值问题正解的存在性

用一种较简单的方法建立了非线性四阶常微分方程边值问题{u（4）（t）=f（t,u9t）,u″（t）0,t∈（0,1） u（0）=u（1）=u″（0）=u″（1）,正解的存在性结果,对非线性项f只要求其满足一个局部条件．     

时延动态神经网络的稳定性分析

基于时延动态网络模型的优化计算易于收敛到非法解或局部极小解,以及其算法对模型参数和初始条件具有很强的依赖性等缺点,对时延动态神经网络的稳定性进行了深入地研究讨论,通过Razumikhin-type定理对时延动态神经网络的稳定性进行了分析研究.     

椭圆型偏微分方程初值问题的比较原理

对一类二阶椭圆型偏微分方程的初值问题的粘性解进行研究.在u0(x)是RN上的一致连续函数,H在RN×φ(N)上连续且H是退化椭圆的假设下,给出初值问题ut+H(Du,D2u)=0,0t+∞u(x,0)=u0(x),x∈RN的比较原理.     

偶数阶中立型差分方程最终正解的存在性

研究一类具连续变量偶数阶中立型时滞差分方程,利用Lebesgue控制收敛定理给出这类方程存在最终有界正解的一个充分必要条件,得到相应新的比较定理.     

时间模上二阶三-点边值问题的三个正解

运用Legget—Williams锥上的不动点定理,讨论时间模上的二阶非线性方程三一点边值问题至少有三个正解的存在性．     

带积分边界条件的二阶微分方程三个正解的存在性

运用不动点定理,研究了一类带积分边界条件的二阶微分方程三个正解的存在性．推广了以前的结果．     

一类拟线性椭圆方程的多重非负解

研究一类拟线性椭圆方程的非负解的多重性。利用非线性项在无穷远处与零点处的渐近行为,应用Ekeland变分原理与山路引理得到2个非平凡的非负解。     

半离散Newton分裂方法的Kantorovich型定理

本文在Kantorovich型定理的条件下,给出了一种半离散Newton型分裂方法的存在性收敛性定理.     

发展重化工业有悖于省情——关于浙江省经济转型升级的思考

面对浙江省经济转型升级中的一些问题,诸多专家学者对发展重化工业的观点持有不同的看法。通过对霍夫曼定理的分析可以得出：一个国家可以实施重化工业化战略,但是每一个地区和省份不能都发展重化工业,浙江省有自己的经济结构特点。为此,提出了不发展重化工业的理由及必须走发展新型工业化道路的思路,并对浙江省经济转型升级和持续发展提出建议。