争鸣

问题130 下列说法是否有误，若有．请指出错误所在． 1 从整数集中任取一个数，取出的数是1的概率是多少？     

关于2—因指数群

如果有限群Ｇ的每个极大子群的指数和质因子个数都小于或等于ｎ，则称Ｇ为ｎ－因指数群。本文用单群分类定理证明了。     

一类具有偏差变元的积分—微分方程解的渐近性质

~~     

鲁棒稳定性分析的值映射与参数化方法

本文运用值映射与参数化的方法研究了鲁棒D稳定性问题。文中给出了主要结果——参数空间鲁棒分析的边界定理,作为该结果的应用,一些现代鲁棒分析的知名结果,例如多项式族的稜边定理,Kharitonov定理和菱形定理都被简洁地证明出来;给出了一种判定双参数多项式族D稳定的新方法。用该方法可以方便地确定H稳定多项式按一定摄动模式(区间方式和菱形方形)的最大摄动界。     

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

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

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

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