分布式数据库并发控制的一个理论模型

本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。     

浮空器副气囊体积对环境适应性的影响分析

副气囊是浮空器的重要组成部分,其内部填充空气,通过充气或放气维持浮空器气囊内外压差在安全范围内,从而保证浮空器在空中长时间连续安全地工作。本文通过理论推导,建立了浮空器副气囊体积的数学模型,并对浮空器副气囊体积对环境适应性的影响进行了仿真分析。结果表明,本文方法对浮空器副气囊的设计有一定参考价值。