关于Halpern的一个定理

设M是闭的.连通的,光滑的m形,m>2, f映射,P二}xEM[f'(二)=二,对某个;,15r2的周期 本文利用复迭空间的概念推广     

罗素悖论与弗协调逻辑

本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.     

广义集值强非线性拟变分不等式

本文引入并研究一类新的广义集值强非线性拟变分不等式,讨论这类广义集值强非线性拟变分不等式解的存在性以及由算法所构造的迭代序列的收敛性.我们的结果改进和发展了Noor,Siddiqi和Ansari等人近期的一些主要结果.     

软件管道化方法

用完全数据关联图CDG来表述软件管道化问题,图中有向边表示循环中各指令间的关联性,同时提出了基础集的概念,平行可扩展的基础集可以覆循环的指令,文中用遗传算法来搜索基础集的最优解或次最优解,这种方法可以处理所有可能的数据关联性,从而可以将循环高度并行化。     

单调函数的列表判别法

本文讨论了单调函数和函数的最小列表,在此基础上提出单调函数、单调递增函数和单调递减函的列表判别方法,并举例说明了判别过程。     

SG3左半定义域上的Dirichlet边值问题

调和函数在SG₃上的Dirichlet边值问题是分形分析领域的重要研究内容之一。考虑通过垂直切割自相似图形SG₃,得到SG₃上的特定定义域。对于边界值为Cantor集的新的自相似图形,试图探讨在该定义域上的性质。在研究SG₃左半定义域上的Dirichlet边值问题的过程中,借助SG₃上的二元有理点的调和函数值和正则导数求解格林函数。进一步,运用调和函数的有限能以及弱公式化等方法,最终得到了SG₃左半定义域上的格林函数表达式及其相应的定理。     

与Euler函数有关的误差项均值估计

设ψ(n)是Euler函数,r是正实数.以E(x,r)表示和式的渐近公式中的误差项,本文研究了E(x,r)的算术均值和积分均值.     

基于保守决策偏好的犹豫模糊余弦优化投影决策方法

针对犹豫模糊信息下的多属性决策问题,提出了余弦优化投影方法,将投影夹角定义为决策者的风险偏好,并设置了态度参数用于调节决策者的心理变化,通过灵活描述决策者的保守心理,改进了投影法仅考虑投影长度的不足,使决策者可通过投影长度和投影夹角对备选方案进行综合判断。算例验证了方法的合理性和可行性。     

具有非线性阻尼的记忆型抽象发展方程的时间依赖吸引子

运用时间依赖空间中的过程理论和收缩函数方法以及更多细节性估计,研究了具有非线性阻尼和衰退记忆的抽象发展方程的解在时间依赖空间中的渐近性态,证明了时间依赖吸引子在空间E_t^{\theta }中的存在性。     

格林函数变号时二阶离散周期边值问题正解的存在性

运用锥上的不动点指数理论,讨论了格林函数变号时的二阶离散周期边值问题■当λb(t)≡1时,该问题存在正解;当b:[1,n]_Z→R⁺时,该问题不存在正解,其中f∈C (R⁺,R⁺),k为满足■的常数,λ为参数■