关于常微分方程初值问题数值解误差的探讨

引用B样条插值函数讨论了一阶常微分方程初值问题的数值解 ,给出一个隐式近似求解公式 ,并得到此公式的局部截断误差为O(h5) ,整体截断误差为O(h4 ) .在此基础上又给出了一个校正显式求解公式 ,其局部截断误差为O(h4 ) .     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

英语中的汉语借词及其文化阐释

词汇互借是各种语言所共有的现象。英语在发展过程中吸纳了众多的汉语借词,借入方式不拘一格,所折射出的文化色彩斑斓,独具特色,而且有其深刻的文化成因。在追根溯源中把握汉语借词的地域特征、语法特征和文化内涵,有助于我们更好地运用这些借词进行交际。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

局部几何矩在图像处理中的应用

由几何矩引中出另一个概念——局部几何矩，根据其良好的性质，对它进行图像平滑、边缘检测和纹理分割方面的应用，均取得了较好的效果。     

地方高等职业教育若干政策支持的思考

我国高等职业教育的健康、持续、快速发展已成为历史的必然，地方政府制定相关配套政策支持是当务之急。省市地方政府应从办学体制创新、省市地方政府应从办学体制创新、教育教学改革、师资队伍建设和筹措经费诸方面对省级、地市高职院校给予政策支持。     

二能级二粒子一般态的概率传输

研究了用4个粒子的非最大纠缠纯态传输二能级二粒子的一般态。传输方案没有利用Bell基测量，而是利用么正变换和局域进行了测量。在经典通讯的帮助下，通过做适当的么正变换和对辅助量子位的测量，这个二粒子一般态可以一定的成功几率从发送者处传输到接收者处。     

若干K凸性的等价条件

就一些K凸性的等价条件作了讨论，证明了几种K凸性在某种条件下是等价的，如当空间X是自反的且X和X*均有（H）性质时，则有7种K凸性等价，当空间X自反且有（H）性质，则有6种K凸性等价。     

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

民营企业内部审计的现状及对策

文章通过实地调研，根据民营企业内部审计的产生和发展情况，对民营企业内部审计的特点和现状进行了分析，并探讨了发展民营企业内部审计的对策。