奇异二阶微分系统的正解

利用锥上的不动点定理 。

非自治二阶系统周期解的存在性

将鞍点归约方法应用于非自治二阶系统,得到了非自治二阶系统在次线性增长条件下的周期解的存在性定理.

p-Laplacian算子型奇异边值问题的正解

运用锥拉伸压缩原理,讨论了一类具有p- Laplacian算子型的非线性奇异边值问题正解的存在性,并对所得结果给出了一些应用和例子.

基于STEP的协同设计版本存储控制策略

计算机支持的协同设计的版本管理应保存整个设计过程中产生的所有版本,以便查询和检索。在对版本信息的存储方式中,完整版本存储的存取速度快,但占用存储空间大、冗余信息多,差值存储需要的存储空间少,但存取速度慢、安全性低。该文基于STEP数据交换标准,提出2个差值存储模型,通过构造版本存储阈值函数,将差值存储与完整存储相结合,有效实现了空间效率和时间效率的平衡。

协同环境中基于RBAC模型的访问控制策略

协同系统具有动态性和群体性的特点,其权限管理比传统软件系统复杂。传统数据库系统中的访问控制机制比较简单,远不能满足协同系统的要求。针对共享资源访问控制策略的授权方式复杂、授权粒度不细致的问题,引入角色机制,把角色访问并发控制策略应用到系统中,设计基于角色的系统功能权限的位映射算法。该算法降低了授权管理的复杂性,增强了系统安全性。

一种新的无参数支持向量机分类器

提出了一种新的基于二次规划的无参数支持向量机分类模型,克服了标准支持向量机需要选择正则化参数的缺点,而且该模型简单,易于实现。数值实验表明了该模型的可行性和有效性。

BCK代数的极大元扩张(英文)

引进了 BCK代数的一种新的扩张方法——极大元扩张法 ,使得其他扩张法 ,如拟交错扩张法、有界 BCK代数的 Iseki扩张 ,都是极大元扩张法的特殊情况 .而且讨论了极大元扩张的其他性质 .

构造8k阶Franklin半幻方的又一公式

给出了构造任意8k(k∈N)阶Franklin半幻方的又一公式及其证明.

具分布时滞细胞神经网络全局渐近同步

探讨了一类具分布时滞的细胞神经网络的全局渐近同步问题,通过构造合适的Lyapunov-Krasovskii泛函,利用不等式理论,给出了驱动系统与响应系统全局渐近同步的几个充分条件.数值例子证明了所得结论的有效性.

幂等MV-代数

设M是一个MV-代数,如果M是Artinian幂等的,则M是有限个极小理想的直和.对于有限MV-代数M,M是幂等的当且仅当存在正整数n,使得|M|=2n;当且仅当M同构于MV-代数2X,其中X是由n个元素组成的集合.

铲雪机台数的数学模型

本文给出了降雪及铲雪机工作的基本模型 .对于两种铲雪机类型 ,分别建立了铲雪机位置的微分方程和铲雪次数时间序列的递归公式 .讨论了铲雪次数时间序列的若干性质 。

一维非齐次BBM方程初边值问题的整体吸引子

研究了一维非齐次BBM方程的初值边界问题,利用Sobolev插值不等式,对解做关于时间t的一致性先验估计,证明了该问题的整体吸引子的存在性.