一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.     

精馏塔理论塔板数计算方法的评述及其新的简捷算法——图算法

化学工程中精馏塔的理论塔板数N是塔器设计的一个重要数据。它与最小回流比R_m、回流比R及最小理论塔板数N_m间具有一个复杂的函数关系,故其计算是相当麻烦的。本文对现有的各种较为简捷的算法进行了评述,并提出了一种极为简捷的算法——图算法。利用此法,无需进行数值计算,只用两条直线即可简捷地求出准确的结果。     

大型喷浆机器人的灵巧度分析

灵巧度是衡量机器人运动失真程度的重要参数。对机器人灵巧度评价指标进行了对比研究 ,结合大型喷浆机器人自由度较多的特点 ,用雅可比矩阵的条件数对喷浆机器人的灵巧度进行了分析。结果表明 ,大型喷浆机器人在不同形位下的条件数都很小 ,具有较好的运动灵巧度。     

希多夫法测定离子迁移数的改进

本文介绍对希多夫法测定离子迁移数实验方法的改进。新方法在节约实验经费,简化操作步骤提高实验结果的重现性诸方面取得了良好的效果。     

RP~2嵌入非正定四维流形的法Euler示性数

设N是不可定向闭曲面,M是单连通四维流形,是一个嵌入,法丛为v_f,则法Euler类e(v_f)是上同调群H~2(N,Z)中的元,这里Z是由W_1(v_f)=W_1(N)所决定的局部整系数。嵌入f的法Euler示性数X(f)=e(v-)[N]的取值是有关四维流形的研究中一个重要问题,它与一个二维同调类能否用光滑嵌入球表示等问题有极密切的关系。本文讨论了实投影平面嵌入非正(负)定四维流形中的法Euler数的取值问题。     

关于Sauer引理的一个推广

Sauer引理是统计学习理论中的基本结论．在许多实际问题中，需要研究N类模式识别问题．本文将Sauer引理推广到N类分类问题．     

q-致光滑Banach空间中带误差项的Mann迭代过程

在q(>2)一致光滑实Banach空间中,运用新的数学分析技巧,给出一类非Lipschitz及非值域有界的Φ强增生映射和Φ强伪压缩映射的带误差项Mann迭代序列的收敛定理,推广并概括了目前一些相应结果.     

学生“数感”的培养与发展——美国“数的世界”项目简介

培养并发展学生的"数感"是小学数学教育的重要目标。本文以美国重要数学教育项目"数的世界"为案例,就该项目对"数感"及其原则性理解进行介绍,然后呈现该项目围绕"数感"这一核心概念而构建的整数概念知识网络。     

锅炉送、引风机内馈调速节能应用

随着大型火力发电厂的不断投运,目前电力生产的重心逐渐放在节能降耗工作中,如何降低厂用电耗,是每个电厂的经营管理者都在思考的问题.