基于时间Petri网模型的缓冲优先调度策略稳定性分析

描述了一种时间Petri网模型和方法,它能对具有缓冲优先调度可重入生产线系统进 行稳定性分析.基于系统模型标识的动态变化,以缓冲界限概念作为稳定性分析判据.这种方法 可用于具有固定优先次序调度策略的稳定性分析.推导了基本时间Petri网结构的稳定特性以 及具有正反馈环系统稳定的充分条件.这些研究结果可以用于多种实际系统的稳定性分析.     

物联网监测拓扑可靠性设计与优化分析

物联网结合各种主干传输很适合远程实时监测,但随着监测范围的不断扩大与应用的不断普及,监测系统中断所造成的代价和影响与日俱增.系统的拓扑可靠性是保障远程监测系统可靠的一个重要方面,以三江源大面积物联网远程生态监测中需要设立监测区域的实际需求为背景,提出了一种基于均匀分簇的可扩展的模块化传感器节点部署方法,对设置传感器的拓扑结构层数、监测面积和监测节点数等参数的相互关系给出了量化的计算公式,针对不稳定的信息传输环境给出了保障监测区域和远程主干拓扑可靠性的有效机制及量化分析方法,在此基础上,重点给出了关键传输节点（簇头节点和协调器）拓扑可靠性的动态优化策略.理论分析和仿真结果表明：该机制具有数据融合均匀、有效节能和灵活可扩展等特点,对提高物联网远程监测的可靠性有显著效果;同时,所得出的相关理论对诸如农业、牧业和林业等相关行业的偏远大面积物联网远程实时监测的拓扑可靠性保障具有重要的理论和实际应用参考价值.     

一种带约束的多目标服务质量路由算法

多约束服务质量(QoS)路由是要求在多个约束条件下计算满足所有独立限制条件的可行路径．将这种NPC问题转化为一种带约束条件的多目标优化问题，根据多目标遗传算法的智能优化原理，提出一种多目标QoS路由算法来产生一组最优非劣路由．理论分析和实验结果表明，使用带约束的多目标遗传算法是解决多约束QoS路由的有效途径，能对提高网络性能起到重要作用．     

基于随机博弈模型的网络攻防量化分析方法

针对日益普遍和多样的网络攻击和破坏行为,如何利用模拟真实网络的虚拟环境,实现对网络各种攻防过程的实验推演,并分析评价网络系统安全性,已逐渐成为热点研究方向.对此文中提出了采用随机博弈模型的网络攻防实验整体架构,提出了由网络连接关系、脆弱性信息等输入数据到网络攻防博弈模型的快速建模方法,基于最终生成的攻防模型可以对目标网络的攻击成功率、平均攻击时间、脆弱节点以及潜在攻击路径等方面进行安全分析与评价. 最后,应用研究所得的网络攻防模型与分析方法对一个典型的企业网络攻防过程进行分析和推演. 结果表明了模型和分析方法的有效性.     

基于云模式的媒体取证服务体系研究

根据现有媒体取证系统所面临的问题,结合云计算的思想,提出了基于云模式的媒体取证服务体系。针对大规模媒体取证服务所面临的异构性、可扩展性和效率问题等几大挑战,利用层次结构模型方法,创造性地提出了三层媒体取证服务体系架构模型,详细阐述了该模型所步及的关键技术,即资源虚拟化、系统任务并行化和自适应能力,最后给出了应用实例及分析。     

实时数据组播调度动态带宽分配方案

针对多通道组播调度中数据分配不均带来的带宽浪费问题,提出3种动态带宽分配方案。根据数据项平均长度或数量改变分配优先级,对不同方案进行性能分析。实验表明,动态分配比静态分配最多可提高43%的带宽利用率,其中平均数据项长度最短优先分配最好。     

梁侧锚固钢板加固混凝土梁受剪性能试验

为了研究梁侧锚固钢板加固混凝土梁（BSP梁）的受剪性能,对1根对比梁和4根BSP梁开展四点弯曲受剪试验.考察各试件的破坏模式、初始开裂荷载、裂缝形态、荷载-位移关系、钢筋和钢板应变等受力特性,分析试件受剪承载力、刚度、延性、钢筋和钢板应变与钢板宽度及锚栓间距之间的关系,揭示了BSP梁的受力机制.试验结果表明,采用梁侧锚固钢板法不仅能够有效地提高混凝土梁的受剪承载力,还能够增大刚度,改善延性,限制裂缝开展并使裂缝分布均匀,降低箍筋及纵筋应变,提升梁的受剪甚至受弯性能.     

概率逻辑可能世界的Petri网模型

本文研究概率逻辑中推导可能世界的Ｐｅｒｔｉ模型，该模型为可能世界的产生提供有效算法，这个算法被证明是正确的，它可以产生所有的一致的可能世界，文章中还分析了算法的复杂性，通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具。     

基于Contourlet变换的抗几何攻击数字水印算法

提出一种新的基于Contourlet变换的抗几何攻击水印算法。利用图像Contourlet系数在不同分辨率下的父子关系提出“空间方向重要树”（SDST）的概念,进而确定重要系数并嵌入水印信息;利用新的仿归一化方法,通过计算并比较原始图像（水印已嵌入）与接收图像（受到攻击后）的特征量校正图像,达到抵抗几何攻击的目的。结果...