摘要：随着网络的不断发展 ,Internet的正常运行变得越来越重要 .基于端到端行为测量特点和主动测量方法 ,开发了一个分布式大型网络性能监测和在线分析系统———NIPMAS ,该系统实现了对大型网络的性能管理和初步的故障管理 .主要介绍NIPMAS采用的关键技术 :(1)主动测量应用到网络性能监测系统的方法 ;(2 )提出网络监测模型LNM和层次化网络概念 ,将GIS有效地应用到了NIPMAS中 ;(3 )提出一种大型网络的故障定位方法 .

摘要：在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.

摘要：随着集成电路规模越来越大,系统的功能日益复杂,功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路,传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度,提高验证效率和处理大规模电路的能力,通常需要构造两个被验证电路的存储元素映射之间的映射关系,从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展,讨论了基于存储元素映射的时序电路等价检验方法的基本思想,并介绍了若干具有代表性的存储元素映射方法,展望了集成电路等价检验方法的研究发展方向。

摘要：目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的规范语言.采用CCSL时钟模型对事件链模型中的时间约束进行分析与仿真;设计了事件链模型到时钟模型的转换规则,将事件链中的时间约束表达为时钟模型的时间约束;使用CCSL仿真工具Time Square对转换得到的时钟模型进行仿真分析,验证事件链是否满足相应的时间约束.

摘要：广泛且持久的业务运作造就了业务大数据背景,大量的业务运作历史记录信息可被利用,互联网时期企业唾手可得的运行日志和参考流程模型给当今企业流程建模带来了新的机遇.如何利用这些机遇尚缺乏有效的支撑技术,流程挖掘和流程检索仅可靠单一的来源、静态的标准、全局化粒度缓解上述矛盾,且不能体现流程设计这种活动创造性本质.提出一种用平均感知机综合历史执行日志和参考模型片段的设计时模型推荐方法.其特点是兼顾了日志数据和流程模型,并将设计这种人类所特有的创造性和对现实环境的适应性结合进流程建模过程中.在三个不同类型的数据集上的实验表明,本方法具有更好的人类行为贴近度:真实的生物信息学实验流程(实验准确度53.69%)、相关工作对比数据集(+42.35%)、Pro M仿真工具PLG生成的大规模数据(比只考虑流程时+9.46%,比只考虑日志时+5.94%),证实了通过抽取多重特征的平均感知机的流程设计时即时推荐技术可有效地辅助流程业务建模.

摘要：对社交网络的信息传播进行时间序列聚类是研究其规律非常有效的方法.目前,相关的工作特别是针对国内社交网络的时间序列聚类研究,还不够深入.对时间序列聚类算法K-SC算法进行了针对性的改进,提出的T-SC算法借鉴了凝聚层次聚类的思想解决了聚类个数设置的难题.对人人网、腾讯微博和百度贴吧三个国内非常有代表性的社交网络进行了大量的测量和分析工作,并运用T-SC算法对测量数据进行了聚类分析.研究发现了不同社交网络典型而又互不相同的传播模式:人人网的视频分享呈现明显的周期性,每个周期内的分享传播存在一个主流的模式,该模式与一天之中不同时段人人网的在线人数变化趋势非常相近;腾讯微博的转发传播呈现爆发性,绝大多数的转发出现在微博发出后的48小时之内,其主流的传播模式是微博发出后大量传播并迅速消失;百度贴吧帖子的生命期很长,但是没有一个占主导地位的传播模式.本文创新性的将聚类分析的结果应用于信息传播的预测,根据已知的传播时间序列,得到未来信息传播行为在聚类层面的预测,为解决传播预测的难题提供了新的思路.

摘要：提出一种新颖的P2P文件共享系统的动力性学模型.在模型中定义了描述节点之间相互作用关系的状态量.同时,分析了P2P文件共享系统中最重要的算法,如节点选择算法及带宽分配算法等等,最终给出了模型的具体形式.最后,网络实验和仿真证明了此模型能够反映P2P文件共享系统的本质特征,从而为设计高性能P2P网络,改进现有的P2P算法,以及研究P2P系统的稳定性提供一种新颖的方法.

摘要：传统的片上多核结构存在着计算资源粒度固定的缺点,无法满足应用在不同阶段对计算资源的差异化需求.针对上述问题,本文设计了运行时逻辑核可调整的可重构众核流处理器及流程序映射方案,以期满足应用各个阶段对计算资源的需求,且不造成资源浪费.通过在时钟精确软件模拟器上评估不同类型应用的性能表现,分析了处理器主要设计参数对性能的影响.实验结果表明,与具有同样计算资源的固定粒度流处理器相比,本文设计的可重构众核流处理器能够获得10%-30%的性能提升.

摘要：谓词执行技术是克服程序中控制依赖的重要软件技术.利用类数据流体系结构的特点,设计了一种在类数据流体系结构中低开销、高效率地实现谓词执行技术的方法:仅占用指令编码中的1-bit;谓词的值通过片上网络在指令间直接传递,无需谓词寄存器.这种实现方法的主要开销是由类数据流指令集引入的软件输出树,本文进一步提出一种基于边剖析技术的优化方法.实验表明,这种优化能减少17.3%的软件输出树开销,同时将程序性能提高了15.5%.

摘要：内存虚拟化是系统虚拟化中如何有效抽象、利用、隔离计算机物理内存的重要方法,决定着系统虚拟化的整体性能.传统的纯软件内存虚拟化方法会产生较大的资源开销并且兼容性差,而硬件辅助的内存虚拟化方法需要重新设计处理器硬件架构.基于MIPS架构处理器提出一种软硬件协同的内存虚拟化方法,在不增加硬件支持的情况下提高内存虚拟化性能.提出的多层虚拟地址空间模型不仅可以解决MIPS架构处理器存在的虚拟化缺陷,而且可以在已有的内存虚拟化方法上提高性能.在多层虚拟地址空间模型的基础上,提出基于地址空间标识码(address space identity,ASID)、动态划分的旁路转换缓冲(translation lookaside buffer,TLB)共享方法,降低了虚拟机切换的开销.最终,在MIPS架构的龙芯3号处理器上实现了系统虚拟机VIRT-LOONGSON.性能测试表明,提出的方法可以提高大多数测试程序的性能,达到二进制翻译执行性能的3~5倍,并在TLB模拟方法的基础上提高了5%~16%的性能.