AN ESTIMATE ON THE DISTRIBUTION AND MOMENTS OF THE LAST EXIT TIME OF AN ELLIPTIC DIFFUSION PROCESS

Let LB be the last exit time from a compact set B of an elliptic diffusion process X. A moderate estimate for the distribution of LB is obtained, and the sufficient and necessary condition for Ex(LBk)<∞is proved.     

信息资源共享,难在哪里?

最近,笔者参与了两个“跨度”比较大的电子政务项目的规划、可行性研究等工作,不约而同遇到了信息资源共享的需求。可以说,实现信息资源的共享与整合,是项目进行下去的必要条件。“信息资源共享”,被写进每一个项目的建设原则中。但也因为有了“信息资源共享”的需求,项目的前景被罩上了腺胧的面纱。实现信息资源共享,光有“原则”是远远不够的。“信息资源共享”能走多远,能做到什么程度,能否达到立     

专家系统柱推荐软件之一——判断用气相色谱分析是否满足必要条件的软件

 ]本文报道了色谱专家系统中判断样品是否满足气相色谱(GC)分析必要条件的软件，依据是：能以合适k'(0.2k'20)流出且在柱温孪下稳定的样品可采用GC法分析。而k'值通过结构和保留值间的关系式来计算。作者使用框架结构的知识表达法，用SchcmeLisp语言，在IBMPC机上实现了这一专家判断功能。采用本文列出的知识库和源程序，可对含C、H、Q、N、Cl、Br、I、P、S、Si等元素的化合物能否采用气相色谱进行判断。     

非线性二阶奇异边值问题正解存在的充分必要条件

研究了奇异二阶边值问题u^n a(t)f(u) b(t)g(u)=0,au(0)-βu′(0)=0,γu(1) δu′(1)=0的正解，在a(t),b(t)只满足一定的可积性条件下得到了C^1[0,1]正解存在的充分必要条件，从而推广了一些已知结构，使此类问题的适用范围更为广泛。     

模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

关于凸函数的两个充分必要条件

对重要的凸函数的定义予以拓广,并由此推导出两个便于应用的充分必要条件,当然也可以作为定义使用.     

蕴涵意义新解

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件，将它作为蕴涵成立的充分条件来使用是不合适的。为有效避免蕴涵怪论问题的出现，提出了一种新的意义蕴涵概念。这一概念简明、直观和容易理解。     

Hilbert空间中函数和的次微分规则及应用

 给出了Hilbert空间中非光滑函数和次微分的“局部”和规则,讨论了这个和规则的应用.利用“局部和规则”,讨论并得到了一类较广的复合优化问题的最优必要条件.     

区间系统鲁棒稳定性和鲁棒镇定性的检验条件

讨论了区间系统的鲁棒稳定性和鲁棒镇定性的有限检验问题,给出了线段多项式鲁棒稳定性的充分必要条件,利用该条件对多项式多面体鲁棒稳定性和区间系统鲁棒镇定性进行了有限检验,并给出了相应的检验结果。该检验条件直观简明,利用它可非常方便地对这些区间系统进行鲁棒稳定性分析。     

具有齐次核的Hilbert型积分不等式的构造特征及应用

利用实分析技巧,研究具有齐次核的Hilbert型积分不等式的构造特征及取最佳常数因子的充要条件,得到了最佳常数因子的解析表达式.