两参数三阶非线性常微分方程的奇异摄动

本文研究含两个小参数的奇摄动三阶非线性常微分方程的边值问题。我们利用微分不等式的方法证明了解的存在定理，并给出解及其导数的估计。     

一类积分微分方程的振动性

研究了一类中立型 发微分方程的振动性,得到了所有解振动的充分条件,改进和包含了文献「１」的相关结果。     

LROTH''''S THEOREM IN DIFFERENTIAL FIELDS

In this paper, we present a constructive proof of Luroth's theorem in differential case. We also give a method to find the inversion maps for general differential rational parametric equations. As a consequence, we prove that a differential rational curve always has a set of proper parametric equations.     

面向推理服务的Web本体语言与描述逻辑

本体在语义WEB中起着极其重要的作用,通过本体提供的可以共享的预先精确定义的术语在一定程度上扩展了语义WEB互操作性。OWL本体语言是W3C最近推荐的专门为基于WEB的应用设计的本体语言;该语言充分利用了现存的WEB技术标准XML和RDF,并在XML和RDF标准基础上,增加了面向对象和基于框架体系的本体概念,将其与具有表达力的描述逻辑结合在一起。该语言与描述逻辑的组合可以实现一定程度上的推理服务。     

第一类型非例外的既约Riemann对称空间上的不变微分算子

文中给出第Ⅰ类型的 7种非例外、不可约、大范围的Riemann对称空间R~1上的在其可递的解析变换群(运动群)下不变的微分算子集合 D(R~1)的一组基或求此基的方法。     

微分方程组的解的有界性

本文应用微分不等式,讨论了微分方程组{X’=F(t,X,Y) Y’=G(t,X,Y)}的解的有界性和毕竞有界性,推广了文[1]§10的部分定理以及文[2]的定理3.1。     

发展方程(组)对称和守恒律的扩展

首先,对发展方程（组）匹配共轭方程（组）,从而得到扩展方程组和Lagrangian函数;其次,利用吴方法推出扩展方程组的全部对称（其中包括扩展对称）;最终,利用N ether定理产生（扩展）守恒律.     

Discontinuity-preserving optical flow algorithm

A modification of Horn and Schunk's approach is investigated, which leads to a better preservation of flow discontinuities. It improves Horn-Schunk model in three aspects: (1) It replaces the smooth weight coefficient in the energy equation by the variable weight coefficient. (2) It adopts a novel method to compute the mean velocity. The novel method also reflects the effect of the intensity difference on the image velocity diffusion. (3) It introduces a more efficient iterative method than the Ganss-Seidel method to solve the associated Euler-Lagrange equation. The experiment results validate the better effect of the improved method on preserving discontinuities.     

混合物红外光谱的分解

日本岛津IR—435型红外光谱仪的DR—1型处理机以可对简单组份混合物的光谱进行分解,即是所谓“差示光谱技术”。利用DR—1型处理机分解混合物光谱时,要注意仪器有关参数的选择及程序中常数的确定。此分解光谱的方法,在没有FT—IR红外光谱仪的情况下,为简单组份混合物光谱的分解提供了分析方法。