两区间相关论文
德国数学家Stefan Hilger在博士论文中首次提出了时标的概念,由于时标在种群动态模型,生物学,医学等实际问题中有着广泛的应用,因......
本文考虑了两区间上Sturm-Liouville问题的特征值关于各个参数的依赖性问题.将边界条件分为四点全部分离以及两点分别耦合的两种情......
本文考虑了二维向量空间中二阶微分算子在两区间上自伴扩张的问题,给出了SturmLiouville（S-T）向量微分算式在两区间上生成最小算子的......
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然......
