WDB620高强钢应用于大型蜗壳的焊接制造工艺研究

2005年初,水电十四局承担了漫湾二期水电站和小湾水电站蜗壳的制造任务。蜗壳钢材选用国产600 MPa级别高强钢,为了全面综合地考核该级别钢种的材料强度和安全裕度,检验模拟大型蜗壳焊接制造工艺的可靠性。对国产的WDB620高强钢进行了可焊性和制造工艺性试验研究,并在国内首次设计、制造模拟压力容器并对其进行水压试验和爆破试验。研究成果通过中国水电集团公司鉴定,结论为该课题研究成果达到国内选进水平。     

Self-controlled case series analyses: Small-sample performance

Second-order expressions for the asymptotic bias and variance of the log relative incidence estimator are derived for the self-controlled case series model in a simplified scenario. The dependence of the bias and variance on factors such as the relative incidence and ratio of risk to observation period are studied. Small-sample performance of the estimator in realistic scenarios is investigated using simulations. It is found that, in scenarios likely to arise in practice, asymptotic methods are valid for numbers of cases in excess of 20-50 depending on the ratio of the risk period to the observation period and on the relative incidence. The application of Monte Carlo methods to self-controlled case series analyses is also discussed.     

Evaluating an intelligent diagnosis system of historical text comprehension

This work aims to present and evaluate a Fuzzy-Case Based Reasoning Diagnosis system of Historical Text Comprehension. The synergism of fuzzy logic and case based reasoning techniques handles the uncertainty in the acquisition of human expert's knowledge regarding learner's observable behaviour and integrates the right balance between expert's knowledge described in the form of fuzzy sets and previous experiences documented in the form of cases. The formative evaluation focused on the comparison of the system's performance to the performance of human experts concerning the diagnosis accuracy. The system was also evaluated for its behaviour when using two different historical texts. Empirical evaluation conducted with human experts and real students indicated the need for revision of the diagnosis model. The evaluation results are encouraging for the system's educational impact on learners and for future work concerning an intelligent educational system for individualized learning.     

Powers of observation in creative design

Being perceptive is a trait highly valued in scientific and engineering professions. What a scientist or engineer notices while considering a problem, evaluating alternatives, or interpreting data has a profound impact on how a problem is viewed and solved. This paper focuses on processes we believe underlie being perceptive: firstly, preparation—becoming attuned to salient or important features; secondly, assimilation-detection and exploration of patterns (invariants) as well as anomalies; and thirdly, strategic control-heuristic strategies for exploring the implications of what has been observed. These processes play an integral role in characteristic activities within creative design, including problem reformulation, the emergence of properties and constraints on the solution, and the ability to incorporate into the design experimental feedback from the environment and from experiences with prototypes and previous designs. The paper presents a computational model incorporating these ideas, implemented in a system called IMPROVISER.     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

卫星包装箱的随机隔振优化分析

用钢丝绳隔振器将卫星包装箱支承在运输车上,将卫星与车辆简化为二自由度体系,优化分析了在随机路面上行驶时使包装箱响应最小之隔振参数,对实测得到的钢丝绳减振器的非线性迟滞性能作了描述,提出了统计线性化分析的方法。     

How to make and defend a proposal in a deliberation dialogue

In this paper it is shown how tools developed in argumentation theory and artificial intelligence can be applied to the development of a new dialectical analysis of the speech act of making a proposal in a deliberation dialogue. These tools are developed, modified and used to formulate dialogue pre-conditions, defining conditions and post-conditions for the speech act of making a proposal in a deliberation dialogue. The defining conditions set out what is required for a move in a dialogue to count as the making of a proposal by one of the parties. What is required are the conditions that (1) the move fit the requirements of the argumentation scheme for practical reasoning, and (2) the premises are propositions describing common goals of both parties or propositions that they reasonably consider means to achieve these goals. The analysis goes beyond the standard speech act approach by specifying not only the normative requirements for making a well-formed proposal, but also the requirements for responding to it by questioning or criticizing it, and the requirements for defending it.     

Branching and pruning: An optimal temporal POCL planner based on constraint programming

A key feature of modern optimal planners such as graphplan and blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planners provide an alternative branching scheme but lacking comparable pruning mechanisms do not perform as well. In this paper, a domain-independent formulation of temporal planning based on Constraint Programming is introduced that successfully combines a POCL branching scheme with powerful and sound pruning rules. The key novelty in the formulation is the ability to reason about supports, precedences, and causal links involving actions that are not in the plan. Experiments over a wide range of benchmarks show that the resulting optimal temporal planner is much faster than current ones and is competitive with the best parallel planners in the special case in which actions have all the same duration.¹     

Overcoming intuition: Metacognitive difficulty activates analytic reasoning.

Humans appear to reason using two processing styles: System 1 processes that are quick, intuitive, and effortless and System 2 processes that are slow, analytical, and deliberate that occasionally correct the output of System 1. Four experiments suggest that System 2 processes are activated by metacognitive experiences of difficulty or disfluency during the process of reasoning. Incidental experiences of difficulty or disfluency--receiving information in a degraded font (Experiments 1 and 4), in difficult-to-read lettering (Experiment 2), or while furrowing one's brow (Experiment 3)--reduced the impact of heuristics and defaults in judgment (Experiments 1 and 3), reduced reliance on peripheral cues in persuasion (Experiment 2), and improved syllogistic reasoning (Experiment 4). Metacognitive experiences of difficulty or disfluency appear to serve as an alarm that activates analytic forms of reasoning that assess and sometimes correct the output of more intuitive forms of reasoning. (PsycINFO Database Record (c) 2010 APA, all rights reserved)