基于直接匿名证言的可信平台身份证明协议的设计

直接匿名证言(DAA)既解决了隐私CA的瓶颈问题,又实现对TPM的认证和匿名,是当前可信计算平台身份证明最好的理论解决方案之一,TCG在TPMv1.2中将其作为解决平台身份证明问题的标准.但该标准中仅仅重点描述了DAA实现认证和匿名的原理、复杂运算和关键步骤,并没有给出具体和完整的协议流程.基于DAA基本原理设计了可信平台身份证明的安全协议:AI-DAA.该协议不仅能够实现可信平台身份认证和隐私保护,而且还能保证协议实体之间的双向身份认证和信息传输的机密性.协议安全性分析表明,AI-DAA不仅能防止消息重放攻击,而且还能抵御中间人攻击.     

M/M/n系统在学校科学管理中的应用

本文论述了如何利用标准的M//M/n,建立一个通用的服务系统人员设置方案.通过一个实例,详细说明了该方案的具体应用,解决了提高各校的现代化管理水平中一个很难、且很重要的问题--人员的合理配备.该方案设计合理、计算简便,是一个切实可行的方案,可供各服务行业参考使用.     

超宽带干扰检测避免流程的改进研究

研究了超宽带(UWB)干扰检测避免(DAA)流程,以解决UWB通信系统与现有无线通信系统之间的干扰问题.在已有的DAA流程方案基础上,通过简化参数和对特殊情况的重新考虑,提出了一种改进的DAA流程.仿真结果表明,对比原有DAA流程方案,通过合理选择参数阈值,改进方案在基本保持UWB传输效率的同时,得到了更好的干扰抑制效果,克服了原有方案在突发干扰误判情况下可能出现的长时间干扰问题,并降低了流程整体复杂度.     

基于M2M平台的智能车载终端通信研究

为了加强对终端进行集中专业的管理及保证数据通信的可靠性,提出并实现了智能车载终端与中国移动M2M平台的通信方法,完成了终端与监控中心通过M2M平台透传数据功能及终端支持M2M平台管理功能.根据终端需求,硬件上采用STM32作为终端微控制器,SIM900A作为GPRS通讯模块;软件上区别于直接与监控中心通信,终端要与M2M平台的IP进行连接,实现与M2M平台GPRS数据收发,在此基础上与M2M平台通过WMMP报文数据交互实现通信功能.采用上述方式时,终端与M2M平台信息交互较频繁、信息量较大,因此采用阻塞与非阻塞结合方式进行处理,以减少对终端其他功能执行速度的影响.经测试,终端能够实现所要求的功能,且稳定性好、工作效率高.     

WSN中基于圆锥曲线组合密钥的对等认证

综合分析了无线传感器网络已有认证协议在加密体系、PKC公钥绑定及应对攻击形式等方面的发展趋势和不足,给出引入了位置信息的基于身份的节点对等认证方案.该方案采用在求逆、求阶及求点倍数等操作比椭圆曲线容易的圆锥曲线加密体系.基于身份避免了证书的颁发/更新、存储、索取、验证等计算和通信开销;引入位置信息使得方案更健壮,形式化分析证明该方案是安全的.基于MICAx系列无线传感器网络节点的能耗分析结果表明:方案能很好地适用于资源受限的WSN环境.     

超宽带干扰检测避免流程的改进研究

研究了超宽带(UWB)干扰检测避免(DAA)流程,以解决UWB通信系统与现有无线通信系统之间的干扰问题。在已有的DAA流程方案基础上,通过简化参数和对特殊情况的重新考虑,提出了一种改进的DAA流程。仿真结果表明,对比原有DAA流程方案,通过合理选择参数阈值,改进方案在基本保持UWB传输效率的同时,得到了更好的干扰抑制效果,克服了原有方案在突发干扰误判情况下可能出现的长时间干扰问题,并降低了流程整体复杂度。     

