发动机嵌入式传感器自主供电装置

通过热电形式,发动机内部的废热可以为嵌入式传感器提供工作所需要的电能。根据温差发电原理设计了一种能够利用发动机内部存在的温度差为嵌入式传感器供电的装置。它由集热板、隔热层、散热装置以及相应的电源管理电路组成。在负载与发电器件内阻匹配和最低温度差为10℃的条件下,电源管理电路能够将发电器件输出的0.52 V电压转化为5.06 V、4.57 mA的稳定输出。建立了实验模型,且通过实验进行了性能验证。     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

基于小波变换的ECG信号压缩及其FPGA实现

小波变换在ECG信号处理中的应用得到了很多研究人员的关注。本文研究了5层5/3提升小波变换及其反变换的FPGA实现,并将其应用于ECG信号的压缩,在均方误差可控的范围内获得了较大的压缩比,并利用设计的硬核实现了信号的重建。     

基于校准靶的C形臂相机模型自动校准方法

根据校准靶标志点影像的特点,提出一种自动的离线C形臂相机模型校准方法。应用聚类算法实现标志点信息的自动识别,通过行列索引表简化标志点网格姿态的识别,自动建立标志点在影像坐标系和空间坐标系下坐标的对应关系,经几何变形校正后,实现C形臂相机的校准。实验数据证明,该方法具有良好的鲁棒性,误差小于1 mm,可应用于基于术中C形臂X线影像的手术导航系统。     

基于自证明公钥和零知识证明的身份认证协议

在分析几种典型零知识身份认证协议的基础上,利用Girault自证明公钥原理、结合椭圆曲线公钥密码的优点提出一种基于自证明公钥和零知识证明的身份认证协议,并为协议增加了密钥协商功能。分析表明该方案具有较高的安全性,与同类方案相比,该方案对存储空间、网络通信量和计算开销的要求较低,有较高的效率。     

基于流形学习和SVM的Web文档分类算法

为解决Web文档分类问题,提出一种基于流形学习和SVM的Web文档分类算法。该算法利用流形学习算法LPP对训练集中的高维Web文档空间进行非线性降维,从中找出隐藏在高维观测数据中有意义的低维结构,在降维后的低维特征空间中利用乘性更新规则的优化SVM进行分类预测。实验结果表明该算法以较少的运行时间获得更高的分类准确率。     

基于SVM-2DPCA的X光胸片异常筛查

基于统计学习理论的支持向量机分类算法,提出一种X光胸片异常筛查系统,能够自动判别胸片的正常和异常。为了提高SVM算法的效率,利用小波变换等预处理手段去除对判读无用的图像冗余信息,采用二维主成分分析进一步降低图像特征维数。实验结果表明,SVM用于医学X光片异常筛查可行且有效、识别率高。     

基于改进基因表达式程序设计的股票指数预测

介绍基因表达式程序设计方法的基本原理,针对股票指数分析与预测问题,在经典的GEP算法基础上,提出一种基于动态变异算子的改进的GEP算法——IGEP算法,动态变异算子随着进化代数和染色体所含基因数目不同而变化,从而加快了GEP的收敛速度和精确度,对算法进行了复杂度和收敛性分析。设计一种基于IGEP的股票指数分析与预测算法,数值实验结果表明,该算法优于经典GEP算法,具有较广泛的通用性。     

高灵敏巨磁阻抗小型磁传感器研制

利用单辊快淬法制备了CoFeNiSiB非晶薄带,经过400 A/mm2电流密度、20 ms脉冲间隔条件下的脉冲退火后具有较好的弱磁场灵敏性能.以该带材为磁敏材料,基于纵向驱动方式研制了一种巨磁阻抗(GMI)磁传感器,该磁传感器尺寸小、灵敏度高、频率响应好,±0.05 mT弱磁场范围内灵敏度可达到44.15 V/mT,在高灵敏度小型磁传感器领域具有较大的应用潜力.     

犹豫模糊语言的可能度排序方法

研究犹豫模糊语言集可能度排序方法. 在给出犹豫模糊语言集排序可能度公理的基础上, 给出3 类犹豫模糊语言集可能度排序公式: 第1 类基于RL 的5 个等价犹豫模糊语言可能度排序公式; 第2 类基于WNS的5 个等价犹豫模糊语言可能度排序公式; 第3 类基于概率可信度的犹豫模糊语言可能度比较公式. 通过实例对3 类公式进行对比分析, 给出方法选择的建议, 第3 类方法可以区别差别较小的犹豫模糊语言数, 第1 类方法适于大规模计算中的应用.