Curry-Howard Terms for Linear Logic

In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.     

线方向判断测验在神经内,外科临床的应用与评价

对200名正常人及168例脑损害病人分别进行了线方向判断测验的测查。发现在对照组中,年龄、性别、文化水平对测验成绩均有一定的影响,尤以文化水平的影响最为显著。各病种组与对照组比较,发现脑梗塞组与脑肿瘤组成绩比外伤组和血管畸形组为差。同时还发现所有病种组右脑损害患者分数均低于左脑损害患者。     

On kristof's test for a linear relation between true scores of two measures

The hypothesis that two variables have a perfect disattenuated correlation and hence measure the same trait, except for errors of measurement, is discussed. Equivalently, the underlying variables, the true scores, are related linearly. We show that several previously proposed ad hoc tests are in fact likelihood ratio tests. The cases when the linear relation is specified and when it is unspecified are both discussed.This work was done while the author was at Purdue University Under Air Force Grant AFOSR-72-2350B.     

教育和心理研究中的多层线性模型

多层线性模型是分析具有层次结构数据的一种新型统计分析技术,与传统统计方法相比,具有模型假设与实际更吻合、结果解释更合理等特点。近年来这一方法的应用逐渐在社会科学的研究中受到重视。文章从多层线性模型的基本假设入手,较系统地介绍了模型参数估计和假设检验的方法,并通过一个具体例子将这一方法与传统回归分析方法相比,进一步说明了多层线性模型在分析具有层次结构数据时的优点。     

Latent change classes in dichotomous data

Changes in dichotomous data caused by treatments can be analyzed by means of the so-called linear logistic model with relaxed assumptions (LLRA). The LLRA does not require observable criteria representing a single underlying latent trait, but it postulates the generalizability of the treatment effects over criteria and subjects. To test this latter crucial assumption, the mixture LLRA was proposed that allows directly unobservable types of subjects to have different treatment effects. As the earlier methods for estimating the parameters of the mixture LLRA have specific drawbacks, a further method based on the conditional maximum likelihood principle will be presented here. In contrast to the earlier conditional methods, it uses all of the dichotomous change data while having fewer parameters. Further, its goodness-of-fit tests become more sensitive to a falsely specified number of change-types even though the treatment effects are biased. For typically occurring small to moderate sample sizes, however, parametric bootstrapping of the distributions of the fit statistics is recommended for performing hypotheses tests. Finally, three applications of the new method to empirical data are described: first, about the effect of the so-called Trager psychophysical integration, second, about the effect of autogenic therapy on patients with psychosomatic symptoms, and, third, about the effect of religious education on the attitude towards sects. The mixture LLRA is implemented in the menu-driven program MIXLLRA which can be obtained from Ivo Ponocny via e-mail (ivo.ponocny@univie.ac.at).     

脑电图分析的方法论

临床诊断中的脑电图分析方法可归为两大类：线性分析法与非线性分析法。本文介绍了这两类方法中常用的算法如谱估计、小波分析、混沌分析方法等,分析了这两类方法的特点、优势以及存在的不足。同时讨论了在临床应用中选取这两类方法所出现的问题。提出了将人工势场法用于脑电图分析的新思路,并对研究方案进行了可行性分析。     

A Measure for the Reliability of a Rating Scale Based on Longitudinal Clinical Trial Data

A new measure for reliability of a rating scale is introduced, based on the classical definition of reliability, as the ratio of the true score variance and the total variance. Clinical trial data can be employed to estimate the reliability of the scale in use, whenever repeated measurements are taken. The reliability is estimated from the covariance parameters obtained from a linear mixed model. The method provides a single number to express the reliability of the scale, but allows for the study of the reliability’s time evolution. The method is illustrated using a case study in schizophrenia. The authors are grateful to J&J PRD for kind permission to use their data. We gratefully acknowledge support from the Belgian IUAP/PAI network “Statistical Techniques and Modeling for Complex Substantive Questions with Complex Data.”     

等待是一种折磨？等待时间知觉及其导致的非理性决策行为

等待时间知觉是指人们在等待过程中对等待时长的主观感受和心理体验, 它对人们的决策行为产生影响。影响等待时间知觉的客观因素包括等待过程的填充物、等待时间的确定性、接受服务的阶段和等待的物理环境等; 主观因素有负性情绪、自我控制和人格因素等。等待时间知觉导致的非理性决策行为包括时间沉没成本效应、“延迟-提前”框架效应、峰-终效应、偏好反转等。未来研究可从三个方面开展：(1) 时间启动和金钱启动下等待时间知觉的差异; (2) 基于时间心理账户视角研究等待时间知觉规律; (3) 借鉴时间知觉理论探讨等待(时间)影响决策行为的心理机制。     

判断与决策中的基线比例忽略

基线比例忽略是指在事件的判断中忽略相关事件统计学上的信息, 而只关注当前呈现的案例信息, 从而造成判断和决策偏差的一种现象。目前对这一现象的解释主要包括双加工理论和线性整合理论, 而影响基线比例忽略的因素有许多方面, 如信息特征、认知能力等等。在未来研究中, 应该深入分析双加工理论的作用机制以及依据模糊痕迹理论提出新的研究视角, 同时拓展在团体和公共领域中的应用性研究。