从公共住房到租金优惠券——美国低收入阶层住房政策演化解析

本文对美国低收入阶层住房政策的演化过程作了介绍 ,分析了其中三种典型住房政策的实施效果。在把握我国国情的基础上 ,借鉴美国住房政策演化过程的经验教训 ,为建立我国弱势人群住房政策提出了建议。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

A time aggregation approach to Markov decision processes

We propose a time aggregation approach for the solution of infinite horizon average cost Markov decision processes via policy iteration. In this approach, policy update is only carried out when the process visits a subset of the state space. As in state aggregation, this approach leads to a reduced state space, which may lead to a substantial reduction in computational and storage requirements, especially for problems with certain structural properties. However, in contrast to state aggregation, which generally results in an approximate model due to the loss of Markov property, time aggregation suffers no loss of accuracy, because the Markov property is preserved. Single sample path-based estimation algorithms are developed that allow the time aggregation approach to be implemented on-line for practical systems. Some numerical and simulation examples are presented to illustrate the ideas and potential computational savings.     

多判据模糊决策在工程爆破中的应用

本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。     

A decision-making approach to the operation of flexible manufacturing systems

This paper introduces a generic decision-making framework for assigning resources of a manufacturing system to production tasks. Resources are broadly defined production units, such as machines, human operators, or material handling vehicles; and tasks are activities performed by resources. In the specific context of FMS, resources correspond to individual machines; tasks correspond to operations to be performed on parts. The framework assumes a hierarchical structure of the system and calls for the execution of four consecutive steps to make a decision for the assignment of a resource to a task. These steps are 1) establishment of decision-making criteria, 2) formation of alternative assignments, 3) estimation of the consequences of the assignments, and 4) selection of the best alternative assignment. This framework has been applied to an existing FMS as an operational policy that decides what task will be executed on which resource of this FMS. Simulation runs provide some initial results of the application of this policy. It is shown that the policy provides flexibility in terms of system performance and computational effort.     

Energy conservation in the industrial sector of developing countries

This paper begins by examining the most energy-intensive industries and methods by which fuel efficiency can be improved. Next the author analyses the economics of energy conservation using specific case studies drawn from India. It is shown that investing in energy efficiency is more economical Btu per Btu than investing in the enhancement of domestic energy resources. The author also assesses changes in the economics of conservation for private firms when there are government incentives. Finally government policies that can overcome economic and non-economic disincentives for investing in energy conservation are examined.     

数据挖掘技术在大坝安全决策支持系统中的应用

数据挖掘技术是一个新兴的，具有广阔应用前景和极富挑战性的研究领域。在充分研究大坝安全决策支持系统的基础上，结合数据挖掘技术的概念与方法等，对数据挖掘技术在大坝安全决策支持系统中的应用进行论述，与此同时，运用数据挖掘技术分析了某大坝垂直位移测值突变的物理成因。     

非AWGN环境下调制类型自动识别

在非AWGN环境下，针对CW，AM，FM，OOK，PSK，QPSK，16QAM，FSK，MSK，SSB十种混合调制信号，对调制类型特征提取方法和自动识别算法进行了分析、综合、设计和计算机仿真。提出了梯层电平分析方法、频率瞬时信号分析、剔除载波的归一化能量分析、平方后信号的频谱分析、四次方后的信号频谱分析等方法。当SNR=10dB时，计算机仿真结果是正确识别率不低于95％，自动识别的平均处理时间为不超过10s。     

Conditions for the Acceptance of Deontic Conditionals.

Recent psychological research has investigated how people assess the probability of an indicative conditional. Most people give the conditional probability of q given p as the probability of if p then q. Asking about the probability of an indicative conditional, one is in effect asking about its acceptability. But on what basis are deontic conditionals judged to be acceptable or unacceptable? Using a decision theoretic analysis, we argue that a deontic conditional, of the form if p then must q or if p then may q, will be judged acceptable to the extent that the p & q possibility is preferred to the p & not-q possibility. Two experiments are reported in which this prediction was upheld. There was also evidence that the pragmatic suitability of permission rules is partly determined by evaluations of the not-p & q possibility. Implications of these results for theories of deontic reasoning are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)