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

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

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

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

一类特殊的奇异级数

讨论了华林问题中一类特殊的奇异级数，在分析的范围内用代数数论的方法对它的下界作出一个估计，从而改进了Vaughan的结果。     

建设“信息高速公路”的构想

一、为适应深圳建设国际性城市的需要,深圳有线电视综合信息网从规划开始,就是按照“信息高速公路”的技术标准进行设计的。而信息塔的建成可使光缆网与微波网组成天上地下、立体交叉的全封闭“信息高速公路”。     

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

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

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

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

p-可分解群的一个定理

极小子群在有限群的研究中占据着重要的地位．本文利用了极小子群的弱c-正规性刻画了极小子群对有限群构造的影响，得出了p-可分解群的一个结果．     

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

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

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数的取值问题。     

一类特殊的有限群

研究了元的阶除1和一个数m外均为质数的有限群,得出了它们的分类定理.