一种新的更新锁相容矩阵

本文通过对并发控制中典型的更新型事务的深入分析,提出了一个新的三阶段更新锁方案,使得更新事务在读数据阶段可以与只读事务并行执行,一定程度上提高了并发控制的处理能力。实验结果显示,在大规模事务调度中,三阶段更新锁在性能上优于传统的两阶段更新锁。     

多故障并发下考虑部件经济相关性的串并联系统选择性维护决策方法研究

现代制造系统中大量集成机械、电子等技术的先进设备,增大了复杂系统因部件老化或故障而停机时维修决策的难度。以具代表性的复杂系统——多状态的串并联系统为研究对象,将选择性维护建模引入多状态串并联系统的非计划停机维修决策中。针对多故障并发下的串并联系统,对事后维修存在维修时长和费用限制等约束条件下,考虑部件间由于经济相关性导致的维修耗时和费用的依赖性,建立选择性维修优化模型,并将遗传算法用于模型求解中。算例结果显示,该方法能为多故障并发下的串并联系统的维修决策提供有效支持,且说明部件间经济相关性是影响维修决策的重要因素。     

过驱动系统故障检测与隔离方法研究

由于过驱动系统具有故障特征之间严重耦合的特点,传统的故障诊断方法不能有效对其进行故障检测与隔离.针对这一问题,基于几何理论中的不变子空间理论,通过空间投影运算,提出一种新的故障检测与隔离方法,解决了过驱动系统故障检测与隔离问题.该方法不仅对单个故障可以实现检测与隔离,而且对并发故障同样具有很好的检测与隔离效果.仿真结果验证了该方法的有效性.     

移动计算环境下一种新的乐观并发控制协议应用研究

通过分析原有的乐观并发控制协议,指出存在并发度低且不必要事务重启次数过多等缺点,进而提出一种新的基于读写时间戳的乐观并发控制协议.并通过实验分析,证明了新协议在多事务并发调度下的正确性及在移动计算环境中的可用性.     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

分布对象中间件并发模型研究

并发模型对于分布对象中间件具有十分重要的意义．分析了自主研发的分布对象中间件产品中的两级并发模型：通讯级并发和请求级并发．然后讨论了并发模型的模式和使用．     

基于VxWorks嵌入式数据库管理系统的设计思路

嵌入式数据库管理系统是最近几年才兴起的一项新的数据管理技术.它以目前成熟的数据库技术为基础,针对嵌入式设备的具体特点,实现对嵌入式数据的存储、组织和管理.该系统的设计定位在一个通用的嵌入式数据库管理系统,在EDBMS的设计过程中,既要考虑到嵌入式应用的通用性,也要考虑到对具体应用特殊性的支持,即EDBMS要有很好的应用可定制性.支持按照具体应用来定制功能模块,使得系统具有很高的伸缩性.     

关于WEB选课系统中的选课冲突及其解决方法

选课冲突是WEB选课系统中的常见问题,分析选课过程中常见的冲突并给出相应的解决方法．     

基于多起讫点最大流理论的城市排水系统优化改进策略

随着全球极端气候的频发与城镇化进程的快速推进,城市排水难题日益突出。近些年我国所发生的一定数量淹城事件,说明了部分城市在排水网络设计方面所存在的缺陷。本文利用线性规划基本理论,提出了具有多起讫点的并入式最大流模型,解决了城市排水系统最优设计及其现有排水系统的优化改进问题,并提供了相关模型的求解算法。这些方法在设计、改进及监测网络最大流方面具有普遍的推广价值。     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。