幂和不等式与Bowen猜想

获得了等幕和的几个新的不等式,并利用所得结果对连续丢番图方程进行了讨论,得到了埃斯特猜想与波文猜想的新结果。     

经典Ramsey数R（5,23）和R（5,24）的新下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的新下界：Ｒ（５,２３）≥４２２,Ｒ（５,２４）≥４３４。     

马氏环境中马氏链于小柱集上之概率的指数估计

本文给出了马氏随机环境中马氏链于小柱集上之概率的一个指数估计式，其估计指数即为熵，这一结果拓广了平稳遍历马氏链的相应结果。     

基于无监督样本关系嵌入模型的疟疾识别算法

目的 在不依赖真实标签的情况下利用图像样本关系识别被疟疾寄生虫感染的细胞。方法 采用一种能够提取样本间关系的无监督疟疾识别方法,并提出了一个由3个模块组成的样本关系注意力嵌入(Sample Correlation Attention Embedding, SCAE)模型。特征和关系初始化模块用于将原始图像映射为特征向量,并建立疟疾细胞之间的初始相关性矩阵。图注意力编码器模块通过一个带有注意力机制和图重构技术的图卷积网络进一步学习样本间特征和他们的关系信息。深度特征聚类模块用来预测细胞是否被疟疾感染。结果 将SCAE模型与一些最新的无监督算法进行了比较,以验证其在疟原虫识别任务中的有效性。结果表明,SCAE算法可达到94.8%的准确率、86.8%的标准化互信息(NMI)指标和84.7%的调整互信息(AMI)指标。结论 通过对SCAE模型评估,证明了该方法具有强大的疟疾识别能力,是当前最优的无监督疟疾识别方法。     

USBCAN总线转换设备在Stateflow下的建模和仿真

USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设备运行状态进行仿真验证,实现了USBCAN总线转换设备运行状态的验证,提出了一种新的总线转换设备的仿真和验证方法。     

基于数据场联合决策图改进的GMM聚类

针对传统聚类方法在处理复杂电磁环境下的雷达信号时存在的聚类质量低、参数需要人为设置、易受孤立噪声脉冲干扰等问题, 提出一种基于数据场联合决策图改进的高斯混合模型(Gaussian mixture model, GMM)聚类算法。将数据场理论应用于数据对象密集程度的表征, 生成势能距离决策图, 进而自动实现聚类数目和中心点的选择, 最后结合GMM聚类实现对数据对象的聚类划分。仿真实验结果表明, 在脉冲到达角、脉宽、载频等参数存在较大抖动, 测量误差以及存在孤立噪声脉冲干扰和脉冲丢失时, 本文方法相较于现有典型分类方法具有更好的分选效果。     

基于信息素评价的卫星数传调度蚁群算法

针对具有严格时间窗口和资源限制的复杂约束卫星数传调度问题,建立了基于蚁群算法的解构造图模型,提出了基于信息素局部评价方法、求和评价方法,相对评价方法的概率决策模型,设计了具有信息素全局更新策略的算法流程.仿真表明,基于不同信息素评价方法的蚁群算法能够取得较好效果,信息素相对评价方法在收敛速度和解寻优能力上都好于其他两种方法,而信息素求和评价方法相对较差.     

基于梯度向量直方图的行人检测

针对Adaboost行人检测训练非常耗时的问题,在梯度方向直方图(Histograns of Oriented Gradiant,HOG)特征计算上引入积分向量图,同时对于作为AdaBoost学习过程中的分类器--线性SVM,应用序列最小优化(Seguential Minimal Optimigation,SMO)来解决其二次规划(QP)问题.实验结果表明,通过这两个方面的改进,不仅行人检测训练检测速度得到了提升,而且取得了令人满意的检测效果.     

基于系统动力学的西宁市装配式建筑政策模拟

为促进西宁市装配式建筑的进一步发展,本文采用文献研究和专家访谈的方法,筛选出影响西宁市装配式建筑发展的因素,使用帕累托图分析法确定主要影响因素,运用Vensim软件构建西宁市装配式建筑发展的系统动力学模型,并进行政策调控模拟分析.结果 表明,经济因素和政策因素是影响西宁市装配式建筑发展的主要因素,模拟结果显示经济指标降...