某一类非线性延滞大尺度系统的稳定性

本文通过构造Ｌｙａｐｕｎｏｖ泛函及应用大尺度系统的分解分法，研究某一类非线性延滞大尺度系统的稳定性，并获得了容易验证的代数充分判据。这些结果包含和改进了文献［４］中的定理。     

类双线性系统的稳定性

本文综合利用ＬｙａｐｕｎｏｖＶ－函数，ＬａＳａｌｌｅ不变性原理和构造正向不变集的方法，讨论了二维齐次状态双线性系统（１）的全局Ｌｙａｐｕｎｏｖ渐近稳定性，发展了文［１］［２］的结果。     

2,2’—二硫代双(4,6—二叔丁基苯酚)的晶体和分子结构

一种塑解剂经高压液体色谱分离制备出主要成份2,2′—二硫代双(4,6二叔丁基苯酚)。由质谱分析得到分子量为474化学式为C_(28)H_(2)O_2S_2、晶体呈现孪生。基体单晶属三斜晶系,空间群为(?)PI(NO.2),晶体结构用直接法解出,=0.07。研究结果表明该分子是二硫代酚类化合物。在EI场中,S—S键断裂是主要断裂过程。晶体中,分子的一个环上的羟基是无序分布的。羟基与最邻近的硫原子形成氢键。     

混料试验中的确界约束与多余约束

在混料问题中,经常出现附加的混料约束.对于单分量上、下界约束系,我们证明:只存在两种非确界约束,或者都是单侧的,或者只有一个分量存在双侧非确界约束,不可能有两个分量存在异侧非确界约束.对于分量线性组合上、下界约束系和复合约束系,我们分别给出了关于多余约束的判别方法,并用了一些数值例子说明这些判别方法.     

理想微裂纹系统中的随机扩展效应

本文讨论了在理想微裂纹系统中,由于微裂纹的随机性扩展,对微裂纹统计演化产生的效应。文中提供了一般的理论框架,给出了便于处理的转移概率的表达式。最后,用数值计算的例子展示了随机模型的统计演化特征,并比较了与确定性扩展模型下统计演化的异同。     

二参数Ornstein—Uhlenbeck过程的象集的一些性质

本文研究二参数 d 维 Ornstein-Uhlenbeck 过程 X(t)(t∈R_+~2)的象集 X(E)的性质,得到了 X(E)的 Hausdorff 维数,并证明了若 dim E>d/2,则 X(E)的 Lebesgue测度 a.s.大于0,且对于几乎所有的θ∈[0,2π]若,θ(E)(?)CR_+~2,则 X(θ(E))a.s.具有内点。     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.