基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

偏斜广播的两层可串行化移动实时并发控制

针对偏斜数据广播系统,提出两层移动实时事务模型,允许把移动实时事务分解为多个事务帧,以便以帧为粒度更精细地管理移动实时事务操作的并发执行.提出可动态调整帧串行化顺序的并发控制协议BCCDSS,避免不必要的帧夭折,尽可能早地在移动客户机端检测帧数据冲突,并减少须夭折的帧操作,让须夭折的移动事务帧尽早夭折,从而大大提高移动实时事务处理效率.对BCC-DSS协议的性能进行了评价,结果表明BCC-DSS协议能显著改进无线移动实时事务的平均响应时间、重启率和超期率.     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法．事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制．这种并发控制方法具有对数据库无结构要求、无死锁、非两阶段等优点．讨论了其集中式并发控制方法和分布式并发控制方法．     

实时主动数据库并发控制协议

提出了实时主动数据库系统实时多版本两阶段封锁并发控制协议(RTMV2PL). 该协议将多版本并发控制的优点和两阶段封锁并发控制机制优点结合起来. 多版本两阶段封锁机制消除了只读事务和更新事务的冲突, 只读事物从不重启动. 对实时主动数据库系统的事务优先级重新定义. 通过模拟仿真与传统的HP2PL和OCC-TI-WAIT-50协议进行比较. 研究结果表明, 并发控制协议不但能有效地降低事务的重启动率和延误截止时间率, 而且提高只读事物的响应时间. 当事务触发率高, 导致系统负载高时, 它的性能仍比其他协议的性能好.     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法，事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制，这种并发控制方法上具有对数据主加无结构要求，无死锁，非两阶段等优点，讨论了其集中式并发控制方法和分布式并发控制方法。     

状态矩阵法在企业MIS中的应用

提出了一种改进的状态矩阵法用以控制事务处理流程．该方法通过建立 事务执行的状态环和构造相应的状态矩阵,并按着给定算法动态地驱动状态 矩阵运转,从而严格地控制了事务的时序关系,避免了由于事务在执行顺序 上的失误而产生的错误;不仅提高了系统的抗病能力,而且起到了用户指南 的作用．     

基于RMA的嵌入式系统代理调度模型设计

探讨提高嵌入式系统中并发事务调度效率的设计方法.通过采用增加中间调度代理层的设计架构,改变传统事务请求的接入控制.结果表明,采用代理调度模型的设计,可减少并发事务的直接耦合程度,改善系统处理并发事务的整体性能.代理调度模型设计是通过预计算的时间代价,来换取调度并发事务的冲突避免.     

集成数据库和文件系统的多数据库事务模型

提出一种适合于集成文件系统和数据库系统的多数据库事务模型,讨论了事务模型组成元素全局事务管理局、事务提交协议和局部执行代理的设计与实现。     

移动分布式实时数据库系统的事务处理

提出DMVOCC-MDA协议处理移动分布式实时事务。协议采用多版本乐观方法,使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段:第1阶段在移动主机上进行,使用向后有效性确认机制,对服务器上个广播周期提交事务进行有效性确认;第2阶段在服务器上进行,通过局部有效性确认的移动事务,提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。移动只读事务能无阻塞提交,降低移动只读事务的响应时间,消除移动只读事务和移动更新事务的冲突,避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突,节省处理和通信资源。实验结果表明,DMVOCC-MDA协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。     

一种分布式多数据库系统结构研究

~~又称为节点 .每个节点可以是采用 C/S模式的局域网 ,也可以是单机数据库系统 ,它们都有各自的局部数据库和局部数据库管理系统 ,参与网络的节点之间结构松散、灵活 ,地位平等 .网络信息分布在多台主机上 ,通过相互协同工作实现资源共享 ,网络中任意两个节点之间可以直接通讯 .在分布式数据库系统中 ,分布事务的执行一般采用两段提交 ( 2 PC)协议 ,即第一阶段 (决定阶段 )做出提交或终止全部子事务的决定 ;第二阶段 (执行阶段 )实现第一阶段的决定 .文献 [3]基于 SQLServer7.0对分布数据复制进行了研究和应用 .与传统的两段提交协议不…     

基于hp自适应伪谱法的飞行器多阶段轨迹优化

为解决助推-滑翔飞行器的多阶段多约束轨迹优化问题,在考虑速度约束、轨迹阶段切换点约束与轨迹末端参数约束的条件下,建立了助推-滑翔飞行器纵向运动模型与多阶段轨迹优化模型。采用基于hp自适应伪谱法的Legendre-Gauss-Radau离散点,将该最优控制问题转换为多阶段非线性规划问题,求解得到最大飞行距离轨迹。为解决多阶段轨迹优化算法难以确定位置自由的阶段切换点的问题,基于动态规划的思想,设计了新的多阶段轨迹优化策略。改进后的优化策略在得到了多阶段全局近似最优解结果的同时,减少了原优化算法的计算量。仿真结果表明,改进的hp自适应伪谱法能有效解决多阶段助推-滑翔飞行器轨迹优化问题,优化结果优于最大升阻比滑翔飞行轨迹。      

