提高小学生的数学运算能力

计算是数学的基础，尤其是在学生的小学阶段，运算伴随着小学生数学学习的始终，学生运算能力的高低直接关系到小学生数学成绩的好坏，因此提高学生的运算能力是小学教师进行数学教学过程中的一项重要任务。     

真正科学常识否定5千年“常识”:没最大自然数——证实庞加莱百年前伟大科学预见推翻百年集论

无穷多对"夫妻"之间互相任意"换妻"后绝不会有"单身"出现———此起码逻辑学常识让"深藏"5千年的最大自然数和别的无穷大自然数n及其倒数1/n<ε一下子暴露出来,从而推翻百年自然数公理和消除极限论百年糊涂话使集论一下子现出庞加莱所认为的百年病魔原形。如化学曾被错误燃素说统治百年一样,数学也…。近似常识凸显相应无穷大也有相比下总≈0的另一面。揭示没有用而不知的起决定性作用的无穷大(小)数就没有微积分。     

精轧机出口导卫切水板装置的改进设计及应用

分析了精轧机出口导卫切水板装置上切水板挂钩、出口上冷却水集管和出口下切水板存在的结构不合理和强度不够等问题,对出口上下切水板的固定方式、出口导卫本体装置进行了改造。实践表明,改造的出口导卫切水板装置减少了故障率,提高了作业率。     

极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

基于水平集方法的动态目标跟踪路径最优仿真

两移动平面运动体因有各自的智能控制器,因此当它们在跟踪控制时,双方必然及时根据对方的策略改变各自的控制策略(方向和速度大小),来达到一种真正的双边最优(主动跟踪者最短时间的追上被跟踪者,而被跟踪者最大化时间避免被追上).首先将平面上任意运动体简化成带速度和加速度的质点,然后利用追逃微分对策理论建立起此跟踪路径最优问题的哈密顿-雅可比-贝儿曼偏微分数学模型.对这种双边极值的难点问题,提出一种水平集数值求解方法.并利用水平集的偏微分方程与哈密顿-雅可比-贝儿曼偏微分方程结构相似性得到水平集的速度函数.对一平面上两无人驾驶飞机的动态跟踪双方进行仿真,仿真编程简单,解决了双边极值的求解.     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

算子代数上同调论进展

本文系统地总结了算子代数上同调理论的产生和发展过程。全面地介绍了已见到的各种算子代数上同调理论及其相互关系。并阐述了这个理论在导子的提升,一般的提升,扩张问题,摄动理论和量子力学半群等方面的最新结果。最后,还提出了有待研究、解决的十个问题。     

砂轮粒度及其修整影响GCr15钢磨削表面质量的研究

本文探讨了砂轮粒度及其修整对滚动轴承钢Gcr15磨削表面质量的影响。采用不同粒度、不同修整导程的砂轮分别在外圆磨床上进行切入式横磨,对磨削力、磨削温度、工件表层显微硬度及其表面粗糙度等影响均作了试验研究。结果表明,合理选择砂轮粒度与修整导程是提高滚动轴承钢磨削表面质量的重要途径之一。