一种新的实时多处理器系统的动态调度算法

实时多处理器系统的动态调度算法一直是实时系统研究中的重要课题,而评价实时调度算法性能的一个最重要的指标是调度成功率.在近视算法的基础上提出了一种新的实时多处理器系统的动态调度算法——节约算法.在该算法中,提出了一个新的处理器选择策略,从而提高了算法的调度成功率.同时,为了研究节约算法的有效性,对其进行了大量的模拟,分析了一些任务参数的变化对算法调度成功率的影响,并与近视算法的调度成功率进行了比较.模拟结果显示,节约算法的调度成功率要优于近视算法.

实时数据库缓冲区管理算法的设计和实现

分析了实时数据库的事务特征,对以往的研究成果进行了总结,以满足事务的按时完成比率(SuccessRatio)为目标,为实时系统设计了一种使用反馈控制思想的基于优先级的实时数据库缓冲区管理算法FCLRU2 dl,并将该算法与常用的实时数据库事务调度算法和并发控制策略配合进行了测试和评估,证明了算法的优越性。实验中得到的另一个结论是在特定的事务调度算法和并发控制策略下,实时数据库不需要全部位于内存中,可以不是内存数据库。

Exploring the Origin of Power Law Distribution in Single-Molecule Conformation Dynamics: Energy Landscape Perspectives

We explored the origin of power law distribution observed in single-molecule conformational dynamics experiments. By establishing a kinetic master equation approach to study statistically the microscopic state dynamics, we show that the underlying landscape with exponentially distributed density of states leads to power law distribution of kinetics. The exponential density of states emerges when the system becomes glassy and landscape becomes rough with significant trapping.

一类时滞不确定非线性系统的鲁棒控制器设计

针对一类具有单输入滞后不确定非线性系统 ,采用精确反馈线性化方法和 Lyapunov方法设计出一种使系统终极有界 ( UUB)的无记忆光滑状态反馈鲁棒控制器 .仿真算例表明了本文所采用方法的有效性 .

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

Biodiversity as a dynamic variable in the Gulf of Maine continuous plankton recorder transect

Studies relating biodiversity to ecosystem processes typically do not take into account changes in biodiversity through time. Marine systems are highly dynamic, with biodiversity changing at diel, seasonal and inter-decadal timescales. We examined the dynamics of biodiversity in the Gulf of Maine pelagic zooplankton community. Taxonomic data came from the Gulf of Maine continuous plankton recorder (CPR) transect, spanning the years 1961–2006. The CPR transect also contains coincident information on temperature and phytoplankton biomass (measured by the phytoplankton color index). Taxonomic richness varied at all timescales considered. The relationships between temperature and richness, and between phytoplankton and richness, also depended on temporal scale. The temperature–richness relationship was monotonic at the multi-decadal scale, and tended to be hump-shaped at finer scales; the productivity–richness relationship was hump-shaped at the multi-decadal scale, and tended to be monotonic at finer scales. Seasonal biodiversity dynamics were linked to temperature; inter-decadal biodiversity dynamics were linked to phytoplankton.

Mapping the evolution of optically generated rotational wave packets in a room-temperature ensemble of D2

A coherent superposition of rotational states in D2 has been excited by nonresonant, ultrafast (12 fs), intense (2×1014 W cm-2) 800 nm laser pulses, leading to impulsive dynamic alignment. Field-free evolution of this rotational wave packet has been mapped to high temporal resolution by a time-delayed pulse, initiating rapid double ionization, which is highly sensitive to the angle of orientation of the molecular axis with respect to the polarization direction, . The detailed fractional revivals of the neutral D2 wave packet as a function of and evolution time have been observed and modeled theoretically.

Moving window kernel PCA for adaptive monitoring of nonlinear processes

