一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

Post李超代数结构的性质

通过post李超代数的定义, 讨论post李超代数结构的基本性质, 给出post李超代数的一些存在性结果, 并利用post李超代数可构造LR超代数和左对称超代数, 给出交换post李超代数结构的相关结果.     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

广义正定矩阵的分析与应用

分析了广义正定矩阵,导出了矩阵广义正定的若干新判定准则,并以应用实例研究了其在神经网络中的应用.     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

关于正值函数无穷积分收敛性判别法的讨论

文 [1 ]给出了非负函数无穷积分收敛性的几个判别法 ,本文给出了比文 [1 ]判别法更精细的一个判别法 ,同时 ,通过与文 [1 ]中判别法的比较 ,说明它比文 [1 ]中的判别法都强 .     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

具有强迫项的一阶中立型非线性微分方程的振动性

中立型微分方程广泛应用在细胞中酶反应动力学、遗传问题、控制工程等领域,本文讨论具有强迫项的一阶中立型非线性微分方程的振动性:[x(t)-P(t)x(t-て)]' m∑i=1Q(t)fi(x(t-σi))=e(t).推广了无强迫项的中立型微分方程的情形,获得了方程振动的充分性判定准则,为中立型泛函微分方程的振动性研究提供了一个新的理论判据.     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.