邮件系统中的兴趣漂移混合模型

针对如何在邮件系统中进行用户兴趣模型更新的问题,提出了一种兴趣漂移方法。根据用户长期兴趣和短期兴趣的不同特点,对短期兴趣模型采用时间窗口方法,对长期兴趣模型采用遗忘函数方法进行模型更新。实验结果表明,短期兴趣模型能很好地预测用户近期的兴趣,长期兴趣模型对较长时间段内用户兴趣的预测更稳定。采用混合模型能更好地描述用户兴趣。     

NTRU参数选择方法的研究

NTRU算法是一种基于环的公开密钥体制,与RSA和ECC等典型的加密算法相比,在安全性和速度方面具有明显的优势。分析目前比较成熟的攻击NTRU方法,从安全的角度,根据不同的应用场合,给出NTRU加密参数选择方法,减少选择NTRU参数的盲目性,达到提高算法的执行速度、减少占用系统资源的目的。     

数据丢失情况下的最小二乘参数辨识算法

现有系统参数辨识方法大多是建立在输入输出数据可以完全测量和完全获取的基础上,而在实际系统中,由于传感器故障或网络传输机构故障,使得数据丢失现象经常发生。研究一类线性系统在输入或输出数据丢失情况下的系统辨识问题,并将数据丢失现象描述为随机伯努利序列,在此基础上提出新的辨识算法来估计数据丢失情况下系统的参数。最后,通过仿真示例验证所提算法对数据丢失的影响。结果表明,所提出的算法相较于递推最小二乘法有更好的收敛性。     

基于Isight与Tosca的抗侧滚扭杆装置优化分析

基于Isight和Tosca软件对抗侧滚扭杆装置轻量化设计问题进行优化分析.采用Isight软件集成Abaqus软件对扭杆轴进行结构参数优化分析;采用Tosca软件集成Abaqus软件和fe-safe软件对扭转臂进行结构拓扑优化分析,研究扭杆轴与扭转臂的轻量化设计方法.     

基于迁移系统分析的线性混成系统安全验证

混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。     

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

蔡氏电路方程的离散化与数字电路实现*

本文提出了一种蔡氏电路方程的数字电路实现方法。利用欧拉算法、改进型欧拉算法和四阶龙格-库塔算法进行离散化近似处理,分别得到了一般混沌系统的离散迭代模型,由此导出了蔡氏电路方程在不同近似精度下的离散迭代模型。基于微控制器实现的混沌系统嵌入式数字集成平台,生成了所期望的蔡氏混沌信号,并比较了基于不同算法的蔡氏电路方程的数字电路实现的性能。数值仿真和数字电路实验结果与蔡氏混沌电路结果一致,验证了本文数字电路实现方法的可行性。     

一种可验证和高效的多秘密共享门限方案

已公开的门限多秘密共享方案大都是利用RSA,ECC等公钥体制来提高安全性,其占用的资源较多,速度慢。提出了一种新的多秘密共享(t, n)门限方案,该方案是在shamir秘密共享方案的基础上,利用拉格朗日插值多项式方法进行秘密分割和重构,利用NTUR算法和单向散列函数进行数据合法性验证。方案设计简单、计算量小、存储量少,能有效检测出各种欺骗、伪造行为,以确保恢复的秘密是安全和可信的。     

Q-learning算法及其在囚徒困境问题中的实现

Ｑ－ｌｅａｒｎｉｎｇ是一种优良的强化学习算法。该文首先阐述了Ｑ－ｌｅａｒｎｉｎｇ的基本学习机制,然后以囚徒困境问题为背景,分析、对比Ｔ Ｑ－ｌｅａｒｎｉｎｇ算法与ＴＦＴ算法,验证了 Ｑ－ｌｅａｒｎｉｎｇ算法的优良特性。     

航天器姿态跟踪系统的自适应滑模控制

针对存在不确定惯量矩阵和外干扰的刚体航天器姿态跟踪系统,提出了一种自适应滑模控制方法。首先建立了姿态跟踪误差动力学方程,并对刚体航天器跟踪误差动力学定义了滑模,设计了自适应滑模控制律,该控制律的优点在于可以估计系统不确定块,消除了传统滑模控制中对不确定界的要求。Lyapunov分析表明了提出的自适应滑模控制器确保闭环系统取得渐近稳定性。仿真结果验证了提出的控制策略的有效性。