Some results concerning the quality of vertex solutions found by a method for multiple-objective linear programming

The Zionts-Wallenius algorithm for multiple-objective linear programming terminates with an extreme point solution that is locally but not necessary globally optimal. To find the globally optimal solution, a search along the facets of the solution space polyhedron may be required. In this paper we report the results of an experiment to determine how close the local and global optima are. We discuss the concept of closeness and propose one measure. Computer simulation is used to determine, in general, the quality of the solution found by the Zionts-Wallenius method for two types of non-linear utility functions. The merits of a search procedure are discussed in the context of the results.     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics II

The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models.     

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some of them contain the universal modal operator).In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory.Since this paper is the continuation of Part I, we do not recall here the definitions of Part I although we refer to them.     

Algebraic Characterizations of Various Beth Definability Properties

In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown to hold for the larger class of semantically algebraizable logics.     

控制单水平研究中的多水平误差：基于设计的方法

由于取样设计的原因,多水平数据结构不仅存在于多水平研究,也广泛存在于单水平研究,需要在单水平分析中控制多水平误差。此时使用多层线性模型发挥不了优势,反而因模型的复杂性带来麻烦。基于设计的方法相对更简单、高效和稳健,更契合含多水平误差的单水平研究情境。在详细介绍基于设计的方法及其优势后,利用数据实例展示基于设计的方法在单水平研究中控制多水平误差的效果,并为应用研究者提供方法选用建议。     

时间视角下的组织公正研究

组织公正的动态研究是在时间视角下分析组织公正的变化及其影响。根据研究中不同的时间跨度,可将该领域的研究分为短期公正变化与长期公正变化研究。短期公正变化研究主要分析公正事件在日层次上的变化对组织内个体的影响。长期公正变化则分析组织内个体过往的公正经历如何影响他们当前的心理与行为。研究主要从自我调节资源的变化、不确定管理、社会认知及长时社会交换角度解释公正的动态影响。未来可从公正动态变化的特征、前因机制及其差异化影响机制开展研究。     

Nine-month-old infants are sensitive to the temporal alignment of prosodic and gesture prominences

This study investigated the sensitivity of 9-month-old infants to the alignment between prosodic and gesture prominences in pointing–speech combinations. Results revealed that the perception of prominence is multimodal and that infants are aware of the timing of gesture–speech combinations well before they can produce them.