A new algebraic structure for formal concept analysis

Formal concept analysis (FCA) originally proposed by Wille [39], is an important theory for data analysis and knowledge discovery. Concept lattice is the core of the mathematical theory of formal concept analysis. To address the requirements of real word applications, concept lattice has been extended to many other forms from the theoretical point of view and possible applications. In this paper, with the aim of deriving the mathematical properties of formal concepts from the point of algebra, we propose a new algebra system for the formal context. Under the frame of the proposed system, some interesting properties of formal concepts are explored, which could be applied to explore concept hierarchy and ontology merging.     

Improving the spatio-temporal distribution of surface solar radiation data by merging ground and satellite measurements

Appropriate information on solar resources is very important for a variety of technological areas, such as: agriculture, meteorology, forestry engineering, water resources and in particular in the designing and sizing of solar energy systems. However, the availability of observed solar radiation measurements has proven to be spatially and temporally inadequate for many applications. In this paper we propose to merge the global solar radiation measurements from the Royal Meteorological Institute of Belgium solar measurements network with the operationally derived surface incoming global short-wave radiation products from Meteosat Second Generation satellites imageries to improve the spatio-temporal resolution of the surface global solar radiation data over Belgium. We evaluate several merging methods with various degrees of complexity (from mean field bias correction to geostatistical merging techniques) together with interpolated ground measurements and satellite-derived values only. The performance of the different methods is assessed by leave-one-out cross-validation.     

基于改进MC算法的医学图像三维重建研究

MC算法是经典的三维重建方法。但它重建时效率低,产生了大量的三角面片,增加了绘制的时间和空间。而且存在拓扑二义性,会使重建后的图像产生空洞的结构,重建的效果也不是很理想。对此,提出相应的改进策略。介绍了如何提高计算效率、减少三角面片数量、消除二义性和平滑图像等方面。通过实验证明了改进算法的可行性。     

一种基于配对相关变换的多描述图像编码方案

多描述图像编码能够使图像数据在多个有损信道中传输,并允许某些信道的数据发生丢失的情况下,仍能重构出可接受的图像质量。对基于配对相关变换的多描述图像编码方法进行了分析,并把它结合到JPEG编码算法中,最后给出了编码的验证结果。     

城市快速路匝道合流区车速限制研究

为了明晰城市快速路匝道合流区交通运行最有利的车速限制策略,基于匝道合流区限速原则,采用快速路实测数据和数理统计分析方法,研究匝道车辆车速分布、流量与车速关系以及车道位置、车型和车道宽度对匝道合流区的合理限速值的影响．分析表明:车速随车道位置由内至外依次降低,车道宽度虽与车速呈正比,但影响并不大,车速主要受流量影响,与其呈正比．城市快速路匝道合流区与基本路段的车速特征差异较大,应分别制定限速策略,匝道合流区限速值应根据车道位置、车道宽度和流量情况综合进行考虑．     

A high‐performance sorting algorithm for multicore single‐instruction multiple‐data processors

Many sorting algorithms have been studied in the past, but there are only a few algorithms that can effectively exploit both single‐instruction multiple‐data (SIMD) instructions and thread‐level parallelism. In this paper, we propose a new high‐performance sorting algorithm, called aligned‐access sort (AA‐sort), that exploits both the SIMD instructions and thread‐level parallelism available on today's multicore processors. Our algorithm consists of two phases, an in‐core sorting phase and an out‐of‐core merging phase. The in‐core sorting phase uses our new sorting algorithm that extends combsort to exploit SIMD instructions. The out‐of‐core algorithm is based on mergesort with our novel vectorized merging algorithm. Both phases can take advantage of SIMD instructions. The key to high performance is eliminating unaligned memory accesses that would reduce the effectiveness of SIMD instructions in both phases. We implemented and evaluated the AA‐sort on PowerPC 970MP and Cell Broadband Engine platforms. In summary, a sequential version of the AA‐sort using SIMD instructions outperformed IBM's optimized sequential sorting library by 1.8 times and bitonic mergesort using SIMD instructions by 3.3 times on PowerPC 970MP when sorting 32 million random 32‐bit integers. Also, a parallel version of AA‐sort demonstrated better scalability with increasing numbers of cores than a parallel version of bitonic mergesort on both platforms. Copyright © 2011 John Wiley & Sons, Ltd.     

Enhanced Texture‐Based Terrain Synthesis on Graphics Hardware

Curvilinear features extracted from a 2D user‐sketched feature map have been used successfully to constraint a patch‐based texture synthesis of real landscapes. This map‐based user interface does not give fine control over the height profile of the generated terrain. We propose a new texture‐based terrain synthesis framework controllable by a terrain sketching interface. We enhance the realism of the generated landscapes by using a novel patch merging method that reduces boundary artefacts caused by overlapping terrain patches. A more constrained synthesis process is used to produce landscapes that better match user requirements. The high computational cost of texture synthesis is reduced with a parallel implementation on graphics hardware. Our GPU‐accelerated solution provides a significant speedup depending on the size of the example terrain. We show experimentally that our framework is more successful in generating realistic landscapes than current example‐based terrain synthesis methods. We conclude that texture‐based terrain synthesis combined with sketching provides an excellent solution to the user control and realism challenges of virtual landscape generation.     

A composite likelihood approach for spatially correlated survival data

The aim of this paper is to provide a composite likelihood approach to handle spatially correlated survival data using pairwise joint distributions. With e-commerce data, a recent question of interest in marketing research has been to describe spatially clustered purchasing behavior and to assess whether geographic distance is the appropriate metric to describe purchasing dependence. We present a model for the dependence structure of time-to-event data subject to spatial dependence to characterize purchasing behavior from the motivating example from e-commerce data. We assume the Farlie-Gumbel-Morgenstern (FGM) distribution and then model the dependence parameter as a function of geographic and demographic pairwise distances. For estimation of the dependence parameters, we present pairwise composite likelihood equations. We prove that the resulting estimators exhibit key properties of consistency and asymptotic normality under certain regularity conditions in the increasing-domain framework of spatial asymptotic theory.     

发电机—变压器组保护装置在智能水电站中的设计及应用

随着智能电网和变电站技术的不断完善,水电站也正朝着智能化的方向发展,智能水电站对发电机—变压器组保护提出了新的要求。主要介绍了发电机—变压器组保护装置在新要求下的主要构成及其设计特点,并介绍了智能发电机—变压器组保护装置与过程层接口的相关设备,以及其在智能水电站的应用和设计方案。     

基于分水岭算法的绿色荧光蛋白图像分割

基于分水岭算法,提出了一种绿色荧光蛋白图像的分割方法．为了克服分水岭算法易于产生过分割的现象,本文主要从前期预处理和后期区域合并两个方面着手,结合了中值滤波、分水岭变换、阈值区域合并技术,运用MATlab软件,对绿色荧光蛋白图像进行分割,取得了良好的效果．