一种Dalvik虚拟机的自适应编译系统

在深入分析Dalvik虚拟机自适应编译系统的瓶颈之后,针对当阈值计数器自减到零时,系统初始化导致本地代码多次等待的情况,提出一种阈值重置策略;在热点代码密集的应用程序中,针对编译线程因积压大量等待处理任务而导致编译滞后情况,提出一种基于结果反馈的动态自适应阈值改进策略,结合阈值最优化理论,最大限度地挖掘动态编译的性能收益.实验结果显示,基于三星Galaxy S平台,经过阈值重置优化后,Dalvik虚拟机的循环执行效率平均提升7%,分支跳转、派发指令执行效率平均提升5%;采用动态自适应阈值优化后,分支跳转、派发指令执行效率平均提升8%.     

基于Web的数学信息表示研究

综述了基于Web的数学信息表示的已有方法,并提出了基于SVG的数学信息描述模型解决Web数学信息表示问题.该模型采用面向对象的方法来描述,主要包括类结构、图元描述模型和文档解析模型.     

基于中间表示的代码相似性检测方法

研究表明软件系统普遍存在重复代码,为了维护和重构系统,人们需要代码相似性检测工具找到重复代码。大部分传统代码相似性检测方法和工具是基于特定程序语言和目标平台,但是许多软件系统包含多种程序语言编写的源代码。为了使代码相似性检测方法不局限于特定语言或平台,本文提出了一种基于中间表示的代码相似性检测方法。中间表示包含了程序的运行的基本信息,并且很少受到语言与平台的影响。所以基于中间表示的代码相似性检测方法能够有效的检测出代码的相似程度,并且具有跨语言和跨平台的特性。这种方法的主要思想是利用编译器将源代码编译为中间表示,再对中间表示进行文本的相似性比较,最后利用局部敏感性哈希高效的检测出相似代码对。实验表明基于中间表示的代码相似性检测方法比其他方法有更高的精确性。     

一种改进的稀疏表示人脸算法

为进一步有效提升稀疏表示人脸识别系统的识别率和可靠性,在分析人脸图像稀疏表示系数分类能力的基础上,提出了一种快速正交匹配追踪的脸识别新方法。快速正交匹配追踪算法通过在基本的正交匹配追踪算法中对冗余字典采用Cholesky分解,提高了算法的整体效率。     

基于本体的一种自然灾害知识表示方法

灾害管理信息化建设的滞后是制约我国防灾抗灾能力的重要因素之一。在自然灾害频发并日益严重的今天,需处理的自然灾害知识量非常大。如何利用发展完善的信息处理技术处理自然灾害知识,充分发挥信息处理技术在自然灾害管理中的作用就显得越来越重要。文章提出了一种基于本体的自然灾害知识表示方法,并将该方法应用在自然灾害应急响应中取得显著的效果。     

一种面向学科领域的知识表示算法

随着教育信息化的发展,构建高质量的学科知识图谱尤为重要。针对目前教育领域知识图谱表示学习模型只利用了实体和关系间的距离信息,忽略了它们之间的语义信息导致知识表示不准确的问题。提出一种知识表示学习增强模型。首先,该模型采用关系矩阵来识别实体间的相关性,并使用关系向量描述子空间中实体间的关系。其次,在向量空间将头向量和尾向量投影至关系向量来增强关系与实体间的交互作用,加强实体和关系的语义关系。最后,在2个公共数据集和自建学科领域数据集上进行的链接预测实验表明,相比于基线模型,该模型在Hit@1、Hit@3、Hit@10及MRR上均取得较大提升。     

广义时频表示的一种实时实现方法

本文研究了时频表示的实时实现算法及其算法优化问题，从广义局域自相关函数的物理意义出发，论证了广义时频表示的实时计算采用短时处理技术的可行性，并从两处着眼优化了算法，一得利用核函数共轭对称性，使时频表示的计算复杂度降低一半多；二是在计算解析信号过程中，给出了以任意帧移间隔的时域递推算法，进一步减少了实时算法的计算量。     

