Partitioned data objects in distributed databases

In many distributed databases locality of reference is crucial to achieve acceptable performance. However, the purpose of data distribution is to spread the data among several remote sites. One way to solve this contradiction is to use partitioned data techniques. Instead of accessing the entire data, a site works on a fraction that is made locally available, thereby increasing the site's autonomy. We present a theory of partitioned data that formalizes the concept and establishes the basis to develop a correctness criterion and a concurrency control protocol for partitioned databases. Set-serializability is proposed as a correctness criterion and we suggest an implementation that integrates partitioned and non-partitioned data. To complete this study, the policies required in a real implementation are also analyzed. Recommended by: Hector Garcia-Molina     

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

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

高并发校园快递超市系统

为解决校园师生方便收发快递快件, 基于PHP技术设计与实现了一种安全、高并发的校园快递超市管理系统. 系统基于thinkphp开源框架, 采用页面静态化、Memcache等技术, 在Web方式下实现可支持一定并发量的快递快件信息的查询、录入、签收、监控、统计等功能. 结果表明该系统提高了快递超市的工作效率; 规范了快递快件管理; 系统数据可帮助快递企业提供决策支持.     

基于K-means的SAMP系统数据库查询性能优化策略

中科院仪器设备共享管理平台（以下简称为SAMP）系统有效解决了各科研单位间仪器设备管理封闭、共享困难和运行效率低的棘手问题.同时,可以及时了解各类仪器的使用情况、共享情况,为各级业务主管部门展开科学高效的管理工作提供良好的决策依据.当SAMP系统应用数据库中存储的数据量达到百万级时,对数据库中预约表和用户表（或仪器表）进行连接查询时,将导致数据表查询性能的下降,从而影响整个SAMP系统的性能.目前主流的解决方案是采用Hash取模算法对数据表进行水平切分,但预约表中的主键为自动递增的整数,并没有实际意义,所以优化效果不理想.由于预约的用户和被预约的仪器在地理区域上呈现一定的聚集性,因此本文提出了一种基于K-means聚类算法的分表策略,采用该策略能够将预约表的查询性能提升至少70%.     

应急救援移动协作系统

基于实验室“安全生产协同监管”项目,研究设计了一种基于 Android 操作系统的应急救援协作系统。通过对CSCW(Computer Supported Cooperative Work)模式的抽取,描述了基于XMPP协议的救援群体的协作沟通,介绍了系统的整体框架以及各功能模块实现过程。并且文章对共享数据的并发操作及一致性进行了探讨。     

A Deterministic Logical Semantics for Esterel

Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic executions for all programs and all inputs. As non-deterministic programs have to be rejected as incorrect, this means it defines behaviors for incorrect programs, which is not convenient. On the other hand, the constructive semantics is deterministic (amongst other properties) but at the expense of a much more complex formalism. In this work, we construct and thoroughly analyze a new deterministic semantics for Esterel that retains the simplicity of the logical behavioral semantics, from which it derives. In our view, it provides a much better framework for formal reasoning about Esterel programs.     

基于角色的协同虚拟环境并发控制投机策略

为解决一致性和响应性两大需求在协同虚拟环境并发行为空间上的严重冲突,将响应性细分为系统响应性和个体响应性,给出了并发控制通用设计准则,以保证一致性为前提,力求实现最优系统响应性并改善个体响应性这一并发控制设计目标.由此,提出了一种新的基于角色的协同虚拟环境并发控制投机策略及其失败恢复机制,并给出了具体实现.通过令牌机制和投机策略的有效结合,该机制可以在一致性和响应性之间寻求均衡;而角色机制可以进一步优化系统性能.     

实时主动数据库有效性检查并发控制协议

在实时主动数据库中,事务不仅有时间约束,而且事务执行可能触发其它事务执行。传统并发控制协议不适应于实时主动数据库系统。该文研究了实时主动数据库事务执行模式,提出了有效性检查并发控制协议。协议使用动态调整串行次序策略,避免不必要的事务重启动。通过仿真模拟与HP2PL协议和OCC-TI-WAIT-50协议进行了比较。结果表明,该协议能有效地降低事务延误截止时间率和事务重启动率,性能优于HP2PL和OCC-TI-WAIT-50协议。     

基于网络技术的实时协同设计并发控制策略研究

为了解决计算机辅助协同设计中重启动频繁、死锁等问题，建立了一种实时协同设计并发控制模型。针对协同设计中数据量大、事务长、多层嵌套的特点，采用操作优先权模糊控制策略。通过图形对象全局ID和实体属性表的一致性维护，系统能够根据运行情况和用户需求自动进行操作优先权控制策略的调整。建立了并发控制机制中事务结构、事务提交、锁机制和冲突协调的联系，事务发生改变后其它站点能够实时显示、实时读取有效数据。实例证明，并发控制策略不仅让协同用户自由地操作共享资源，还能够保证具有高并发率和数据的实时一致性。     

时空数据库事务并发控制的动态封锁

我们首先分析了时空数据库事务的特点，然后在BT2D-Index的基础上提出了时空数据库事务并发控制的动态封锁方法，并且对动态封锁中几个重要概念做了说明，给出了动态封锁的具体操作，最后对这种动态封锁方法进行了评价。