基于Mining-SEC方法的电路等价性验证

针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。     

血细胞特性曲线拟合方法的研究

针对血液分析仪对血细胞各个参数检测线性偏差较大的问题,提出一种血细胞特性曲线分段拟合算法。根据血液分析仪检测值与理论值的对应关系,针对不同段的数据,进行分段线性拟合,再根据2条线性曲线段衔接处的3个数据点,采用最小二乘法多项式拟合算法进行过度曲线拟合,实现不同线性段间的平滑过渡,从而避免不同曲线交叉点的跳跃现象。实验结果表明,该方法简单、实用,拟合后的血细胞线性偏差优于血液分析仪行业标准的要求,满足临床应用的需要。     

2,2￠,6,6￠-四甲基-4,4￠-二苯氧基二苯砜、二苯醚和对苯二甲酰氯三元无规共聚物的合成与表征

以2,2￠,6,6￠-四甲基-4,4￠-二苯氧基二苯砜(o-M2DPODPS)、二苯醚(DPE)和对苯二甲酰氯(TPC)为单体，在无水AlCl3和N,N-二甲基甲酰胺(DMF)存在的条件下，于1,2-二氯乙烷(DCE)中进行低温溶液无规共缩聚，合成了一系列新型线型高分子量含双邻甲基取代结构的聚醚砜醚酮酮(DM-PESEKK)/聚醚酮酮(PEKK)无规共聚物，并用IR, DSC, XRD, TGA和1H-NMR等方法对共聚物进行了表征分析，考察了共聚物的溶解性能. 结果表明，随着DM-PESEKK含量的增加，玻璃化转变温度(Tg)逐渐升高，熔融温度(Tm)逐渐降低，结晶度下降，溶解性得到明显改善.     

α-蒎烯+β-蒎烯+对伞花烃常压汽液平衡测定与关联

采用改进的Ellis平衡釜测定了在常压(100.7 kPa)下三个二元物系α-蒎烯＋β-蒎烯(428.82 K ~ 438.13 K)，α-蒎烯＋对伞花烃(429.05 K ~ 447.15 K)，β-蒎烯＋对伞花烃(439.20 K ~ 448.66 K)和一个三元物系α-蒎烯＋β-蒎烯＋对伞花烃(432.17 K ~ 448.11 K)的汽液相平衡数据,并利用Herington规则，以积分检验法对实验数据进行了热力学一致性检验。选用Wilson、NRTL、UNIQUAC和UNIFAC活度系数方程进行关联和估算，用最小二乘法求出二元物系的最佳配偶液相活度系数模型的能量参数，并比较了汽相组成的计算值与实验值，其平均相对偏差均小于0.40 %。将得到的最佳Wilson二元模型参数直接用于该体系三元体系汽液相平衡数据的预测，计算的平衡温度与实验测得的平衡温度平均偏差为0.16 K。     

基于分形理论的短期电力负荷预测*

电力负荷预测是电力系统规划的重要组成部分,也是电力系统经济运行的基础,其对电力系统规划和运行都极其重要。具有精确的预测方法可以保证能源的节约,避免资源的浪费。同时也可以缓解电能短缺所造成的重大影响。论文为了实现更好的电力负荷预测方法,研究了分形理论在电力负荷上的应用。将分形拼贴定理和分形插值法应用到电力负荷预测之中。提出了分形理论电力负荷预测模型,得到了分形插值预测模型。为了证明分形插值法的有效性,论文将分形预测模型与传统的BP神经网络电力负荷预测模型相比较。最后通过仿真算例说明了论文提出的分形插值预测模型预测精度更高,预测相对误差较小。并且分形理论可以很好地应用在电力系统负荷预测中,预测效果要好于BP神经网络预测模型。     

基于未知环境状态新定义及知识启发的机器人导航Q学习算法

由于强大的自主学习能力, 强化学习方法逐渐成为机器人导航问题的研究热点, 但是复杂的未知环境对算法的运行效率和收敛速度提出了考验。提出一种新的机器人导航Q学习算法, 首先用三个离散的变量来定义环境状态空间, 然后分别设计了两部分奖赏函数, 结合对导航达到目标有利的知识来启发引导机器人的学习过程。实验在Simbad仿真平台上进行, 结果表明本文提出的算法很好地完成了机器人在未知环境中的导航任务, 收敛性能也有其优越性。     

松节油催化热异构产物的气相色谱-质谱分析

用气相色谱-质谱联用技术(GC-MS)对Pd/C催化剂上松节油直接催化热异构的反应产物进行了分析鉴定,共分离出46个峰,鉴定出43个化合物,其中主要产物为单环单萜烯苧烯、α-焦烯、1,3,5,5-四甲基-1,3-环己二烯、无环单萜烯3,4-二甲基-2,4,6-辛三烯、2,6-二甲基-2,4,6-辛三烯、双环单萜烯莰烯、单环单萜烃对伞花烃,其相对质量分数分别为:57.87%、2.92%、1.45%、5.59%、7.15%、2.78%、3.39%。分析鉴定结果表明,松节油在Pd/C催化剂上发生开环异构生成单环单萜为主反应,并伴随深度开环异构、分子间氢转移、水合重排等副反应,倍半萜只发生极少量的异构化反应,蒎烯转化率为90.04%,蒎烯可高选择性地开环热异构制备单环单萜苧烯,苧烯选择性为73.17%。     

超临界流体CO_2提取虎杖中的有效成分

以大黄素为指标对虎杖中的有效成分进行超临界流体CO2萃取。用正交设计法考察了最优萃取条件。影响超临界流体萃取率的主要因素依次是:动态流量、温度、压力、时间;确定了大黄素的最佳萃取条件是:萃取压力25 MPa,萃取温度55℃,动态流量8 kg/h,萃取时间30 m in。超临界流体萃取大黄素的提取率达0.36%。     

超细碳酸钙/粉末丁苯橡胶的制备及在PVC中的应用

本文用超细碳酸钙（CaCO3）作为隔离剂和不同的包覆剂,通过凝聚法制备粉末丁苯橡胶（PBSR）.当超细CaCO3与PBSR质量比为50/100,包覆剂Coron树脂结构组成中马来酸酐和苯乙烯质量比为7/3,用量占PSBR质量的9%时,所得的超细CaCO3/PSBR粒径小于1mm,比未加超细CaCO3的PSBR小一倍左右.当PSBR/PVC的质量比为15/100,CaCO3/PSBR与PVC混合制得复合材料的拉伸强度比PSBR与PVC制得复合材料提高了约15%,缺口冲击强度提高了60%左右.     

PVA/明胶/淀粉水凝胶的制备及性能

采用反复冷冻一解冻法制备了不同配比的聚乙烯醇／明胶／淀粉水凝胶膜。测试了共混膜的力学性能、脱水率和溶胀度，用扫描电镜观察了共混膜的断面形貌。结果表明：除1：1配比的水凝胶膜成膜性差，其他配比的水凝胶成膜性较好，膜表面比较光滑。m（PVA）：m（明胶）为6：1时力学性能较好。脱水率和溶胀度均随PVA和明胶比例增大而减小。扫描电镜显示，水凝胶膜内部具有多孑L结构，可以用作组织工程支架材料。