一种基于LDAP Schema的SLA表示方法

分析了规范的SLA表示方法的需求及当前的各种SLA表示方法存在的不足之处，提出了一种基于LDAP Schema的SLA表示方法。基于提出的SLA表示方法，给出了一个SLA的实例。     

一种基于焦点的图形图像识别表示方法

本文重点研究了一类新的基于焦点的物体图像的识别表示方法。对基于焦点形成的曲线进行规律总结,给出了焦点曲线的概念和数学公式。借助计算机进行模拟分析,对由焦点表示形成的曲线的性质进行研究。对实际物体图像进行图像处理,提取物体图像边缘数据。最后基于焦点曲线拟合图像轮廓,确定复杂图形图像对应的轮廓参数,进行图形图像的参数化表示分析和研究。     

一种局部敏感的核稀疏表示分类算法

为了克服核稀疏表示分类(KSRC)算法无法获取数据的局部性信息从而导致获取的稀疏表示系数判别性受到限制的不足,提出一种局部敏感的KSRC(LS-KSRC)算法用于人脸识别。通过在核特征空间中同时集成稀疏性和数据局部性信息,从而获取具有良好判别性的用于分类的稀疏表示系数。在标准的ORL人脸数据库和Extended Yale B人脸数据库的试验结果表明,本文方法的分类性能优于传统的(KSRC)算法、稀疏表示分类(SRC)算法、局部线性约束编码(LLC)、支持向量机(SVM)、最近邻法(NN)以及最近邻子空间法(NS),用于人脸识别能够取得优越的分类性能。     

基于轴向空间注意力和中间融合表示的单图像三维重建模型

提出一种基于注意力和中间融合表示的三维重建模型,旨在重建具有精细化结构的三维模型。该方法利用轴向空间注意力机制学习不同方向的信息,将其嵌入编码器中以捕获局部结构特征;并基于双流网络推测深度图和三维平均形状以设计中间融合表示模块,该模块能够有效地融合可见表面细节信息,从而更好地描绘对象的三维空间结构。实验结果表明：所提出的轴向空间注意力机制和中间融合表示模块增强了特征提取的能力,IoU和F-score比PixVox++分别提升了1.3%和0.4%,三维重建效果更优。     

一种通用的机载雷达中间级测试维护系统

通过对机载雷达中间级测试维护需求的分析，介绍了一种机载雷达通用测试维护系统的硬件组成与软件构架。     

Modeling and Realization of n-Dimensional Linear Discrete Systems

Using a general model for multidimensional linear discrete systems, a new non-minimal real ARMA realization is given for n-dimensional systems in AR forms. A definition of minimality which is compatible with both the underlying theory and its engineering applications, and some necessary conditions for minimality of multidimensional systems are given.     

Intermediate Representations for Design Automation of Multiprocessor DSP Systems

Self-timed scheduling is an attractive implementation style for multiprocessor DSP systems due to its ability to exploit predictability in application behavior, its avoidanceof over-constrained synchronization, and its simplified clocking requirements.However, analysis and optimization of self-timed systems under real-time constraintsis challenging due to the complex, irregular dynamics of self-timed operation.In this paper, we review a number of high-level intermediate representationsfor compiling dataflow programs onto self-timed DSP platforms, including representationsfor modeling the placement of interprocessor communication (IPC) operations;separating synchronization from data transfer during IPC; modeling and optimizinglinear orderings of communication operations; performing accurate design spaceexploration under communication resource contention; and exploring alternativeprocessor assignments during the synthesis process. We review the structureof these representations, and discuss efficient techniques that operate onthem to streamline scheduling, communication synthesis, and power managementof multiprocessor DSP implementations.     

State/Driving-Variable Representation of 2D Systems

We characterize the discrete 2D systems with kernel representation that admit a state/driving-variable (SDV) representation. This characterization is based on the possibility of decomposing a behaviour ß as the sum of its controllable part with a suitable autonomous part (controllable-autonomous decomposition). We show that ß has a SDV representation if and only if it allows for a controllable-autonomous decomposition where the autonomous part is SDV representable. This means that ß has a kernel representation matrix which can be decomposed as the product of two 2D L-polynomial matrices such that the left factor is factor left prime and the right factor is square and properly invertible.     

