一种面向大规模系统域网络性能管理系统

当前系统域网络规模日益庞大,如何监控系统域网络复杂的流量行为、发现性能瓶颈以及可能的网络故障点,为系统域网络性能优化提供有效支持的需求已经日益迫切。首先提出了一种系统域网络的性能管理体系结构SNPMA,SNPMA采用了松耦合的分层结构,通过各层之间的协同实现性能管理的自动化和可操作性。在此基础上提出了一种网络性能评估模型NPEM,解决大规模网络中对现有网络设备性能状况无法正确评估、对网络运行状态无法进行有效预测的问题,进而提出了自适应并发策略性能监控方法STM,能动态调整采集数据的策略,较好地提高了采集数据的效率。在"天河二号"真实的网络环境下,对网络设备的性能进行分级评估和分析,验证了网络性能评估和分析模型。     

一种实时数据库系统的基于时间戳的多版本并发控制协议

实时数据库系统的定时限制包括数据的定时限制和事务的定时限制,一个好的并发控制协议必须要较好地满足这些定时限制。文章详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类。并根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了一种基于时间戳的多版本实时数据库系统的并发控制协议。该协议对硬实时事务不产生任何延迟,能够很好地保证实时事务和实时数据的定时限制,缺点是该并发控制协议仅是一个准一致性的协议。     

基于C/S模式的同步协同设计运行机制和策略

文章在深入分析国内外协同设计研究背景的基础上,提出了一种在传统单机版本CAD系统的基础上构造协同设计平台、实现多机网络版CAD系统的方法,描述了系统各个主要功能模块的具体实现方案。在实现方案中重点介绍了并发控制的实现机制,提出了不完全加锁和令牌加锁的新方法。     

分布式环境下书目数据库的安全性问题

基于MicrosoftSQLServer 6 .5分布式数据库的完整性、安全性、并发性和故障恢复等机制 ,对分布式环境下书目的数据库安全性提出了一套有效的策略 ,并通过身份验证、利用视图等 7个方面来实现该系统的数据库安全性问题     

基于断开模型下网络数据库系统的并发控制协议研究

该文设计的并发控制协议在ADO.NET断开访问模型的基础上,针对目前网络数据库并发控制机制的不足之处,充分利用断开连接数据访问模型模型的优点,解决了断开模型下网络数据库应用系统的并发控制协议问题。     

移动进程演算中的开互模拟

该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。     

动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段。文中提出一种动态优先系统（∑,D）,其中∑是有界Petri网,D是描述变迁之间优先关系的动态结构。然后采用变换技术分别给出安全的和有界的动态优先系统的Petri网语义：通过引入广义补位置和优先变迁,并对非安全系统的某些变迁进行分解,根据（∑,D）构造相应的Petri网∑D。最后利用步序列证明了∑D在不破坏动态优先结构D的规格说明约束的前提下,尽可能地保持了∑的并发语义。     

基于异常任务运行记录的WSN故障检测

针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与已有方法相比,能有效检测未知类型故障,且通信、存储和计算开销均较小。     

财政平台一体化应用系统性能测试

性能测试是通过模拟真实环境下的负载,采集系统各方面的性能指标,评估系统正常运行情况下的承受力和稳定性,分析系统的性能与存在的瓶颈。应用LoadRunner测试工具,从性能指标和性能测试方法两方面,深入地分析了性能测试过程和方法。根据县级财政平台一体化应用系统特点,设计模拟运行真实的业务场景,采用压力测试和负载测试获取性能指标,运用网页元素细分和关联度等进行详细分析性能瓶颈,并提出改善方法。     

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.