【摘 要】
：
作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关
【机 构】
：
复旦大学软件学院,复旦大学上海市数据科学重点实验室
【基金项目】
：
国家自然科学基金（61370079）资助
论文部分内容阅读
作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一。目前,在不变式推导领域,主要的方法和工具都是基于代码进行分析的,缺少与基于数据分析相关的研究和成果。为了解决这一问题,首先提出了基于数据的推导代数等式形式的不变式的算法,然后设计并实现了基于数据库事务的不变式推导的原型工具,最后通过相关实验分析和验证了原型工具的有效性。实验结果表明,原型
其他文献
为了提高单片机测控网络系统的灵活性,进一步降低测控网络的成本,解决传统通迅网络中主机负担过重的问题,提出了对等式单片机测控网络新结构.通过对系统结构的特殊设计,取消
针对非线性液位控制问题，提出了一种采用遗传小脑模型神经网络（CMAC）的学习控制方法；该控制器采用遗传算法作为CMAC神经网络的学习算法，给出了具体的控制结构和算法；仿真结果表明，该
位置推荐服务能使用户更容易地获得周边的兴趣点信息，但也会带来用户位置隐私泄露的风险。为了避免位置隐私泄露带来的不利影响，提出一种面向位置推荐服务的差分隐私保护方法。
为了最大化多媒体无线信道资源分配的网络效用,提出了一种新的基于粒子群算法的信道时间分配算法。该算法能够优化分配给网络内每个设备的时间,以便为每位网络用户提供最优化
水工模型水位控制系统是一个典型的非线性、大时滞控制系统,采用P-FUZZY-PI复合控制器对其进行控制,既利用了模糊控制适应能力强,动态 特性好,抗干扰能力强的特点,又利用PID
分析了某履带车辆主离合器结构及工作原理,用Pro/E软件对主离合器各部件进行了三维实体建模,建立了主离合器仿真流程图,基于ADAMS软件建立了主离合器的虚拟样机,并通过了模型
构建了一种基于核函数的典型相关分析的特征融合算法。首先,利用核函数将图像矩阵映射到核空间,再抽取同一模式的两组特征向量,在两组特征向量之间建立描述它们的相关性的判据准则函数;然后依此准则函数抽取两组典型投影矢量集;最后通过给定的特征融合策略抽取组合的典型相关特征以用于分类识别。该算法将两组特征向量之间的相关性特征作为有效鉴别信息,既可以很好地融合信息,又可以有效地去除特征之间的信息冗余,并且避免了
设计和实现了一种嵌入式视频交通监控系统，用于高速公路交通信息的收集及路面信息的实时监控，从而实现了智能交通系统前端的交通信息检测；系统采用ARM处理器S3C2410A实现控制功