发现和学习不可复位动态系统的预测状态表示的一种新算法

提出了一种发现和学习不可复位动态系统的预测状态表示的新算法．在证明系统的任意landmark均可作为系统的初始状态的基础上,利用发现的landmark确定系统在任意时间步所处的经历,然后采用蒙特卡罗方法估计任意经历下任意检验发生的概率,解决了在不可复位动态系统中,经历下检验发生的概率难以获取问题,进而发现和学习不可复位动态系统的预测状态表示．实验结果表明,本文算法获得的系统的预测状态表示在预测精度上明显优于suffix-history算法,验证了所提算法的有效性．     

Algebraic Methods for Optimizing Constant Multiplications in Linear Systems

Constant multiplications can be efficiently implemented in hardware by converting them into a sequence of nested additions and shift operations. They can be optimized further by finding common subexpressions among these operations. In this work, we present algebraic methods for eliminating common subexpressions. Algebraic techniques are established in multi-level logic synthesis for the minimization of the number of literals and hence gates to implement Boolean logic. In this work we use the concepts of two of these methods, namely rectangle covering and fast extract (FX) and adapt them to the problem of optimizing linear arithmetic expressions. The main advantage of using such methods is that we can optimize systems consisting of multiple variables, which is not possible using the conventional optimization techniques. Our optimizations are aimed at reducing the area and power consumption of the hardware, and experimental results show up to 30.3% improvement in the number of operations over conventional techniques. Synthesis and simulation results show up to 30% area reduction and up to 27% power reduction. We also modified our algorithm to perform delay aware optimization, where we perform common subexpression elimination such that the delay is not exceeded beyond a particular value.

Graphene Intermediate Layer in Tandem Organic Photovoltaic Cells

One strategy to harvest wide spectral solar energy is to stack different bandgap materials together in a tandem solar cell. Here, it is demonstrated that CVD grown graphene film can be employed as intermediate layer (IML) in tandem solar cells. Using MoO₃‐modified graphene IML, a high open circuit voltage (V_oc) of 1 V and a high short‐circuit current density (J_sc) of 11.6 mA cm^‐2 could be obtained in series and parallel connection, respectively, in contrast to a V_oc of 0.58 V and J_sc of 7.6 mA cm^‐2 in single PV cell. The value of V_oc (J_sc) in the tandem cell is very close to the sum of V_oc (J_sc) attained from two single subcells in series (parallel), which confirms good ohmic contact at the photoactive layer/MoO₃‐modified graphene interface. Work function engineering of the graphene IML with metal oxide is essential to ensure good charge collection from both subcells.     

中间带太阳电池进展

中间带太阳电池是第三代光伏发电研究中很热门的研究领域之一。论述了中间带太阳电池的原理,以及实现中间带材料的三种方法,即量子点中间带电池、杂质带电池、高失配合金。量子点中间带太阳电池的红外吸收测量证实中间带太阳电池的基本原理是正确的。介绍了为提高短路电流,采用应力补偿技术,增加量子点层数,增大量子点的吸收系数。目前量子点中间带太阳电池的效率达到18%。阐述了杂质带的机理,研究表明,当Si中掺Ti浓度超过Mott相变浓度时,杂质抑制非辐射复合,有效载流子寿命增加。高失配合金具有不寻常的能带结构,AlGaN材料的带隙接近中间带的理想值,很可能成为下一个研究的热点。     

Real-Valued Discrete Gabor Transform of Linear TimeVarying Systems： Exact Representation and Approximation

An efficient algorithm for the representation and approximation of linear time-varying systems is presented via the fast real-valued discrete Gabor transform. Compared with the existingalg orithm based on the traditional complex-valued discrete Gabor transform, the proposed algorithm runs faster, can more edsily be implemented in software or hardware, and leads to a more compact representation. Simulation results are given for demonstration.