GATEST: 使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(Genetic Algorithm, GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

基于SolidWorks的组合夹具构件自动建模方法

为解决组合夹具典型功能结构的设计经验重用问题,提出了一种在三维绘图软件SolidWorks平台上、基于装配约束方程的构件自动建模方法．文中分析了构件自动建模原理、构件模板建立方法、装配参数方程提取、参数方程语义分析以及参数驱动方法．在此基础上建立了组合夹具构件库系统,给出了构件应用实例,从而解决了构件自动建模中的难点．为夹具的自动装配和自动设计奠定了基础。     

基于CAN总线的远程抄表系统设计

分析了当前国内抄表系统的现状及其存在的主要问题,提出了一种基于CAN总线的抄表系统的解决方案．阐述了该系统的设计原则和软硬件的具体实现方法．     

淋巴瘤病理图像中R-S细胞的自动提取

介绍一种淋巴瘤病理图像中R-S细胞自动提取的方法．针对淋巴瘤病理图像中组织灰度分布的特点,采用循环分解和类别方差思想的混合自动分割算法分割病理图像;提出一个基于目标形态、灰度纹理和空间相关性等特征的识别模型,提取R-S细胞．实验结果表明,该方法速度快,能准确地识别提取淋巴瘤病理图像中的R-S细胞,有助于病理医生研究诊断。     

一种基于FPGA的开关信号可靠传输实现方法

提出了一种在自动控制系统中,利用大规模逻辑器件实现开关信号可靠传输的硬件实现方法。对开关信号进行直接编码,采用3个连续出现的大码距字节表示开关信号的一个状态,编码后的信号利用电信网的数字中继线路传输。解码时只有在收到3个连续编码字节后才输出相应信号值,其他情况维持不变以排除线路误码、故障造成的误动作,保证传输的可靠性。给出了总体实现方案、编码方案及编码、解码的实现方法,并给出了详细的状态机转移图。仿真结果表明,达到了预期的设计目标。实现方法具有纯硬件实现、不需软件参与、时延固定、具有较高的系统可靠性等特点。     

某工业厂房火灾后结构承载力分析与加固

结合工程实例,论述了火灾后建筑物的安全性鉴定及加固决策.结合材料在高温作用下性能变化的分析,通过构件温度场的数值计算,并与现场检测结果对比,进行了不同受力构件剩余承载力计算分析,在此基础上按照国家相关标准对建筑物进行安全性综合评定,并确定了适当的加固方法.     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。     

工具钢——碳钢复合板爆炸焊接试验研究

针对T10工具钢与碳钢（A3钢）复合板爆炸焊接试验中易出现的列纹、嘣块以及四周不易焊合现象进行了分析,并提出了解决的工艺措施,通过对16块面积为0.5-1m^2工具钢－碳钢复合板的生产,取得了焊合率大于98％且无裂纹的良好结果。     

棉纤维长度测试钩夹取样法研究

在微量点取样的研究基础上,进一步探讨了取样器从“均匀分布散纤维”中取样时其夹持宽度及取样角度对纤维照影机曲线的影响,分析了取样影响因素,根据研究结果得到了理想试样的取样要求,据此提出一种钩夹取样方法并通过实验说明这种方法具有可行性。     

CAPP中切削用量的自动确定

为了在计算机辅助工艺设计中实现切削用量的自动确定 ,分析了选取切削用量的影响因素 ,论述了切削用量的具体选取办法 ,提出了进给量综合选择表及其使用方法 ,给出了主要程序流程图 ,并用实例验证了所提出的方法及原理的正确性 .