Mapping pipeline skeletons onto heterogeneous platforms

Mapping applications onto parallel platforms is a challenging problem, that becomes even more difficult when platforms are heterogeneous — nowadays a standard assumption. A high-level approach to parallel programming not only eases the application developer’s task, but it also provides additional information which can help realize an efficient mapping of the application.     

Hermite–Sobolev orthogonal functions and spectral methods for second- and fourth-order problems on unbounded domains

Hermite spectral methods using Sobolev orthogonal/biorthogonal basis functions for solving second and fourth-order differential equations on unbounded domains are proposed. Some Hermite–Sobolev orthogonal/biorthogonal basis functions are constructed which lead to the diagonalization of discrete systems. Accordingly, both the exact solutions and the approximate solutions can be represented as infinite and truncated Fourier series. The convergence is analyzed and some numerical results are presented to illustrate the effectiveness and the spectral accuracy of this approach.     

计算机超频结果测量值的预测算法

针对计算机超频结果测量值的估计问题,提出一种优化的LS-SVM回归模型解决方案;首先对CPU和显示卡超频的参数设置及主要结果进行了分析,并探讨了常用预测算法的不足,据此选择LS-SVM回归模型进行超频结果测量值的预测;然后设计了一种LCQPSO算法寻找模型参数的最优值,使模型的预测精度和泛化能力得以提高;经采集AMD FX-8350CPU的50组超频样本验证,该算法的预测误差比RBF神经网络降低了80%,表明了该算法的有效性。     

爆破效果综合评价的模糊数学模型

影响爆破效果的因素很多。作者将模糊数学应用于爆破效果的综合评价,提出了一种综合评价爆破效果的数学模型———模糊综合评价模型,并论述了采用该模型评价大型露天矿爆破效果的方法及实例。应用模糊评价模型可实现爆破效果综合评价的定量化。     

水下钻孔爆破的数值模拟

利用LS-DYNA对水下钻孔爆破岩石破碎过程进行了数值模拟,根据不同厚度水层覆盖条件下的爆破物理图像,结合岩石内3个单元的应力变化时程曲线,对起爆后10ms内岩石中的应力变化进行了分析;并根据岩石中裂隙的形成和发展情况,对爆破动载作用下水下岩石的破坏情况进行了相应的理论分析。模拟结果可应用于水下钻孔爆破的参数设计。     

全自动化学发光免疫分析仪示值误差测得值的不确定度评定

依据对《全自动封闭型发光免疫分析仪校准规范》中的标准物质选取甲胎蛋白(AFP)血清(液体)标准物质,并对其测量不确定度进行了评定,建立了测量模型,考察分析不确定度的主要来源,计算出合成标准不确定度和扩展不确定度。     

基于检索结果聚类的XML伪相关文档查找

传统伪相关反馈容易产生“查询主题漂移”,有效避免“查询主题漂移”的首要前提是确定高质量的相关文档,形成与用户查询需求相关的伪相关文档集合.在检索结果聚类的基础上,研究了XML伪相关文档查找方法,在充分考虑XML内容和结构特征的前提下,提出了基于均衡化权值的簇标签提取方法,并以此为基础,提出了候选簇的排序模型和基于候选簇的文档排序模型.相关实验数据表明,与初始检索结果相比,排序模型获得了较好的性能,有效地查找到了更多的XML伪相关文档.     

Study on Glacier Classification Methods of Airborne Hyperspectral Data——A Case Study of the Zhongxi-1 Glacier

The glacier is an important natural and great potential of the fresh water resources,and plays a vital role in the regional ecological environment balance and stability.This study acquired the airborne hyperspectral data over Zhongxi-1 Glacier in August,2011.Firstly,the data preprocessing,including radiation calibration,atmospheric correction and geometric correction was performed on the hyperspectral data;secondly,using principal component analysis (PCA)and minimum noise transformation (MNF) for data dimensionality reduced respectively;thirdly,six classification methods,i.e.maximum likelihood method,minimum distance,Mahalanobis distance method,spectral angle method binary encoding,and spectral information divergence,were applied in the two datasets,and also the comparison results of the different classification methods were conducted to determine the optimal method of data dimensionality reduction and the optimal classification method;finally,the hyperspectral data for glacierclassification was compared with the HJ satellite multispectral data.The results show that: the classification accuracy of the PCA transform data from hyperspectral data is higher than that of MNF transform data;for the PCA transformed dataset of hyperspectraldata,the Mahalanobis distance method,maximum likelihood method,minimum distance method produced better classification results with the comparison to others,while for the MNF transformed dataset from hyperspectral data,the spectral angle method and spectral information divergence method is better than others.     

Computation of bases of free modules over the Weyl algebras

A well-known result due to J.T. Stafford asserts that a stably free left module M over the Weyl algebras D=A_n(k) or B_n(k)–where k is a field of characteristic 0–with is free. The purpose of this paper is to present a new constructive proof of this result as well as an effective algorithm for the computation of bases of M. This algorithm, based on the new constructive proofs [Hillebrand, A., Schmale, W., 2001. Towards an effective version of a theorem of Stafford. J. Symbolic Comput. 32, 699–716; Leykin, A., 2004. Algorithmic proofs of two theorems of Stafford. J. Symbolic Comput. 38, 1535–1550] of J.T. Stafford’s result on the number of generators of left ideals of D, performs Gaussian elimination on the formal adjoint of the presentation matrix of M. We show that J.T. Stafford’s result is a particular case of a more general one asserting that a stably free left D-module M with is free, where denotes the stable rank of a ring D. This result is constructive if the stability of unimodular vectors with entries in D can be tested. Finally, an algorithm which computes the left projective dimension of a general left D-module M defined by means of a finite free resolution is presented. It allows us to check whether or not the left D-module M is stably free.     

Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques

Software testing is an essential process in software development. Software testing is very costly, often consuming half the financial resources assigned to a project. The most laborious part of software testing is the generation of test-data. Currently, this process is principally a manual process. Hence, the automation of test-data generation can significantly cut the total cost of software testing and the software development cycle in general. A number of automated test-data generation approaches have already been explored. This paper highlights the goal-oriented approach as a promising approach to devise automated test-data generators. A range of optimization techniques can be used within these goal-oriented test-data generators, and their respective characteristics, when applied to these situations remain relatively unexplored. Therefore, in this paper, a comparative study about the effectiveness of the most commonly used optimization techniques is conducted.