Constructive Membership Predicates as Index Types

In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of type T) in structure S, (xmembership, variant" title="set membership, variant" border="0">_TS) can not, in general, index all parts of a structure S and we generalize to a form ρmembership, variant" title="set membership, variant" border="0">S where ρ is a predicate over S. Under this scheme, (λx.True)membership, variant" title="set membership, variant" border="0">S is the set of all indexes into S, but we show that not all subsets of indexes are expressible by strictly local predicates. Accordingly, we extend our membership predicates to predicates that retain state “from above” as well as allow “looking below”. Predicates of this form are complete in the sense that they can express every subset of indexes in S. These ideas are motivated by experience programming in Nuprl's constructive type theory and examining the constructive content of mechanically checked formal proofs involving membership predicates.     

一个基于组通信的设计过程管理系统的设计与实现

设计过程管理在协调由多人参与的大型设计项目中的作用是非常重要的。本文在对分布对象技术及组通信技术深入研究的基础上,设计实现了一个基于组通信服务的分布式集成框架,在该集成框架之上设计实现了一个设计过程管理系统ＤＰＭＳ。     

模糊理论在高校科技投入-产出决策中的应用

将模糊理论运用到高校科技投入-产出决策中,建立高校投入-产出决策模糊综合评价模型,并对我国31个地区2010年高校科技投入-产出决策进行实证分析.在模型中,将高校科技产出指标作为高校科技投入决策的评价指标,计算科技投入-产出决策的隶属度并进行排序.分析结果表明,高校RD经费和人员投入水平高的地区,其隶属度越大,该地区的高校科技投入决策相对较优,而高校科技隶属度水平低的地区,经费投入是限制其发展的主要因素.     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

基于统计推理的社区发现模型综述

社区有助于揭示复杂网络结构和个体间的关系.研究人员从不同视角提出很多社区发现方法,用来识别团内紧密、团间稀疏的网络结构.自2006年以来,提出了一些基于统计推理的社区发现方法,它们可识别实际网络中更多的潜在结构,并以其可靠的理论基础和优越的结构识别能力成为当前的主流.该类方法的主要目标是建立符合实际网络的生成模型以拟合观测网络,将社区发现问题转化为贝叶斯推理问题.首先给出社区发现中生成模型的相关定义;其次按照模型中社区组成元素将已有统计推理模型分为节点社区推理模型和链接社区推理模型,并深入探讨各种模型的设计思想及实现算法;再次,总结各模型适用的网络类型及规模、发现的社区结构、算法复杂度等,给出一种选择已有基于统计推理的社区发现模型的方法,并利用基准数据集对已有典型统计推理模型进行验证及分析;最后探讨了基于统计推理模型的社区发现存在的主要问题和未来发展的方向.     

基于模糊理论的电能质量检测去噪算法

利用模糊隶属度函数的概念,提出了一种新的电能质量检测去噪算法,该算法针对电能质量信号的每个点设计了1×5模板和基于该模板的5个掩模,利用最大隶属度原则选取一个掩模,对该点进行去噪,对每个点应用此算法直至完毕。实验仿真结果表明,该算法在去噪和突变点信息保留方面的效果远远优于传统的中值滤波和均值滤波,拥有良好的去噪能力和保留突变点信息的能力。本算法新颖、便捷,有广阔的发展前景。     

基于局部奇异值分解和模糊决策的人脸识别方法

针对仅在整幅人脸图像上进行奇异值分解无法得到人脸识别所需的足够信息的特点,提出了一种利用人脸图像的局部奇异值和模糊决策进行人脸识别的方法.该方法的关键是不在整幅人脸图像上进行,而是在人脸的不同区域进行奇异值分解以提取更丰富的信息.提出了人脸局部奇异值特征向量的构造方法.在识别阶段,对待识别人脸的特征向量,计算其对各人脸样本的隶属度,最后做出判断.该方法与传统方法在ORL人脸库上进行的对比实验结果表明了该方法的优越性.     

Prosocial Emotions and Helping: The Moderating Role of Group Membership.

In this article, the authors introduce and test a group-level perspective on the role of empathy and interpersonal attraction in helping. In line with our predictions, Study 1, a longitudinal field study of 166 AIDS volunteers, confirmed that empathy was a stronger predictor of helping when the recipient of assistance was an in-group member than when that person was an out-group member. Also as hypothesized, attraction was a stronger predictor of helping when the recipient was an out-group member than when that person was an in-group member. Study 2 replicated and further extended these results in a laboratory experiment on spontaneous helping of a person with hepatitis. Strengthening the validity of the findings, in both studies the effects of empathy and attraction held up even when the authors statistically controlled for potential alternative predictors of helping. The theoretical and practical implications of these findings for helping in intergroup contexts are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于支持矢量机特征空间距离的多目标分类方法

支持矢量机是近年来在统计学习理论的基础上发展起来的一种新的模式识别方法,主要解决的是两类目标分类问题.多类目标分类一般是分解为多个两类目标分类.多类目标分类之后通常会对某些目标错误分类或者某些目标不能判定其类别,这就是支持矢量机多类目标分类中的错分、拒分现象.针对这个问题,该文提出了一种基于支持矢量机特征空间距离的模糊隶属度函数,根据模糊隶属度的大小对错分和拒分目标重新分类.对美国资源探测卫星数据的多目标分类仿真结果表明,采用这种方法重新分类后,能够有效地减少错分和拒分目标的数量,提高了正确识别率.     

D-S理论在多传感器短临震预报中的应用

在D-S理论的基础上,结合模糊数学理论,依据地震前兆,给出了短临震预报的信息融合算法。首先,对在现场工作的地电、地应力、地下水位、短水准、水氡等传感器的数值进行特征提取,把模糊数学中隶属度函数的概念运用到D-S理论中,得出每种前兆出现时地震发生的信度函数分配,然后,采用多传感器分布式融合算法进行信息融合,利用判决规则来预报地震。通过对1976年唐山7.8级地震预报的仿真,结果表明:D-S理论在地震预报中具有一定的有效性和优越性。