标准模型下可否认的群密钥协商协议

给出了一个标准模型下可证明安全和可证明可否认性的高效的群密钥协商协议,并基于DDH假设和伪随机函数集的存在性假设一同给出了其安全证明和可否认性证明.本文的安全分析对于研究群密钥协商协议在各种特殊的应用环境下所需要的各种不同安全特性有所帮助,其证明方法也能够对其他密钥协商协议的安全证明有启发性的作用.     

多级模糊综合评判在高校教师考评中的应用

介绍了模糊综合评判的数学模型.并将二级模糊综合评判用于高校教师的考评,为客观地评价教师提供了一种定量的、科学的方法.     

A LAW OF ITERATED LOGARITHM FOR THE MLE IN A RANDOM CENSORING MODEL WITH INCOMPLETE INFORMATION

In this article, a law of iterated logarithm for the maximum likelihood estimator in a random censoring model with incomplete information under certain regular conditions is obtained.     

基于几何特征的三维参数化轮胎花纹模型检索

三维轮胎花纹模型检索是计算机辅助花纹设计的关键。提出了一种基于非精确邻接图匹配和Cluster Tree的检索方法，利用三维花纹设计参数和几何特征提高检索效率。将B-rep格式的轮胎花纹模型转化为属性邻接图，通过计算边相容度，对两个属性邻接图进行非精确匹配，计算其图相似度；通过设计参数对花纹数据库进行空间划分和递归聚类，构建以Cluster Tree为子树的索引结构，借助几何特征提升拓扑结构相近的花纹模型的区分度。将方法应用于自主开发的三维花纹设计软件平台，结果显示，检索精度和检索效率均较现有通用CAD检索模型高。     

网络的超星分形生长模型

随着信息产业国际化趋势的发展，广域网理论的研究显得越来越重要，中提出了网络的分形生长结构模型和生长方法，从全新的角度讨论广域网的生长、发展的过程。该结构模型将是描述互连广域的重要工具。     

航天探测器CO2两相主动热控系统试验及分析

本文设计了一种以机械泵驱动的CO2两相散热系统,用于高热流密度航天探测器的高精度温度控制.分别对其稳态特性包括散热热流密度、流动阻力特性和动态性能包括启动特性、控温特性试验研究发现:机械泵CO2两相控温系统控温精度不低于1.5℃,启动性能和控温实时性能良好.     

复合二项过程风险模型的精细大偏差及有限时间破产概率

讨论基于客户到来的复合二项过程风险模型.在该风险模型中,假设索赔额序列是独立同分布的重尾随机变量序列,不同保单发生实际索赔的概率可以不同,则在索赔额服从ERV的条件下,得到了损失过程的精细大偏差;进一步地,得到了有限时间破产概率的Lundberg极限结果.     

SPH分析中的齿轮建模方法研究

对利用光滑粒子动力学(SPH-Smoothed Particle Hydrodynanlics)方法进行轮齿动态力学数值分析中的齿轮建模方法进行了研究.确定了齿轮齿根过渡曲线以及其他部分的参数方程,并根据所确定的参数方程建立了三维齿轮离散粒子模型的数学模型.编制了划分齿轮整体及局部离散粒子的SPH前处理程序.并对划分后齿轮离散粒子与齿轮理论轮廓之间进行了误差分析.分析结果表明,利用此办法可正确划分齿轮的SPH离散化粒子,是一种较好的前处理方法.     

合约决策条件下的一种二层报童问题模型

考虑到顾客需求和市场价格具有高度的不确定性，供应商和零售商为了回避风险而达到最大的期望利润，双方通常可以采用签订合约的方式来进行决策。为此，我们建立了以供应商为领导层、零售商为从属层的具有合约决策的一个二层报童模型。供应商和零售商可以依据该模型的最优解通过谈判协商确定合约决策变量值以获取较高的期望利润。     

随机活动工期下考虑缓冲成本及效用的融资费用最小化项目调度优化研究

巨额融资所带来的高昂融资费用，推高承包商的总成本，严重挤压其利润空间。承包商迫切需要对项目现金流进行优化，提高资金配置效率，降低融资费用。此外，为了应对不确定性干扰，承包商通常花费事前成本为活动添加时间缓冲，以保证进度计划稳定性，以减少事后变更和调整费用。因此，本文研究随机活动工期下考虑缓冲成本及效用的融资费用最小化项目调度优化研究，旨在为承包商生成具有一定鲁棒性的融资费用最小化基准进度。首先，界定研究问题并构建优化模型，在此考虑为活动插入时间缓冲所带来的成本及效用。其次，设计VNTS混合算法对模型进行求解，提炼相关性质以提高算法搜索效率，并在算例集合上进行算法测试。最后，通过案例对本文研究进行说明。研究结果可以为随机活动工期下承包商控制融资费用、提高项目收益，提供定量化决策支持。