一种移动即时通讯消息重传改进机制

为应对移动即时通讯(instant messaging,IM)消息频繁重传给服务器和网络造成的负荷,基于随机过程的更新理论,提出移动即时通讯消息重传模型来研究消息重传性能.仿真实验结果表明,平均消息重传数为1.22次,与重传模型分析结果1.25次非常接近,取得比同类型模型更好的描述能力.基于建模分析结果提出一种移动即时通讯消息重传改进机制,采用固定重传间隔,设置重传计数器控制最大尝试次数,相关仿真结果表明该机制能有效减少消息重传次数,同时又不显著增加消息传递时间.最后利用概率论中独立同分布的中心极限定理分析消息重传机制如何影响移动即时通讯消息传递的总体服务质量,并给出调整重传间隔参数等服务优化建议.     

混凝土坝浇筑过程建模及绘制方法

随着虚拟现实技术的发展,三维仿真系统作为一种全新角度的管理方法和技术手段在工程进度管理中起到越来越重要的作用。提出了一种对混凝土坝浇筑过程进行建模以及仿真的方法。对大坝整体模型进行三维裁剪来得到不同浇筑时期大坝的模型,不同于以往工程仿真中对不同时期分别进行建模的方法。并基于Shader Model 4.0构建了实时绘制框架,提高仿真效率。基于上述方法设计实现了一个混凝土坝浇筑过程仿真系统。仿真结果验证了提出的方法可以满足工程需要。     

基于HTCP-net的multi-agent调度系统建模与仿真

从企业收集、监测互联网信息的实际需求出发,提出了基于multi-agent的分布式环境扫描系统的结构模型;同时,为满足系统重复采集更新信息的特殊需要,借鉴经典的Min-min启发式调度算法,设计了循环任务最早完成时间调度算法。依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN tools建立了调度系统模型。对模型进行仿真,得到任务平均等待时间和各agent等待队列平均长度,与轮转调度和最短等待队列调度模型仿真结果的比较表明,所建立的调度模型既提高了企业用户满意度,又有效满足了系统周期性重复访问网站的任务需求。     

一种基于对偶与逆序组合算子的遗传算法

针对遗传算法易陷入局部最优的问题,模拟生物基因的对偶性和有序性,提出对偶与逆序组合算子,与具有良好全局搜索模式的遗传算子优化组合应用,构造了一种基于对偶与逆序组合算子的遗传算法.从理论上证明了算法的收敛性.仿真实验表明,该算法具有更好的寻优性能,对应用串型编码遗传算法解决非线性优化问题有很好的借鉴意义.     

网格环境下基于QoS的工作流协商模型设计

在网格环境中引入服务技术的典型应用工作流技术,为解决虚拟组织之间的协同工作提供一种全新的框架.如何在网格环境下满足工作流应用对服务质量支持的需要是网格技术与服务技术的关键问题.文中基于现有的工作流框架,按照WSDL标准定义消息类型并建立状态转换图机制,提出在网格环境下基于服务质量建立一个工作流协商模型,并设计该模型的体系结构及4个典型模块.在此模型基础上,实现对用户要求进行评估、并把评估结果返回给用户,从而使得工作流的执行可以紧密围绕用户的要求进行,提高服务选择的准确率,有效的避免服务失效的现象.     

高速无扭精轧机组设备故障诊断

论述了对高速无扭精轧机组压帽,保护套和小伞齿轴故障诊断,通过实例说明：对于高度机械化、自动化、连续化生产的设备能通过部件基频上振动峰值的变化发现设备故障。     

基于可信计算的车联网云用户远程证明

为了防止恶意用户对车联网云平台进行欺骗,提出通过远程证明对用户属性和可信平台状态进行验证的方案.一方面,采用模糊属性签名方案可以确保终端的匿名性,避免用户身份及隐私信息泄露;另一方面,采用本方案可利用终端的可信模块及可信链传递机制,从而确保硬件、固件及软件的可信性和时效性.此外,在远程证明方案中,向车联网云平台的管理模块申请前用户先提供其行为预测方程,并且云管理模块将一段时间后的行为特征值组与预测方程进行比对,由此确定用户运行程序的动态可信性.采用该方案可有效实现对车联网云用户的远程证明.     

高安全级信息系统中的特权控制机制及其模型研究

为满足高安全级信息系统最小特权需求,提出一种强制访问控制模型EPMM。该模型采用三权分立机制对系统中的特权管理进行改进,将原有的超级用户划分为系统管理员、安全管理员和审计管理员,将其中任一个管理员的权限控制在其职责范围内。建立了模型公理系统并对主要定理进行了证明,使非法用户或异常操作对系统所造成的损失降为最小。     

EGA:基于Agent的地震网格

地震网格聚集和利用互联网上异构及地理分布的结构工程实验资源,为待建市政项目的结构设计提供协同工作环境。提出基于代理的地震网格系统框架,介绍了网格中间件中最重要的监控代理、资源代理、调度代理和作业代理的功能与设计。最后分析几种地震网格的工作模式。     

开放式网络信任计算中多影响因子的分析

信任模型是解决开放式网络环境中信任问题的有效方式,信任度量是可信管理中亟待解决的关键问题。根据信任模型设计原则,针对信任计算中动态适应能力和信任有效聚合不足等问题,在提出的信任计算模型中引入奖惩因子、推荐实体的评价可信度和平衡权重等多影响因子来提高信任的可靠程度和精度,并给出了各影响因子的设计。最后,通过Matlab软件仿真实现了奖惩函数和平衡权重的选取分析。仿真实验结果表明,该信任计算模型有较好的聚合速度。