THE COMPOSABILITY PROBLEM OF THESEMANTICS OFXYZ/BE-COMMUNICATING PROCESSES

1.Introduction"Awell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallel"lll."Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents"[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…     

社会物理学视角下的村庄空心化时空演化——以河南省郸城县刘庄村为例

借助社会物理学相关理论,从农户的微观视角,通过3次对以河南省郸城县刘庄村村干部和部分农户的调研走访,利用MapGis等软件分析以"人"为主体导致的村庄空心化的时空演化过程及特点,得出以下结论:(1)无特大自然灾害发生的情况下,村庄聚落经历由均质稳定到空心化的发展过程,村庄空心化主要是由农户、村庄系统、社会外界系统所决定.(2)村庄空心化演化大致可分三个阶段:萌芽阶段、快速发展阶段、转向稳定发展阶段.空间上呈现出先点状出现、后以点带面的发展态势.(3)社会外界系统是导致村庄空心化的主要原因.     

北京地区生态旅游资源的地段美和时序美

以北京地区的生态旅游资源为例，分析了生态旅游资源的两个重要特性地段美和时序美，指出地段美和时序美是构成生态旅游资源的独特性的本质，它们之间具有统一性，并且能够进行时空转换，充分利用生态旅游资源的地段美和时序美，可以促进生态旅游资源的保护和生态旅游业的发展。     

用计算机模拟分析等倾干涉的时间相干性

等倾干涉的时间相干性有别于等厚干涉的时间相干性，其干涉条纹可见度与面光源的入射角有直接的关系，通过计算机绘制的可见度与入射角对应的关系图形，分析了光源的非单色性对等倾干涉条纹可见度的影响并将研究范围扩充到多个周期，对光的时间相干性理论作了进一步的补充．     

基于视频特征聚合的细胞形变动态建模

提出了一种基于图像处理架构对活细胞视频中细胞动态进行建模的方法.在这个架构下,视频中两帧间的细胞动态被表示为细胞轮廓形变和细胞内部运动的动态特征.其中,前者细胞轮廓形变利用形状上下文进行度量,而后者细胞内部运动则通过尺度不变特征变换（SIFT）流进行建模.为了更好的刻画细胞质流动,基于SIFT流的细胞运动场进一步构建细胞外观变化场.在获得上述帧级细胞动态特征之后,引入时间序列建模的方法来生成视频级的细胞动态特征.具体地,基于紧凑编码的时序特征聚合方法可以捕获整个视频中的细胞动态演变过程.活细胞视频数据库被建立以用于验证提出方法的有效性,实验结果表明提出方法对于细胞形变动态度量和分类的性能优于其它主流方法.     

遥感技术在土地利用动态变化中的应用研究

动态变化监测已成为遥感应用的一个主要方面,多时相、多种类型的传感器对同一地区进行定期或不定期地资源与环境调查,能及时、准确、宏观地反映客观情况;为土地资源的规划和治理提供科学依据.     

基于降低时间分辨率转换编码模型的运动估值方法

分析了基于降低时间分辨率转换编码模型的运动估值问题,给出了双线性内插法、前向主向量选择法和前向向量法的理论分析结果和实验结果。实验结果表明:前向向量法比其它两种方法不仅提高了图像的信噪比,而且减少了计算量。     

Spatial and temporal variations of zooplankton composition and quantity distribution in the upper waters around Nansha Islands

This study aims to examine spatial and temporal variations of zooplankton species composition, density and biomass distribution and community structure, based on the data obtained from three separate cruises carded out in November 1997, April and July 1999. Results show that 244 species of zooplankton and 8 groups of planktonic larvae were identified, which were dominated by copepods, followed by amphipods, ostracods and medusae. The total species were 201 and 198 for the cruises of November 1997 and July 1999, respectively, and no obvious seasonal variation of species richness was observed. The distribution of zooplankton species richness decreased from pelagic to coastal waters. Average richness of species in each station was higher in the cruises of November 1997（62） and April 1999（61） than in the cruise in July 1999 （56）, which was mainly a result from the pelagic or coastal water mass movement made by the monsoon. Zooplankton in the upper waters （0--100 m） around Nansha Islands belonged to the typical tropic pelagic fauna, most of them were pelagic warm-water species, followed by coastal warm-water species and euryhaline warm-water species. The number of dominant species ranged from 5 to 7 in each cruise. No obvious seasonal succession of dominant species was ob- served. Sagitta enflata, Cypridina narni, Cosmocalanus darwinii, Pleuromamma gracilis and Echino-pluteus larva were the main dominant species. The average of zooplankton biomass and density in three cruises were 31, 32, 28 mg·m^-3 and 31, 39, 35 ind·m^-3, respectively. Copepods were the most abundant, followed by chaetognaths. Zooplankton high biomass distributed mainly in the northwestern waters around Nansha Islands, and generally occurred in the areas of oceanic front and upweUing. The main reason for zooplankton quantity without obvious seasonal variation was the relative steady temperature dynamics in the waters around Nansha Islands.     

考虑丢包特性的无参考网络视频质量评估模型

针对相同丢包率条件下不同的包丢失集中度对视频质量影响不同的问题,提出一种考虑丢包特性并且不需要对视频解码的无参考网络视频质量评估模型.首先依据码流信息在压缩域计算视频的时域复杂度,然后在压缩域计算包丢失集中度和包丢失率对视频质量的影响因子.考虑到人眼视觉系统的空域掩盖效应和时域掩盖效应,进而提出由于丢包引起的视频质量下降的视频质量评估模型.该模型不需要对视频进行完全解码,具有资源开销小、实时性好的特点,适合对实时传输的视频流进行质量评估.实验结果表明,使用该视频质量评估模型测得的视频包丢失质量评分与其主观质量评分有很好的一致性,相比于国际标准G.1070中的丢包视频质量评价模型,无参考网络视频质量评价模型与主观质量评价的相关性平均提高了6.18%.     

基于DEA交叉模型的西部地区生态效率时空变化

建立基于DEA模型的生态效率投入产出指标体系,以2005-2009西部地区11个省份截面数据为样本,采用DEA交叉评价模型和空间对比分析方法,对西部地区生态效率进行时空差异研究.结果表明:从时间上看,西部地区生态效率总体上呈现出增加的趋势,省份之间的差异进一步扩大,其中,陕西一直处于首位,而宁夏一直处于末位.从空间上看,西部地区生态效率存在着明显的区域差异,东南区域整体上要高于西北区域,但是区域间的这种差异呈现出增大的趋势,生态效率分布的重心逐渐向区域中心集中,经济条件好的省份生态效率水平相对较高.最后,依据以上研究发现,提出了相应的建议.