M/M/n系统在学校科学管理中的应用

本文论述了如何利用标准的M／／M／n,建立一个通用的服务系统人员设置方案。通过一个实例,详细说明了该方案的具体应用,解决了提高各校的现代化管理水平中一个很难、且很重要的问题--人员的合理配备。该方案设计合理、计算简便,是一个切实可行的方案,可供各服务行业参考使用。     

对等网中一种基于可信计算的匿名信誉机制

针对对等网(P2P)信誉系统中的匿名问题,基于可信计算技术,使用直接匿名验证(DAA)协议,提出了一种适用于完全分布式P2P信誉系统的匿名机制.分析结果表明,该机制保证了完全分布式P2P信誉系统中所有节点的匿名,具有较高的安全性和良好的抵抗恶意节点行为的能力.     

M2M业务批量到达排队系统性能分析

针对M2M(Machine to Machine)业务的大规模应用给当前移动通信网络的QoS带来的冲击和影响问题,采用IBP(Interrupt Bernoulli Process)建模M2M业务的到达过程,业
务以批量的形式到达,建立并求解了离散时间系统排队模型IBP/Geom/1/K。区别于传统的IBP模型,该模型每次到达的不是一个,而是一批。采用具有不同突发度的数学模型表征M2M业务每批到达的数量,在概率空间上求解队长的稳态概率,进而得到系统的吞吐量和丢包率等性能指标,并与相同排队强度下M2M业务单个到达时的性能进行对比。实验结果表明,每批到达包数的突发度越大,系统的性能越差;在相同排队强度下,批量到达排队模型的性能对比单个到达情况下的系统性能差;对时延容忍的M2M小数据业务,以时延增加为代价增大缓存可以有效提高吞吐量、降低阻塞率。     

会话视频电话协议3G-324M

针对3G-324M协议在多媒体移动通信中的应用,在给出3G-324M协议提出背景的基础上全面地讨论了3G-324M协议的内部体系结构,包括3G-324M协议的会话操作过程,H.223复用协议,H 245控制协议及视音频编码协议等,为视频电话协议的设计及实现提供有力的理论参考.指出了3G-324M协议将为个人通信带来革命性发展.     

可修排队系统M／M（M／M）／1的几何过程模型

研究了服务台可修的Ｍ／Ｍ（Ｍ／１）／１排队系统，在服务台修复非新时，利用几何过程和向量Ｍａｒｋｏｖ过程，并借助于经典排队系统Ｍ／Ｍ／１的忙期，求得了该系统的一些排队指标及服务台的可靠性指标。     

M/M/C排队模型在理发服务行业中的应用

将随机服务系统中M/M/C排队模型应用到理发服务行业.笔者对重庆南岸区某理发店进行了现场调查,以10 min为一个调查单位调查顾客到达数,统计了72个调查单位的数据,又随机调查了为113名顾客服务的时间,得到了单位时间内到达的顾客数n和为每位顾客服务的时间t,然后利用χ2拟合检验,得到单位时间的顾客到达数服从Possion分布,服务时间服从负指数分布,从而建立起M/M/C等待制FCFS排队模型,通过计算和分析M/M/C排队模型的主要指标,得到该理发店宜聘用的最佳理发师数.本文对随机服务系统中的M/M/C排队模型在各行业中的应用具有示范意义.     

M81

正庞大美丽的M81,大小和我们的银河系相近,同时也是地球天空中最明亮的星系之一。这个位在北天大熊座方向的宏伟螺旋星系,亦名为NGC 3031,另外也因它的18世纪发现者而有波德星系的称号。这幅清晰细致的望远镜影像,呈现了M81明亮泛黄的核心、泛蓝的螺旋臂、粉红的恒星形成区和蜿蜒的尘埃带。在影像的中左方,可见到有些尘埃带与其他旋臂结构逆向而行,穿过了星系盘。这些行为怪异的尘埃带,可能是M81与它的较小的、位于这幅影像之外的邻近星系M82,     

