幂和不等式与Bowen猜想

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

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

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

新的广义动态秘密分享方案

基于单向函数，提出了一个可使用于任意接入结构的防欺诈的广义动态秘密分享方案．它能够灵活地更新秘密和增删成员，且具有较少的信息存储量和通信量。     

股东代表诉讼若干法律问题分析

股东代表诉讼的法理基础有实体意义的诉权和程序意义的诉权两个层面，英美法系与大陆法系在该制度的设计上存在若干差异，对这些差异的考量无疑有助于建立我国公司法中的股东代表诉讼制度。     

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

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

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

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

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

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

广义试验总时间变换序的几个性质

研究了广义试验总时间(generalized total time on test,简记为GTTT)变换序与及其寿命分布类IFR(increasing failure rate)、DFR(decreasing failure rate)的关系;获得了广义试验总时间变换序关于最小样本的封闭性与关于最大样本的逆封闭性．