大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

时效处理对AZ80镁合金组织性能的影响

通过金相组织分析、显微硬度测试及断口扫描分析,研究了不同时效温度下AZ80镁合金的显微组织、显微硬度和韧度,分析了时效温度对性能的影响。结果表明时效温度对材料性能起主要作用。提出AZ80镁合金的优化时效温度为170℃。     

巨大变量组合逻辑设计优化软件的研究与设计

采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制。介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件，其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchmark例题测试。其优化效果的平均输入输出之比为0．652。     

数据的逻辑综合分析及决策算法

文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。     

多态系统数据分析的逻辑决策算法

在对逻辑分析数据的相关理论进行分析的基础上，给出了多态系统数据分析的逻辑决策算法。该算法适于多领域的判断和预测。利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据对算法加以验证，得到了较好的预测效果。     

断丝状态下的钢丝绳故障诊断

针对传统钢丝绳断丝损伤定量检测模型泛化性能不足的问题,提出一种基于极限学习机的钢丝绳断丝损伤故障诊断方法。采用距离可分离性判据对常用的特征参数进行可分性比较,并选取区分效果较佳的特征参数进行特征融合。实验结果表明,峰值、功率谱熵、小波奇异值熵的区分效果明显优于波宽、波形下面积;将多特征融合与极限学习机相结合的方法可以有效地对钢丝绳断丝损伤进行分类识别,比传统的BP神经网络具有更高的准确率和更短的训练时间。     

时效处理对AZ80镁合金组织性能的影响

通过金相组织分析、显微硬度测试及断口扫描分析,研究了不同时效温度下AZ80镁合金的显微组织、显微硬度和韧度,分析了时效温度对性能的影响.结果表明时效温度对材料性能起主要作用.提出AZ80镁合金的优化时效温度为170℃.     

蓝通公司照明车第一时间奔赴灾区

蓝通工程机械（天津）有限公司12日决定向灾区捐赠价值30万元、10台（4个型号出口标准）夜间搜救抢险照明车设备。5月13日,公司通过天津红十字会刘成国部长的不懈努力,迅速办理相关空运手续,当日将货物装入机仓。     

基于阈门网络的逻辑综合问题研究

我们在对阈门网络进行研究的基础上，给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时，获得比较好的最小化效果。     

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上，通过计算逻辑网络中门的可观测无关项，得到最大允许函数集，依此来消除网络中冗余门，进行逻辑设计优化。同时对已有算法做了一定改进，给出了SANDTNT算法，以适用大输入和输出变量逻辑网络的优化。