M{2,3},M{2,4}和M{2,3,4}的有效刻画（英文）

集合A到集合B上的一个一一映射f称为B的一个有效刻画。本文提出的选逆象指标法(SIIIM)给出集A_1={α:α=(I_s,η)~T∈C_s~(n×s)}到象集B_1={β:β=α(α~*α)~(-1)α~*,α∈A_1}的一个有效刻画公式,并证明了B_1是I{2,3}_s的稠密子集,且I{2,3}_s的每个元素都与B_1的某个元素置换相似,利用上述结果,分别建立了I{2,3}和长方阵广义逆矩阵类M{2,3}.的有效刻画公式。再利用等式I{2,3}_s=I{2,4}_s=I{2,3,4}_s,进一步获得了M{2,4},M{2,3,4}的有效刻画公式.算法3.1可用于无重复地计算I{2,3}_s的任一个元素.     

T型非抢占优先权M/M/1排队系统

为了进一步优化认知无线网频谱的接入,在将T作为时间参数引入排队系统的基础上,提出了一种新的T型非抢占优先权排队策略,并将其引入M/M/1排队模型中,系统分析并推导出顾客在系统内的平均等待时间、平均逗留时间以及系统的平均队长.最后通过Matlab软件对顾客平均等待时间进行了仿真模拟.     

多重工作休假的M/M/c排队系统

在已研究的多服务台休假排队基础上,考虑到无线通信网络中服务台可以从节能状态唤醒到正常状态的机制,建立了带多重工作休假的M/M/c排队系统,在休假期间所有服务员并未完全停止工作而是以较慢的速率服务顾客,称之为同步工作休假,并且是同步N-策略多重工作休假规则,同时引入了另一种休假策略:休假可中止.采用拟生灭过程和矩阵几何解的方法对该模型进行了研究,得到了系统的稳态队长分布,表明了在服务台全忙条件下的条件随机分解.     

标准的M/M/C优于C个标准M/M/1排队系统的证明

本文证明了到达率相同,服务率也相同时,标准M/M/C排队系统优于C个标准M/M/1排队系统.     

具有两种不同服务的M/G（MM）/1可修重试排队系统

考虑有两种不同服务的M/G(M/M)/1可修重试排队系统,假定此系统只有队首的顾客允许重试,服务台可为顾客提两种服务,每个顾客在接受完服务台提供的第一种服务后,要么以概率θ继续接受第二种服务,要么以概率1-θ进入重试区域,并且服务台在服务过程中可能损坏,通过补充变量法得到系统的队长和可靠性指标.     

基于累积前景理论的M/M/1排队模型

基于Kahneman和Tversky提出的累积前景理论(Cumulative Prospect Theory,简称CPT),分析了M/M/1排队模型中顾客的最优到达率问题,此模型包含参照点、S-型价值函数、损失厌恶以及概率的权重函数.分析了模型的适定性问题,并在适定性的基础上对顾客最优到达率进行了分析.基于累积前景理论,商家服务速率越高,最优顾客到达率越高.商品价格和顾客的边际等待成本对最优顾客到达率的影响与服务收益对最优到达率的影响相反.在数值案例中,各要素对顾客最优到达率的影响与期望效用理论(Expected Utility Theory,简称EU)的分析结果是类似的.并指出累积前景理论求出的顾客最优到达率总是比期望效用理论下求出的顾客最优到达率低.     

对M/M/1抢占优先权排队的一些注记

讨论M/M/1抢占优先权排队模型,该模型可以用一个具有可数位相的拟生灭过程来描述.对该过程,得到了其率算子元素的母函数,在此基础上,还得到了联合平稳分布算子几何解的母函数形式.另外,给出了平稳状态时低优先权顾客数分布的概率母函数,结果表明它不是一个有理函数.