面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误．     

HDL描述中决策图模型的提取方法和实现

决策图模型描述了TVLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型，给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统，取得了良好的效果。     

基于OpenGL的地质图像三维重建

本文通过对图像进行坐标空间定义,并在图像处理中,引入了图层的概念,在三维重建中,对三角部分进行了规则定义。通过图形变换,将简单图形生成复杂图形,并把二维图形表示三维形体,对静态图形快速变换而获得图形的动态显示效果。图形变换能够旋转对象、移动对象、拉伸、压缩和缩放对象,从而通过三维重建和虚拟现实技术实现地质结构的三维数字化模型和地质结构的动态虚拟显示,对地质结构进行分析提供了直观的预测。     

DataMatrix 的变种码的图像预处理

在 DataMatrix 二维条码基础上设计出一种 DataMatrix 变体,这种新条码也是一种矩阵式二维条码。实际环境下的 DataMatrix变种码受到各种环境因素的影响,使条码成像画面出现亮度不均、画面有污渍、高斯噪声等,影响画面的质量,通过模拟实际环境拍照获得新条码的扭曲图像,需要对刚拍摄成像的 DataMatrix 变种码图像进行预处理 , 采用 USM算法对实际 DataMatrix 变种码图像进行分析,改善了图像的质量。     

轻型载货汽车气压制动感载阀匹配方法研究

以某轻型载货汽车为例,对气压感载阀的匹配方法进行研究.依据相关法规和整车参数,定义制动力分配特征系数并以该参数作为车辆选配感载阀的判据.为确定感载阀摆杆长度,对比了载荷计算法和诺莫列线图法的差异性.最后,通过实车试验,验证了匹配方法的有效性.     

基于内容的三维模型特征提取技术研究现状与分析

介绍了基于内容的三维模型特征提取中常用的模型归一化(Normalization)处理技术:主成分分析法(PCA)和最大法向量分布法(MND).对已有三维模型特征提取方法进行分类综述,包括基于投影的特征提取方法、基于统计分布的特征提取方法、基于拓扑关系的特征提取方法和基于几何结构的特征提取方法.最后对不同类型的特征提取方法进行详细的分析和比较.     

DataMatrix变种码边界提取

本课题基于原有的DataMatrix编码,引入新的铁道线和L边界,极大方便便携摄像设备对图像的定位以及对特征点坐标的提取,并考虑在便携摄像设备像素不高,在拍摄环境下图像容易受到各种环境因素的影响,对该二维变种码特殊图像预处理。其次针对新的DataMatrix码的特征,通过图像特征提取得到变种码图像中包括变种码在内的各连通区域的长度与宽度,利用边缘检测及铁道线查找方法,设计出一种提取铁道线边界各段线中点坐标的方法新的基于DataMatrix的二维条码变种码,更易于被解析、定位可以识别具有一定倾斜度的条码,具有较好鲁棒性,以及较大提高图像识别速度,具有相当的社会实用性。     

基于客流数据的区域出行特征聚类

区域功能发现对完善城市规划有着重要的指导意义.区域居民的出行特征提取与发掘可以作为建立模型分析区域功能的数据支撑.随着智能交通技术在轨道交通系统的应用,大量蕴含行人移动性和出行目的地信息的客流数据被采集得到,发现客流数据与地铁站相关区域功能有紧密联系.从地铁客流数据中提取出乘客出行模式和地铁站客流模式,并以此为基础建立概率图模型,实现了区域出行特征聚类.首先,以地铁客流数据为基础提取了乘客出行模式和地铁站客流模式,发现地铁站客流集中性和潮汐性的特性,能在一定程度上反映地铁的区域功能.然后,采用了文本分析领域经典的概率图模型,建立基于潜在狄利克雷分配(latent Dirichlet allocation,LDA)主题模型的地铁客流出行特征聚类模型,将具有出行规律相似性的地铁站聚类在一起.最后,通过分析聚类实验结果,发现在不同客流峰段内的区域功能和相互客流关系.     

全日制专业学位研究生多层次实践能力培养模式探讨——以建筑与土木工程领域为例

我国目前全日制专业学位研究生的培养工作还存在着一些问题有待解决,尤其是学生实践能力的培养效果有限。以建筑与土木工程领域全日制专业学位研究生为对象,探讨了全日制专业学位研究生实践能力的构成要素,分析和总结了实践能力培养的主要途径,并构建了相应的实践能力培养模式,以期提高建筑与土木工程领域全日制专业学位研究生的实践能力培养效果。     

面向监狱服刑人员的聚类与分类算法研究

分别提出了面向服刑人员的聚类和分类算法,针对服刑人员的表现特征在服刑期内连续变化和多样性的特点,分别采用隐马尔可夫模型为聚类模型和LDA主题模型为分类模型,对应急指挥综合管理平台中所收集到的多种服刑人员的业务管理信息进行综合聚类分类处理。实验表明,隐马尔可夫模型可以体现出各服刑人员在整个服刑阶段表现的时序变化,从而进行准确的聚类判断;LDA主题模型可以考虑到服刑人员的多种属性,从而对其进行准确的类别判断。