This paper discusses the monitoring of complex nonlinear and time-varying processes. Kernel principal component analysis (KPCA) has gained significant attention as a monitoring tool for nonlinear systems in recent years but relies on a fixed model that cannot be employed for time-varying systems. The contribution of this article is the development of a numerically efficient and memory saving moving window KPCA (MWKPCA) monitoring approach. The proposed technique incorporates an up- and downdating procedure to adapt (i) the data mean and covariance matrix in the feature space and (ii) approximates the eigenvalues and eigenvectors of the Gram matrix. The article shows that the proposed MWKPCA algorithm has a computation complexity of O(N2), whilst batch techniques, e.g. the Lanczos method, are of O(N3). Including the adaptation of the number of retained components and an l-step ahead application of the MWKPCA monitoring model, the paper finally demonstrates the utility of the proposed technique using a simulated nonlinear time-varying system and recorded data from an industrial distillation column.

LIAD-fs: A novel method for studies of ultrafast processes in gas phase neutral biomolecules

A new experimental technique for femtosecond (fs) pulse studies of gas phase biomolecules is reported. Using Laser-Induced Acoustic Desorption (LIAD) to produce a plume of neutral molecules, a time-delayed fs pulse is employed for ionisation/fragmentation, with subsequent products extracted and mass analysed electrostatically. By varying critical laser pulse parameters, this technique can be used to implement control over molecular fragmentation for a range of small biomolecules, with specific studies of amino acids demonstrated.

Detecção multiutilizador do domínio da frequência para sistemas DS-CDMA

Os Sinais de Espalhamento de Espectro de Sequência Directa exibem propriedades cicloestacionárias que implicam redundância entre componentes de frequência espaçadas por múltiplos da taxa de símbolo. Nesta tese, é apresentado um cancelador de interferência multiutilizador (Cancelador por translação na frequência - FSC) que tira partido desta propriedade. Este cancelador linear opera no domínio da frequência no sinal espalhado de tal forma que minimiza a interferência e ruído na saída (Critério do Mínimo Erro Quadrado Médio). Além de testado para o caso de antena única, são avaliadas as performances das configurações de antenas múltiplas para o caso de beamforming e canais espacialmente descorrelacionados considerando sistemas síncronos e sistemas com desalinhamento no tempo dos perfis de canais (ambos UMTS-TDD). Essas configurações divergiam na ordem da combinação temporal, combinação espacial e detecção multiutilizador. As configurações FSC foram avaliadas quando concatenadas com o PIC-2D. Os resultados das simulações mostram consideráveis melhorias nos resultados relativamente ao RAKE-2D convencional e PIC-2D. Foi atingida performance próximo ao RAKE de utilizador único quando o FSC foi avaliado concatenado com PIC-2D em quase todas as configurações. Todas as configurações foram avaliadas com modulação QPSK, 8-PSK e 16-QAM. Foi introduzida codificação Turbo e identificou-se as situações da vantagem de utilização do FSC antes do PIC-2D. As modulações 8-PSK e 16-QAM foram igualmente testadas com codificação.

Embedded platform for ECG biometric recognition

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Fractional order modelling of fractional-order holds

Discrete time control systems require sample- and-hold circuits to perform the conversion from digital to analog. Fractional-Order Holds (FROHs) are an interpolation between the classical zero and first order holds and can be tuned to produce better system performance. However, the model of the FROH is somewhat hermetic and the design of the system becomes unnecessarily complicated. This paper addresses the modelling of the FROHs using the concepts of Fractional Calculus (FC). For this purpose, two simple fractional-order approximations are proposed whose parameters are estimated by a genetic algorithm. The results are simple to interpret, demonstrating that FC is a useful tool for the analysis of these devices.

Practical aspects of slot-based task- splitting dispatching in its schedulability analysis

Consider the problem of scheduling a set of sporadic tasks on a multiprocessor system to meet deadlines using a tasksplitting scheduling algorithm. Task-splitting (also called semipartitioning) scheduling algorithms assign most tasks to just one processor but a few tasks are assigned to two or more processors, and they are dispatched in a way that ensures that a task never executes on two or more processors simultaneously. A certain type of task-splitting algorithms, called slot-based task-splitting, is of particular interest because of its ability to schedule tasks at high processor utilizations. We present a new schedulability analysis for slot-based task-splitting scheduling algorithms that takes the overhead into account and also a new task assignment algorithm.