用低维二次规划法求解高维线性互补问题

把高维线性互补问题转化为与之等价的高维二次规划问题，然后把高维二次规划问题分解为一系列低维二次规划问题．提出了一种算法，该算法运用这一系列低维二次规划子问题的解去逼近高维线性互补问题的解．证明了该算法的收敛性．数值实验的结果表明该算法是有效可行的，且具有存储量小、精度高等特点，是一类求解大规模线性互补问题的新途径。     

Secure multi-party computation solution to Yao''s millionaires'' problem based on set-inclusion

Secure multi-party computation is a focus of international cryptography in recent years. Protocols for Yao's millionaires' problem have become an important building block of many secure multi-party computation protocols. Their efficiency are crucial to the efficiency of many secure multi-party computation protocols. Unfortunately, known protocols for Yao's millionaires' problem have high computational complexity or communication complexity. In this study, based on the 1-out-of-m oblivious transfer and set-inclusion problem, we propose a new protocol to solve this problem. This new protocol is very efficient in terms of both computational and communication complexities. Its privacy-preserving property is also proved by simulation paradigm which is generally accepted in the study of secure multi-party computation. We also compare the information leakage of our new protocol and the known protocols.     

具有势函数的高阶非线性Schr dinger方程的解

研究了一个带有与时间t有关的势函数的高阶Schrd dinger方程初值问题的解的存在性,唯一性与正则性,给出了能使方程有古典解的势函数的充分条件。在第一种假设下用压缩不动点原理给出了解的局部存在性, 再利用能量守恒律得到了解的整体存在性。在第二种假设下用磨光函数得到了解的存在性。     

项目管理中的问题分析及其解决方法

阐述项目管理中进行问题分析的必要性,分析项目管理中问题分析的内涵、解决方法和决策方法。认为项目管理的问题需要在反馈信息的基础上反复分析,重视管理人员与项目发起人之间的沟通;要分析问题的性质、适时地在里程碑处进行小结、制订管理目标、建立管理效果评价指标、识别管理过程中的约束,通过多种渠道收集问题的解决方法,并尽可能地考虑各种因素,当问题分析清楚之后,就要进行决策。     

缺省分配问题的一种解法

主要考虑了在最少时间和资源消耗的前提下,n个人执行n项并行工作的最优分配问题.通过借助于Floyd算法规则,我们给出了一种有效的两阶段迭代算法.该算法可加以推广用于解决其他文献中所研究的类似问题.     

密钥覆盖问题的NP完全性证明

 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.     

一类四阶m-点边值共振问题的可解性

应用重合度理论给出了四阶常微分方程m-点边值共振问题{x^（4）（t）=f（t,x（t）,x′（t），x″（t），x″（t））＋e（t）,t∈（0,1）,x（0）=x″（1）=0,x″（0）=0,x″（1）=∑i=1m-2βix″（ξi）可解的充分条件．     

B-BBM方程解的Gevrey类正则性

研究了周期边界条件下B-BBM方程解的性态．在二维情况下证明了解在关于空间变量的Gevrey函数类中关于时间是解析的．这个结果说明解关于空间变量是实解析函数．     

一类奇异半线性椭圆型问题解的存在性的注记

证明了若线性椭圆型问题-△u = k（x），u 〉 0, x ∈Ω, u │аΩ = 0存在解v ∈ C^2＋α（Ω） ∩ C（Ω￣），则半线性椭圆型问题-△u = k（x）g（u），u〉0，x∈ Ω, u │аΩ = 0存在解u∈C^2＋α（Ω） ∩ C（Ω￣）．这里，Ω是R^N中的有界光滑区域，k∈C^α（Ω）非负、非平凡，g∈C^1（（0，∞），（0，∞）），g在（0，∞）有上界且lin s→0＋ g（s）=∞．     

非线性离散系统最优控制--逐次逼近方法

研究了非线性离散系统最优控制问题,提出一种逐次逼近方法;首先将系统的最优控制问题转化为非线性两点边值问题族,然后通过构造线性两点边值问题族,将非线性两点边值问题转化为非奇次线性两点边值问题族;得到的最优控制律由精确控制项和非线性补偿项两部分组成,精确控制项可以通过求解R iccati方程求出其精确解,非线性补偿项由逐次逼近法求解一族线性伴随向量方程的解序列求得;仿真结果证明了逐次逼近方法的有效性。