A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

人参皂苷Rg分子轨道微扰理论的研究

人参皂苷Rg是具有生理活性的物质，它包括三个异构体：Rg1；Rg2；Rg3其中R83具有很强的抗癌作用。本文通过休克尔分子图形理论对Rg异构体的各分子轨道进行约化，并且根据分子轨道微扰理论求出它们不同本征多项式和本征值。     

由有穷自动机构造正则表达式的新算法

本文借助图论的理论，通过识别回路和不包含回路的由起始状态到终止状态的路径的方法，提出一种构造给定有穷自动机对应的正则表达式的新算法，并给出具体实例。     

社会比较对薪酬不公平感的心理作用机制

运用社会比较理论,分析了在组织内部影响薪酬不公平感的社会比较类型与评判内容;利用对比效应与同化效应,解释了薪酬不公平感的形成。在此基础上,探讨了人力资源管理中减少或克服人际攀比带来不良影响的途径。     

A remark on bilinear systems and moduli spaces of instantons

Explicit equations are given for the moduli space of framed instantons as a quasi-affine variety, based on the representation theory of noncommutative power series, or equivalently, the minimal realization theory of bilinear systems.     

Some Notes on the Formal Properties of Bidirectional Optimality Theory

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.     

Simulating the Child's Acquisition of the Lexicon and Syntax—Experiences With Babel

This paper describes the theory and implementation ofBabel, a system which explores the hypothesis that much of the differences in the world's languages may be characterized by the inventory and properties of the lexical items and functional categories of those languages. The structure ofBabel assumes that functional categories are originally lacking in a child's syntax, and are acquired through a statistical induction process of lexical acquisition.Babel then uses information induced from the structure of the lexicon to create a model of syntax via a deductive, rule-based process. This model makes a number of predictions about the time course of language acquisition. These predictions are tested by runningBabel as a simulation of child language acquisition, using large samples of adult speech to children as input. The simulation results are shown to highly correlate to longitudinal studies of child language acquisition in English and Polish. Finally, the approach to handling noisy data withBabel is detailed.     

On perspectives, theories, models, and friends: A reply to the relationalists.

The authors respond to the "relational" issue of Psychoanalytic Psychology (PP; Vol. 12, No. 1) and support Karol Marshall's remonstration about the need to clarify what exactly the category relational refers to. It is noteworthy that in this issue of PP the relational thinkers do not engage the specific topics of our essay. The author's article attempted to review the most comprehensive relational thinkers of that time across theoretical variables. Relationalists have begun to spell out the technical consequences of their perspective in recent discussions of neutrality, authority, and self-disclosure, among other issues. This is a useful trend in the relational literature, and we hope it continues. We are concerned, however, that the relational thinkers writing in this issue tend to dismiss the contributions to PP 12(1) because the perspectives presented there did not satisfy the relationalist vision of how scientific exchange should be undertaken. Although we feel that it is important for emerging points of view to be able to elaborate assumptions, constructs, and principles within their own framework and in their own way, constructive dialogue, much less a comparative analysis of the contributions and limitations of different points of view, requires that we have some common ground. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

确定型存贮模型的系统动态描述

本文尝试用系统动态学的研究方法于存贮理论，建立确定型存贮问题的系统动态优化模型，并对模型作了数学推导。     

Prediction of the elastic behaviour of hybrid and non-hybrid woven composites

A micromechanical model called MESOTEX is presented for prediction of the elastic behaviour of composites reinforced with non-hybrid weave (plain weave, satin weave and twill weave) and hybrid weave (hybrid plain weave and hybrid twill weave) fabrics. By using the classical thin laminate theory applied to each woven structure, this analytical model takes into account the strand undulations in the two directions and also integrates the geometrical and mechanical parameters of each constituent (resin, fill and warp strands). A representative volume is chosen for each woven composite and the fibre architecture is described by several functions. To determine the effectiveness of this analysis, the elastic properties predicted for each woven composite are compared with experimental results and results extracted from the literature. This correlation shows excellent agreement between measured and predicted values, with a very low calculation cost (CPU time of less than 0·01 s).