1,720,988 research outputs found
Feasibility Analysis and Design of Real-Time Systems
No full text针对周期性任务系统，主要是静态优先级调度策略的在线分析，本文提出了一组可调度判定算法。一个是增强的时间需求分析（ETDA），相比经典的时间需求分析（TDA），它精简了判定任务可调度性需要考察的调度点数目。另一个是混合可调度判定（HT)，这是一种严格的可调度判定条件，它将已有的充分条件和充要条件结合起来，大大减少了分析时间。为进一步减少分析时间，本文还展示了一个有希望的方法：在进行可调度判定时，将现有的最高优先级优先策略替换为最低优先级优先(LPF)策略。
我们也考察了任务截止期和谐（即复合截止期）的效果，已有多个严格判定条件与此相关。我们提出的第一个判定条件主要关注如何在单个调度点上判定任务的可行性，而提出的第二个判定条件给出了一个基于CPU 利用率的严格判定算法，该算法针对和谐任务系统，其时间复杂度为O(n)。
现有的调度技术大多假设系统提供的优先级个数是不受限制的。然而，基于多种因素如经济等的考虑，大量的系统仅支持有限的优先级，相比优先级个数不受限制的情况，这方面的研究还很有限。为了适应上述应用的需求，转换技术用于将在优先级个数不受限制下可调度的任务集转换为在有限优先级下可调度的任务集，然而这种转换需要付出代价，新得到的任务集会变得不可调度，因此需要研究相应的转换技术，使得原来可调度的任务集在有限优先级下仍旧可以确保其可调度性。
节约能源是当今实时嵌入式系统设计的一个关键技术，处理器消耗了整个系统的很大一部分能源。一方面，最新器件及其复杂需求导致了对能源的大量需求，另一方面，电池技术的改进进展缓慢。由于近期相关技术很难有突破，所以目前研究重点是如何有效地利用电池能源。大量研究集中于利用动态电压调整技术，而其代价是降低了系统的响应性。但是在最新的设备中，尤其是交互式手持设备中，响应性要比节约能源更重要。因此，有效的调度策略应当同时考虑系统的响应性和节约能源。除了对动态电压调整技术在实时调度理论中的应用进行了综述，本文也提出了一个解决方法，用于处理混合负载的情形，使得系统的性能可以得到保证。
周期性任务系统的可调度性对任务参数是敏感的，系统设计师通过调整多个参数，使得系统的某个目标函数最优，如处理器利用率最大，或者能源消耗最少等。这些参数主要包括任务周期，截止期和执行时间。任务周期通常取决于系统需求，而截止期和执行时间可以被修改以便改善系统性能。在基于优先级调度的系统中，这种敏感性分析集中于改变任务执行时间和截止期上，然而迄今为止还没有最优的解决方法。我们将给定的一串由“逻辑或”连接的不等式，转换为一个独立的不等式，然后用这个不等式作为任务可调度的约束条件。这个不等式可以通过非线性规划的方法解决，以便可以设计出最大化系统目标函数如系统利用率、优化能源的方案。这同时也提供了一个通过改变任务执行时间或者处理器执行速度，将不可调度的任务集转换为可调度任务集的方法。This work presents a collection of feasibility conditions for the online analysis of periodic task systems, mainly, under fixed priority scheduling policy. The first proposed test called enhanced time demand analysis (ETDA) is an efficient algorithm that confines testing schedulability of task to a reduced set of actual points as compared to the classic time demand analysis (TDA). The hybrid test (HT) is another exact condition constituted by combining sufficient condition and necessary and sufficient condition, taken from existing literature, which greatly reduces the analysis time of
periodic task sets. To further reduce the analysis time of these systems a promising alternative is shown to be the replacement of the current highest priority first approach with lowest priority first(LPF) order.
The effect of making the task deadlines harmonic is also observed and a couple of exact conditions are evolved with this formulation. The first condition is focusing on testing task feasibility at a single scheduling point, while the second test provides a utilization based exact test with complexity. Both are intended for systems having harmonic deadlines.
Most of the current scheduling techniques are based on theassumption that the number of priority levels supported by the underlying hardware is infinite. However, due to many considerations such as economic, enormous systems do exist, where the number of priority levels is limited and this area of limited priority remains relatively unexplored, in contrast to unlimited counter part. In order to accommodate such systems, transformation mechanism are used to convert an unlimited priority feasible task system into the one that can be executed with limited priority levels, however this
transformation comes at the price; the newly created set might become infeasible. Care is required for such transformation so that the feasibility of the original set should be guaranteed even with limited priority levels by acquiring the lower number of priority levels required. The mechanism is explained in detail in this work and the feasibility of the unlimited priority feasible task set is kept intact with limited .
Power consumption is an important issue in the design of latest real-time embedded systems, where the core processor consumes a large amount of the total system energy. On one front, the complex requirements of latest devices make them power hungry while on the other front the improvement in battery technologies is prohibited due to its fundamental limitations. Since no breakthrough is expected in near future, the focus is shifted to utilizing the battery power more efficiently. Much research is focused on the power reduction of the current dynamic voltage scaling enabled
processor at the expense of system responsiveness. In latest devices, especially in interactive hand held devices, responsiveness is of higher importance than energy saving. Hence, a useful scheduling policy should account for system responsiveness as well as power reduction. A solution is also proposed for handling mixed workload such that system performance is bounded by its deadline, in addition to a survey of DVS techniques into real-time scheduling theory.
In the last part of the thesis, we endeavor to present the concept of generalized bound of task schedulability to chalk out the specification requirements of a system under investigation in a formal way. Since schedulability of a periodic system is sensitive to task parameter, multiple parameters are exploited by the system designer at design time for maximizing some objective function such as increasing processor utilization or reducing the power consumptions of the systems. These parameters include task period, deadline and execution times. The task periods are usually set by the system requirements, but deadline and computation times can be modified in order to improve system performance. Under priority based scheduling, such sensitivity analysis has focused on changing the task execution times and deadlines, however no optimal solution is known as yet, prior to this work. We transform the given list of inequalities linked through logical OR conditions into a single
inequality. This inequality becomes a constraint of task schedulability, which can be solved with nonlinear programming techniques for obtaining optimal task execution times that can be applied at design time for minimizing some objective function such as energy consumption or system utilization. The generalized bound provides the facility of finding the optimal values for execution times or processor speed for converting a non-feasible task set into a feasible one
Quantum computing research in medical sciences
No full textWith the emergence of ever-improving quantum computers, technology is making its way to revolutionize many fields, and the medical sector is no exception. Recent efforts have explored applications of quantum computing in areas such as drug discovery, patient privacy, and information security. It is expected that, with improved and stable quantum computing technologies, the medical sector will benefit significantly in many areas, including efficient patient care, reduced clinical trial durations, enhanced imaging technologies, and post-quantum cryptography, to name a few.In this work, we highlight recent advancements in the medical sector driven by quantum computing, encompassing computation, optimization, security, machine learning, data processing, simulation, and healthcare perspectives. We also discuss the limitations of current technologies, and the challenges associated with the quantum computing revolution
IoT Based Smart Water Quality Monitoring: Recent Techniques, Trends and Challenges for Domestic Applications
No full textSafe water is becoming a scarce resource, due to the combined effects of increased population, pollution, and climate changes. Water quality monitoring is thus paramount, especially for domestic water. Traditionally used laboratory-based testing approaches are manual, costly, time consuming, and lack real-time feedback. Recently developed systems utilizing wireless sensor network (WSN) technology have reported weaknesses in energy management, data security, and communication coverage. Due to the recent advances in Internet-of-Things (IoT) that can be applied in the development of more efficient, secure, and cheaper systems with real-time capabilities, we present here a survey aimed at summarizing the current state of the art regarding IoT based smart water quality monitoring systems (IoT-WQMS) especially dedicated for domestic applications. In brief, this study probes into common water-quality monitoring (WQM) parameters, their safe-limits for drinking water, related smart sensors, critical review, and ratification of contemporary IoT-WQMS via a proposed empirical metric, analysis, and discussion and, finally, design recommendations for an efficient system. No doubt, this study will benefit the developing field of smart homes, offices, and cities
Going Beyond Counting First Authors in Author Co-citation Analysis
Get PDFThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Get PDF“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Get PDFWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
- …
