实时数据库系统的面向对象数据模型及调度策略研究

分析了实时数据库系统中的数据和事务的特性。提出了一种实时面向对象的数据模型,它充分考虑了实时数据库系统对数据和事务的逻辑及时间一致性的要求。依据这种数据模型,可以设计出各种合适的并发控制协议及事务调度策略,以提高实时数据库系统的性能。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

分区操作系统在IMA系统中的任务调度研究

针对遵循ARINC 653接口规范的航空电子分区系统实时性能不强这一问题,借鉴DO—178B分级定义软件安全性的思路和RTLinux的双核架构设计思想,提出了一种新的分区调度机制,即根据分区程序的关键度、紧迫度和完成度,动态设置、调整分区优先级,允许分区实时抢占调度。策略扩展了时间分区的概念,增强了系统的调度灵活性,提高了系统实时性能,不足之处是会弱化系统的可预测性。     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

基于地理探测器的铜仁市耕地分布特征及驱动因子探究

耕地是影响粮食生产的重要因素,分析铜仁市2000—2018年耕地的变化特征及其自然因子的驱动作用,对耕地的利用和保护及农业的发展具有一定意义。以铜仁市2000、2010、2018年土地利用数据为基础,选取坡度、地貌类型、土壤类型及年均降水量为驱动因子,利用土地转移矩阵,结合景观指数及地理探测器方法,探究铜仁市耕地的时空分布特征及驱动因子作用。结果表明:2000—2018铜仁市耕地景观破碎化程度增强,耕地面积减小,耕地总体上空间分布不均匀;坡度是影响耕地分布的主要因子,与其他因子交互作用时,对耕地的影响增强。研究表明,铜仁市耕地的减少,主要是转为林地与建设用地,与生态文明建设及城市的发展有关,自然因子对耕地的影响存在交互作用,且具有复杂性与长期性,如何在耕地的保护上提供合理有效的措施,需要综合考虑其他因子的驱动作用。     

江苏省沿海高速公路雾的时空变化特征研究*

利用江苏省沿海高速公路2012年6月~2014年5月逐分钟AWMS实时监测数据,按能见度大小和物理成因对雾的发生过程进行分类统计,分析了它们的时空变化特征,探讨了造成各种时空分布差异的原因。研究结果表明:1江苏省沿海高速公路不同浓度雾的日、年变化特征相似,一天中各种浓度雾均出现在夜间的21时~次日凌晨07时之间,消失在凌晨05时~上午09时之间,持续时长由长到短依次为:重浓雾、浓雾、大雾和雾;一年中,夏季和秋季是各种浓度雾的重发和多发季节;2局地地理环境差异对不同地段雾日数的分布有着明显的影响,不同浓度雾的发生频次在空间分布上也有明显差异,能见度为1 000~500 m、500~200 m和200~50 m三种浓度雾的多发区均在公路北段;而能见度小于等于50 m的重浓雾频发区出现在高速公路中段;3不同物理成因导致的各类雾的发生频次和时间分布有明显的差异。团雾出现频次最多,辐射雾次之,蒸发雾最少;一天中,团雾出现的时间覆盖范围最宽,平流雾次之,锋面雾最窄;消失的时间跨度为团雾最大,平流雾次之,蒸发雾最窄;持续时间为混合雾最长,锋面雾次之,团雾最短;团雾的频发季节为夏季,辐射雾的多发季节为秋季,平流雾在冬季出现概率最高;4辐射雾多发于北部地区,平流雾多发于南部地区,团雾的空间分布比较复杂,与江苏沿海地区复杂的地形分布有关。     

多参考预测链的时域可扩展性和抗错性

网络的带宽抖动和数据传输错误是影响视频传输的重要原因。该文提出了一种新的多参考帧图像预测的视频编码算法,即多参考预测链,使视频具有时域可扩展性和抗错性解决网络的这两个潜在问题。该算法中P帧之间的参考预测关系构成多条链状结构,使视频具有时域可扩展性。链间的不相关性使每个链可独立解码,从而增强了码流抗错性。该算法采用R-D框架动态的管理预测关系链,从而适合网络带宽的变化而获得最佳的终端视觉效果。仿真实验表明,采用多参考预测链编码的码流时域可扩展性的应用非常可行,且表现出较高的抗错性。     

Typical severe dust storms in northern China during 1954 —2002

Based on China抯 available daily observation data from 681 national meteorological stations from 1954 to 2002, a time series of typical severe dust storms in northern China is constructed in terms of the weather process, and the temporal and spatial distribution, and their evolution ten-dency is analyzed. The results indicate that there were 223 relatively typical severe dust storms in northern China from 1954 to 2002, among which the event on April 10—12, 1979 had the largest affected area. Closely associated with the geographical distribution of deserts, sandy lands and the tracks of strong cold air outbreaks, severe dust storms mainly occurred in the Tarim Basin, the eastern part of Northwest China and the northern part of North China. The season with the most frequent severe dust storms was spring, in which the frequency accounts for 82.5% in the whole year, while the least occurrence was in summer and autumn. Dur-ing the past 49 years, the highest frequency of severe dust storms occurred in the 1950s and the lowest was in the 1990s with a general descending tendency, but during 2000—2002 the occurrence was relatively increasing. On the average, the duration of severe dust storms was shortest in the 1990s, about 0.5—1 h shorter than that in the other 4 decades.     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

基于时空信息的无迹变换滤波算法

提出了一种利用UKF算法实现对机动目标进行无源定位与跟踪的滤波方法.仿真结果表明,与扩展卡尔曼滤波器相比,UKF算法的滤波精度和稳定性都有了明显提高.该算法能更好地解决测量模型非线性问题条件下的单站无源定位跟踪问题.