罗尔中值定理的推广

对罗尔中值定理进行了推广,给出了它在区间为有限开区间、无穷区间及函数为无界函数形式下结论的格式.     

离散元胞蚂蚁算法及其收敛性

提出一种利用元胞演化规律和蚂蚁寻优特点的离散元胞蚂蚁算法.首先对离散元胞蚂蚁算法的原理进行了描述,然后运用随机不动点理论对算法的收敛性进行了分析,证明算法的求解的迭代过程是一个随机压缩影射,并收敛到唯一的不动点,最后给出了数值仿真,效果良好.     

关于大白杨沟煤矿新建矿井瓦斯涌出量预测的探讨

<正>大白杨沟煤矿瓦斯现状。该煤矿为拟建的300万吨/年矿井,井田有可采煤层23层,煤层倾角平均30°,总资源量550.76Mt,其中:42%为气煤和1/3焦煤,地质勘探送检的65个煤样中,件残存瓦斯含量高于2m3/t,件高于5m3/t,其中:B5     

拟可微方程组牛顿法的二次收敛性

利用拟微分讨论了拟可微方程组的牛顿法和不精确牛顿法.引入了拟可微函数的拟强半光滑性.在拟强半光滑的前提下,证明了牛顿法和不精确牛顿法的二次收敛性.     

黎曼可积的周期函数的若干性质

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.     

黎曼可积的周期函数的若干性质

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.     

子群的完全c-可换性与p-可分群

设■表示P-可分群的群类。利用完全c-可换子群的概念,得到了P-可分群的两个充分条件:(1)如果群G的4阶循环子群在G中完全c-可换且G的任意极小子群含于Z_■(G)中,那么G是P-可分群;(2)设H■G且G/H是P-可分群。如果H的任意阶循环子群在中完全c-可换且H的任意极小子群包含在Z■(G)中,那么G是p-可分群。     

UCP600中可转让信用证的变化及对策

外贸中《UCP600》（跟单信用证统一惯例第600号出版物）于2007年7月1日开始实施,代替了国际商会（ICC）1994年出版的《UCP500》（跟单信用证统一惯例第500号出版物）。此次修改是基于ICC提出的专家意见而实施的,这些意见大部分集中在七个条款上,其中对可转让信用证提出31次。新惯例中可转让信用证的内容此老惯例定义的更加清晰,在这两年的实施过程中更具有实践性,操作起来更加安全可靠。     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

可满足性理论及应用研究进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要国际学术年会,也是逻辑与人工智能研究领域的一次顶级国际会议。这次会议是首次在欧美之外的地区举办。