高分对地观测系统通用任务规划框架设计

为了将高分对地观测系统的观测任务分配到卫星和地面站资源上,并满足任务的逻辑、时间和资源约束,设计了一种通用任务规划框架.该框架的核心是分离式资源模板、分层任务模板和通用决策引擎.针对多类型资源定义了分离式资源模板,实例化资源组件映射对地观测系统的各功能结构,以资源组件的组合方式构成对地观测系统的通用描述;针对复杂任务模式定义分层任务模板,将复杂任务分解为带有因果约束的活动网络;针对资源和任务的通用描述设计通用求解引擎,将复杂决策分解为人机结合的决策过程,以最大化满足用户需求.介绍了通用任务规划的框架设计,并通过应用实例说明了该框架对问题的描述和求解过程.     

The effects of child sexual abuse: Comment on Rind, Tromovitch, and Bauserman (1998).

Comments on the article by B. Rind, P. Tromovitch, and R. Bauserman (see record 1998-04232-002) which examined the long-term effects of childhood sexual abuse (CSA) by meta-analyzing studies of college students. The authors reported that effects "were neither pervasive nor typically intense" and that "men reacted much less negatively than women" (p. 22) and recommended value-neutral reconceptualization of the CSA construct. The current analysis revealed numerous problems in that study that minimized CSA-adjustment relations, included use of a healthy sample, an inclusive definition of CSA, failure to correct for statistical attenuation, and misreporting of original data. Rind et al.'s study's main conclusions were not supported by the original data. As such, attempts to use their study to argue that an individual has not been harmed by sexual abuse constitute a serious misapplication of its findings. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

模糊因果图及在压力容器故障诊断中的应用

因果图理论是一种基于概率论的不确定推理模型,能够进行在线动态推理和对复杂系统进行故障诊断,但在因果图模型中,要求事件的发生概率为是精确值。针对实际情况事件发生概率具有模糊性和不确定性的特点,文中将模糊数引入因果图中,既解决了获取事件发生概率精确值的难度,又使因果图能处理带模糊性和不确定性的问题。并把它用于压力容器故障诊断,结果表明,该法行之有效。     

北京市出口、消费与经济增长关系研究

本文主要依据北京市1979-2005年度数据,采用协整理论以及Granger因果关系检验方法,对北京市出口、消费与GDP增长的内在关系进行了实证研究.实证结果表明,北京市出口、消费与经济增长之间存在稳定的协整关系.北京市出口是北京市经济增长和消费的Granger成因,但北京市经济增长和消费不是北京市出口的Granger成因;北京市消费是北京市经济增长的Granger成因,但北京市经济增长不是北京市消费的Granger成因.     

城市化与工业化的因果关系——以安徽省宿州市为例

利用安徽省宿州市1999—2010年的统计数据,运用塞尔奎因-钱纳里标准法分析其城市化与工业化发展阶段,采用协整检验、Granger因果检验对其城市化与工业化的因果关系进行实证研究。结果表明：1）宿州工业化和城市化水平低于全国平均水平,均处于初期发展阶段;2）宿州城市化与工业化有高度相关关系,城市化滞后于工业化;3）宿州当前城市化发展是工业化发展的Granger原因,加快城市化发展有利于促进工业化水平提高;4）宿州城市化水平与第二产业增加值比重和第三产业增加值比重具有长期稳定的协整关系,但与非农就业人口比重不存在长期稳定的均衡关系;5）宿州城市化水平与第二产业增加值比重和第三产业增加值比重的弹性系数分别为0.21和0.86,说明其城市化水平对第三产业的拉动作用要比对第二产业的拉动作用更大一些。因此宿州市应促进人口向中心城区的集聚,发挥城市化对工业化的促进作用。     

How do tufted capuchin monkeys (Cebus apella) understand causality involved in tool use?

Four tufted capuchin monkeys (Cebus apella) were trained to choose from 2 hook-like tools, 1 of which successfully led to collecting food, whereas the other did not because of inappropriate spatial arrangement of the tool and the food. In Experiment 1, all of the monkeys successfully learned the basic task. The monkeys performed successfully with tools of novel colors and shapes in Experiments 2-5. These results demonstrate that the monkeys used the spatial arrangement of the tool and the food as a cue. However, they failed when there were obstacles (Experiment 6) or traps (Experiment 7) on the path along which she monkeys dragged tools. These results may suggest that capuchin monkeys understand the spatial relationship between 2 items, namely, food and. the tool, but do not understand the spatial relationship among 3 items, namely, food, tool, and the environmental condition. The possible role of stimulus generalization is also considered. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

GC-MCR:有向图约束指导的并发缺陷检测方法

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来了一定挑战.已有并发缺陷检测算法通过约减无效线程交织,以降低在并发程序状态空间内的探索开销.比如,最大因果模型算法把并发程序状态空间的探索问题转换成约束求解问题.然而,其在约束构建过程中会产生大量冗余和冲突的约束,大幅度增加了约束求解的时间以及约束求解器的调用次数,降低了并发程序状态空间的探索效率.针对上述问题,提出了一种有向图约束指导的并发缺陷检测方法 GC-MCR (directed graph constraint-guided maximal causalityreduction).该方法旨在通过使用有向图对约束进行过滤和约减,从而提高约束求解速度,并进一步提高并发程序状态空间的探索效率.实验结果表明:GC-MCR方法构建的有向图可以有效优化约束的表达式,从而提高约束求解器的求解速度并减少求解器的调用次...     

一种引入归一化常数的多值因果图推理算法

在将原单值因果图推理算法直接应用于多值因果图推理时,存在不严格满足概率推理中的归一性和互斥性要求的严重问题.该文提出的算法采用以下方法成功解决了这一难题：①假定多值因果图中原因节点对结果节点只贡献概率值,且每个贡献是简单相加的关系.即原因节点对结果节点状态的影响是非直接的,原因节点只影响结果节点各状态的概率分布,结果节点的状态由这个状态概率分布随机决定;②引入归一化常数来保证推理过程中的归一性;③通过推导出多值因果图的一个性质,即可以在推理过程中假定指向同一节点的所有连接事件的各状态之间彼此互斥来保证推理过程的互斥性.从而使得算法在推理过程中同一节点的各状态间完备且互斥,保证了推理的正确性.     

频域格兰杰因果关系及其在信号处理中的应用

自从格兰杰1969年提出因果关系的概念之后,格兰杰因果关系在信号处理、计算神经科学等许多领域的应用越来越广。人们可以利用格兰杰因果关系来分析多个变量之间的直接的相互作用,从而进一步研究各类变量之间的内在联系。以往都是在时域空间进行分析的,也就是说分析的对象都是时间序列数据,研究这些变量之间随着时间的变化是如何联系的。在时域空间的基础上,进一步从频域空间上对变量进行研究,分析在哪个频率段上变量之间存在相互作用,所得到的结论当然更具有意义。     

A SIMPLE CONDITION FOR THE EXISTENCE OF SOME STATIONARY BILINEAR TIME SERIES

Abstract. A sufficient condition is derived for the existence of a strictly stationary solution of some bilinear time series which may have infinite variance innovations. This condition is equivalent to the condition that a polynomial of degree r has no zeros within the unit circle. In the special case when the innovations have finite variance, the computational effort involved in checking this condition is significantly reduced compared with checking the stationarity conditions given by Bhaskara Rao et al. and Liu and Brockwell which requires a knowledge of the maximum eigenvalue in the absolute value of an r ² x r ² matrix.