改进的CO2驱相对渗透率模型及其应用

在现有相渗模型的基础上,考虑CO2与原油的相互作用,提出一种改进的CO2驱多相相对渗透率模型,采用气液相渗指数与驱替压力或当前油藏压力相关联的方法,研究CO2与原油间的相互作用对相态、流态和原油采收率的影响。利用改进的相渗模型对室内试验和现场CO2驱的效果进行数模拟合和验证。结果表明,改进的CO2驱相渗模型提高了油藏数值模拟的精度,特别适用于CO2近混相驱过程,室内试验和现场CO2驱的拟合效果较好。     

带自由面流体运动的单相格子Boltzmann方法模拟

采用Thurey提出的单相格子Boltzmann方法模拟了带自由面流体的运动.它在标准的单相模型的基础上将每个格子标记为气体、液体或自由面.格子的类型通过计算格子间的质量通量来重新初始化.与多相模型相比,它不需要求解气相格子的运动,提高了计算效率.针对此方法,给出了一种来流和出流边界条件的提法.最后,计算了来流被竖直圆柱阻挡,破碎成两股后又接合起来运动的动态过程.结果表明,此方法能描述来流经圆柱后高度降低,并形成涡等现象.     

一种用于抑制无刷直流电机电流波动的PWM调制方式

针对无刷直流电机在传统半桥调制方式下电流波动问题,提出一种改进型PWM调制策略.首先,对传统H_OFF-L_PWM调制方式进行了详细的分析.其次,为减小H_OFF-L_PWM调制方式下的电流波动,提出了一种改进型H_OFF-L_PWM调制策略.该调制策略通过对非续流区间非导通相的下桥臂开关管进行PWM斩波控制,使得电机...     

考虑优化调度的微电网频率恢复分布式预测控制策略

为了解决快速频率恢复和缓慢实际功率调度之间的时间尺度分离问题,提出一种考虑优化调度的微电网频率恢复分布式预测控制策略。引入的一致性策略能够在同一时间尺度上处理优化调度和频率恢复,另外提出的实际功率调度方案分布式模型预测控制解决了通信延迟、通信中断和即插即用情景,并且将下垂、实际功率传输和相位角方程作为等式约束,从而预测每个微电网的行为。此外,终端值和不等式约束有助于确定可行解空间的界,从而减少优化时间。在4种测试情景下对控制器的动态性能进行实验评估,结果证明该控制器对负载变化和通信问题具有较强的鲁棒性,并且保证了频率快速回复与高效功率调度。     

基于神经网络的交叉口多相位模糊控制

根据城市交叉口交通流的特点,给出了一种交叉口多相位自适应控制算法,综合考虑相邻车道上的车队长度,利用多层BP神经网络实现了道路交叉口多相位模糊控制．仿真结果表明,文中所设计的模糊神经网络控制器能有效地减少单交叉口平均车辆延误,具有较强的学习和泛化能力,是实现交通系统智能控制的一条新途径．     

基于泛布尔代数的交通流控制模型的设计

针对城市交通控制系统实时性要求,利用已建立的通用的单交叉口交通信号控制的泛布尔模型,进行模型系统的硬件设计。在模型系统实现的过程中,选用CPLD作为交通系统数据处理的核心芯片,用VHDL仿真设计各功能模块,实现无冲突点的交叉路口多相位交通信号的配时控制。     

纯电动轻型物流车制动能量回收控制策略研究

为解决试验用的纯电动轻型物流车制动能量回收问题,针对该后驱纯电动轻型物流车在空载、半载和满载三种载重状态下,前后轴载荷分配差别大的特点,提出一种考虑载重变化因素的制动能量回收控制策略。通过在AVL-cruise中建立纯电动轻型物流车的整车模型,在Matlab/Simulink中建立制动能量回收控制策略模型,并在城市工况下进行联合仿真。仿真结果表明该制动能量回收控制策略有较高的能量回收效率。     

单相光伏并网逆变器控制策略的仿真

本文针对小型光伏并网装置,提出了一种新的控制策略.对单相太阳能光伏并网系统的工作原理进行了分析,建立了光伏并网系统的数学模型,由于锁相环技术可以使逆变器输出的电流与电网电压基本同频同相,电网电压前馈可以抵消电网对光伏并网系统的影响,从而提出了基于锁相环技术和电压前馈控制相结合的复合控制策略.在Matlab/Simulink环境下建立了系统仿真模型,并分别采取了不同的控制策略进行仿真.结果表明,文中提出的控制策略可以使光伏并网系统输出更好的并网电流波形,降低总谐波畸变率.     

一类多阶段决策模型的稳定解及最优调节策略

得到一类确定型多阶段决策系统的差分方程组模型及该模型稳定解存在的条件并获得稳定解。同时给出该类模型中未知参数的辩识方法。利用马尔可夫决策方法给出相应随机型模型的稳定解，选择使该系统运行可达到理想状态的最优调节策略。