非线性薛定谔方程混合边界问题时间周期解的存在性

研究多维非线性薛定谔方程混合边界问题的时间周期解的存在性.首先利用Leray-Schauder不动点原理证明Galerkin近似问题有时间周期解,然后利用先验估计和紧致性证明近似解是收敛的,并且其极限就是原来问题的时间周期解.     

基于卡诺图初等元胞自动机的演化规则

依据初等元胞自动机演化规则的特点,借助卡诺图化简,导出初等元胞自动机演化规则的函数形式。进一步利用推导出的演化规则的函数形式,给出演化规则90和演化规则184的演化定理及相关定理的证明。     

高阶单面非完整系统的Noether定理

研究高阶单面非完整系统的Noether定理及逆定理，首先给出系统的万有D‘Alembert原理及非等时变分；其次基于微分变分原理在无限小变换下的不变性，得到了高阶单面非完整系统的Noether定理及逆定理，最后举例说明结果的应用。     

一类齐次常微分方程的求解定理

提出一类齐次常微分方程，经过变量替换，给出求积分因子的方法及其求解定量，所得结论是对相关文献问题的扩广。     

一种等级系统密钥管理方法的修正

等级系统是管理系统的常见形式。等级系统的密钥管理是实现等级管理及其访问控制的重要方法。等级系统的密钥管理方法应当能适应系统的动态变化。在对系统动态变化的各种处理中，增加用户的处理是非常重要的。首先，总结分析了等级系统的密钥管理方法；然后，指出并证明了一种基于孙子定理的等级系统的密钥管理方法在增加用户时的提供；最后，给出了修正方法。     

量子态的非局域关联性

在普遍的两个自旋1/2粒子量子态下证明了局域实在论与量子力学是不相容的,推广了Hardy在两个粒子非最大纠缠态下关于Bell 定理的证明.通过纠缠态下广义量子不可克隆定理中的正交条件的转移证明了量子力学非局域关联性.     

关于小波子空间上的具有紧支撑的采样定理

Shannon采样定理对信息论 贡献是巨大的。但Shannon宣的采样函数在时域无紧支且衰减缓慢，对于紧支信号的采样显得极不方便。在前人对小波子空间采样定理系统研究的基础上，提出了文义基正尺度函数的概念，证明了它是构造小波子空间上具有紧支的采样函数的充要条件，并研究了广义基正交正度函数的性质。     

非圆齿轮-连杆型函数发生器的机构综合

给出了非圆齿轮－连杆型函数发生器综合时必须遵循的机构学制约条件，并提出了确定连杆机构处于极限位置时的非圆齿轮角速比的基本公式。以具有等速急回特性的曲柄滑块机构型函数发生器的机构综合为例，研制了有实用价值的非圆齿轮－连杆型函数发生器机构综合CAD软件。     

有界洞型区域内半线性椭圆方程组的正解

利用不动点定理 ,证明了几种半线性椭圆型方程组在洞型区域内正解的存在性与不存在性以及唯一性 ,并给出两个应用实例     

广义Riemann可积与Lebesgue可积关系注记

研究了有限区间上无界函数及无限区间上函数的广义Riemann可积性、广义Riemann绝对可积性与Lebesgue可积性之间的关系 ,得到了一些充分必要条件