Verilog RTL模型

VLSI集成电路芯片测试技术正在向高层次测试推进，针对Verilog硬件描述语言，提出了一种在寄存器传输级（register transfer level,RTL)上的电路模型VRM，该模型着重于实际应用，可输出文本格式文件，便于开发实用的RTL级故障模拟和RTL级测试生成等软件。基于该模型。还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性。     

校园一卡通系统设计方案

针对各类学校的综合管理，提出了“校园一卡通系统”的设计方案，此方案建立了完善的网络硬件平台。     

李普希茨函数族的纲与诱导极限

本文利用FH空间理论 ,研究了定义在Banach空间球上的李普希茨函数族的纲与诱导极限     

随机扰动梯度近似中的矩收敛率

采用递归估计器的序列求函数的最小值 ,并扩展了Spall的同步扰动随机近似方法 ,进而提出随机扰动梯度近似算法 .对于任意的 1≤q<∞ ,可用估计误差的范数Lq 来度量收敛率 ,序列的收敛速度为O(n- 2 ) ,( >0 ) .在最小点上 ,若代价函数的Hessian矩阵的所有本征值都在 1 2的右面 ,则误差指数 2可任意地接近 1 2 ,并且代价函数足够光滑 ,还可使用导数的高阶近似     

结构极限分析的Galerkin边界元方法

求解结构极限载荷的主要困难在于如何处理好计算精度和计算效率的统一。利用 Galerkin边界元方法的应力精度高的优势 ,基于极限分析的下限定理建立了结构极限分析的计算格式。同时利用 Galerkin边界元弹塑性增量计算中同一增量步上不同迭代步的应力差作为基矢量构造了自平衡应力场 ,将结构极限分析归结为非线性规划问题 ,并通过复合形法直接进行求解 ,得到了二维结构在比例载荷作用下的下限乘子。数值计算结果表明 ,该文所用方法的计算精度和计算效率都是令人满意的     

用上限元法求解张减过程的轧制力

根据钢管塑性变形原理及张减变形理论 ,运用上限元法 ,构造动可容速度场 ,推导建立一系列与变形体内部虚功消耗有关的分式 ,算出张减轧制过程中的轧制力 ,并得到实验验证     

并行系统的一种组合式软硬件划分技术

研究并行系统的软硬件划分方法，建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构，提出了一种基于基本调度块（BSB）的并行系统优化划分方法，该方法首先将PL程序分解为BSB，然后考察BSB的软硬件度量，最后利用启发式方法求出优化的软硬件划分方案，语法制导的划分规则可以用于系统的划分和软硬件成分的组合，本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合，具有实用价值。     

逆极限空间的转移映射

证明了关于X的逆极限空间的转移映射具有下列结论：（1）若f是连续射，则f具有Korner性质的充要条件是转移映射具有Korner性质；（2）f在其测度中心上是Li-Yorke混沌的当且仅当转移映射在其测度中心上是Li-Torke混沌的，对Devaney混沌也如此。     

NA列的密度估计的相合性和中心极限定理

该文给出了NA序列的密度核估计的均方相合性和强相合性,并对强平稳NA序列,在一定的条件下,得到了NA序列的密度核估计的中心极限定理.     

20MnVK钢含碳量对矿用圆环链性能的影响

本文测试了不同含碳量的20MnVK钢圆环链的性能,通过调整中频淬火回火温度可提高圆环链性能.对20MnVK钢制造C级φ18×64mm矿用圆环链提出看法.