共查询到20条相似文献,搜索用时 156 毫秒
1.
2.
3.
逻辑方程F=G解法的探讨 总被引:1,自引:0,他引:1
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程. 相似文献
4.
本文在二阶连续模情形下,证明了满足Timan型估计的线性算子A,经过适当的修正后得到的线性算子A~+满足Telyakovskiǐ型估计。 相似文献
5.
用Excel电子表格设计了精馏过程的计算界面,可以用于设计型和操作型的精馏过程计算.为学生的学习,教师的教学和企业的生产提供参考和帮助. 相似文献
6.
设R是具有单位元的可交换环,*是R上的一个有限型星算子.我们证得如果R上的一个星理想I,的每个极小素理想是星-强有限型理想,则I也是一个星强有限型理想.作为推论,我们给出R上的每个星理想是星-强有限型理想当且仅当R的每个根星.理想是星-强有限型理想,当且仅当R的每个素星.理想是星-强有限型理想.设,是一个Prufer星乘域R上的一个非零理想.我们证得I是R的一个星-强有限型理想当且仅当I[X]N是R[X]N的一个星-强有限型理想. 相似文献
7.
高师生缺乏研究性学习的经历,又面临研究性学习的指导需要.本文针对这一现状,以课题型研究性学习和实验型研究性学习为案例,进行了研究性学习的理论思考与实践研究. 相似文献
8.
9.
11.
张玲 《黑龙江大学自然科学学报》2012,29(1):65-71,89
讨论中立型随机变延迟微分方程欧拉方法的数值解的强收敛性。最近,很多作者已经对随机延迟微分方程的数值解进行了大量的研究,但是,对于中立型随机变延迟微分方程数值解收敛性的研究还很少。首先给出了中立型随机变延迟微分方程欧拉方法的数值格式,然后,在局部Lipschitz条件和有界条件下,论证了中立型随机变延迟微分方程欧拉方法的数值解收敛到解析解。 相似文献
12.
研究带强迫项的二阶脉冲时滞微分方程的振动性,得到了若干判别此类方程振动的充分性条件,所得结果推广并改进了时滞微分方程的振动性理论中某些已知的相关结果. 相似文献
13.
关于非线性变延迟微分方程的渐近稳定性的讨论,M.Zennaro在Numer.Math,1997,77对延迟项做了较多严格的假定的情形下,给出了一类特殊方程的渐近稳定性的一个充分条件。作者考虑了延迟项仅仅要求是有界变量而不附加其它任何限制的情形,并给出了非线性变延迟微分方程渐近稳定的一个充分条件。 相似文献
14.
研究一类非线性脉冲中立型时滞偏微分方程解的振动性,得到该方程在给定边值条件下振动的一些新的判别准则. 相似文献
15.
用Runge-Kutta法求解微分方程,数值方法有高精度和强稳定性.用来求解Runge-Kutta方程的迭代法需要很大的计算量.一种选择是在t轴的步点上应用并行迭代法.针对延迟微分方程分析了一类特殊的并行迭代法的收敛性,数值算例表明这种算法是有效的. 相似文献
16.
尽管P阶矩指数稳定比P阶矩稳定更好,但迄今未见关于随机延迟微分方程数值解的P阶矩指数稳定的研究报导.此外在RAZUMIKHIN型定理已经被很好地应用于处理随机延迟微分方程解析解稳定性的同时,却没有随机延迟微分方程数值解的RAZUMIKHIN型结论.给出了随机延迟微分方程数值解的RAZUMIKHIN型P阶矩指数稳定条件;作为应用,考虑线性随机延迟微分方程的显式欧拉方法,得到了均方指数稳定条件. 相似文献
17.
讨论了中立型延迟微分方程ddt(y(t) py(t-r)) qy(t)=0的Euler-方法的数值振动性.把显式Euler方法和隐式Euler方法分别应用到这个中立型微分方程,得到了两个关于数值解的差分方程.利用差分方程的所有解振动等价于其特征方程没有正根这一重要结论,得到了这两个差分方程所有解振动的充分条件,从而得到了差分方程振动的充分条件. 相似文献
18.
郭长勇 《黑龙江大学自然科学学报》2012,(3):327-331
研究一类二阶延迟微分方程Runge-Kutta-Nystrm方法的稳定性。用该方法直接离散二阶延迟微分方程,给出该方法稳定的一个充要条件,并在此基础上给出一个简化的稳定性判别条件。 相似文献
19.
具有无界时滞的泛函微分方程解的振动性 总被引:2,自引:0,他引:2
运且一种有效的方法研究一类形式广泛的泛函微分方程解的振动性,得到了Hunt-York型定理的一般形式,推广了一系列已有的结论。 相似文献
20.
非线性时滞双曲型偏微分方程解的振动性质 总被引:9,自引:0,他引:9
讨论一类多滞量非线性双曲型偏泛函微分方程解的振动性,利用微分不等式方法和Riccati变换,获得了该类方程在两类不同边值条件下振动的新的充分条件,通过实例对所得结果加以阐明. 相似文献