基于K-L距离的两步固定音频检索方法

根据音频文件数据量大、数据间存在一定相关性的特点,提出一种基于K-L距离的两步固定音频检索方法。该方法采用基于可变门限的直方图检索方法快速筛选出相似度较高的语音文件,利用特征矩阵的K-L距离对剩余语音进行精确比较,取得较好的效果。实验结果证明,该方法能使检索准确率达到90%左右。     

A framework for reviewing domain specific conceptual models

Conceptual models are used in understanding and communicating the domain of interest during analysis phase of system development. As they are used in early phases, errors and omissions may propagate to later phases and may be very costly to correct. This paper proposes a framework for evaluating conceptual models when represented in a domain specific language based on UML constructs. The framework describes the main aspects to be considered when conceptual models are represented in a domain specific language, presents a classification of semantic issues and some evaluation indicators. The indicators can, in principle, identify situations in the models where inconsistencies or incompleteness might occur. Whether these are real concerns might depend on domain semantics, hence these are semantic, not syntactic checks. The use of the proposed review framework is illustrated in the context of two conceptual models in a domain specific notation, KAMA. With reviews based on the framework, it is possible to spot semantic issues which are not noticed by case tools and help the analyst to identify more information about the domain.     

An Optimizing Compiler for Parallel Chemistry Simulations

Well designed domain specific languages have three important benefits: (1) the easy expression of problems, (2) the application of domain specific optimizations (including parallelization), and (3) dramatic improvements in productivity for their users. In this paper we describe a compiler and parallel runtime system for modeling the complex kinetics of rubber vulcanization and olefin polymerization that achieves all of these goals. The compiler allows the development of a system of ordinary differential equations describing a complex vulcanization reaction or single-site olefin polymerization reaction—a task that used to require months—to be done in hours. A specialized common sub-expression elimination and other algebraic optimizations sufficiently simplify the complex machine generated code to allow it to be compiled—eliminating all but 8.0% of the operations in our largest program and enabling over 60 times faster execution on our largest benchmark codes. The parallel runtime and dynamic load balancing scheme enables fast simulations of the model.     

网络适配器静电放电问题分析

提出了网络适配器产品静电放电问题的分析及解决方法,并就器件的寄生电容及寄生电感参数对高速电路的影响进行分析总结,为高频滤波、防护电路的器件选型提供了一定的指导.     

面向P2P特定信息的传播动力学模型研究

鉴于P2P特定信息传播与传染病传播的相似性,传播动力学是P2P特定信息传播的最新研究方向。针对现有传播动力学模型都不能准确模拟P2P特定信息传播过程的问题,对现有的SEIR传播动力学模型进行改进,建立了SEInR模型。该模型的主要特点包括:将传统的感染者(I)分为n个子类,每个子类赋予不同的模型参数;建立潜伏者(E)与移除者(R)之间的转换关系等。应用现代数学中的矩阵理论,得到SEInR模型的基本再生数计算公式,并对其进行分析。仿真结果表明,所提出的SEInR模型比传统SEIR模型能够更准确地模拟P2P特定信息传播过程,得到的基本再生数计算公式能够准确反映P2P特定信息的传播阂值。     

多孔平面的快速边界元划分

在 3D VL SI互连寄生电容的边界元素法计算中 ,多孔平面的边界元划分是十分困难的问题 .文中提出一种快速划分多孔平面边界元的方法 ,它可高效处理非正交几何边界形状 ,形成规则的梯形元 .与全局扫描线法相比 ,有较高的划分速度、计算速度与精度     

互连寄生电容器中屏蔽导体的快速判断

应用层次式Ｚ缓冲区可视性算法的思想,实现了一种互连寄生电容器中屏蔽导体的快速判断算法,能准确地确定对电容值影响较小的导体,并加以消除,当用边界元法提取甚多环境导体对关键路径产生的寄生电容时,可在满足计算精度的条件下,显著地提高计算速度。     

Visual specification of measurements and redesigns for domain specific visual languages

Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven software development. Tool support for measurements and redesigns becomes essential to help developers improve the quality of their models. However, developing such helper tools for the wide variety of (frequently domain specific) visual notations used by software engineers is a hard and repetitive task that does not take advantage from previous developments, thus being frequently forgotten.In this paper we present our approach for the visual specification of measurements and redesigns for Domain Specific Visual Languages (DSVLs). With this purpose, we introduce a novel DSVL called SLAMMER that contains generalisations of some of the more used types of internal product measurements and redesigns. The goal is to facilitate the task of defining measurements and redesigns for any DSVL, as well as the generation of tools from such specification reducing or eliminating the necessity of coding. We rely on the use of visual patterns for the specification of the relevant elements for each measurement and redesign type. In addition, SLAMMER allows the specification of redesigns either procedurally or by means of graph transformation rules. These redesigns can be triggered when the measurements reach a certain threshold.These concepts have been implemented in the meta-modelling tool AToM³. In this way, when a DSVL is designed, it is possible to specify measurements and redesigns that will become available in the final modelling environment generated for the language. As an example, we show a case study in the web modelling domain.     

Deadlock free routing algorithms for irregular mesh topology NoC systems with rectangular regions

The simplicity of regular mesh topology Network on Chip (NoC) architecture leads to reductions in design time and manufacturing cost. A weakness of the regular shaped architecture is its inability to efficiently support cores of different sizes. A proposed way in literature to deal with this is to utilize the region concept, which helps to accommodate cores larger than the tile size in mesh topology NoC architectures. Region concept offers many new opportunities for NoC design, as well as provides new design issues and challenges. One of the most important among these is the design of an efficient deadlock free routing algorithm. Available adaptive routing algorithms developed for regular mesh topology cannot ensure freedom from deadlocks. In this paper, we list and discuss many new design issues which need to be handled for designing NoC systems incorporating cores larger than the tile size. We also present and compare two deadlock free routing algorithms for mesh topology NoC with regions. The idea of the first algorithm is borrowed from the area of fault tolerant networks, where a network topology is rendered irregular due to faults in routers or links, and is adapted for the new context. We compare this with an algorithm designed using a methodology for design of application specific routing algorithms for communication networks. The application specific routing algorithm tries to maximize adaptivity by using static and dynamic communication requirements of the application. Our study shows that the application specific routing algorithm not only provides much higher adaptivity, but also superior performance as compared to the other algorithm in all traffic cases. But this higher performance for the second algorithm comes at a higher area cost for implementing network routers.     

基于DSP的电容电流的精确测量

近年来随着电网结构的不断变化,注入信号法测量电容电流得到了广泛的应用和重视,而在实际应用该方法的过程中有2个瓶颈问题还没有得到很好的解决,即信号源和50 Hz陷波的问题。文章针对这2个问题,提出了一种采用数字信号处理器TMS320F2812和数字频率直接合成技术相结合实现电容电流测量的新方法,详细介绍了信号源的硬件和软件设计,以及50 Hz陷波器的设计,并给出了该方法的整体实现。实验证明,该方法在电容电流的测量中具有准确、方便、安全等特点。