实时调度算法研究

对实时调度进行了讨论：研究了单处理器下的经典调度算法：单调速率调度、最早死线调度和最短空闲时间优先调度;分析了多处理器系统中的典型调度算法：对分布式系统中的两种调度算法：广义单调速率调度和分布式风车调度做了简要论述;指出实时调度研究策略方向。     

Combinatorial Optimization in Real-Time Scheduling: Theory and Algorithms

Real-time computer systems are essential for many applications, such as robot control, avionics, medical instrumentation, manufacturing, etc. The correctness of the system depends on the temporal correctness as well as the functional correctness of the task executions. In order to assure temporal correctness it is necessary that the resources be scheduled to meet the temporal requirements of applications. When we consider the problem of nonpreemptive scheduling of a set of tasks in a processor for which no feasible solution exists, some tasks may have to be rejected so that a schedule can be generated for the rest. In this paper, we consider the problem of generating an optimal schedule such that the number of rejected tasks is minimized, and then the finish time is minimized for the accepted tasks. We propose to use an analytic approach to solve this problem. We first discuss the super sequence based technique which was originally proposed for reducing the search space in testing the feasibility of a task set. Then we show by the Conformation theorem that the super sequence constructed from the task set also provides a valid and reduced search space for the optimization problem. While the complexity of our scheduling algorithm in the worst case remains exponential, our simulation results show that the cost is reasonable for the average case.     

Watching Dutch Change: A Real Time Study of Variation and Change in Standard Dutch Pronunciation

The study investigates phonological variation and change in two varieties of standard Dutch: southern standard Dutch (spoken in Flanders, the northern part of Belgium) and northern standard Dutch (spoken in the Netherlands). A new source for studying language change in progress is introduced: archived recordings of radio broadcasts. The study covers the period from 1935 to 1993. Changes in progress are studied by a combination of insight and techniques from historical linguistics and sociolinguistics. The outcomes of analyzing separate linguistic variables are presented, but the focus of the analysis is on the presence of more general patterns of covariation within the set of linguistic variables and on the possibility of distinguishing (prototypical) temporal and community-based varieties of standard Dutch. The results reveal a pattern of divergence between the two varieties of standard Dutch. The southern variety remained more or less stable between 1935 and 1993. Northern standard Dutch, however, changed substantially.     

互联网背景下的“阳光司法”

当前互联网已经深刻广泛地渗入社会生活的各个角落,其所创造的网络空间不仅仅是信息传播的媒介,更逐渐成为社会联动的平台。这一平台无疑成为人民法院构建开放、动态、透明、便民的阳光司法机制的重要平台,人民法院只有通过扬其长避其短的方式,才能在互联网的背景下真正做到“让人民群众在每一个案件中感受到公平正义”。     

The study of commission rate problem in real-time bidding

This paper studies the commission rate in real-time bidding based on the generalized first-price auction mechanism. Firstly, the equilibrium bidding strategies are provided when there are fixed commission rate and the linear commission rate, which proves that if the there is no reserve price, the expected payment of DSP is not related to the rate of commission. The commission rate affects the equilibrium bidding strategies only. Secondly, this paper shows that if there are the reserve price and the commission, the payment of DSP is increasing on the commission rate. That is, if there is reserve price, the DSP cannot control the increasing of the expected payment by adjusting the equilibrium bidding strategy, when the commission rate increases. Finally, provided that the reserve price and commission rate are exogenous respectively, this paper draws to the conclusion that the conditions of optimal commission rate and the optimal reserve price must be satisfied.     

基于有限优先级的动态调度算法

实时任务调度是实时系统中的关键问题,实时动态调度是实时调度的主要方面。当实时调度应用于实际的任务系统时,仅能使用有限的优先级数量。实时调度在理论分析时,都假设系统能够识别任意多的优先级。该文提出了在优先级数量有限的条件下的动态调度算法,给出了一个任务系统动态调度所需的最小优先级的数量的算法,并对算法的复杂性进行了分析。     

分布式实时嵌入式系统端到端性能确保

针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。     

Locative Mobile Social Networks: Mapping Communication and Location in Urban Spaces

Abstract

This study conceptualizes the new spatial logic created by the social use of location aware mobile technologies, analyzing how mobile communities are formed by the mapping of social networks in urban spaces. It explores two main areas with the goal of understanding how locative mobile social networks (LMSNs) challenge the traditional logic of networks. First, it conceptualizes LMSNs by comparing them to (1) traditional transportation and communication networks, and (2) mobile social networks (MSNs). Second, the paper discusses potential social implications of LMSNs, such as privacy, surveillance, and social exclusion.     

实时监控系统的面板堆石坝质量成本分析与预测

质量成本是工程质量水平的经济衡量指标,是保证工程质量、降低成本、提高收益以及判断质量体系有效性的重要工具。目前,碾压质量实时监控作为先进的技术手段运用到面板堆石坝施工中,其最大的优点是投资少、效益高。但现有研究都集中在实时监控系统对面板堆石坝质量水平的控制,对于实时监控系统的经济效益研究不多。针对上述问题,本文基于碾压质量实时监控系统,在阐述了质量水平与质量成本关系的基础上,明确了面板堆石坝施工过程的质量成本分析方法,构建了实时监控特征参数的质量成本预测模型,提出了施工过程质量成本的控制和改进的方法,对实时监控系统下的面板堆石坝施工做出了更加全面可靠的评价,为工程质量管理提供了科学的依据。     

当代心灵哲学的取消主义及其启示

当传统唯物主义在解决心身问题遭遇二难问题时,取消主义异军突起,试图摆脱"非此即彼"的困境。它采取一种极端的形式,将其唯物主义的立场坚持到底。取消主义在心身问题上,主张取消"心灵",即心理实在的本体论地位,以及取消民间心理学这一错误的解释、预言理论。它认为世界上只有一种实在——物质。尽管这种学说自身存在很大的缺陷,但我们不能否认它对于心灵哲学研究的深化和马克思主义意识论的发展的推动作用。