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.     

计算机与智力:推理过程的机械化

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。     

数列极限比较理论

给出数列极限比较式定义 ,由此简明地导出极限理论 .证明了该定义等价于原定义(ε-N) ,以及单调子列定理、单调归结原则等 .该理论不仅便于教学 ,而且揭示了数列极限可归结到单调数列 ,最终归结到自然数列     

Reconciliation with the Utility of Chance by Elaborated Outcomes Destroys the Axiomatic Basis of Expected Utility Theory

Expected utility theory does not directly deal with the utility of chance. It has been suggested in the literature (Samuelson, 1952, Markowitz, 1959) that this can be remedied by an approach which explicitly models the emotional consequences which give rise to the utility of chance. We refer to this as the elaborated outcomes approach. It is argued that the elaborated outcomes approach destroys the possibility of deriving a representation theorem based on the usual axioms of expected utility theory. This is shown with the help of an example due to Markowitz. It turns out that the space of conceivable lotteries over elaborated outcomes is too narrow to permit the application of the axioms. Moreover it is shown that a representation theorem does not hold for the example.     

On the coase theorem and coalitional stability: the principle of equal relative concession

The Coase theorem is argued to be incompatible with bargaining set stability due to a tension between the grand coalition and sub-coalitions. We provide a counter-intuitive argument to demonstrate that the Coase theorem may be in complete consonance with bargaining set stability. We establish that an uncertainty concerning the formation of sub-coalitions will explain such compatibility: each agent fears that others may `gang up' against him and this fear forces the agents to negotiate. The grand coalition emerges from the negotiations if each agent uses the principle of equal relative sacrifice to determine the actual allocation. We also establish the rational basis for the choice of the principle of equal relative concession by the negotiating agents. Hence we argue that the Coase theorem will be valid even if there are stable sub-coalitions.     

郭店楚简《成之》等篇杂志

《郭店楚墓竹简》自从1998年问世后,一直引起中国内外学者的关注,成为研究先秦文字、历史、思想等领域的热门对象。然由于此批竹简的复杂性,再加上研究时间不长,因而尚有许多基本问题有待解决,而这些问题又是与竹简内容的正确理解息息相关的。如果郭店楚简几篇儒家逸书中的部分问题能够解决,便能够对其思想内涵及历史意义达到更进一步的认识。对《成之》篇作两处简序上的调整及对某些字提出新的读法后,便突显出了其中“恒”、“疾”、“终”的进阶概念,关于圣人对善道之“不拾”观念也可以有更深的理解。另外,对《唐虞之道》作简序调整,对《六德》中“多”字给新的解释,涉及问题虽小,但给先秦思想史研究带来的意义不可低估。     

论《塞莱斯蒂娜》的文体之争

围绕着《塞莱斯蒂娜》的文体,国内外的学者们争论了多年,究竟是戏剧,还是小说,至今仍未能统一看法。笔者在文章中就《塞莱斯蒂娜》的文体之争表明了自己的观点:《塞莱斯蒂娜》是一部戏剧,而且是一部悲喜剧,一部应该归入案头剧范畴的悲喜剧。     

Grappling with the performative condition

What kind of an anthropological puzzle does the performativity of strategy constitute? Rather than considering performativity as an operational concept or situating the discussion within the limits of strategy scholarship, this short essay asks how an emphasis on the performative can be regarded as a cultural condition, that is, as a ductile though crucial quality of the way in which things are made sense of in our present cultural setup. Suggesting seemingly extraneous associations between ideals of strategic management and business education, on the one hand, and archetypes of experimental performance and political will, on the other, the essay locates the ultimate interpretive category of this performative condition in the act of decision, and offers a critique of its anthropological limits.     

Les disparités salariales entre effectifs permanents et effectifs temporaires chez les jeunes,dans trois pays européens

Les auteurs étudient les disparités salariales chez les jeunes (25–40 ans) dans trois pays européens (Allemagne, France et Italie) en utilisant les statistiques de l'EU‐SILC (2010). La méthode fait appel à des régressions fondées sur la fonction d'influence recentrée et à des techniques d'estimation par repondération. Elle vise à faire apparaître le rôle des caractéristiques relatives à l'individu et au poste de travail aux différents points de la répartition des salaires. La part de l'écart qui reste inexpliquée est considérable en Italie, pour tous les centiles. En France, elle s'atténue dans le haut de la répartition. En Allemagne, elle n'est jamais significative.     

Indigenous and gendered persons and peoples in business ethics education: Intersections of Indigenous wisdoms and de Beauvoirian existentialism

The purpose of this paper is to explore how business ethics textbooks include Indigenous and gendered persons and peoples and whether they acknowledge Indigenous philosophies and theories. We explore 363 cases from eighteen (18) business ethics textbooks. A form and theme based content analysis was employed to help us better understand the inclusion, obfuscation and omission of Indigenous and gendered persons. A purpose of business ethics education is to disrupt injustice and oppressive practices in business. We find that business ethics education can provide more inclusive and respectful cases as it relates to Indigenous and gendered characters. There are cases that marginalize, obfuscate and omit Indigenous peoples, females, and gender diverse persons. This study contributes to diversity scholarship by identifying ways in which Indigenous and gendered persons and peoples can be included in management and business ethics education.