一种改进的通信有限状态机的错误诊断方法

目前对于通信状态机的研究已经很广泛,但对于通信状态机的错误诊断方法的研究不多,已有的问题模型都是输出错误和转换错误。为了更好地将错误诊断与实际相结合,本文在一般的通信有限状态机模型上,新增了一种不可执行的情况,并在传统的问题模型中新增一种转换未执行错误的问题模型。在假设单个错误的情况下,提出了一整套新的错误诊断算法,算法通过分析症状信息进行分步检测,并利用可疑转换下一步输入输出和用例的转换序列等信息来定位出单个错误。最后,文中给出一个实例,详细描述了算法的诊断过程。     

云计算能耗资源调度优化关键技术研究

针对当前云计算能耗资源浪费严重的现象,本文对云计算在资源调度过程产生的能耗进行了详细的分析。对现有云计算能耗资源调度模型进行了深入的研究,对云计算能耗资源调度的优化算法进行了合理的规划与总结,对现有算法的优势与不足进行了深刻的探讨。并在此基础上,提出及设计了一种分层的云计算能耗资源调度优化的模型。模型分别对每层进行了详细研究,定义了相关层的关键因子,且分析了每一层次之间的关系。最后对全文进行了总结并对未来提出了展望。     

动态部署与分块存储策略的数据恢复模型

基于分布式编码存储和多副本策略,及基于分块存储和动态恢复技术可以有效提升数据的可靠性。而采用特定策略将编码存储、分块冗余存储、动态恢复技术有机融合则可以进一步提升数据的可靠性,同时目前缺少有效的模型来度量基于这种策略的数据可靠性。本文提出了多个数据恢复模型(数据失效概率模型),模型考虑了存储节点数、节点可靠性、数据分块数、网络状态、恢复速度等因素。模拟分析显示在特定的存储策略和网络环境下,模型能有效输出数据可靠性,与传统的完全(分块)副本存储、编码存储进行了比较,模型具有更高的可靠性。分析了正常和异常网络环境,增强了模型的可用性。     

数据网格资源选择优化模型

为了满足网格数据服务的可靠性和传输时间约束,同时兼顾网络负载及节点资源的有效利用,提出了一种网格数据资源选择优化模型,该模型以网络负载和资源代价为优化目标函数,以节点的传输速度、可靠性、传输距离、网络状态、客户端带宽和容忍度阈值为输入,进而决策出参与服务的最优节点集合,同时模型中设定了权重因子来均衡网络负载与资源代价....     

种P2P分布式系统高可靠数据恢复模型

叉存储和并行传输给出的数据失效模型，虽然达到了可靠存储、快速数据恢复的目标，但是其假定了下载速度随着并行传输数的增加呈现线性增长，其约束过于理想.提出一种基于并行传输策略、泊松分布理论和数据交换中心机制的数据恢复模型，模型引入非线性速度和函数，取消了对物理网络并行传输速度的假定与约束.从理论上分析了各种参数对数据恢复模型性能的影响.实验结果与理论分析一致，模型在使用了与双副本相同存储空间和网络流量影响一致的前提下，有效地降低了数据的失效概率.     

活动图并发语义代码自动生成算法设计

针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法．该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成．实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性．     

基于概率潜在语义分析模型的自动答案选择

问答社区中候选答案过多会增加提问用户选择最佳答案的负担。为此,提出一种基于概率潜在语义分析(PLSA)模型的自动答案选择方法。在主题建模思想的基础上,利用问答社区中的用户资料,以PLSA模型表达问答社区中的用户兴趣分布,依据答案和问题之间的主题匹配度对候选答案进行排序。实验结果表明,该方法可有效挖掘用户兴趣,提高答案选择的准确率。     

基于学生软件开发团队的沟通机制研究

介绍软件开发中团队的特点以及管理方式,分析软件开发过程中团队在沟通过程中存在的问题,指出应该如何通过建立和规范软件开发团队的沟通机制促进团队内部沟通,提高软件开发项目的质量和效率,同时对学生团队在软件开发中出现的一些问题提出见解。