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

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

偏最小二乘相关算法在系统建模中的两类典型应用

讨论了偏最小二乘回归（PLSR）的相关算法对两类典型实际系统建模的有效应用。分析了传统的偏最小二乘回归批处理算法及由此产生的一种简化算法的基本原理和技术特点，在此基础上，对原有的递推算法进行了一定程度的改进，直接采用自变量主元t的回归系数矩阵P和R来取代旧的数据信息，从而进一步简化了计算过程，针对上述两种算法的特点，分别对无人机费用模型（少样本，多变量）和切削力峰值模型（多样本，少变量）参数进行了估计计算，说明了各自算法的应用优势。     

Face Recognition Based on Support Vector Machine and Nearest Neighbor Classifier

Support vector machine (SVM), as a novel approach in pattern recognition, has demonstrated a success in face detection and face recognition. In this paper, a face recognition approach based on the SVM classifier with the nearest neighbor classifier (NNC) is proposed. The principal component analysis (PCA) is used to reduce the dimension and extract features. Then one-against-all stratedy is used to train the SVM classifiers. At the testing stage, we propose an al-     

城市可持续发展水平的指标体系及评价

从经济、环境、资源、社会发展和人口5个方面构建了评价城市可持续发展水平的指标体系.由于涉及到众多的指标,选择因子分析法通过降维处理,能使较多原始指标被综合为几个较少指标.实例证明,指标的选取、方法的选择都比较合理.     

基于HLA和GIS的作战想定整合与态势演播

HLA是近几年发展起来的一种体系结构标准，介绍了将HLA/RTI和网络GIS的集成研究成果及其用于想定整合与态势演播取得的有益实验结果。     

局部分析方法在可解群中的应用

局部分析方法是有限群理论最基本的方法,利用可解群的性质和有限群的基本定理,通过局部分析方法,研究了可解群和可解子群的一些性质.利用成分的性质及ThompsonA×B引理,得到了p-局部子群的相关结论.     

对高职高专院校人才培养水平评估工作中问题的分析

分析了目前我国高职高专人才培养水平评估工作中存在的问题,并提出了相应对策。     

35t/h工业链条炉计算机控制系统的设计

介绍了35t/h工业链条炉计算机控制系统,论述了各控制系统的实现,阐述了系统软件的设计。     

迎评促建进程中的高校图书馆与系部资料室

从充实藏书、建设统一的文献资源体系、培训馆员等方面提出了高校图书馆与系部资料室在迎评促建过程中应做好的工作。