模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

非串行生产线的建模,分析及设计

本文利用等效工作站理论和工件流平衡原理，推导出非串行离散事件生产线可以等价于串联系统，并归结为装配和拆卸两条定理，解决了系统的建模、分析与设计问题。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

Intelligent handling of data by integration of commonsense reasoning

Any intelligent problem solving system should be able, given the known data on a case, to decide whether some item of information is true, false or unknown. In this paper the way in which various forms of commonsense reasoning can be integrated to provide such decisions is described. To this end three structural types of knowledge defined over data, and four strategies for exploiting these structures, are identified. ‘Decide-Status’ integrates the reasoning strategies into a task frame. This frame structure not only integrates the reasoning but also affords the appropriate facilities for providing strategic justifications for its conclusions, if required.     

Global Level Path Planning for Mobile Robots in Dynamic Environments

This paper presents a self-adapting approach to global level path planning in dynamic environments. The aim of this work is to minimize risk and delays in possible applications of mobile robots (e.g., in industrial processes). We introduce a hybrid system that uses case-based reasoning as well as grid-based maps for decision-making. Maps are used to suggest several alternative paths between specific start and goal point. The casebase stores these solutions and remembers their characteristics. Environment representation and casebase design are discussed. To solve the problem of exploration vs. exploitation, a decision-making strategy is proposed that is based on the irreversibility of decisions. Forgetting strategies are discussed and evaluated in the context of case-based maintenance. The adaptability of the system is evaluated in a domain based on real sensor data with simulated occupancy probabilities. Forgetting strategies and decision-making strategies are evaluated in simulated environments. Experiments show that a robot is able to adapt in dynamic environments and can learn to use paths that are less risky to follow.     

Biases in Social Comparative Judgments: The Role of Nonmotivated Factors in Above-Average and Comparative-Optimism Effects.

Biases in social comparative judgments, such as those illustrated by above-average and comparative-optimism effects, are often regarded as products of motivated reasoning (e.g., self-enhancement). These effects, however, can also be produced by information-processing limitations or aspects of judgment processes that are not necessarily biased by motivational factors. In this article, the authors briefly review motivational accounts of biased comparative judgments, introduce a 3-stage model for understanding how people make comparative judgments, and then describe how various nonmotivational factors can influence the 3 stages of the comparative judgment process. Finally, the authors discuss several unresolved issues highlighted by their analysis, such as the interrelation between motivated and nonmotivated sources of bias and the influence of nonmotivated sources of bias on behavior. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

极大代数意义下幂矩阵的周期性特征

在分析一类离散事件动态系统的运行周期性及稳定性时,必须求解极大代数意义下矩阵的特征值。这一直被认为是十分困难的工作。直至目前为止,尚无一种能确定任一方阵全部特征值及特征向量的简易方法。本文对极大代数意义下任一方阵的幂矩阵的周期性特征进行了深入分析。本文的结果为寻求计算特征值及特征向量的新算法提供了十分有效的途径。     

Reasoning, Integration, Inference Alteration, and Text Comprehension.

This paper reports how the study of formal logical reasoning provides insight into more everyday types of reasoning, such as that involved in language comprehension. Both of these types of cognition are thought to involve the use of mental models, and so it is reasonable to think that the cognitive operations needed for formal logical reasoning would be involved in everyday reasoning as well. We focused on three aspects of formal reasoning: (a) the integration of information into a common mental model, (b) the drawing of inferences, and (c) the coordination of alternative possibilities. We were able to show that the integration and inference components were related to narrative comprehension processes, but the coordination of alternative models was not. Thus, there is evidence for some overlap in the mental processes used in formal and everyday reasoning. This further justifies the study of formal logical reasoning as a window into certain types of everyday reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The effects of case libraries on problem solving

Abstract The purpose of the study was to investigate the effects of providing access to a case library of related stories while undergraduates solved ill-structured problems. While solving complex food product development problems, the experimental group accessed experts' stories of similar, previously solved problems; the comparable group accessed fact sheets (expository representation of stories' content); and the control group accessed text selected at random from a textbook dealing with issues unrelated to the stories. On multiple-choice questions assessing processes related to problem solving (prediction, inferences, explanations, etc.), experimental students out-performed the comparable and control groups. Performance on short-answer questions also assessing problem-related skills was not significantly different, in part because of test fatigue. Analysis of interviews identified a number of factors that students used in deciding how to apply their study strategies, including causal factors, grounding phenomenon, grounding in context, and outcomes.     

质子和中子的单粒子效应等效性实验研究

通过实验方法确定了高能质子和中子引起的单粒子效应等效关系，实验中采用金箔散射法降低了质子束流强度，并利用热释光剂量计（TLD）进行质子注量的监测，采用新研制的存储器长线实时监测系统，进行了64K位至4M位的SRAM器件单粒子效应实验，确定了两种粒子引起单粒子效应等效关系。